ported domain_difference
[cloog-ppl.git] / test / orc.c
blob2dc6210a17a12b29340e090b22142ca63760545f
1 /* Generated from orc.cloog by CLooG v0.14.0 gmp bits in 0.07s. */
2 /* CLooG asked for 404 KBytes. */
3 S1(i = 0) ;
4 S2(i = 0,j = 0) ;
5 for (p2=1;p2<=22;p2++) {
6 if ((p2+1)%2 == 0) {
7 j = (p2-1)/2 ;
8 S3(i = 0) ;
10 if (p2%2 == 0) {
11 S2(i = 0,j = p2/2) ;
14 S3(i = 0,j = 11) ;
15 for (p1=2;p1<=6;p1++) {
16 if ((p1+1)%3 == 0) {
17 i = (p1-2)/3 ;
18 S4 ;
20 if ((p1+2)%3 == 0) {
21 i = (p1-1)/3 ;
22 S2(j = 0) ;
24 if (p1%3 == 0) {
25 S1(i = p1/3) ;
27 for (p2=1;p2<=floord(-2*p1+68,3);p2++) {
28 if ((p1+2)%3 == 0) {
29 i = (p1-1)/3 ;
30 if ((p2+1)%2 == 0) {
31 j = (p2-1)/2 ;
32 S3 ;
34 if (p2%2 == 0) {
35 S2(j = p2/2) ;
39 for (p2=ceild(-2*p1+69,3);p2<=floord(-2*p1+71,3);p2++) {
40 if ((p1+2)%3 == 0) {
41 i = (p1-1)/3 ;
42 if ((p2+1)%2 == 0) {
43 j = (p2-1)/2 ;
44 S3 ;
49 S2(i = 2,j = 0) ;
50 for (p2=1;p2<=18;p2++) {
51 if ((p2+1)%2 == 0) {
52 j = (p2-1)/2 ;
53 S3(i = 2) ;
55 if (p2%2 == 0) {
56 S2(i = 2,j = p2/2) ;
59 S3(i = 2,j = 9) ;
60 S4(i = 2) ;
61 S5(i = 0) ;
62 S6(i = 0,j = 0) ;
63 for (p2=1;p2<=9;p2++) {
64 S6(i = 0,j = p2) ;
66 for (p1=2;p1<=42;p1++) {
67 if ((p1+1)%3 == 0) {
68 i = (p1-2)/3 ;
69 S7 ;
71 if ((p1+2)%3 == 0) {
72 i = (p1-1)/3 ;
73 S6(j = 0) ;
75 if (p1%3 == 0) {
76 S5(i = p1/3) ;
78 for (p2=1;p2<=9;p2++) {
79 if ((p1+2)%3 == 0) {
80 i = (p1-1)/3 ;
81 S6(j = p2) ;
85 S6(i = 14,j = 0) ;
86 for (p2=1;p2<=9;p2++) {
87 S6(i = 14,j = p2) ;
89 S7(i = 14) ;