test/reservoir/mg-interp.c

   1 /* Generated from ./reservoir/mg-interp.cloog by CLooG v0.14.0 gmp bits in 0.96s. */
   2 /* CLooG asked for 3476 KBytes. */
   3 if ((M >= 2) && (N >= 4)) {
   4   for (c2=1;c2<=O-1;c2++) {
   5     for (c6=1;c6<=M;c6++) {
   6       S1(i = c2,j = 1,k = c6) ;
   7     }
   8     for (c6=1;c6<=M-1;c6++) {
   9       S6(i = c2,j = 1,k = c6) ;
  10       S7(i = c2,j = 1,k = c6) ;
  11     }
  12     for (c6=1;c6<=M;c6++) {
  13       S3(i = c2,j = 1,k = c6) ;
  14     }
  15     for (c6=1;c6<=M-1;c6++) {
  16       S1(i = c2,j = 2,k = c6) ;
  17     }
  18     S1(i = c2,j = 2,k = M) ;
  19     for (c6=1;c6<=M-1;c6++) {
  20       S6(i = c2,j = 2,k = c6) ;
  21       S7(i = c2,j = 2,k = c6) ;
  22     }
  23     for (c6=1;c6<=M-1;c6++) {
  24       S11(i = c2,j = 1,k = c6) ;
  25     }
  26     for (c4=3;c4<=2*N-5;c4++) {
  27       for (c6=1;c6<=M-1;c6++) {
  28         if ((c4+1)%2 == 0) {
  29           j = (c4-1)/2 ;
  30           S10(i = c2,k = c6) ;
  31         }
  32       }
  33       for (c6=1;c6<=M;c6++) {
  34         if ((c4+1)%2 == 0) {
  35           j = (c4+1)/2 ;
  36           S3(i = c2,k = c6) ;
  37         }
  38       }
  39       for (c6=1;c6<=M-1;c6++) {
  40         if (c4%2 == 0) {
  41           j = (c4+2)/2 ;
  42           S6(i = c2,k = c6) ;
  43           S7(i = c2,k = c6) ;
  44         }
  45         if ((c4+1)%2 == 0) {
  46           j = (c4+3)/2 ;
  47           S1(i = c2,k = c6) ;
  48         }
  49       }
  50       if ((c4+1)%2 == 0) {
  51         j = (c4+3)/2 ;
  52         S1(i = c2,k = M) ;
  53       }
  54       for (c6=1;c6<=M-1;c6++) {
  55         if (c4%2 == 0) {
  56           S11(i = c2,j = c4/2,k = c6) ;
  57         }
  58       }
  59     }
  60     c4 = 2*N-4 ;
  61     for (c6=1;c6<=M-1;c6++) {
  62       j = N-1 ;
  63       S6(i = c2,k = c6) ;
  64       S7(i = c2,k = c6) ;
  65     }
  66     for (c6=1;c6<=M-1;c6++) {
  67       j = N-2 ;
  68       S11(i = c2,k = c6) ;
  69     }
  70     c4 = 2*N-3 ;
  71     for (c6=1;c6<=M-1;c6++) {
  72       j = N-2 ;
  73       S10(i = c2,k = c6) ;
  74     }
  75     for (c6=1;c6<=M;c6++) {
  76       j = N-1 ;
  77       S3(i = c2,k = c6) ;
  78     }
  79     c4 = 2*N-2 ;
  80     for (c6=1;c6<=M-1;c6++) {
  81       j = N-1 ;
  82       S11(i = c2,k = c6) ;
  83     }
  84     c4 = 2*N-1 ;
  85     for (c6=1;c6<=M-1;c6++) {
  86       j = N-1 ;
  87       S10(i = c2,k = c6) ;
  88     }
  89   }
  90 }
  91 if ((M >= 2) && (N == 3)) {
  92   for (c2=1;c2<=O-1;c2++) {
  93     for (c6=1;c6<=M;c6++) {
  94       S1(i = c2,j = 1,k = c6) ;
  95     }
  96     for (c6=1;c6<=M-1;c6++) {
  97       S6(i = c2,j = 1,k = c6) ;
  98       S7(i = c2,j = 1,k = c6) ;
  99     }
 100     for (c6=1;c6<=M;c6++) {
 101       S3(i = c2,j = 1,k = c6) ;
 102     }
 103     for (c6=1;c6<=M-1;c6++) {
 104       S1(i = c2,j = 2,k = c6) ;
 105     }
 106     S1(i = c2,j = 2,k = M) ;
 107     for (c6=1;c6<=M-1;c6++) {
 108       S6(i = c2,j = 2,k = c6) ;
 109       S7(i = c2,j = 2,k = c6) ;
 110     }
 111     for (c6=1;c6<=M-1;c6++) {
 112       S11(i = c2,j = 1,k = c6) ;
 113     }
 114     for (c6=1;c6<=M-1;c6++) {
 115       S10(i = c2,j = 1,k = c6) ;
 116     }
 117     for (c6=1;c6<=M;c6++) {
 118       S3(i = c2,j = 2,k = c6) ;
 119     }
 120     for (c6=1;c6<=M-1;c6++) {
 121       S11(i = c2,j = 2,k = c6) ;
 122     }
 123     for (c6=1;c6<=M-1;c6++) {
 124       S10(i = c2,j = 2,k = c6) ;
 125     }
 126   }
 127 }
 128 if ((M >= 2) && (N == 2)) {
 129   for (c2=1;c2<=O-1;c2++) {
 130     for (c6=1;c6<=M;c6++) {
 131       S1(i = c2,j = 1,k = c6) ;
 132     }
 133     for (c6=1;c6<=M-1;c6++) {
 134       S6(i = c2,j = 1,k = c6) ;
 135       S7(i = c2,j = 1,k = c6) ;
 136     }
 137     for (c6=1;c6<=M;c6++) {
 138       S3(i = c2,j = 1,k = c6) ;
 139     }
 140     for (c6=1;c6<=M-1;c6++) {
 141       S11(i = c2,j = 1,k = c6) ;
 142     }
 143     for (c6=1;c6<=M-1;c6++) {
 144       S10(i = c2,j = 1,k = c6) ;
 145     }
 146   }
 147 }
 148 if ((M == 1) && (N >= 3)) {
 149   for (c2=1;c2<=O-1;c2++) {
 150     for (c4=-1;c4<=0;c4++) {
 151       if ((c4+1)%2 == 0) {
 152         j = (c4+3)/2 ;
 153         S1(i = c2,k = 1) ;
 154       }
 155     }
 156     for (c4=1;c4<=2*N-5;c4++) {
 157       if ((c4+1)%2 == 0) {
 158         j = (c4+1)/2 ;
 159         S3(i = c2,k = 1) ;
 160       }
 161       if ((c4+1)%2 == 0) {
 162         j = (c4+3)/2 ;
 163         S1(i = c2,k = 1) ;
 164       }
 165     }
 166     for (c4=2*N-4;c4<=2*N-3;c4++) {
 167       if ((c4+1)%2 == 0) {
 168         j = (c4+1)/2 ;
 169         S3(i = c2,k = 1) ;
 170       }
 171     }
 172   }
 173 }
 174 if ((M == 1) && (N == 2)) {
 175   for (c2=1;c2<=O-1;c2++) {
 176     S1(i = c2,j = 1,k = 1) ;
 177     S3(i = c2,j = 1,k = 1) ;
 178   }
 179 }
 180 if ((M >= 2) && (N >= 3)) {
 181   for (c2=1;c2<=O-1;c2++) {
 182     for (c6=1;c6<=M;c6++) {
 183       S2(i = c2,j = 1,k = c6) ;
 184     }
 185     for (c6=1;c6<=M-1;c6++) {
 186       S8(i = c2,j = 1,k = c6) ;
 187     }
 188     for (c4=3;c4<=2*N-2;c4++) {
 189       for (c6=1;c6<=M;c6++) {
 190         if (c4%2 == 0) {
 191           S2(i = c2,j = c4/2,k = c6) ;
 192         }
 193       }
 194       for (c6=1;c6<=M-1;c6++) {
 195         if (c4%2 == 0) {
 196           S8(i = c2,j = c4/2,k = c6) ;
 197         }
 198       }
 199       for (c6=1;c6<=M-1;c6++) {
 200         if ((c4+1)%2 == 0) {
 201           j = (c4-1)/2 ;
 202           S9(i = c2,k = c6) ;
 203         }
 204       }
 205     }
 206     c4 = 2*N-1 ;
 207     for (c6=1;c6<=M-1;c6++) {
 208       j = N-1 ;
 209       S9(i = c2,k = c6) ;
 210     }
 211   }
 212 }
 213 if ((M >= 2) && (N == 2)) {
 214   for (c2=1;c2<=O-1;c2++) {
 215     for (c6=1;c6<=M;c6++) {
 216       S2(i = c2,j = 1,k = c6) ;
 217     }
 218     for (c6=1;c6<=M-1;c6++) {
 219       S8(i = c2,j = 1,k = c6) ;
 220     }
 221     for (c6=1;c6<=M-1;c6++) {
 222       S9(i = c2,j = 1,k = c6) ;
 223     }
 224   }
 225 }
 226 if ((M == 1) && (N >= 2)) {
 227   for (c2=1;c2<=O-1;c2++) {
 228     for (c4=2;c4<=2*N-2;c4++) {
 229       if (c4%2 == 0) {
 230         S2(i = c2,j = c4/2,k = 1) ;
 231       }
 232     }
 233   }
 234 }
 235 if ((M >= 2) && (N >= 2)) {
 236   for (c2=1;c2<=O-1;c2++) {
 237     for (c4=1;c4<=N-1;c4++) {
 238       for (c6=1;c6<=M-1;c6++) {
 239         S4(i = c2,j = c4,k = c6) ;
 240       }
 241     }
 242   }
 243 }
 244 if ((M >= 2) && (N >= 2)) {
 245   for (c2=1;c2<=O-1;c2++) {
 246     for (c4=1;c4<=N-1;c4++) {
 247       for (c6=1;c6<=M-1;c6++) {
 248         S5(i = c2,j = c4,k = c6) ;
 249       }
 250     }
 251   }
 252 }
 253 if ((M >= P+1) && (N >= Q+1)) {
 254   for (c2=R;c2<=O-1;c2++) {
 255     for (c4=Q;c4<=N-1;c4++) {
 256       for (c6=P;c6<=M-1;c6++) {
 257         S12(i = c2,j = c4,k = c6) ;
 258       }
 259     }
 260   }
 261 }
 262 if ((M >= 2) && (N >= Q+1)) {
 263   for (c2=R;c2<=O-1;c2++) {
 264     for (c4=Q;c4<=N-1;c4++) {
 265       for (c6=1;c6<=M-1;c6++) {
 266         S13(i = c2,j = c4,k = c6) ;
 267       }
 268     }
 269   }
 270 }
 271 if ((M >= P+1) && (N >= 2)) {
 272   for (c2=R;c2<=O-1;c2++) {
 273     for (c4=1;c4<=N-1;c4++) {
 274       for (c6=P;c6<=M-1;c6++) {
 275         S14(i = c2,j = c4,k = c6) ;
 276       }
 277     }
 278   }
 279 }
 280 if ((M >= 2) && (N >= 2)) {
 281   for (c2=R;c2<=O-1;c2++) {
 282     for (c4=1;c4<=N-1;c4++) {
 283       for (c6=1;c6<=M-1;c6++) {
 284         S15(i = c2,j = c4,k = c6) ;
 285       }
 286     }
 287   }
 288 }