summaryrefslogtreecommitdiff
path: root/test/reservoir/mg-interp.c.ppl
diff options
context:
space:
mode:
Diffstat (limited to 'test/reservoir/mg-interp.c.ppl')
-rw-r--r--test/reservoir/mg-interp.c.ppl311
1 files changed, 0 insertions, 311 deletions
diff --git a/test/reservoir/mg-interp.c.ppl b/test/reservoir/mg-interp.c.ppl
deleted file mode 100644
index 4c891c3..0000000
--- a/test/reservoir/mg-interp.c.ppl
+++ /dev/null
@@ -1,311 +0,0 @@
-/* Generated from ././reservoir/mg-interp.cloog by CLooG 0.15 64 bits in 1.58s. */
-if ((M >= 2) && (N == 2)) {
- for (c2=1;c2<=O-1;c2++) {
- for (c6=1;c6<=M;c6++) {
- S1(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S6(i = c2,j = 1,k = c6) ;
- S7(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M;c6++) {
- S3(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S11(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S10(i = c2,j = 1,k = c6) ;
- }
- }
-}
-if ((M >= 2) && (N == 3)) {
- for (c2=1;c2<=O-1;c2++) {
- for (c6=1;c6<=M;c6++) {
- S1(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S6(i = c2,j = 1,k = c6) ;
- S7(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M;c6++) {
- S3(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S1(i = c2,j = 2,k = c6) ;
- }
- S1(i = c2,j = 2,k = M) ;
- for (c6=1;c6<=M-1;c6++) {
- S6(i = c2,j = 2,k = c6) ;
- S7(i = c2,j = 2,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S11(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S10(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M;c6++) {
- S3(i = c2,j = 2,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S11(i = c2,j = 2,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S10(i = c2,j = 2,k = c6) ;
- }
- }
-}
-if ((M >= 2) && (N >= 4)) {
- for (c2=1;c2<=O-1;c2++) {
- for (c6=1;c6<=M;c6++) {
- S1(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S6(i = c2,j = 1,k = c6) ;
- S7(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M;c6++) {
- S3(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S1(i = c2,j = 2,k = c6) ;
- }
- S1(i = c2,j = 2,k = M) ;
- for (c6=1;c6<=M-1;c6++) {
- S6(i = c2,j = 2,k = c6) ;
- S7(i = c2,j = 2,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S11(i = c2,j = 1,k = c6) ;
- }
- for (c4=3;c4<=2*N-5;c4++) {
- for (c6=1;c6<=M-1;c6++) {
- if ((c4+1)%2 == 0) {
- j = (c4-1)/2 ;
- S10(i = c2,k = c6) ;
- }
- }
- for (c6=1;c6<=M;c6++) {
- if ((c4+1)%2 == 0) {
- j = (c4+1)/2 ;
- S3(i = c2,k = c6) ;
- }
- }
- for (c6=1;c6<=M-1;c6++) {
- if (c4%2 == 0) {
- j = (c4+2)/2 ;
- S6(i = c2,k = c6) ;
- S7(i = c2,k = c6) ;
- }
- if ((c4+1)%2 == 0) {
- j = (c4+3)/2 ;
- S1(i = c2,k = c6) ;
- }
- }
- if ((c4+1)%2 == 0) {
- j = (c4+3)/2 ;
- S1(i = c2,k = M) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- if (c4%2 == 0) {
- S11(i = c2,j = c4/2,k = c6) ;
- }
- }
- }
- c4 = 2*N-4 ;
- for (c6=1;c6<=M-1;c6++) {
- if (1%2 == 0) {
- j = (2*N-5)/2 ;
- S10(i = c2,k = c6) ;
- }
- }
- for (c6=1;c6<=M;c6++) {
- if (1%2 == 0) {
- j = (2*N-3)/2 ;
- S3(i = c2,k = c6) ;
- }
- }
- for (c6=1;c6<=M-1;c6++) {
- j = N-1 ;
- S6(i = c2,k = c6) ;
- S7(i = c2,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- j = N-2 ;
- S11(i = c2,k = c6) ;
- }
- c4 = 2*N-3 ;
- for (c6=1;c6<=M-1;c6++) {
- j = N-2 ;
- S10(i = c2,k = c6) ;
- }
- for (c6=1;c6<=M;c6++) {
- j = N-1 ;
- S3(i = c2,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- if (1%2 == 0) {
- j = (2*N-3)/2 ;
- S11(i = c2,k = c6) ;
- }
- }
- c4 = 2*N-2 ;
- for (c6=1;c6<=M-1;c6++) {
- if (1%2 == 0) {
- j = (2*N-3)/2 ;
- S10(i = c2,k = c6) ;
- }
- }
- for (c6=1;c6<=M-1;c6++) {
- j = N-1 ;
- S11(i = c2,k = c6) ;
- }
- c4 = 2*N-1 ;
- for (c6=1;c6<=M-1;c6++) {
- j = N-1 ;
- S10(i = c2,k = c6) ;
- }
- }
-}
-if ((M == 1) && (N >= 3)) {
- for (c2=1;c2<=O-1;c2++) {
- for (c4=-1;c4<=0;c4++) {
- if ((c4+1)%2 == 0) {
- j = (c4+3)/2 ;
- S1(i = c2,k = 1) ;
- }
- }
- for (c4=1;c4<=2*N-5;c4++) {
- if ((c4+1)%2 == 0) {
- j = (c4+1)/2 ;
- S3(i = c2,k = 1) ;
- }
- if ((c4+1)%2 == 0) {
- j = (c4+3)/2 ;
- S1(i = c2,k = 1) ;
- }
- }
- for (c4=2*N-4;c4<=2*N-3;c4++) {
- if ((c4+1)%2 == 0) {
- j = (c4+1)/2 ;
- S3(i = c2,k = 1) ;
- }
- }
- }
-}
-if ((M == 1) && (N == 2)) {
- for (c2=1;c2<=O-1;c2++) {
- S1(i = c2,j = 1,k = 1) ;
- S3(i = c2,j = 1,k = 1) ;
- }
-}
-if ((M >= 2) && (N >= 3)) {
- for (c2=1;c2<=O-1;c2++) {
- for (c6=1;c6<=M;c6++) {
- S2(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S8(i = c2,j = 1,k = c6) ;
- }
- for (c4=3;c4<=2*N-2;c4++) {
- for (c6=1;c6<=M;c6++) {
- if (c4%2 == 0) {
- S2(i = c2,j = c4/2,k = c6) ;
- }
- }
- for (c6=1;c6<=M-1;c6++) {
- if (c4%2 == 0) {
- S8(i = c2,j = c4/2,k = c6) ;
- }
- }
- for (c6=1;c6<=M-1;c6++) {
- if ((c4+1)%2 == 0) {
- j = (c4-1)/2 ;
- S9(i = c2,k = c6) ;
- }
- }
- }
- c4 = 2*N-1 ;
- for (c6=1;c6<=M-1;c6++) {
- j = N-1 ;
- S9(i = c2,k = c6) ;
- }
- }
-}
-if ((M >= 2) && (N == 2)) {
- for (c2=1;c2<=O-1;c2++) {
- for (c6=1;c6<=M;c6++) {
- S2(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S8(i = c2,j = 1,k = c6) ;
- }
- for (c6=1;c6<=M-1;c6++) {
- S9(i = c2,j = 1,k = c6) ;
- }
- }
-}
-if ((M == 1) && (N >= 2)) {
- for (c2=1;c2<=O-1;c2++) {
- for (c4=2;c4<=2*N-2;c4++) {
- if (c4%2 == 0) {
- S2(i = c2,j = c4/2,k = 1) ;
- }
- }
- }
-}
-if ((M >= 2) && (N >= 2)) {
- for (c2=1;c2<=O-1;c2++) {
- for (c4=1;c4<=N-1;c4++) {
- for (c6=1;c6<=M-1;c6++) {
- S4(i = c2,j = c4,k = c6) ;
- }
- }
- }
-}
-if ((M >= 2) && (N >= 2)) {
- for (c2=1;c2<=O-1;c2++) {
- for (c4=1;c4<=N-1;c4++) {
- for (c6=1;c6<=M-1;c6++) {
- S5(i = c2,j = c4,k = c6) ;
- }
- }
- }
-}
-if ((M >= P+1) && (N >= Q+1)) {
- for (c2=R;c2<=O-1;c2++) {
- for (c4=Q;c4<=N-1;c4++) {
- for (c6=P;c6<=M-1;c6++) {
- S12(i = c2,j = c4,k = c6) ;
- }
- }
- }
-}
-if ((M >= 2) && (N >= Q+1)) {
- for (c2=R;c2<=O-1;c2++) {
- for (c4=Q;c4<=N-1;c4++) {
- for (c6=1;c6<=M-1;c6++) {
- S13(i = c2,j = c4,k = c6) ;
- }
- }
- }
-}
-if ((M >= P+1) && (N >= 2)) {
- for (c2=R;c2<=O-1;c2++) {
- for (c4=1;c4<=N-1;c4++) {
- for (c6=P;c6<=M-1;c6++) {
- S14(i = c2,j = c4,k = c6) ;
- }
- }
- }
-}
-if ((M >= 2) && (N >= 2)) {
- for (c2=R;c2<=O-1;c2++) {
- for (c4=1;c4<=N-1;c4++) {
- for (c6=1;c6<=M-1;c6++) {
- S15(i = c2,j = c4,k = c6) ;
- }
- }
- }
-}
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-21 22:34:08 +0000