[<<][rtl][>>][..]
Sun May 19 16:44:04 EDT 2019

e.g. i,j: if it doesn't escape the inner loop, all the indices can be
removed.  if it does escape j but not i, j can ....

( i'm looking at this upside down )

there is the case where the inner escapes, but the outer doesn't


i:
  j:
     Bij <- Aij
  k:
     Cij <- Bik

... (no reference of B)

In this case, the dimension associated to i can be removed


i:
  j:
     Bj <- Aij
  k:
     Cij <- Bk


It's time to start collecting all these special cases that pin down
semantics.




[Reply][About]
[<<][rtl][>>][..]