Regenerate config files.
[cloog-ppl.git] / test / dartef.f.polylib
blobf8b1454aab2df531c0016956fec9ab757681d349
1 ! Generated from dartef.cloog by CLooG v0.14.0 gmp bits in 0.24s.
2 ! CLooG asked for 460 KBytes.
3 IF (n >= 1) THEN
4   t1 = -n+1
5   t2 = n+1
6   DO t3=n+3, 3*n+1
7     IF (MOD(t3+n+1, 2) == 0) THEN
8       k = (t3-n-1)/2
9       S1(i = 1,j = n)
10     END IF
11   END DO
12 END IF
13 IF ((n >= 2) .AND. (n <= 2)) THEN
14   t1 = -n+2
15   DO t2=-n+4, 3*n-2
16     DO t3=t2+2, t2+2*n
17       IF (MOD(t2+n, 2) == 0) THEN
18         i = (t2-n+2)/2
19         j = (t2+n-2)/2
20         IF (MOD(t3+n, 2) == 0) THEN
21           k = (-t2+t3)/2
22           S1
23         END IF
24       END IF
25     END DO
26   END DO
27   t2 = n+3
28   DO t3=1, n
29     S2(i = 1,j = n,k = t3)
30   END DO
31 END IF
32 IF (n >= 3) THEN
33   t1 = -n+2
34   DO t2=n, n+2
35     DO t3=t2+2, t2+2*n
36       IF (MOD(t2+n, 2) == 0) THEN
37         i = (t2-n+2)/2
38         j = (t2+n-2)/2
39         IF (MOD(t3+n, 2) == 0) THEN
40           k = (-t2+t3)/2
41           S1
42         END IF
43       END IF
44     END DO
45   END DO
46   t2 = n+3
47   DO t3=1, n
48     S2(i = 1,j = n,k = t3)
49   END DO
50 END IF
51 DO t1=CEILING(REAL(-2*n+5)/REAL(2)), MIN(-n+6,-1)
52   DO t2=-t1+2, -t1+4
53     DO t3=t2+2, t2+2*n
54       IF (MOD(t1+t2, 2) == 0) THEN
55         i = (t1+t2)/2
56         j = (-t1+t2)/2
57         IF (MOD(t1+t3, 2) == 0) THEN
58           k = (-t2+t3)/2
59           S1
60         END IF
61       END IF
62     END DO
63   END DO
64   DO t2=-t1+5, t1+2*n
65     DO t3=1, n
66       IF (MOD(t1+t2+1, 2) == 0) THEN
67         i = (t1+t2-3)/2
68         j = (-t1+t2-1)/2
69         S2(k = t3)
70       END IF
71     END DO
72     DO t3=t2+2, t2+2*n
73       IF (MOD(t1+t2, 2) == 0) THEN
74         i = (t1+t2)/2
75         j = (-t1+t2)/2
76         IF (MOD(t1+t3, 2) == 0) THEN
77           k = (-t2+t3)/2
78           S1
79         END IF
80       END IF
81     END DO
82   END DO
83   t2 = t1+2*n+1
84   DO t3=1, n
85     i = t1+n-1
86     S2(j = n,k = t3)
87   END DO
88 END DO
89 IF (n == 2) THEN
90   DO t3=5, 7
91     IF (MOD(t3+1, 2) == 0) THEN
92       k = (t3-3)/2
93       S1(i = 2,j = 1)
94     END IF
95   END DO
96   DO t2=4, 6
97     DO t3=1, 2
98       IF (MOD(t2, 2) == 0) THEN
99         i = (t2-2)/2
100         j = (t2-2)/2
101         S2(k = t3)
102       END IF
103     END DO
104   END DO
105 END IF
106 DO t1=-n+7, -1
107   DO t2=-t1+2, -t1+4
108     DO t3=t2+2, t2+2*n
109       IF (MOD(t1+t2, 2) == 0) THEN
110         i = (t1+t2)/2
111         j = (-t1+t2)/2
112         IF (MOD(t1+t3, 2) == 0) THEN
113           k = (-t2+t3)/2
114           S1
115         END IF
116       END IF
117     END DO
118   END DO
119   DO t2=-t1+5, n-2
120     DO t3=1, t2+1
121       IF (MOD(t1+t2+1, 2) == 0) THEN
122         i = (t1+t2-3)/2
123         j = (-t1+t2-1)/2
124         S2(k = t3)
125       END IF
126     END DO
127     DO t3=t2+2, n
128       IF (MOD(t1+t2+1, 2) == 0) THEN
129         i = (t1+t2-3)/2
130         j = (-t1+t2-1)/2
131         S2(k = t3)
132       END IF
133       IF (MOD(t1+t2, 2) == 0) THEN
134         i = (t1+t2)/2
135         j = (-t1+t2)/2
136         IF (MOD(t1+t3, 2) == 0) THEN
137           k = (-t2+t3)/2
138           S1
139         END IF
140       END IF
141     END DO
142     DO t3=n+1, t2+2*n
143       IF (MOD(t1+t2, 2) == 0) THEN
144         i = (t1+t2)/2
145         j = (-t1+t2)/2
146         IF (MOD(t1+t3, 2) == 0) THEN
147           k = (-t2+t3)/2
148           S1
149         END IF
150       END IF
151     END DO
152   END DO
153   DO t2=n-1, t1+2*n
154     DO t3=1, n
155       IF (MOD(t1+t2+1, 2) == 0) THEN
156         i = (t1+t2-3)/2
157         j = (-t1+t2-1)/2
158         S2(k = t3)
159       END IF
160     END DO
161     DO t3=t2+2, t2+2*n
162       IF (MOD(t1+t2, 2) == 0) THEN
163         i = (t1+t2)/2
164         j = (-t1+t2)/2
165         IF (MOD(t1+t3, 2) == 0) THEN
166           k = (-t2+t3)/2
167           S1
168         END IF
169       END IF
170     END DO
171   END DO
172   t2 = t1+2*n+1
173   DO t3=1, n
174     i = t1+n-1
175     S2(j = n,k = t3)
176   END DO
177 END DO
178 IF (n >= 3) THEN
179   DO t1=0, MIN(1,-n+6)
180     DO t2=t1+2, -t1+4
181       DO t3=t2+2, t2+2*n
182         IF (MOD(t1+t2, 2) == 0) THEN
183           i = (t1+t2)/2
184           j = (-t1+t2)/2
185           IF (MOD(t1+t3, 2) == 0) THEN
186             k = (-t2+t3)/2
187             S1
188           END IF
189         END IF
190       END DO
191     END DO
192     DO t2=-t1+5, -t1+2*n
193       DO t3=1, n
194         IF (MOD(t1+t2+1, 2) == 0) THEN
195           i = (t1+t2-3)/2
196           j = (-t1+t2-1)/2
197           S2(k = t3)
198         END IF
199       END DO
200       DO t3=t2+2, t2+2*n
201         IF (MOD(t1+t2, 2) == 0) THEN
202           i = (t1+t2)/2
203           j = (-t1+t2)/2
204           IF (MOD(t1+t3, 2) == 0) THEN
205             k = (-t2+t3)/2
206             S1
207           END IF
208         END IF
209       END DO
210     END DO
211     DO t2=-t1+2*n+1, t1+2*n+1
212       DO t3=1, n
213         IF (MOD(t1+t2+1, 2) == 0) THEN
214           i = (t1+t2-3)/2
215           j = (-t1+t2-1)/2
216           S2(k = t3)
217         END IF
218       END DO
219     END DO
220   END DO
221 END IF
222 DO t1=MAX(-n+7,0), 1
223   DO t2=t1+2, -t1+4
224     DO t3=t2+2, t2+2*n
225       IF (MOD(t1+t2, 2) == 0) THEN
226         i = (t1+t2)/2
227         j = (-t1+t2)/2
228         IF (MOD(t1+t3, 2) == 0) THEN
229           k = (-t2+t3)/2
230           S1
231         END IF
232       END IF
233     END DO
234   END DO
235   DO t2=-t1+5, n-2
236     DO t3=1, t2+1
237       IF (MOD(t1+t2+1, 2) == 0) THEN
238         i = (t1+t2-3)/2
239         j = (-t1+t2-1)/2
240         S2(k = t3)
241       END IF
242     END DO
243     DO t3=t2+2, n
244       IF (MOD(t1+t2+1, 2) == 0) THEN
245         i = (t1+t2-3)/2
246         j = (-t1+t2-1)/2
247         S2(k = t3)
248       END IF
249       IF (MOD(t1+t2, 2) == 0) THEN
250         i = (t1+t2)/2
251         j = (-t1+t2)/2
252         IF (MOD(t1+t3, 2) == 0) THEN
253           k = (-t2+t3)/2
254           S1
255         END IF
256       END IF
257     END DO
258     DO t3=n+1, t2+2*n
259       IF (MOD(t1+t2, 2) == 0) THEN
260         i = (t1+t2)/2
261         j = (-t1+t2)/2
262         IF (MOD(t1+t3, 2) == 0) THEN
263           k = (-t2+t3)/2
264           S1
265         END IF
266       END IF
267     END DO
268   END DO
269   DO t2=n-1, -t1+2*n
270     DO t3=1, n
271       IF (MOD(t1+t2+1, 2) == 0) THEN
272         i = (t1+t2-3)/2
273         j = (-t1+t2-1)/2
274         S2(k = t3)
275       END IF
276     END DO
277     DO t3=t2+2, t2+2*n
278       IF (MOD(t1+t2, 2) == 0) THEN
279         i = (t1+t2)/2
280         j = (-t1+t2)/2
281         IF (MOD(t1+t3, 2) == 0) THEN
282           k = (-t2+t3)/2
283           S1
284         END IF
285       END IF
286     END DO
287   END DO
288   DO t2=-t1+2*n+1, t1+2*n+1
289     DO t3=1, n
290       IF (MOD(t1+t2+1, 2) == 0) THEN
291         i = (t1+t2-3)/2
292         j = (-t1+t2-1)/2
293         S2(k = t3)
294       END IF
295     END DO
296   END DO
297 END DO
298 DO t1=2, n-5
299   t2 = t1+2
300   DO t3=t1+4, t1+2*n+2
301     i = t1+1
302     IF (MOD(t1+t3, 2) == 0) THEN
303       k = (-t1+t3-2)/2
304       S1(j = 1)
305     END IF
306   END DO
307   DO t2=t1+3, n-2
308     DO t3=1, t2+1
309       IF (MOD(t1+t2+1, 2) == 0) THEN
310         i = (t1+t2-3)/2
311         j = (-t1+t2-1)/2
312         S2(k = t3)
313       END IF
314     END DO
315     DO t3=t2+2, n
316       IF (MOD(t1+t2+1, 2) == 0) THEN
317         i = (t1+t2-3)/2
318         j = (-t1+t2-1)/2
319         S2(k = t3)
320       END IF
321       IF (MOD(t1+t2, 2) == 0) THEN
322         i = (t1+t2)/2
323         j = (-t1+t2)/2
324         IF (MOD(t1+t3, 2) == 0) THEN
325           k = (-t2+t3)/2
326           S1
327         END IF
328       END IF
329     END DO
330     DO t3=n+1, t2+2*n
331       IF (MOD(t1+t2, 2) == 0) THEN
332         i = (t1+t2)/2
333         j = (-t1+t2)/2
334         IF (MOD(t1+t3, 2) == 0) THEN
335           k = (-t2+t3)/2
336           S1
337         END IF
338       END IF
339     END DO
340   END DO
341   DO t2=n-1, -t1+2*n
342     DO t3=1, n
343       IF (MOD(t1+t2+1, 2) == 0) THEN
344         i = (t1+t2-3)/2
345         j = (-t1+t2-1)/2
346         S2(k = t3)
347       END IF
348     END DO
349     DO t3=t2+2, t2+2*n
350       IF (MOD(t1+t2, 2) == 0) THEN
351         i = (t1+t2)/2
352         j = (-t1+t2)/2
353         IF (MOD(t1+t3, 2) == 0) THEN
354           k = (-t2+t3)/2
355           S1
356         END IF
357       END IF
358     END DO
359   END DO
360   DO t2=-t1+2*n+1, -t1+2*n+3
361     DO t3=1, n
362       IF (MOD(t1+t2+1, 2) == 0) THEN
363         i = (t1+t2-3)/2
364         j = (-t1+t2-1)/2
365         S2(k = t3)
366       END IF
367     END DO
368   END DO
369 END DO
370 DO t1=MAX(2,n-4), FLOOR(REAL(2*n-3)/REAL(2))
371   t2 = t1+2
372   DO t3=t1+4, t1+2*n+2
373     i = t1+1
374     IF (MOD(t1+t3, 2) == 0) THEN
375       k = (-t1+t3-2)/2
376       S1(j = 1)
377     END IF
378   END DO
379   DO t2=t1+3, -t1+2*n
380     DO t3=1, n
381       IF (MOD(t1+t2+1, 2) == 0) THEN
382         i = (t1+t2-3)/2
383         j = (-t1+t2-1)/2
384         S2(k = t3)
385       END IF
386     END DO
387     DO t3=t2+2, t2+2*n
388       IF (MOD(t1+t2, 2) == 0) THEN
389         i = (t1+t2)/2
390         j = (-t1+t2)/2
391         IF (MOD(t1+t3, 2) == 0) THEN
392           k = (-t2+t3)/2
393           S1
394         END IF
395       END IF
396     END DO
397   END DO
398   DO t2=-t1+2*n+1, -t1+2*n+3
399     DO t3=1, n
400       IF (MOD(t1+t2+1, 2) == 0) THEN
401         i = (t1+t2-3)/2
402         j = (-t1+t2-1)/2
403         S2(k = t3)
404       END IF
405     END DO
406   END DO
407 END DO
408 IF (n >= 3) THEN
409   t1 = n-1
410   t2 = n+1
411   DO t3=n+3, 3*n+1
412     IF (MOD(t3+n+1, 2) == 0) THEN
413       k = (t3-n-1)/2
414       S1(i = n,j = 1)
415     END IF
416   END DO
417   DO t2=n+2, n+4
418     DO t3=1, n
419       IF (MOD(t2+n, 2) == 0) THEN
420         i = (t2+n-4)/2
421         j = (t2-n)/2
422         S2(k = t3)
423       END IF
424     END DO
425   END DO
426 END IF
427 IF (n >= 1) THEN
428   t2 = n+3
429   DO t3=1, n
430     S2(i = n,j = 1,k = t3)
431   END DO
432 END IF