summaryrefslogtreecommitdiff
path: root/cloog-core/test/dartef.f
diff options
context:
space:
mode:
Diffstat (limited to 'cloog-core/test/dartef.f')
-rw-r--r--cloog-core/test/dartef.f65
1 files changed, 65 insertions, 0 deletions
diff --git a/cloog-core/test/dartef.f b/cloog-core/test/dartef.f
new file mode 100644
index 0000000..50e1073
--- /dev/null
+++ b/cloog-core/test/dartef.f
@@ -0,0 +1,65 @@
+! Generated from /home/skimo/git/cloog/test/dartef.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.08s.
+IF (n >= 1) THEN
+ DO t3=n+3, 3*n+1
+ IF (MOD(t3+n+1, 2) == 0) THEN
+ S1(1,n,(t3-n-1)/2)
+ END IF
+ END DO
+ DO t1=-n+2, n-1
+ IF (t1 >= 2) THEN
+ DO t3=t1+4, t1+2*n+2
+ IF (MOD(t1+t3, 2) == 0) THEN
+ S1(t1+1,1,(-t1+t3-2)/2)
+ END IF
+ END DO
+ END IF
+ DO t2=MAX(-t1+2,t1+2), -t1+4
+ DO t3=t2+2, t2+2*n
+ IF (MOD(t1+t2, 2) == 0) THEN
+ IF (MOD(t1+t3, 2) == 0) THEN
+ S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2)
+ END IF
+ END IF
+ END DO
+ END DO
+ DO t2=MAX(-t1+5,t1+3), MIN(-t1+2*n,t1+2*n)
+ DO t3=1, MIN(n,t2+1)
+ IF (MOD(t1+t2+1, 2) == 0) THEN
+ S2((t1+t2-3)/2,(-t1+t2-1)/2,t3)
+ END IF
+ END DO
+ DO t3=t2+2, n
+ IF (MOD(t1+t2+1, 2) == 0) THEN
+ S2((t1+t2-3)/2,(-t1+t2-1)/2,t3)
+ END IF
+ IF (MOD(t1+t2, 2) == 0) THEN
+ IF (MOD(t1+t3, 2) == 0) THEN
+ S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2)
+ END IF
+ END IF
+ END DO
+ DO t3=MAX(n+1,t2+2), t2+2*n
+ IF (MOD(t1+t2, 2) == 0) THEN
+ IF (MOD(t1+t3, 2) == 0) THEN
+ S1((t1+t2)/2,(-t1+t2)/2,(-t2+t3)/2)
+ END IF
+ END IF
+ END DO
+ END DO
+ IF (t1 <= -1) THEN
+ DO t3=1, n
+ S2(t1+n-1,n,t3)
+ END DO
+ END IF
+ DO t2=-t1+2*n+1, MIN(-t1+2*n+3,t1+2*n+1)
+ DO t3=1, n
+ IF (MOD(t1+t2+1, 2) == 0) THEN
+ S2((t1+t2-3)/2,(-t1+t2-1)/2,t3)
+ END IF
+ END DO
+ END DO
+ END DO
+ DO t3=1, n
+ S2(n,1,t3)
+ END DO
+END IF