| blob | 032c4b950d271eb3e5c0b7dc7f561dafcd7499fa |
1 /* Generated from ./classen.cloog by CLooG 0.15 64 bits in 5.35s. */
2 if (m >= 2) {
3 S1(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1) ;
4 S2(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1,other3 = 1,other4 = 1,other5 = 2,other6 = 1) ;
5 S3(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 2,other3 = 1,other4 = 1,other5 = 1,other6 = 2) ;
6 S4(coordT1 = 0,coordP1 = 1,other1 = 2,other2 = 2,other3 = 1,other4 = 1,other5 = 2,other6 = 2) ;
7 S8(coordT1 = 0,coordP1 = 1) ;
8 }
9 if (m >= 3) {
10 S6(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 2,other3 = 1,other4 = 1,other5 = 1,other6 = 2) ;
11 S7(coordT1 = 0,coordP1 = 1,other1 = 2,other2 = 2,other3 = 1,other4 = 1,other5 = 2,other6 = 2) ;
12 S1(coordT1 = 1,coordP1 = 2,other1 = 1,other2 = 2) ;
13 S2(coordT1 = 1,coordP1 = 2,other1 = 2,other2 = 2,other3 = 1,other4 = 2,other5 = 2,other6 = 2) ;
14 S3(coordT1 = 1,coordP1 = 2,other1 = 2,other2 = 3,other3 = 1,other4 = 2,other5 = 1,other6 = 3) ;
15 S4(coordT1 = 1,coordP1 = 2,other1 = 3,other2 = 3,other3 = 1,other4 = 2,other5 = 2,other6 = 3) ;
16 S5(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1,other3 = 1,other4 = 1,other5 = 2,other6 = 1) ;
17 S1(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 1) ;
18 S2(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 1,other3 = 2,other4 = 1,other5 = 3,other6 = 1) ;
19 S3(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 2,other3 = 2,other4 = 1,other5 = 2,other6 = 2) ;
20 S4(coordT1 = 1,coordP1 = 1,other1 = 3,other2 = 2,other3 = 2,other4 = 1,other5 = 3,other6 = 2) ;
21 for (coordP1=1;coordP1<=2;coordP1++) {
22 S8(coordT1 = 1) ;
23 }
24 }
25 for (glT1=2;glT1<=m-2;glT1++) {
26 for (rp1=2;rp1<=glT1;rp1++) {
27 local1 = glT1-rp1+1 ;
28 coordT1 = glT1-1 ;
29 other3 = glT1-rp1+1 ;
30 other5 = glT1-rp1+2 ;
31 S5(coordP1 = rp1,other1 = glT1,other2 = rp1,other4 = rp1,other6 = rp1) ;
32 local1 = glT1-rp1+2 ;
33 local2 = rp1-1 ;
34 coordT1 = glT1-1 ;
35 coordP1 = rp1-1 ;
36 other3 = glT1-rp1+2 ;
37 other4 = rp1-1 ;
38 other5 = glT1-rp1+2 ;
39 S6(other1 = glT1,other2 = rp1,other6 = rp1) ;
40 other1 = glT1+1 ;
41 other3 = glT1-rp1+2 ;
42 other4 = rp1-1 ;
43 other5 = glT1-rp1+3 ;
44 S7(other2 = rp1,other6 = rp1) ;
45 other1 = glT1-rp1+2 ;
46 S1(coordT1 = glT1,coordP1 = rp1,other2 = rp1) ;
47 local1 = glT1-rp1+2 ;
48 other1 = glT1+1 ;
49 other3 = glT1-rp1+2 ;
50 other5 = glT1-rp1+3 ;
51 S2(coordT1 = glT1,coordP1 = rp1,other2 = rp1,other4 = rp1,other6 = rp1) ;
52 other2 = rp1+1 ;
53 other3 = glT1-rp1+2 ;
54 other5 = glT1-rp1+2 ;
55 other6 = rp1+1 ;
56 S3(coordT1 = glT1,coordP1 = rp1,other4 = rp1) ;
57 other1 = glT1+2 ;
58 other2 = rp1+1 ;
59 other3 = glT1-rp1+2 ;
60 other5 = glT1-rp1+3 ;
61 other6 = rp1+1 ;
62 S4(coordT1 = glT1,coordP1 = rp1,other4 = rp1) ;
63 }
64 rp1 = glT1+1 ;
65 coordT1 = glT1-1 ;
66 other2 = glT1+1 ;
67 other6 = glT1+1 ;
68 S6(coordP1 = glT1,other1 = glT1,other3 = 1,other4 = glT1,other5 = 1) ;
69 other1 = glT1+1 ;
70 other2 = glT1+1 ;
71 other6 = glT1+1 ;
72 S7(coordP1 = glT1,other3 = 1,other4 = glT1,other5 = 2) ;
73 coordP1 = glT1+1 ;
74 other2 = glT1+1 ;
75 S1(coordT1 = glT1,other1 = 1) ;
76 local2 = glT1+1 ;
77 coordP1 = glT1+1 ;
78 other1 = glT1+1 ;
79 other2 = glT1+1 ;
80 other4 = glT1+1 ;
81 other6 = glT1+1 ;
82 S2(coordT1 = glT1,other3 = 1,other5 = 2) ;
83 other2 = glT1+2 ;
84 other4 = glT1+1 ;
85 other6 = glT1+2 ;
86 S3(coordT1 = glT1,other3 = 1,other5 = 1) ;
87 other1 = glT1+2 ;
88 other2 = glT1+2 ;
89 other4 = glT1+1 ;
90 other6 = glT1+2 ;
91 S4(coordT1 = glT1,other3 = 1,other5 = 2) ;
92 coordT1 = glT1-1 ;
93 other5 = glT1+1 ;
94 S5(coordP1 = 1,other1 = glT1,other2 = 1,other3 = glT1,other4 = 1,other6 = 1) ;
95 other1 = glT1+1 ;
96 S1(coordT1 = glT1,coordP1 = 1,other2 = 1) ;
97 local1 = glT1+1 ;
98 other1 = glT1+1 ;
99 other3 = glT1+1 ;
100 other5 = glT1+2 ;
101 S2(coordT1 = glT1,coordP1 = 1,other2 = 1,other4 = 1,other6 = 1) ;
102 other3 = glT1+1 ;
103 other5 = glT1+1 ;
104 S3(coordT1 = glT1,coordP1 = 1,other2 = 2,other4 = 1,other6 = 2) ;
105 other1 = glT1+2 ;
106 other3 = glT1+1 ;
107 other5 = glT1+2 ;
108 S4(coordT1 = glT1,coordP1 = 1,other2 = 2,other4 = 1,other6 = 2) ;
109 for (coordP1=1;coordP1<=glT1+1;coordP1++) {
110 S8(coordT1 = glT1) ;
111 }
112 }
113 if (m >= 3) {
114 glT1 = m-1 ;
115 local1 = m-1 ;
116 coordT1 = m-2 ;
117 other1 = m-1 ;
118 other3 = m-1 ;
119 S5(coordP1 = 1,other2 = 1,other4 = 1,other5 = m,other6 = 1) ;
120 coordT1 = m-1 ;
121 S1(coordP1 = 1,other1 = m,other2 = 1) ;
122 coordT1 = m-1 ;
123 S3(coordP1 = 1,other1 = m,other2 = 2,other3 = m,other4 = 1,other5 = m,other6 = 2) ;
124 for (rp1=2;rp1<=m-1;rp1++) {
125 local1 = -rp1+m ;
126 coordT1 = m-2 ;
127 other1 = m-1 ;
128 other3 = -rp1+m ;
129 other5 = -rp1+m+1 ;
130 S5(coordP1 = rp1,other2 = rp1,other4 = rp1,other6 = rp1) ;
131 local1 = -rp1+m+1 ;
132 local2 = rp1-1 ;
133 coordT1 = m-2 ;
134 coordP1 = rp1-1 ;
135 other1 = m-1 ;
136 other3 = -rp1+m+1 ;
137 other4 = rp1-1 ;
138 other5 = -rp1+m+1 ;
139 S6(other2 = rp1,other6 = rp1) ;
140 other3 = -rp1+m+1 ;
141 other4 = rp1-1 ;
142 other5 = -rp1+m+2 ;
143 S7(other1 = m,other2 = rp1,other6 = rp1) ;
144 coordT1 = m-1 ;
145 other1 = -rp1+m+1 ;
146 S1(coordP1 = rp1,other2 = rp1) ;
147 local1 = -rp1+m+1 ;
148 coordT1 = m-1 ;
149 other3 = -rp1+m+1 ;
150 other5 = -rp1+m+2 ;
151 S2(coordP1 = rp1,other1 = m,other2 = rp1,other4 = rp1,other6 = rp1) ;
152 other2 = rp1+1 ;
153 other3 = -rp1+m+1 ;
154 other5 = -rp1+m+1 ;
155 other6 = rp1+1 ;
156 S3(coordP1 = rp1,other1 = m,other4 = rp1) ;
157 other1 = m+1 ;
158 other2 = rp1+1 ;
159 other3 = -rp1+m+1 ;
160 other5 = -rp1+m+2 ;
161 other6 = rp1+1 ;
162 S4(coordP1 = rp1,other4 = rp1) ;
163 }
164 local2 = m-1 ;
165 coordT1 = m-2 ;
166 coordP1 = m-1 ;
167 other1 = m-1 ;
168 other4 = m-1 ;
169 S6(other2 = m,other3 = 1,other5 = 1,other6 = m) ;
170 other4 = m-1 ;
171 S7(other1 = m,other2 = m,other3 = 1,other5 = 2,other6 = m) ;
172 coordT1 = m-1 ;
173 S1(coordP1 = m,other1 = 1,other2 = m) ;
174 coordT1 = m-1 ;
175 S2(coordP1 = m,other1 = m,other2 = m,other3 = 1,other4 = m,other5 = 2,other6 = m) ;
176 coordT1 = m-1 ;
177 for (coordP1=1;coordP1<=m;coordP1++) {
178 S8 ;
179 }
180 }
181 for (glT1=m;glT1<=2*m-4;glT1++) {
182 for (rp1=glT1-m+3;rp1<=m-1;rp1++) {
183 local1 = glT1-rp1+1 ;
184 coordT1 = glT1-1 ;
185 other3 = glT1-rp1+1 ;
186 other5 = glT1-rp1+2 ;
187 S5(coordP1 = rp1,other1 = glT1,other2 = rp1,other4 = rp1,other6 = rp1) ;
188 local1 = glT1-rp1+2 ;
189 local2 = rp1-1 ;
190 coordT1 = glT1-1 ;
191 coordP1 = rp1-1 ;
192 other3 = glT1-rp1+2 ;
193 other4 = rp1-1 ;
194 other5 = glT1-rp1+2 ;
195 S6(other1 = glT1,other2 = rp1,other6 = rp1) ;
196 other1 = glT1+1 ;
197 other3 = glT1-rp1+2 ;
198 other4 = rp1-1 ;
199 other5 = glT1-rp1+3 ;
200 S7(other2 = rp1,other6 = rp1) ;
201 other1 = glT1-rp1+2 ;
202 S1(coordT1 = glT1,coordP1 = rp1,other2 = rp1) ;
203 local1 = glT1-rp1+2 ;
204 other1 = glT1+1 ;
205 other3 = glT1-rp1+2 ;
206 other5 = glT1-rp1+3 ;
207 S2(coordT1 = glT1,coordP1 = rp1,other2 = rp1,other4 = rp1,other6 = rp1) ;
208 other2 = rp1+1 ;
209 other3 = glT1-rp1+2 ;
210 other5 = glT1-rp1+2 ;
211 other6 = rp1+1 ;
212 S3(coordT1 = glT1,coordP1 = rp1,other4 = rp1) ;
213 other1 = glT1+2 ;
214 other2 = rp1+1 ;
215 other3 = glT1-rp1+2 ;
216 other5 = glT1-rp1+3 ;
217 other6 = rp1+1 ;
218 S4(coordT1 = glT1,coordP1 = rp1,other4 = rp1) ;
219 }
220 rp1 = glT1-m+2 ;
221 local1 = m-1 ;
222 local2 = glT1-m+2 ;
223 coordT1 = glT1-1 ;
224 coordP1 = glT1-m+2 ;
225 other2 = glT1-m+2 ;
226 other3 = m-1 ;
227 other4 = glT1-m+2 ;
228 other6 = glT1-m+2 ;
229 S5(other1 = glT1,other5 = m) ;
230 local2 = glT1-m+1 ;
231 coordT1 = glT1-1 ;
232 coordP1 = glT1-m+1 ;
233 other2 = glT1-m+2 ;
234 other4 = glT1-m+1 ;
235 other6 = glT1-m+2 ;
236 S6(other1 = glT1,other3 = m,other5 = m) ;
237 coordP1 = glT1-m+2 ;
238 other2 = glT1-m+2 ;
239 S1(coordT1 = glT1,other1 = m) ;
240 local2 = glT1-m+2 ;
241 coordP1 = glT1-m+2 ;
242 other1 = glT1+1 ;
243 other2 = glT1-m+3 ;
244 other4 = glT1-m+2 ;
245 other6 = glT1-m+3 ;
246 S3(coordT1 = glT1,other3 = m,other5 = m) ;
247 local1 = glT1-m+1 ;
248 coordT1 = glT1-1 ;
249 other3 = glT1-m+1 ;
250 other5 = glT1-m+2 ;
251 S5(coordP1 = m,other1 = glT1,other2 = m,other4 = m,other6 = m) ;
252 local1 = glT1-m+2 ;
253 local2 = m-1 ;
254 coordT1 = glT1-1 ;
255 coordP1 = m-1 ;
256 other3 = glT1-m+2 ;
257 other4 = m-1 ;
258 other5 = glT1-m+2 ;
259 S6(other1 = glT1,other2 = m,other6 = m) ;
260 other1 = glT1+1 ;
261 other3 = glT1-m+2 ;
262 other4 = m-1 ;
263 other5 = glT1-m+3 ;
264 S7(other2 = m,other6 = m) ;
265 other1 = glT1-m+2 ;
266 S1(coordT1 = glT1,coordP1 = m,other2 = m) ;
267 local1 = glT1-m+2 ;
268 other1 = glT1+1 ;
269 other3 = glT1-m+2 ;
270 other5 = glT1-m+3 ;
271 S2(coordT1 = glT1,coordP1 = m,other2 = m,other4 = m,other6 = m) ;
272 for (coordP1=glT1-m+2;coordP1<=m;coordP1++) {
273 S8(coordT1 = glT1) ;
274 }
275 }
276 if (m >= 3) {
277 glT1 = 2*m-3 ;
278 rp1 = m-1 ;
279 local1 = m-1 ;
280 local2 = m-1 ;
281 coordT1 = 2*m-4 ;
282 coordP1 = m-1 ;
283 other1 = 2*m-3 ;
284 other2 = m-1 ;
285 other3 = m-1 ;
286 other4 = m-1 ;
287 other6 = m-1 ;
288 S5(other5 = m) ;
289 local2 = m-2 ;
290 coordT1 = 2*m-4 ;
291 coordP1 = m-2 ;
292 other1 = 2*m-3 ;
293 other2 = m-1 ;
294 other4 = m-2 ;
295 other6 = m-1 ;
296 S6(other3 = m,other5 = m) ;
297 coordT1 = 2*m-3 ;
298 coordP1 = m-1 ;
299 other2 = m-1 ;
300 S1(other1 = m) ;
301 local2 = m-1 ;
302 coordT1 = 2*m-3 ;
303 coordP1 = m-1 ;
304 other1 = 2*m-2 ;
305 other4 = m-1 ;
306 S3(other2 = m,other3 = m,other5 = m,other6 = m) ;
307 local1 = m-2 ;
308 coordT1 = 2*m-4 ;
309 other1 = 2*m-3 ;
310 other3 = m-2 ;
311 other5 = m-1 ;
312 S5(coordP1 = m,other2 = m,other4 = m,other6 = m) ;
313 local1 = m-1 ;
314 local2 = m-1 ;
315 coordT1 = 2*m-4 ;
316 coordP1 = m-1 ;
317 other1 = 2*m-3 ;
318 other3 = m-1 ;
319 other4 = m-1 ;
320 other5 = m-1 ;
321 S6(other2 = m,other6 = m) ;
322 other1 = 2*m-2 ;
323 other3 = m-1 ;
324 other4 = m-1 ;
325 S7(other2 = m,other5 = m,other6 = m) ;
326 coordT1 = 2*m-3 ;
327 other1 = m-1 ;
328 S1(coordP1 = m,other2 = m) ;
329 local1 = m-1 ;
330 coordT1 = 2*m-3 ;
331 other1 = 2*m-2 ;
332 other3 = m-1 ;
333 S2(coordP1 = m,other2 = m,other4 = m,other5 = m,other6 = m) ;
334 coordT1 = 2*m-3 ;
335 for (coordP1=m-1;coordP1<=m;coordP1++) {
336 S8 ;
337 }
338 }
339 if (m == 2) {
340 S5(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1,other3 = 1,other4 = 1,other5 = 2,other6 = 1) ;
341 S1(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 1) ;
342 S3(coordT1 = 1,coordP1 = 1,other1 = 2,other2 = 2,other3 = 2,other4 = 1,other5 = 2,other6 = 2) ;
343 S1(coordT1 = 1,coordP1 = 2,other1 = 1,other2 = 2) ;
344 S2(coordT1 = 1,coordP1 = 2,other1 = 2,other2 = 2,other3 = 1,other4 = 2,other5 = 2,other6 = 2) ;
345 }
346 if (m >= 2) {
347 glT1 = 2*m-2 ;
348 local1 = m-1 ;
349 coordT1 = 2*m-3 ;
350 other1 = 2*m-2 ;
351 other3 = m-1 ;
352 S5(coordP1 = m,other2 = m,other4 = m,other5 = m,other6 = m) ;
353 local2 = m-1 ;
354 coordT1 = 2*m-3 ;
355 coordP1 = m-1 ;
356 other1 = 2*m-2 ;
357 other4 = m-1 ;
358 S6(other2 = m,other3 = m,other5 = m,other6 = m) ;
359 coordT1 = 2*m-2 ;
360 S1(coordP1 = m,other1 = m,other2 = m) ;
361 coordT1 = 2*m-2 ;
362 S8(coordP1 = m) ;
363 }
364 if (m == 1) {
365 S1(coordT1 = 0,coordP1 = 1,other1 = 1,other2 = 1) ;
366 S8(coordT1 = 0,coordP1 = 1) ;
367 }