test/reservoir/mg-interp.c

   1 /* Generated from ./reservoir/mg-interp.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.16s. */
   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         }
  70         if ((c4+1)%2 == 0) {
  71           S1(c2,((c4+3)/2),c6);
  72         }
  73         if (c4%2 == 0) {
  74           S7(c2,((c4+2)/2),c6);
  75         }
  76       }
  77       if ((c4+1)%2 == 0) {
  78         S1(c2,((c4+3)/2),M);
  79       }
  80       for (c6=1;c6<=M-1;c6++) {
  81         if (c4%2 == 0) {
  82           S11(c2,(c4/2),c6);
  83         }
  84       }
  85     }
  86     if (N >= 4) {
  87       for (c6=1;c6<=M-1;c6++) {
  88         S6(c2,(N-1),c6);
  89         S7(c2,(N-1),c6);
  90       }
  91       for (c6=1;c6<=M-1;c6++) {
  92         S11(c2,(N-2),c6);
  93       }
  94     }
  95     if (N >= 3) {
  96       for (c6=1;c6<=M-1;c6++) {
  97         S10(c2,(N-2),c6);
  98       }
  99       for (c6=1;c6<=M;c6++) {
 100         S3(c2,(N-1),c6);
 101       }
 102     }
 103     if (N >= 3) {
 104       for (c6=1;c6<=M-1;c6++) {
 105         S11(c2,(N-1),c6);
 106       }
 107     }
 108     for (c6=1;c6<=M-1;c6++) {
 109       S10(c2,(N-1),c6);
 110     }
 111   }
 112 }
 113 if ((M == 1) && (N >= 2)) {
 114   for (c2=1;c2<=O-1;c2++) {
 115     S1(c2,1,1);
 116     for (c4=1;c4<=2*N-5;c4++) {
 117       if ((c4+1)%2 == 0) {
 118         S3(c2,((c4+1)/2),1);
 119       }
 120       if ((c4+1)%2 == 0) {
 121         S1(c2,((c4+3)/2),1);
 122       }
 123     }
 124     S3(c2,(N-1),1);
 125   }
 126 }
 127 if ((M >= 2) && (N >= 2)) {
 128   for (c2=1;c2<=O-1;c2++) {
 129     for (c6=1;c6<=M;c6++) {
 130       S2(c2,1,c6);
 131     }
 132     for (c6=1;c6<=M-1;c6++) {
 133       S8(c2,1,c6);
 134     }
 135     for (c4=3;c4<=2*N-2;c4++) {
 136       for (c6=1;c6<=M;c6++) {
 137         if (c4%2 == 0) {
 138           S2(c2,(c4/2),c6);
 139         }
 140       }
 141       for (c6=1;c6<=M-1;c6++) {
 142         if (c4%2 == 0) {
 143           S8(c2,(c4/2),c6);
 144         }
 145       }
 146       for (c6=1;c6<=M-1;c6++) {
 147         if ((c4+1)%2 == 0) {
 148           S9(c2,((c4-1)/2),c6);
 149         }
 150       }
 151     }
 152     for (c6=1;c6<=M-1;c6++) {
 153       S9(c2,(N-1),c6);
 154     }
 155   }
 156 }
 157 if ((M == 1) && (N >= 2)) {
 158   for (c2=1;c2<=O-1;c2++) {
 159     for (c4=2;c4<=2*N-2;c4++) {
 160       if (c4%2 == 0) {
 161         S2(c2,(c4/2),1);
 162       }
 163     }
 164   }
 165 }
 166 if ((M >= 2) && (N >= 2)) {
 167   for (c2=1;c2<=O-1;c2++) {
 168     for (c4=1;c4<=N-1;c4++) {
 169       for (c6=1;c6<=M-1;c6++) {
 170         S4(c2,c4,c6);
 171       }
 172     }
 173   }
 174 }
 175 if ((M >= 2) && (N >= 2)) {
 176   for (c2=1;c2<=O-1;c2++) {
 177     for (c4=1;c4<=N-1;c4++) {
 178       for (c6=1;c6<=M-1;c6++) {
 179         S5(c2,c4,c6);
 180       }
 181     }
 182   }
 183 }
 184 if ((M >= P+1) && (N >= Q+1)) {
 185   for (c2=R;c2<=O-1;c2++) {
 186     for (c4=Q;c4<=N-1;c4++) {
 187       for (c6=P;c6<=M-1;c6++) {
 188         S12(c2,c4,c6);
 189       }
 190     }
 191   }
 192 }
 193 if ((M >= 2) && (N >= Q+1)) {
 194   for (c2=R;c2<=O-1;c2++) {
 195     for (c4=Q;c4<=N-1;c4++) {
 196       for (c6=1;c6<=M-1;c6++) {
 197         S13(c2,c4,c6);
 198       }
 199     }
 200   }
 201 }
 202 if ((M >= P+1) && (N >= 2)) {
 203   for (c2=R;c2<=O-1;c2++) {
 204     for (c4=1;c4<=N-1;c4++) {
 205       for (c6=P;c6<=M-1;c6++) {
 206         S14(c2,c4,c6);
 207       }
 208     }
 209   }
 210 }
 211 if ((M >= 2) && (N >= 2)) {
 212   for (c2=R;c2<=O-1;c2++) {
 213     for (c4=1;c4<=N-1;c4++) {
 214       for (c6=1;c6<=M-1;c6++) {
 215         S15(c2,c4,c6);
 216       }
 217     }
 218   }
 219 }