1 /* Generated from ../../../git/cloog/test/walters.cloog by CLooG 0.14.0-238-gb1cb779 gmp bits in 0.02s. */
8 S3(i
,(i
-2)/3,(i
+1)/3,(i
+1)/3);
11 S2(i
,(i
-1)/3,(i
+2)/3,(i
-1)/3);
17 for (div37
=max(ceild(i
,3),ceild(2*i
-3*div36
-1,3));div37
<=min(floord(i
+2,3),floord(2*i
-3*div36
+1,3));div37
++) {
18 S4(i
,div36
,div37
,i
-div36
-div37
);