test/reservoir/mg-rprj3.c

   1 /* Generated from ./reservoir/mg-rprj3.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.05s. */
   2 if ((M >= 2) && (N >= 3) && (O >= 3)) {
   3   if (M >= 3) {
   4     for (c2=2;c2<=O-1;c2++) {
   5       for (c6=2;c6<=M;c6++) {
   6         S1(c2,2,c6);
   7       }
   8       for (c4=3;c4<=N-1;c4++) {
   9         for (c6=2;c6<=M;c6++) {
  10           S2(c2,(c4-1),c6);
  11         }
  12         S4(c2,(c4-1),2);
  13         for (c6=2;c6<=M-2;c6++) {
  14           S3(c2,(c4-1),c6);
  15           S5(c2,(c4-1),c6);
  16           S4(c2,(c4-1),(c6+1));
  17         }
  18         S3(c2,(c4-1),(M-1));
  19         S5(c2,(c4-1),(M-1));
  20         for (c6=2;c6<=M;c6++) {
  21           S1(c2,c4,c6);
  22         }
  23       }
  24       for (c6=2;c6<=M;c6++) {
  25         S2(c2,(N-1),c6);
  26       }
  27       S4(c2,(N-1),2);
  28       for (c6=2;c6<=M-2;c6++) {
  29         S3(c2,(N-1),c6);
  30         S5(c2,(N-1),c6);
  31         S4(c2,(N-1),(c6+1));
  32       }
  33       S3(c2,(N-1),(M-1));
  34       S5(c2,(N-1),(M-1));
  35     }
  36   }
  37   if (M == 2) {
  38     for (c2=2;c2<=O-1;c2++) {
  39       S1(c2,2,2);
  40       for (c4=3;c4<=N-1;c4++) {
  41         S2(c2,(c4-1),2);
  42         S1(c2,c4,2);
  43       }
  44       S2(c2,(N-1),2);
  45     }
  46   }
  47 }