diff options
Diffstat (limited to 'test/dartef.f.ppl')
-rw-r--r-- | test/dartef.f.ppl | 425 |
1 files changed, 0 insertions, 425 deletions
diff --git a/test/dartef.f.ppl b/test/dartef.f.ppl deleted file mode 100644 index dae56ec..0000000 --- a/test/dartef.f.ppl +++ /dev/null @@ -1,425 +0,0 @@ -! Generated from ./dartef.cloog by CLooG 0.15 64 bits in 0.24s. -IF (n >= 1) THEN - t1 = -n+1 - t2 = n+1 - DO t3=n+3, 3*n+1 - IF (MOD(t3+n+1, 2) == 0) THEN - k = (t3-n-1)/2 - S1(i = 1,j = n) - END IF - END DO -END IF -IF (n >= 2) THEN - t1 = -n+2 - DO t2=MAX(n,-n+4), MIN(3*n-2,n+2) - DO t3=t2+2, t2+2*n - IF (MOD(t2+n, 2) == 0) THEN - i = (t2-n+2)/2 - j = (t2+n-2)/2 - IF (MOD(t3+n, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - t2 = n+3 - DO t3=1, n - S2(i = 1,j = n,k = t3) - END DO -END IF -IF (n == 2) THEN - DO t3=5, 7 - IF (MOD(t3+1, 2) == 0) THEN - k = (t3-3)/2 - S1(i = 2,j = 1) - END IF - END DO - DO t2=4, 5 - DO t3=1, 2 - IF (MOD(t2, 2) == 0) THEN - i = (t2-2)/2 - j = (t2-2)/2 - S2(k = t3) - END IF - END DO - END DO - DO t3=1, 2 - S2(i = 2,j = 2,k = t3) - END DO -END IF -DO t1=CEILING(REAL(-2*n+5)/REAL(2)), MIN(-n+6,0) - DO t2=-t1+2, -t1+4 - DO t3=t2+2, t2+2*n - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - DO t2=-t1+5, t1+2*n - DO t3=1, n - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - END DO - DO t3=t2+2, t2+2*n - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - t2 = t1+2*n+1 - DO t3=1, n - i = t1+n-1 - S2(j = n,k = t3) - END DO -END DO -DO t1=-n+7, 0 - DO t2=-t1+2, -t1+4 - DO t3=t2+2, t2+2*n - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - DO t2=-t1+5, n-2 - DO t3=1, t2+1 - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - END DO - DO t3=t2+2, n - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - DO t3=n+1, t2+2*n - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - DO t2=n-1, t1+2*n - DO t3=1, n - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - END DO - DO t3=t2+2, t2+2*n - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - t2 = t1+2*n+1 - DO t3=1, n - i = t1+n-1 - S2(j = n,k = t3) - END DO -END DO -IF (n >= 3) THEN - DO t1=1, MIN(-n+6,1) - DO t2=t1+2, -t1+4 - DO t3=t2+2, t2+2*n - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - DO t2=-t1+5, -t1+2*n - DO t3=1, n - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - END DO - DO t3=t2+2, t2+2*n - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - DO t2=-t1+2*n+1, t1+2*n - DO t3=1, n - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - END DO - END DO - t2 = t1+2*n+1 - DO t3=1, n - i = t1+n-1 - S2(j = n,k = t3) - END DO - END DO -END IF -DO t1=MAX(1,-n+7), 1 - DO t2=t1+2, -t1+4 - DO t3=t2+2, t2+2*n - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - DO t2=-t1+5, n-2 - DO t3=1, t2+1 - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - END DO - DO t3=t2+2, n - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - DO t3=n+1, t2+2*n - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - DO t2=n-1, -t1+2*n - DO t3=1, n - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - END DO - DO t3=t2+2, t2+2*n - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - DO t2=-t1+2*n+1, t1+2*n - DO t3=1, n - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - END DO - END DO - t2 = t1+2*n+1 - DO t3=1, n - i = t1+n-1 - S2(j = n,k = t3) - END DO -END DO -DO t1=2, n-5 - t2 = t1+2 - DO t3=t1+4, t1+2*n+2 - i = t1+1 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t1+t3-2)/2 - S1(j = 1) - END IF - END DO - DO t2=t1+3, n-2 - DO t3=1, t2+1 - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - END DO - DO t3=t2+2, n - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - DO t3=n+1, t2+2*n - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - DO t2=n-1, -t1+2*n - DO t3=1, n - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - END DO - DO t3=t2+2, t2+2*n - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - DO t2=-t1+2*n+1, -t1+2*n+3 - DO t3=1, n - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - END DO - END DO -END DO -DO t1=MAX(n-4,2), FLOOR(REAL(2*n-3)/REAL(2)) - t2 = t1+2 - DO t3=t1+4, t1+2*n+2 - i = t1+1 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t1+t3-2)/2 - S1(j = 1) - END IF - END DO - DO t2=t1+3, -t1+2*n - DO t3=1, n - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - END DO - DO t3=t2+2, t2+2*n - IF (MOD(t1+t2, 2) == 0) THEN - i = (t1+t2)/2 - j = (-t1+t2)/2 - IF (MOD(t1+t3, 2) == 0) THEN - k = (-t2+t3)/2 - S1 - END IF - END IF - END DO - END DO - DO t2=-t1+2*n+1, -t1+2*n+3 - DO t3=1, n - IF (MOD(t1+t2+1, 2) == 0) THEN - i = (t1+t2-3)/2 - j = (-t1+t2-1)/2 - S2(k = t3) - END IF - END DO - END DO -END DO -IF (n >= 3) THEN - t1 = n-1 - t2 = n+1 - DO t3=n+3, 3*n+1 - IF (MOD(t3+n+1, 2) == 0) THEN - k = (t3-n-1)/2 - S1(i = n,j = 1) - END IF - END DO - DO t2=n+2, n+4 - DO t3=1, n - IF (MOD(t2+n, 2) == 0) THEN - i = (t2+n-4)/2 - j = (t2-n)/2 - S2(k = t3) - END IF - END DO - END DO -END IF -IF (n >= 1) THEN - t2 = n+3 - DO t3=1, n - S2(i = n,j = 1,k = t3) - END DO -END IF |