test/polylib/reservoir/mg-interp.c

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