[Bug middle-end/42181] [4.5 Regression][graphite] -fgraphite-identity miscompiles air.f90

[dominiq at lps dot ens dot fr]

------- Comment #25 from dominiq at lps dot ens dot fr  2010-03-20 10:45 -------
> We are executing the range [scat_1+1, T_10-2] before executing the
> range [0, scat_1-1].

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]?

Second question why does graphite exchange the order of the split loops?

Note also that in the original loop handling the loop for [0, scat_1-1] is
tricky when scat_1==1 (fctr = fctr1*fctr2 and fctr2 = -o*fctr2 must be handled
correctly).


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42181