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