diff options
Diffstat (limited to 'cloog-core/test/reservoir/mg-interp.c')
| -rw-r--r-- | cloog-core/test/reservoir/mg-interp.c | 217 |
1 files changed, 217 insertions, 0 deletions
diff --git a/cloog-core/test/reservoir/mg-interp.c b/cloog-core/test/reservoir/mg-interp.c new file mode 100644 index 0000000..75b1cd0 --- /dev/null +++ b/cloog-core/test/reservoir/mg-interp.c @@ -0,0 +1,217 @@ +/* Generated from /home/skimo/git/cloog/test/./reservoir/mg-interp.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.30s. */ +if ((M >= 2) && (N >= 2)) { + for (c2=1;c2<=O-1;c2++) { + for (c6=1;c6<=M;c6++) { + S1(c2,1,c6); + } + if (N == 2) { + for (c6=1;c6<=M-1;c6++) { + S6(c2,1,c6); + S7(c2,1,c6); + } + } + if (N >= 3) { + for (c6=1;c6<=M-1;c6++) { + S6(c2,1,c6); + S7(c2,1,c6); + } + } + if (N == 2) { + for (c6=1;c6<=M;c6++) { + S3(c2,1,c6); + } + } + if (N == 2) { + for (c6=1;c6<=M-1;c6++) { + S11(c2,1,c6); + } + } + if (N >= 3) { + for (c6=1;c6<=M;c6++) { + S3(c2,1,c6); + } + for (c6=1;c6<=M;c6++) { + S1(c2,2,c6); + } + } + if (N == 3) { + for (c6=1;c6<=M-1;c6++) { + S6(c2,2,c6); + S7(c2,2,c6); + } + for (c6=1;c6<=M-1;c6++) { + S11(c2,1,c6); + } + } + if (N >= 4) { + for (c6=1;c6<=M-1;c6++) { + S6(c2,2,c6); + S7(c2,2,c6); + } + for (c6=1;c6<=M-1;c6++) { + S11(c2,1,c6); + } + } + for (c4=3;c4<=2*N-5;c4++) { + for (c6=1;c6<=M-1;c6++) { + if ((c4+1)%2 == 0) { + S10(c2,(c4-1)/2,c6); + } + } + for (c6=1;c6<=M;c6++) { + if ((c4+1)%2 == 0) { + S3(c2,(c4+1)/2,c6); + } + } + for (c6=1;c6<=M-1;c6++) { + if (c4%2 == 0) { + S6(c2,(c4+2)/2,c6); + S7(c2,(c4+2)/2,c6); + } + if ((c4+1)%2 == 0) { + S1(c2,(c4+3)/2,c6); + } + } + if ((c4+1)%2 == 0) { + S1(c2,(c4+3)/2,M); + } + for (c6=1;c6<=M-1;c6++) { + if (c4%2 == 0) { + S11(c2,c4/2,c6); + } + } + } + if (N >= 4) { + for (c6=1;c6<=M-1;c6++) { + S6(c2,N-1,c6); + S7(c2,N-1,c6); + } + for (c6=1;c6<=M-1;c6++) { + S11(c2,N-2,c6); + } + } + if (N >= 3) { + for (c6=1;c6<=M-1;c6++) { + S10(c2,N-2,c6); + } + for (c6=1;c6<=M;c6++) { + S3(c2,N-1,c6); + } + } + if (N >= 3) { + for (c6=1;c6<=M-1;c6++) { + S11(c2,N-1,c6); + } + } + for (c6=1;c6<=M-1;c6++) { + S10(c2,N-1,c6); + } + } +} +if ((M == 1) && (N >= 2)) { + for (c2=1;c2<=O-1;c2++) { + S1(c2,1,1); + for (c4=1;c4<=2*N-5;c4++) { + if ((c4+1)%2 == 0) { + S3(c2,(c4+1)/2,1); + } + if ((c4+1)%2 == 0) { + S1(c2,(c4+3)/2,1); + } + } + S3(c2,N-1,1); + } +} +if ((M >= 2) && (N >= 2)) { + for (c2=1;c2<=O-1;c2++) { + for (c6=1;c6<=M;c6++) { + S2(c2,1,c6); + } + for (c6=1;c6<=M-1;c6++) { + S8(c2,1,c6); + } + for (c4=3;c4<=2*N-2;c4++) { + for (c6=1;c6<=M;c6++) { + if (c4%2 == 0) { + S2(c2,c4/2,c6); + } + } + for (c6=1;c6<=M-1;c6++) { + if (c4%2 == 0) { + S8(c2,c4/2,c6); + } + } + for (c6=1;c6<=M-1;c6++) { + if ((c4+1)%2 == 0) { + S9(c2,(c4-1)/2,c6); + } + } + } + for (c6=1;c6<=M-1;c6++) { + S9(c2,N-1,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(c2,c4/2,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(c2,c4,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(c2,c4,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(c2,c4,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(c2,c4,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(c2,c4,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(c2,c4,c6); + } + } + } +} |