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