------- Comment #2 from amonakov at gcc dot gnu dot org 2010-02-10 18:41 ------- Confirming. Reproducible on amd64-linux.
This appears to be a bug in CLooG. Disable CLooG optimizations on graphite branch fixes the bug. The problem is that CLooG generates wrong bounds for parts of strip-mined loop (bounds of the first and the last loops are wrong): for (scat_3=-51;scat_3<=63;scat_3++) { S3(scat_3) ; S4(scat_3) ; } for (scat_3=64;scat_3<=76;scat_3++) { S3(scat_3) ; S6(scat_3) ; } for (scat_3=77;scat_3<=88;scat_3++) { S3(scat_3) ; S8(scat_3) ; } for (scat_3=89;scat_3<=-1;scat_3++) { S3(scat_3) ; } -- amonakov at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |amonakov at gcc dot gnu dot | |org Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Last reconfirmed|0000-00-00 00:00:00 |2010-02-10 18:41:13 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43012