1 /* Generated from /home/skimo/git/cloog/test/vivien2.cloog by CLooG 0.14.0-292-g2bfd6ac gmp bits in 0.10s. */
2 for (p1
=-54*n
+4;p1
<=4;p1
++) {
11 for (p1
=7;p1
<=9;p1
++) {
28 for (p1
=10;p1
<=2*n
+58;p1
++) {
30 if (p2
<= min(floord(-p1
+2*n
,2),floord(-p1
+5,4))) {
37 for (p3
=1;p3
<=floord(p1
-2*n
-2,2);p3
++) {
43 if (p2
<= min(floord(-p1
+2*n
,2),floord(-p1
+9,4))) {
47 for (p3
=1;p3
<=-p2
;p3
++) {
49 S5(-p2
+1,(p1
+2*p2
-2)/2,p3
);
53 for (p2
=ceild(-p1
+10,4);p2
<=min(-1,floord(-p1
+2*n
,2));p2
++) {
58 S6(-p2
+2,(p1
+2*p2
-4)/2);
60 for (p3
=1;p3
<=-p2
;p3
++) {
62 S5(-p2
+1,(p1
+2*p2
-2)/2,p3
);
66 if ((p1
>= 2*n
+4) && (p1
<= 4*n
-6)) {
69 for (p3
=1;p3
<=floord(p1
-2*n
-2,2);p3
++) {
103 for (p2
=max(1,ceild(p1
-2*n
-1,2));p2
<=floord(p1
-3,4);p2
++) {
105 S2((p1
-2*p2
-1)/2,p2
);
109 for (p1
=2*n
+59;p1
<=4*n
-2;p1
++) {
111 if (p2
<= min(floord(-p1
+2*n
,2),floord(-p1
+5,4))) {
118 for (p3
=1;p3
<=floord(p1
-2*n
-2,2);p3
++) {
124 if (p2
<= min(floord(-p1
+2*n
,2),floord(-p1
+9,4))) {
128 for (p3
=1;p3
<=-p2
;p3
++) {
130 S5(-p2
+1,(p1
+2*p2
-2)/2,p3
);
134 for (p2
=ceild(-p1
+10,4);p2
<=floord(-p1
+2*n
,2);p2
++) {
139 S6(-p2
+2,(p1
+2*p2
-4)/2);
141 for (p3
=1;p3
<=-p2
;p3
++) {
143 S5(-p2
+1,(p1
+2*p2
-2)/2,p3
);
149 S6((p1
-2*n
+2)/2,n
-1);
150 for (p3
=1;p3
<=floord(p1
-2*n
-2,2);p3
++) {
161 for (p2
=ceild(p1
-2*n
-1,2);p2
<=floord(p1
-3,4);p2
++) {
163 S2((p1
-2*p2
-1)/2,p2
);