test/reservoir/mg-interp.c

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