| /* Generated from ../../../git/cloog/test/reservoir/mg-interp.cloog by CLooG 0.16.2-5-g590827b gmp bits in 0.29s. */ |
| 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); |
| } |
| if ((c4+1)%2 == 0) { |
| S1(c2,(c4+3)/2,c6); |
| } |
| if (c4%2 == 0) { |
| S7(c2,(c4+2)/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); |
| } |
| } |
| } |
| } |