test/reservoir/mg-rprj3.c

   1 /* Generated from ../../../git/cloog/test/./reservoir/mg-rprj3.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.40s. */
   2 if ((M >= 2) && (N >= 3) && (O >= 3)) {
   3   if ((M >= 4) && (N >= 4)) {
   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 == 3) && (N >= 4)) {
  38     for (c2=2;c2<=O-1;c2++) {
  39       for (c6=2;c6<=3;c6++) {
  40         S1(c2,2,c6) ;
  41       }
  42       for (c4=3;c4<=N-1;c4++) {
  43         for (c6=2;c6<=3;c6++) {
  44           S2(c2,c4-1,c6) ;
  45         }
  46         S4(c2,c4-1,2) ;
  47         S3(c2,c4-1,2) ;
  48         S5(c2,c4-1,2) ;
  49         for (c6=2;c6<=3;c6++) {
  50           S1(c2,c4,c6) ;
  51         }
  52       }
  53       for (c6=2;c6<=3;c6++) {
  54         S2(c2,N-1,c6) ;
  55       }
  56       S4(c2,N-1,2) ;
  57       S3(c2,N-1,2) ;
  58       S5(c2,N-1,2) ;
  59     }
  60   }
  61   if ((M >= 4) && (N == 3)) {
  62     for (c2=2;c2<=O-1;c2++) {
  63       for (c6=2;c6<=M;c6++) {
  64         S1(c2,2,c6) ;
  65       }
  66       for (c6=2;c6<=M;c6++) {
  67         S2(c2,2,c6) ;
  68       }
  69       S4(c2,2,2) ;
  70       for (c6=2;c6<=M-2;c6++) {
  71         S3(c2,2,c6) ;
  72         S5(c2,2,c6) ;
  73         S4(c2,2,c6+1) ;
  74       }
  75       S3(c2,2,M-1) ;
  76       S5(c2,2,M-1) ;
  77     }
  78   }
  79   if ((M == 3) && (N == 3)) {
  80     for (c2=2;c2<=O-1;c2++) {
  81       for (c6=2;c6<=3;c6++) {
  82         S1(c2,2,c6) ;
  83       }
  84       for (c6=2;c6<=3;c6++) {
  85         S2(c2,2,c6) ;
  86       }
  87       S4(c2,2,2) ;
  88       S3(c2,2,2) ;
  89       S5(c2,2,2) ;
  90     }
  91   }
  92   if ((M == 2) && (N >= 4)) {
  93     for (c2=2;c2<=O-1;c2++) {
  94       S1(c2,2,2) ;
  95       for (c4=3;c4<=N-1;c4++) {
  96         S2(c2,c4-1,2) ;
  97         S1(c2,c4,2) ;
  98       }
  99       S2(c2,N-1,2) ;
 100     }
 101   }
 102   if ((M == 2) && (N == 3)) {
 103     for (c2=2;c2<=O-1;c2++) {
 104       S1(c2,2,2) ;
 105       S2(c2,2,2) ;
 106     }
 107   }
 108 }