1 /* Generated from ../../../git/cloog/test/sor1d.cloog by CLooG 0.14.0-278-gcf1f323 gmp bits in 0.11s. */
2 if ((M
>= 1) && (N
>= 3)) {
3 for (glT1
=-1;glT1
<=floord(3*M
+N
-5,100);glT1
++) {
4 for (rp1
=max(max(0,ceild(100*glT1
-2*M
-N
+5,100)),ceild(100*glT1
-N
-193,300));rp1
<=min(min(floord(glT1
+1,3),floord(M
,100)),glT1
);rp1
++) {
5 for (vT1
=max(max(100*glT1
-100*rp1
,200*rp1
-3),200*rp1
-N
+1);vT1
<=min(min(min(2*M
+N
-5,100*glT1
-100*rp1
+99),200*rp1
+N
+193),100*glT1
-100*rp1
+N
+95);vT1
++) {
6 if (rp1
>= max(1,ceild(vT1
-N
+7,200))) {
7 S3(glT1
-rp1
,rp1
-1,rp1
,100*rp1
-1,-200*rp1
+vT1
+6);
9 for (vP1
=max(max(1,ceild(vT1
-N
+5,2)),100*rp1
);vP1
<=min(min(floord(vT1
+2,2),M
),100*rp1
+99);vP1
++) {
10 S1(glT1
-rp1
,rp1
,vP1
,vT1
-2*vP1
+4);
12 if (rp1
<= min(floord(M
-100,100),floord(vT1
-197,200))) {
13 S2(glT1
-rp1
,rp1
,rp1
+1,100*rp1
+99,-200*rp1
+vT1
-194);