1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
|
/* Generated from /home/skimo/git/cloog-parma/cloog-core/test/vivien2.cloog by CLooG 0.14.0-285-g341b1cd gmp bits. */
for (p1=-54*n+4;p1<=4;p1++) {
if (p1%2 == 0) {
S1((p1-2)/2);
}
}
S3(1);
S4(1,2);
S1(2);
S6(1,2);
for (p1=7;p1<=9;p1++) {
for (p2=ceild(-p1+2,4);p2<=-1;p2++) {
if (p1%2 == 0) {
S4(-p2,(p1+2*p2)/2);
}
}
if ((p1+3)%4 == 0) {
S3((p1-1)/4);
}
if (p1%2 == 0) {
S1((p1-2)/2);
}
if (p1%2 == 0) {
S6(1,(p1-2)/2);
}
if ((p1+1)%2 == 0) {
S2((p1-3)/2,1);
}
}
for (p1=10;p1<=2*n+58;p1++) {
for (p2=ceild(-p1+2,4);p2<=min(floord(-p1+2*n,2),floord(-p1+5,4));p2++) {
if (p1%2 == 0) {
S4(-p2,(p1+2*p2)/2);
}
}
for (p2=ceild(-p1+6,4);p2<=min(min(-1,floord(-p1+2*n,2)),floord(-p1+9,4));p2++) {
if (p1%2 == 0) {
S4(-p2,(p1+2*p2)/2);
}
for (p3=1;p3<=-p2;p3++) {
if (p1%2 == 0) {
S5(-p2+1,(p1+2*p2-2)/2,p3);
}
}
}
for (p2=max(ceild(-p1+2*n+1,2),ceild(-p1+6,4));p2<=min(floord(-p1+2*n+2,2),floord(-p1+9,4));p2++) {
for (p3=1;p3<=-p2;p3++) {
if (p1%2 == 0) {
S5(-p2+1,(p1+2*p2-2)/2,p3);
}
}
}
for (p2=ceild(-p1+10,4);p2<=min(-1,floord(-p1+2*n,2));p2++) {
if (p1%2 == 0) {
S4(-p2,(p1+2*p2)/2);
}
if (p1%2 == 0) {
S6(-p2+2,(p1+2*p2-4)/2);
}
for (p3=1;p3<=-p2;p3++) {
if (p1%2 == 0) {
S5(-p2+1,(p1+2*p2-2)/2,p3);
}
}
}
for (p2=max(ceild(-p1+2*n+1,2),ceild(-p1+10,4));p2<=min(-1,floord(-p1+2*n+2,2));p2++) {
if (p1%2 == 0) {
S6(-p2+2,(p1+2*p2-4)/2);
}
for (p3=1;p3<=-p2;p3++) {
if (p1%2 == 0) {
S5(-p2+1,(p1+2*p2-2)/2,p3);
}
}
}
for (p2=max(ceild(-p1+2*n+3,2),ceild(-p1+10,4));p2<=min(-1,floord(-p1+2*n+4,2));p2++) {
if (p1%2 == 0) {
S6(-p2+2,(p1+2*p2-4)/2);
}
}
if (p1 <= 2*n+4) {
if (p1%2 == 0) {
S6(2,(p1-4)/2);
}
if ((p1+3)%4 == 0) {
S3((p1-1)/4);
}
if (p1%2 == 0) {
S1((p1-2)/2);
}
}
if (p1 >= 2*n+5) {
if ((p1+3)%4 == 0) {
S3((p1-1)/4);
}
if (p1%2 == 0) {
S1((p1-2)/2);
}
}
if (p1 <= 2*n+2) {
if (p1%2 == 0) {
S6(1,(p1-2)/2);
}
if ((p1+1)%2 == 0) {
S2((p1-3)/2,1);
}
}
if (p1 == 2*n+3) {
if ((p1+1)%2 == 0) {
S2((p1-3)/2,1);
}
}
for (p2=max(2,ceild(p1-2*n-1,2));p2<=floord(p1-3,4);p2++) {
if ((p1+1)%2 == 0) {
S2((p1-2*p2-1)/2,p2);
}
}
}
for (p1=2*n+59;p1<=4*n-2;p1++) {
for (p2=ceild(-p1+2,4);p2<=min(floord(-p1+2*n,2),floord(-p1+5,4));p2++) {
if (p1%2 == 0) {
S4(-p2,(p1+2*p2)/2);
}
}
for (p2=ceild(-p1+6,4);p2<=min(floord(-p1+2*n,2),floord(-p1+9,4));p2++) {
if (p1%2 == 0) {
S4(-p2,(p1+2*p2)/2);
}
for (p3=1;p3<=-p2;p3++) {
if (p1%2 == 0) {
S5(-p2+1,(p1+2*p2-2)/2,p3);
}
}
}
for (p2=max(ceild(-p1+2*n+1,2),ceild(-p1+6,4));p2<=min(floord(-p1+2*n+2,2),floord(-p1+9,4));p2++) {
for (p3=1;p3<=-p2;p3++) {
if (p1%2 == 0) {
S5(-p2+1,(p1+2*p2-2)/2,p3);
}
}
}
for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
if (p1%2 == 0) {
S4(-p2,(p1+2*p2)/2);
}
if (p1%2 == 0) {
S6(-p2+2,(p1+2*p2-4)/2);
}
for (p3=1;p3<=-p2;p3++) {
if (p1%2 == 0) {
S5(-p2+1,(p1+2*p2-2)/2,p3);
}
}
}
for (p2=max(ceild(-p1+2*n+1,2),ceild(-p1+10,4));p2<=floord(-p1+2*n+2,2);p2++) {
if (p1%2 == 0) {
S6(-p2+2,(p1+2*p2-4)/2);
}
for (p3=1;p3<=-p2;p3++) {
if (p1%2 == 0) {
S5(-p2+1,(p1+2*p2-2)/2,p3);
}
}
}
for (p2=max(ceild(-p1+2*n+3,2),ceild(-p1+10,4));p2<=floord(-p1+2*n+4,2);p2++) {
if (p1%2 == 0) {
S6(-p2+2,(p1+2*p2-4)/2);
}
}
if ((p1+3)%4 == 0) {
S3((p1-1)/4);
}
for (p2=ceild(p1-2*n-1,2);p2<=floord(p1-3,4);p2++) {
if ((p1+1)%2 == 0) {
S2((p1-2*p2-1)/2,p2);
}
}
}
S2(n,n-1);
for (p1=4*n;p1<=4*n+1;p1++) {
if ((p1+3)%4 == 0) {
S3((p1-1)/4);
}
}
|
