| blob | a6a33e7ba44db482a929d8a1c62d65802ae8801b |
1 /* Generated from ./vivien2.cloog by CLooG 0.15 64 bits in 1.91s. */
2 for (p1=-54*n+4;p1<=4;p1++) {
3 if (p1%2 == 0) {
4 i = (p1-2)/2 ;
5 S1 ;
6 }
7 }
8 S3(i = 1) ;
9 S4(i = 1,j = 2) ;
10 S1(i = 2) ;
11 S6(i = 1,j = 2) ;
12 for (p1=7;p1<=9;p1++) {
13 for (p2=ceild(-p1+2,4);p2<=-1;p2++) {
14 if (p1%2 == 0) {
15 j = (p1+2*p2)/2 ;
16 S4(i = -p2) ;
17 }
18 }
19 if ((p1+3)%4 == 0) {
20 i = (p1-1)/4 ;
21 S3 ;
22 }
23 for (i=ceild(p1+1,4);i<=floord(p1-3,2);i++) {
24 if ((p1+1)%2 == 0) {
25 j = (p1-2*i-1)/2 ;
26 S2 ;
27 }
28 }
29 if (p1%2 == 0) {
30 i = (p1-2)/2 ;
31 S1 ;
32 }
33 if (p1%2 == 0) {
34 j = (p1-2)/2 ;
35 S6(i = 1) ;
36 }
37 }
38 for (p1=10;p1<=12;p1++) {
39 if (p1%2 == 0) {
40 j = (p1-4)/2 ;
41 S6(i = 2) ;
42 }
43 for (i=max(ceild(p1+1,4),3);i<=floord(p1-3,2);i++) {
44 if ((p1+1)%2 == 0) {
45 j = (p1-2*i-1)/2 ;
46 S2 ;
47 }
48 }
49 if (p1%2 == 0) {
50 i = (p1-2)/2 ;
51 S1 ;
52 }
53 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
54 if (p1%2 == 0) {
55 j = (p1+2*p2)/2 ;
56 S4(i = -p2) ;
57 }
58 }
59 for (p2=ceild(-p1+6,4);p2<=-1;p2++) {
60 if (p1%2 == 0) {
61 j = (p1+2*p2)/2 ;
62 S4(i = -p2) ;
63 }
64 for (p3=1;p3<=-p2;p3++) {
65 i = -p2+1 ;
66 if (p1%2 == 0) {
67 j = (p1+2*p2-2)/2 ;
68 S5(k = p3) ;
69 }
70 }
71 }
72 if (p1%2 == 0) {
73 j = (p1-2)/2 ;
74 S6(i = 1) ;
75 }
76 }
77 S3(i = 3) ;
78 for (i=4;i<=5;i++) {
79 j = -i+6 ;
80 S2 ;
81 }
82 for (p1=14;p1<=2*n+2;p1++) {
83 for (p2=ceild(-p1+10,4);p2<=-1;p2++) {
84 if (p1%2 == 0) {
85 j = (p1+2*p2)/2 ;
86 S4(i = -p2) ;
87 }
88 i = -p2+2 ;
89 if (p1%2 == 0) {
90 j = (p1+2*p2-4)/2 ;
91 S6 ;
92 }
93 for (p3=1;p3<=-p2;p3++) {
94 i = -p2+1 ;
95 if (p1%2 == 0) {
96 j = (p1+2*p2-2)/2 ;
97 S5(k = p3) ;
98 }
99 }
100 }
101 if (p1%2 == 0) {
102 j = (p1-4)/2 ;
103 S6(i = 2) ;
104 }
105 if ((p1+3)%4 == 0) {
106 i = (p1-1)/4 ;
107 S3 ;
108 }
109 for (i=ceild(p1+1,4);i<=floord(p1-3,2);i++) {
110 if ((p1+1)%2 == 0) {
111 j = (p1-2*i-1)/2 ;
112 S2 ;
113 }
114 }
115 if (p1%2 == 0) {
116 i = (p1-2)/2 ;
117 S1 ;
118 }
119 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
120 if (p1%2 == 0) {
121 j = (p1+2*p2)/2 ;
122 S4(i = -p2) ;
123 }
124 }
125 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
126 if (p1%2 == 0) {
127 j = (p1+2*p2)/2 ;
128 S4(i = -p2) ;
129 }
130 for (p3=1;p3<=-p2;p3++) {
131 i = -p2+1 ;
132 if (p1%2 == 0) {
133 j = (p1+2*p2-2)/2 ;
134 S5(k = p3) ;
135 }
136 }
137 }
138 if (p1%2 == 0) {
139 j = (p1-2)/2 ;
140 S6(i = 1) ;
141 }
142 }
143 for (p1=2*n+3;p1<=2*n+4;p1++) {
144 for (p2=ceild(-p1+2*n+1,2);p2<=-1;p2++) {
145 i = -p2+2 ;
146 if (p1%2 == 0) {
147 j = (p1+2*p2-4)/2 ;
148 S6 ;
149 }
150 for (p3=1;p3<=-p2;p3++) {
151 i = -p2+1 ;
152 if (p1%2 == 0) {
153 j = (p1+2*p2-2)/2 ;
154 S5(k = p3) ;
155 }
156 }
157 }
158 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
159 if (p1%2 == 0) {
160 j = (p1+2*p2)/2 ;
161 S4(i = -p2) ;
162 }
163 i = -p2+2 ;
164 if (p1%2 == 0) {
165 j = (p1+2*p2-4)/2 ;
166 S6 ;
167 }
168 for (p3=1;p3<=-p2;p3++) {
169 i = -p2+1 ;
170 if (p1%2 == 0) {
171 j = (p1+2*p2-2)/2 ;
172 S5(k = p3) ;
173 }
174 }
175 }
176 if (p1%2 == 0) {
177 j = (p1-4)/2 ;
178 S6(i = 2) ;
179 }
180 if ((p1+3)%4 == 0) {
181 i = (p1-1)/4 ;
182 S3 ;
183 }
184 for (i=ceild(p1+1,4);i<=n;i++) {
185 if ((p1+1)%2 == 0) {
186 j = (p1-2*i-1)/2 ;
187 S2 ;
188 }
189 }
190 if (p1%2 == 0) {
191 i = (p1-2)/2 ;
192 S1 ;
193 }
194 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
195 if (p1%2 == 0) {
196 j = (p1+2*p2)/2 ;
197 S4(i = -p2) ;
198 }
199 }
200 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
201 if (p1%2 == 0) {
202 j = (p1+2*p2)/2 ;
203 S4(i = -p2) ;
204 }
205 for (p3=1;p3<=-p2;p3++) {
206 i = -p2+1 ;
207 if (p1%2 == 0) {
208 j = (p1+2*p2-2)/2 ;
209 S5(k = p3) ;
210 }
211 }
212 }
213 }
214 for (p1=2*n+5;p1<=min(4*n-10,2*n+58);p1++) {
215 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
216 i = -p2+2 ;
217 if (p1%2 == 0) {
218 j = (p1+2*p2-4)/2 ;
219 S6 ;
220 }
221 for (p3=1;p3<=-p2;p3++) {
222 i = -p2+1 ;
223 if (p1%2 == 0) {
224 j = (p1+2*p2-2)/2 ;
225 S5(k = p3) ;
226 }
227 }
228 }
229 for (p2=ceild(-p1+2*n+3,2);p2<=min(floord(-p1+2*n+4,2),-1);p2++) {
230 i = -p2+2 ;
231 if (p1%2 == 0) {
232 j = (p1+2*p2-4)/2 ;
233 S6 ;
234 }
235 }
236 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
237 if (p1%2 == 0) {
238 j = (p1+2*p2)/2 ;
239 S4(i = -p2) ;
240 }
241 i = -p2+2 ;
242 if (p1%2 == 0) {
243 j = (p1+2*p2-4)/2 ;
244 S6 ;
245 }
246 for (p3=1;p3<=-p2;p3++) {
247 i = -p2+1 ;
248 if (p1%2 == 0) {
249 j = (p1+2*p2-2)/2 ;
250 S5(k = p3) ;
251 }
252 }
253 }
254 if ((p1+3)%4 == 0) {
255 i = (p1-1)/4 ;
256 S3 ;
257 }
258 for (i=ceild(p1+1,4);i<=n;i++) {
259 if ((p1+1)%2 == 0) {
260 j = (p1-2*i-1)/2 ;
261 S2 ;
262 }
263 }
264 if (p1%2 == 0) {
265 i = (p1-2)/2 ;
266 S1 ;
267 }
268 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
269 if (p1%2 == 0) {
270 j = (p1+2*p2)/2 ;
271 S4(i = -p2) ;
272 }
273 }
274 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
275 if (p1%2 == 0) {
276 j = (p1+2*p2)/2 ;
277 S4(i = -p2) ;
278 }
279 for (p3=1;p3<=-p2;p3++) {
280 i = -p2+1 ;
281 if (p1%2 == 0) {
282 j = (p1+2*p2-2)/2 ;
283 S5(k = p3) ;
284 }
285 }
286 }
287 }
288 for (p1=4*n-9;p1<=min(4*n-8,2*n+58);p1++) {
289 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
290 i = -p2+2 ;
291 if (p1%2 == 0) {
292 j = (p1+2*p2-4)/2 ;
293 S6 ;
294 }
295 for (p3=1;p3<=-p2;p3++) {
296 i = -p2+1 ;
297 if (p1%2 == 0) {
298 j = (p1+2*p2-2)/2 ;
299 S5(k = p3) ;
300 }
301 }
302 }
303 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
304 i = -p2+2 ;
305 if (p1%2 == 0) {
306 j = (p1+2*p2-4)/2 ;
307 S6 ;
308 }
309 }
310 if ((p1+3)%4 == 0) {
311 i = (p1-1)/4 ;
312 S3 ;
313 }
314 for (i=ceild(p1+1,4);i<=n;i++) {
315 if ((p1+1)%2 == 0) {
316 j = (p1-2*i-1)/2 ;
317 S2 ;
318 }
319 }
320 if (p1%2 == 0) {
321 i = (p1-2)/2 ;
322 S1 ;
323 }
324 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
325 if (p1%2 == 0) {
326 j = (p1+2*p2)/2 ;
327 S4(i = -p2) ;
328 }
329 }
330 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
331 if (p1%2 == 0) {
332 j = (p1+2*p2)/2 ;
333 S4(i = -p2) ;
334 }
335 for (p3=1;p3<=-p2;p3++) {
336 i = -p2+1 ;
337 if (p1%2 == 0) {
338 j = (p1+2*p2-2)/2 ;
339 S5(k = p3) ;
340 }
341 }
342 }
343 }
344 for (p1=4*n-7;p1<=min(4*n-6,2*n+58);p1++) {
345 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n+2,2);p2++) {
346 i = -p2+2 ;
347 if (p1%2 == 0) {
348 j = (p1+2*p2-4)/2 ;
349 S6 ;
350 }
351 for (p3=1;p3<=-p2;p3++) {
352 i = -p2+1 ;
353 if (p1%2 == 0) {
354 j = (p1+2*p2-2)/2 ;
355 S5(k = p3) ;
356 }
357 }
358 }
359 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
360 i = -p2+2 ;
361 if (p1%2 == 0) {
362 j = (p1+2*p2-4)/2 ;
363 S6 ;
364 }
365 }
366 if ((p1+3)%4 == 0) {
367 i = (p1-1)/4 ;
368 S3 ;
369 }
370 for (i=ceild(p1+1,4);i<=n;i++) {
371 if ((p1+1)%2 == 0) {
372 j = (p1-2*i-1)/2 ;
373 S2 ;
374 }
375 }
376 if (p1%2 == 0) {
377 i = (p1-2)/2 ;
378 S1 ;
379 }
380 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
381 if (p1%2 == 0) {
382 j = (p1+2*p2)/2 ;
383 S4(i = -p2) ;
384 }
385 }
386 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
387 if (p1%2 == 0) {
388 j = (p1+2*p2)/2 ;
389 S4(i = -p2) ;
390 }
391 for (p3=1;p3<=-p2;p3++) {
392 i = -p2+1 ;
393 if (p1%2 == 0) {
394 j = (p1+2*p2-2)/2 ;
395 S5(k = p3) ;
396 }
397 }
398 }
399 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+9,4);p2++) {
400 for (p3=1;p3<=-p2;p3++) {
401 i = -p2+1 ;
402 if (p1%2 == 0) {
403 j = (p1+2*p2-2)/2 ;
404 S5(k = p3) ;
405 }
406 }
407 }
408 }
409 for (p1=4*n-5;p1<=2*n+58;p1++) {
410 for (p2=max(ceild(-p1+10,4),ceild(-p1+2*n+3,2));p2<=floord(-p1+2*n+4,2);p2++) {
411 i = -p2+2 ;
412 if (p1%2 == 0) {
413 j = (p1+2*p2-4)/2 ;
414 S6 ;
415 }
416 }
417 if ((p1+3)%4 == 0) {
418 i = (p1-1)/4 ;
419 S3 ;
420 }
421 for (i=ceild(p1+1,4);i<=n;i++) {
422 if ((p1+1)%2 == 0) {
423 j = (p1-2*i-1)/2 ;
424 S2 ;
425 }
426 }
427 if (p1%2 == 0) {
428 i = (p1-2)/2 ;
429 S1 ;
430 }
431 for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) {
432 if (p1%2 == 0) {
433 j = (p1+2*p2)/2 ;
434 S4(i = -p2) ;
435 }
436 }
437 for (p2=max(ceild(-p1+6,4),ceild(-p1+2*n+1,2));p2<=floord(-p1+2*n+2,2);p2++) {
438 for (p3=1;p3<=-p2;p3++) {
439 i = -p2+1 ;
440 if (p1%2 == 0) {
441 j = (p1+2*p2-2)/2 ;
442 S5(k = p3) ;
443 }
444 }
445 }
446 }
447 for (p1=2*n+59;p1<=4*n-10;p1++) {
448 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
449 i = -p2+2 ;
450 if (p1%2 == 0) {
451 j = (p1+2*p2-4)/2 ;
452 S6 ;
453 }
454 }
455 for (p2=ceild(-p1+6,4);p2<=floord(-p1+9,4);p2++) {
456 if (p1%2 == 0) {
457 j = (p1+2*p2)/2 ;
458 S4(i = -p2) ;
459 }
460 for (p3=1;p3<=-p2;p3++) {
461 i = -p2+1 ;
462 if (p1%2 == 0) {
463 j = (p1+2*p2-2)/2 ;
464 S5(k = p3) ;
465 }
466 }
467 }
468 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n,2);p2++) {
469 if (p1%2 == 0) {
470 j = (p1+2*p2)/2 ;
471 S4(i = -p2) ;
472 }
473 i = -p2+2 ;
474 if (p1%2 == 0) {
475 j = (p1+2*p2-4)/2 ;
476 S6 ;
477 }
478 for (p3=1;p3<=-p2;p3++) {
479 i = -p2+1 ;
480 if (p1%2 == 0) {
481 j = (p1+2*p2-2)/2 ;
482 S5(k = p3) ;
483 }
484 }
485 }
486 if ((p1+3)%4 == 0) {
487 i = (p1-1)/4 ;
488 S3 ;
489 }
490 for (i=ceild(p1+1,4);i<=n;i++) {
491 if ((p1+1)%2 == 0) {
492 j = (p1-2*i-1)/2 ;
493 S2 ;
494 }
495 }
496 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
497 i = -p2+2 ;
498 if (p1%2 == 0) {
499 j = (p1+2*p2-4)/2 ;
500 S6 ;
501 }
502 for (p3=1;p3<=-p2;p3++) {
503 i = -p2+1 ;
504 if (p1%2 == 0) {
505 j = (p1+2*p2-2)/2 ;
506 S5(k = p3) ;
507 }
508 }
509 }
510 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
511 if (p1%2 == 0) {
512 j = (p1+2*p2)/2 ;
513 S4(i = -p2) ;
514 }
515 }
516 }
517 for (p1=max(4*n-9,2*n+59);p1<=4*n-8;p1++) {
518 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
519 i = -p2+2 ;
520 if (p1%2 == 0) {
521 j = (p1+2*p2-4)/2 ;
522 S6 ;
523 }
524 }
525 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
526 if (p1%2 == 0) {
527 j = (p1+2*p2)/2 ;
528 S4(i = -p2) ;
529 }
530 for (p3=1;p3<=-p2;p3++) {
531 i = -p2+1 ;
532 if (p1%2 == 0) {
533 j = (p1+2*p2-2)/2 ;
534 S5(k = p3) ;
535 }
536 }
537 }
538 if ((p1+3)%4 == 0) {
539 i = (p1-1)/4 ;
540 S3 ;
541 }
542 for (i=ceild(p1+1,4);i<=n;i++) {
543 if ((p1+1)%2 == 0) {
544 j = (p1-2*i-1)/2 ;
545 S2 ;
546 }
547 }
548 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+2*n+2,2);p2++) {
549 i = -p2+2 ;
550 if (p1%2 == 0) {
551 j = (p1+2*p2-4)/2 ;
552 S6 ;
553 }
554 for (p3=1;p3<=-p2;p3++) {
555 i = -p2+1 ;
556 if (p1%2 == 0) {
557 j = (p1+2*p2-2)/2 ;
558 S5(k = p3) ;
559 }
560 }
561 }
562 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
563 if (p1%2 == 0) {
564 j = (p1+2*p2)/2 ;
565 S4(i = -p2) ;
566 }
567 }
568 }
569 for (p1=max(4*n-7,2*n+59);p1<=4*n-6;p1++) {
570 for (p2=ceild(-p1+2*n+3,2);p2<=floord(-p1+2*n+4,2);p2++) {
571 i = -p2+2 ;
572 if (p1%2 == 0) {
573 j = (p1+2*p2-4)/2 ;
574 S6 ;
575 }
576 }
577 for (p2=ceild(-p1+6,4);p2<=floord(-p1+2*n,2);p2++) {
578 if (p1%2 == 0) {
579 j = (p1+2*p2)/2 ;
580 S4(i = -p2) ;
581 }
582 for (p3=1;p3<=-p2;p3++) {
583 i = -p2+1 ;
584 if (p1%2 == 0) {
585 j = (p1+2*p2-2)/2 ;
586 S5(k = p3) ;
587 }
588 }
589 }
590 if ((p1+3)%4 == 0) {
591 i = (p1-1)/4 ;
592 S3 ;
593 }
594 for (i=ceild(p1+1,4);i<=n;i++) {
595 if ((p1+1)%2 == 0) {
596 j = (p1-2*i-1)/2 ;
597 S2 ;
598 }
599 }
600 for (p2=ceild(-p1+10,4);p2<=floord(-p1+2*n+2,2);p2++) {
601 i = -p2+2 ;
602 if (p1%2 == 0) {
603 j = (p1+2*p2-4)/2 ;
604 S6 ;
605 }
606 for (p3=1;p3<=-p2;p3++) {
607 i = -p2+1 ;
608 if (p1%2 == 0) {
609 j = (p1+2*p2-2)/2 ;
610 S5(k = p3) ;
611 }
612 }
613 }
614 for (p2=ceild(-p1+2,4);p2<=floord(-p1+5,4);p2++) {
615 if (p1%2 == 0) {
616 j = (p1+2*p2)/2 ;
617 S4(i = -p2) ;
618 }
619 }
620 for (p2=ceild(-p1+2*n+1,2);p2<=floord(-p1+9,4);p2++) {
621 for (p3=1;p3<=-p2;p3++) {
622 i = -p2+1 ;
623 if (p1%2 == 0) {
624 j = (p1+2*p2-2)/2 ;
625 S5(k = p3) ;
626 }
627 }
628 }
629 }
630 for (p1=max(4*n-5,2*n+59);p1<=4*n-2;p1++) {
631 for (p2=max(ceild(-p1+10,4),ceild(-p1+2*n+3,2));p2<=floord(-p1+2*n+4,2);p2++) {
632 i = -p2+2 ;
633 if (p1%2 == 0) {
634 j = (p1+2*p2-4)/2 ;
635 S6 ;
636 }
637 }
638 if ((p1+3)%4 == 0) {
639 i = (p1-1)/4 ;
640 S3 ;
641 }
642 for (i=ceild(p1+1,4);i<=n;i++) {
643 if ((p1+1)%2 == 0) {
644 j = (p1-2*i-1)/2 ;
645 S2 ;
646 }
647 }
648 for (p2=ceild(-p1+2,4);p2<=floord(-p1+2*n,2);p2++) {
649 if (p1%2 == 0) {
650 j = (p1+2*p2)/2 ;
651 S4(i = -p2) ;
652 }
653 }
654 for (p2=max(ceild(-p1+6,4),ceild(-p1+2*n+1,2));p2<=floord(-p1+2*n+2,2);p2++) {
655 for (p3=1;p3<=-p2;p3++) {
656 i = -p2+1 ;
657 if (p1%2 == 0) {
658 j = (p1+2*p2-2)/2 ;
659 S5(k = p3) ;
660 }
661 }
662 }
663 }
664 p1 = 4*n-1 ;
665 if (1%2 == 0) {
666 i = (2*n-1)/2 ;
667 S3 ;
668 }
669 j = n-1 ;
670 S2(i = n) ;
671 for (p1=4*n;p1<=4*n+1;p1++) {
672 if ((p1+3)%4 == 0) {
673 i = (p1-1)/4 ;
674 S3 ;
675 }
676 }