1/* Generated from ../../../git/cloog/test/sor1d.cloog by CLooG 0.14.0-278-gcf1f323 gmp bits in 0.11s. */ 2if ((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); 8 } 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); 11 } 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); 14 } 15 } 16 } 17 S4(glT1); 18 } 19} 20