ported domain_difference
[cloog-ppl.git] / test / reservoir / mg-resid.c
blob3d0ec6fb1ded71de73c199b2a09f0552e7dc48ef
1 /* Generated from ./reservoir/mg-resid.cloog by CLooG v0.14.0 gmp bits in 0.06s. */
2 /* CLooG asked for 300 KBytes. */
3 if ((M >= 3) && (N >= 4)) {
4 for (c2=2;c2<=O-1;c2++) {
5 for (c6=1;c6<=M;c6++) {
6 S1(i = c2,j = 2,k = c6) ;
7 S2(i = c2,j = 2,k = c6) ;
9 for (c4=4;c4<=2*N-3;c4++) {
10 for (c6=1;c6<=M;c6++) {
11 if ((c4+1)%2 == 0) {
12 j = (c4+1)/2 ;
13 S1(i = c2,k = c6) ;
14 S2(i = c2,k = c6) ;
17 for (c6=2;c6<=M-1;c6++) {
18 if (c4%2 == 0) {
19 S3(i = c2,j = c4/2,k = c6) ;
23 c4 = 2*N-2 ;
24 for (c6=2;c6<=M-1;c6++) {
25 j = N-1 ;
26 S3(i = c2,k = c6) ;
30 if ((M >= 3) && (N == 3)) {
31 for (c2=2;c2<=O-1;c2++) {
32 for (c6=1;c6<=M;c6++) {
33 S1(i = c2,j = 2,k = c6) ;
34 S2(i = c2,j = 2,k = c6) ;
36 for (c6=2;c6<=M-1;c6++) {
37 S3(i = c2,j = 2,k = c6) ;
41 if ((M >= 1) && (M <= 2) && (N >= 3)) {
42 for (c2=2;c2<=O-1;c2++) {
43 for (c4=3;c4<=2*N-3;c4++) {
44 for (c6=1;c6<=M;c6++) {
45 if ((c4+1)%2 == 0) {
46 j = (c4+1)/2 ;
47 S1(i = c2,k = c6) ;
48 S2(i = c2,k = c6) ;