1/* Generated from /home/skimo/git/cloog/test/thomasset.cloog by CLooG 0.14.0-292-g2bfd6ac gmp bits in 0.04s. */ 2if (n >= 1) { 3 for (c1=0;c1<=floord(n-4,3);c1++) { 4 for (i=3*c1+1;i<=3*c1+3;i++) { 5 S1(i,c1); 6 } 7 } 8 c1 = floord(n-1,3); 9 if (c1 >= ceild(n-2,3)) { 10 if (c1 == 0) { 11 S1(1,0); 12 for (j=1;j<=n;j++) { 13 S2(1,j,0,0,0); 14 } 15 } 16 if (c1 >= 1) { 17 for (j=1;j<=2;j++) { 18 S2(1,j,0,c1,0); 19 } 20 } 21 for (i=max(2,3*c1+1);i<=n;i++) { 22 S1(i,c1); 23 } 24 } 25 if (3*c1 == n-3) { 26 for (i=n-2;i<=n;i++) { 27 if (n%3 == 0) { 28 S1(i,(n-3)/3); 29 } 30 } 31 } 32 if (c1 >= ceild(n-2,3)) { 33 for (c2=1;c2<=n-1;c2++) { 34 for (j=1;j<=2;j++) { 35 S2(c2+1,j,0,c1,0); 36 } 37 } 38 } 39 for (c1=ceild(n,3);c1<=floord(2*n,3);c1++) { 40 for (c2=0;c2<=n-1;c2++) { 41 for (j=max(1,3*c1-n);j<=min(n,3*c1-n+4);j++) { 42 p = max(ceild(3*c1-j,3),ceild(n-2,3)); 43 if (p <= min(floord(n,3),floord(3*c1-j+2,3))) { 44 S2(c2+1,j,0,p,c1-p); 45 } 46 } 47 } 48 } 49} 50