CLooG 0.18.4
[cloog/uuh.git] / test / thomasset.c
blobd118308c1225e9c636013d58292870705deb87fe
1 /* Generated from ./thomasset.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.02s. */
2 if (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);
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);
16 if (c1 >= 1) {
17 for (j=1;j<=2;j++) {
18 S2(1,j,0,c1,0);
21 for (i=max(2,3*c1+1);i<=n;i++) {
22 S1(i,c1);
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));
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);
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));