1 /* Generated from ../../../git/cloog/test/isl/jacobi-shared.cloog by CLooG 0.16.3-2-g5511bef gmp bits in 1.82s. */
3 if ((16*floord(t0
-1,16) >= -N
+g1
+t0
+1) && (16*floord(N
+15*g1
+15*t0
+15,16) >= 15*g1
+15*t0
+19) && (32*floord(t1
-1,32) <= g2
+t1
-3) && (32*floord(t1
-1,32) >= -N
+g2
+t1
+1)) {
4 for (c0
=max(-16*floord(t0
-1,16)+t0
,-16*floord(g1
+t0
-3,16)+t0
);c0
<=min(32,N
-g1
-1);c0
+=16) {
5 c1
= -32*floord(t1
-1,32)+t1
;