| /* Generated from /home/skimo/git/cloog/test/./reservoir/mg-rprj3.cloog by CLooG 0.14.0-284-ga90f184 gmp bits in 0.10s. */ |
| if ((M >= 2) && (N >= 3) && (O >= 3)) { |
| if (M >= 3) { |
| for (c2=2;c2<=O-1;c2++) { |
| for (c6=2;c6<=M;c6++) { |
| S1(c2,2,c6); |
| } |
| for (c4=3;c4<=N-1;c4++) { |
| for (c6=2;c6<=M;c6++) { |
| S2(c2,c4-1,c6); |
| } |
| S4(c2,c4-1,2); |
| for (c6=2;c6<=M-2;c6++) { |
| S3(c2,c4-1,c6); |
| S5(c2,c4-1,c6); |
| S4(c2,c4-1,c6+1); |
| } |
| S3(c2,c4-1,M-1); |
| S5(c2,c4-1,M-1); |
| for (c6=2;c6<=M;c6++) { |
| S1(c2,c4,c6); |
| } |
| } |
| for (c6=2;c6<=M;c6++) { |
| S2(c2,N-1,c6); |
| } |
| S4(c2,N-1,2); |
| for (c6=2;c6<=M-2;c6++) { |
| S3(c2,N-1,c6); |
| S5(c2,N-1,c6); |
| S4(c2,N-1,c6+1); |
| } |
| S3(c2,N-1,M-1); |
| S5(c2,N-1,M-1); |
| } |
| } |
| if (M == 2) { |
| for (c2=2;c2<=O-1;c2++) { |
| S1(c2,2,2); |
| for (c4=3;c4<=N-1;c4++) { |
| S2(c2,c4-1,2); |
| S1(c2,c4,2); |
| } |
| S2(c2,N-1,2); |
| } |
| } |
| } |