1 /* Generated from /home/skimo/git/cloog/test/vivien.cloog by CLooG 0.14.0-292-g2bfd6ac gmp bits in 0.12s. */
3 for (p1
=-54*n
+4;p1
<=4;p1
++) {
19 for (p1
=7;p1
<=min(9,4*n
-2);p1
++) {
36 for (p1
=10;p1
<=min(2*n
+58,4*n
-2);p1
++) {
38 if (p2
<= min(floord(-p1
+2*n
,2),floord(-p1
+5,4))) {
45 for (p3
=1;p3
<=floord(p1
-2*n
-2,2);p3
++) {
51 if (p2
<= min(floord(-p1
+2*n
,2),floord(-p1
+9,4))) {
55 for (p3
=1;p3
<=-p2
;p3
++) {
57 S5(-p2
+1,(p1
+2*p2
-2)/2,p3
);
61 for (p2
=ceild(-p1
+10,4);p2
<=min(-1,floord(-p1
+2*n
,2));p2
++) {
66 S6(-p2
+2,(p1
+2*p2
-4)/2);
68 for (p3
=1;p3
<=-p2
;p3
++) {
70 S5(-p2
+1,(p1
+2*p2
-2)/2,p3
);
74 if ((p1
>= 2*n
+4) && (p1
<= 4*n
-6)) {
77 for (p3
=1;p3
<=floord(p1
-2*n
-2,2);p3
++) {
111 for (p2
=max(1,ceild(p1
-2*n
-1,2));p2
<=floord(p1
-3,4);p2
++) {
113 S2((p1
-2*p2
-1)/2,p2
);
117 if ((n
>= 2) && (n
<= 29)) {
120 if ((n
>= 2) && (n
<= 29)) {
123 if ((n
>= 2) && (n
<= 28)) {
126 for (p1
=max(7,4*n
+2);p1
<=2*n
+58;p1
++) {
131 for (p1
=2*n
+59;p1
<=4*n
-2;p1
++) {
133 if (p2
<= min(floord(-p1
+2*n
,2),floord(-p1
+5,4))) {
140 for (p3
=1;p3
<=floord(p1
-2*n
-2,2);p3
++) {
146 if (p2
<= min(floord(-p1
+2*n
,2),floord(-p1
+9,4))) {
150 for (p3
=1;p3
<=-p2
;p3
++) {
152 S5(-p2
+1,(p1
+2*p2
-2)/2,p3
);
156 for (p2
=ceild(-p1
+10,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
161 S6(-p2
+2,(p1
+2*p2
-4)/2);
163 for (p3
=1;p3
<=-p2
;p3
++) {
165 S5(-p2
+1,(p1
+2*p2
-2)/2,p3
);
171 S6((p1
-2*n
+2)/2,n
-1);
172 for (p3
=1;p3
<=floord(p1
-2*n
-2,2);p3
++) {
183 for (p2
=ceild(p1
-2*n
-1,2);p2
<=floord(p1
-3,4);p2
++) {
185 S2((p1
-2*p2
-1)/2,p2
);