summaryrefslogtreecommitdiff
path: root/test/reservoir/mg-interp.c.polylib
diff options
context:
space:
mode:
Diffstat (limited to 'test/reservoir/mg-interp.c.polylib')
-rw-r--r--test/reservoir/mg-interp.c.polylib288
1 files changed, 288 insertions, 0 deletions
diff --git a/test/reservoir/mg-interp.c.polylib b/test/reservoir/mg-interp.c.polylib
new file mode 100644
index 0000000..df7820e
--- /dev/null
+++ b/test/reservoir/mg-interp.c.polylib
@@ -0,0 +1,288 @@
+/* Generated from ./reservoir/mg-interp.cloog by CLooG v0.14.0 gmp bits in 0.96s. */
+/* CLooG asked for 3476 KBytes. */
+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++) {
+ 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) ;
+ }
+ c4 = 2*N-2 ;
+ 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 >= 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 == 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 == 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-24 06:18:35 +0000