ported domain_difference
[cloog-ppl.git] / test / dartef.f
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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