1 ! Generated from
./test
/dartef
.cloog by CLooG v0
.14
.0 64 bits in
0.13s
.
2 ! CLooG asked
for 168 KBytes
.
7 IF (MOD
(t3
-n
-1,2) == 0) THEN
13 IF ((n
>= 2) .AND
. (n
<= 2)) THEN
17 IF (MOD
(t2
-n
+2,2) == 0) THEN
19 IF (MOD
(t2
+n
-2,2) == 0) THEN
21 IF (MOD
(-t2
+t3
,2) == 0) THEN
31 S2
(i
= 1,j
= n
,k
= t3
)
38 IF (MOD
(t2
-n
+2,2) == 0) THEN
40 IF (MOD
(t2
+n
-2,2) == 0) THEN
42 IF (MOD
(-t2
+t3
,2) == 0) THEN
52 S2
(i
= 1,j
= n
,k
= t3
)
55 DO t1
=CEILING
(REAL(-2*n
+5)/REAL(2)), MIN
(-n
+6,-1)
58 IF (MOD
(t1
+t2
,2) == 0) THEN
60 IF (MOD
(-t1
+t2
,2) == 0) THEN
62 IF (MOD
(-t2
+t3
,2) == 0) THEN
72 IF (MOD
(t1
+t2
-3,2) == 0) THEN
74 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
81 IF (MOD
(t1
+t2
,2) == 0) THEN
83 IF (MOD
(-t1
+t2
,2) == 0) THEN
85 IF (MOD
(-t2
+t3
,2) == 0) THEN
101 IF (MOD
(t3
-3,2) == 0) THEN
108 IF (MOD
(t2
-2,2) == 0) THEN
110 IF (MOD
(t2
-2,2) == 0) THEN
121 IF (MOD
(t1
+t2
,2) == 0) THEN
123 IF (MOD
(-t1
+t2
,2) == 0) THEN
125 IF (MOD
(-t2
+t3
,2) == 0) THEN
135 IF (MOD
(t1
+t2
-3,2) == 0) THEN
137 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
144 IF (MOD
(t1
+t2
-3,2) == 0) THEN
146 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
151 IF (MOD
(t1
+t2
,2) == 0) THEN
153 IF (MOD
(-t1
+t2
,2) == 0) THEN
155 IF (MOD
(-t2
+t3
,2) == 0) THEN
163 IF (MOD
(t1
+t2
,2) == 0) THEN
165 IF (MOD
(-t1
+t2
,2) == 0) THEN
167 IF (MOD
(-t2
+t3
,2) == 0) THEN
177 IF (MOD
(t1
+t2
-3,2) == 0) THEN
179 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
186 IF (MOD
(t1
+t2
,2) == 0) THEN
188 IF (MOD
(-t1
+t2
,2) == 0) THEN
190 IF (MOD
(-t2
+t3
,2) == 0) THEN
208 IF (MOD
(t1
+t2
,2) == 0) THEN
210 IF (MOD
(-t1
+t2
,2) == 0) THEN
212 IF (MOD
(-t2
+t3
,2) == 0) THEN
222 IF (MOD
(t1
+t2
-3,2) == 0) THEN
224 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
231 IF (MOD
(t1
+t2
,2) == 0) THEN
233 IF (MOD
(-t1
+t2
,2) == 0) THEN
235 IF (MOD
(-t2
+t3
,2) == 0) THEN
243 DO t2
=-t1
+2*n
+1, t1
+2*n
+1
245 IF (MOD
(t1
+t2
-3,2) == 0) THEN
247 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
259 IF (MOD
(t1
+t2
,2) == 0) THEN
261 IF (MOD
(-t1
+t2
,2) == 0) THEN
263 IF (MOD
(-t2
+t3
,2) == 0) THEN
273 IF (MOD
(t1
+t2
-3,2) == 0) THEN
275 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
282 IF (MOD
(t1
+t2
-3,2) == 0) THEN
284 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
289 IF (MOD
(t1
+t2
,2) == 0) THEN
291 IF (MOD
(-t1
+t2
,2) == 0) THEN
293 IF (MOD
(-t2
+t3
,2) == 0) THEN
301 IF (MOD
(t1
+t2
,2) == 0) THEN
303 IF (MOD
(-t1
+t2
,2) == 0) THEN
305 IF (MOD
(-t2
+t3
,2) == 0) THEN
315 IF (MOD
(t1
+t2
-3,2) == 0) THEN
317 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
324 IF (MOD
(t1
+t2
,2) == 0) THEN
326 IF (MOD
(-t1
+t2
,2) == 0) THEN
328 IF (MOD
(-t2
+t3
,2) == 0) THEN
336 DO t2
=-t1
+2*n
+1, t1
+2*n
+1
338 IF (MOD
(t1
+t2
-3,2) == 0) THEN
340 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
352 IF (MOD
(-t1
+t3
-2,2) == 0) THEN
359 IF (MOD
(t1
+t2
-3,2) == 0) THEN
361 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
368 IF (MOD
(t1
+t2
-3,2) == 0) THEN
370 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
375 IF (MOD
(t1
+t2
,2) == 0) THEN
377 IF (MOD
(-t1
+t2
,2) == 0) THEN
379 IF (MOD
(-t2
+t3
,2) == 0) THEN
387 IF (MOD
(t1
+t2
,2) == 0) THEN
389 IF (MOD
(-t1
+t2
,2) == 0) THEN
391 IF (MOD
(-t2
+t3
,2) == 0) THEN
401 IF (MOD
(t1
+t2
-3,2) == 0) THEN
403 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
410 IF (MOD
(t1
+t2
,2) == 0) THEN
412 IF (MOD
(-t1
+t2
,2) == 0) THEN
414 IF (MOD
(-t2
+t3
,2) == 0) THEN
422 DO t2
=-t1
+2*n
+1, -t1
+2*n
+3
424 IF (MOD
(t1
+t2
-3,2) == 0) THEN
426 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
434 DO t1
=MAX
(2,n
-4), FLOOR
(REAL(2*n
-3)/REAL(2))
438 IF (MOD
(-t1
+t3
-2,2) == 0) THEN
445 IF (MOD
(t1
+t2
-3,2) == 0) THEN
447 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
454 IF (MOD
(t1
+t2
,2) == 0) THEN
456 IF (MOD
(-t1
+t2
,2) == 0) THEN
458 IF (MOD
(-t2
+t3
,2) == 0) THEN
466 DO t2
=-t1
+2*n
+1, -t1
+2*n
+3
468 IF (MOD
(t1
+t2
-3,2) == 0) THEN
470 IF (MOD
(-t1
+t2
-1,2) == 0) THEN
482 IF (MOD
(t3
-n
-1,2) == 0) THEN
489 IF (MOD
(t2
+n
-4,2) == 0) THEN
491 IF (MOD
(t2
-n
,2) == 0) THEN
502 S2
(i
= n
,j
= 1,k
= t3
)