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