On Sat, Mar 20, 2010 at 05:45, dominiq at lps dot ens dot fr wrote: > Do you understand why graphite does not detect that the loop for [scat_1+1, > T_10-2] depends on the one for [0, scat_1-1]?
Graphite does know this, but it does not ask CLooG to generate [0, scat_1-1] after [scat_1+1, T_10-2], however CLooG does generate it, so I am thinking that this is a problem in CLooG. > Second question why does graphite exchange the order of the split loops? > CLooG does that.