test/reservoir/mg-rprj3.c.polylib

   1 /* Generated from ./reservoir/mg-rprj3.cloog by CLooG v0.14.0 gmp bits in 0.35s. */
   2 /* CLooG asked for 1128 KBytes. */
   3 if ((M >= 4) && (N >= 4)) {
   4   for (c2=2;c2<=O-1;c2++) {
   5     for (c6=2;c6<=M;c6++) {
   6       S1(i = c2,j = 2,k = c6) ;
   7     }
   8     for (c4=3;c4<=N-1;c4++) {
   9       for (c6=2;c6<=M;c6++) {
  10         j = c4-1 ;
  11         S2(i = c2,k = c6) ;
  12       }
  13       j = c4-1 ;
  14       S4(i = c2,k = 2) ;
  15       for (c6=2;c6<=M-2;c6++) {
  16         j = c4-1 ;
  17         S3(i = c2,k = c6) ;
  18         j = c4-1 ;
  19         S5(i = c2,k = c6) ;
  20         j = c4-1 ;
  21         k = c6+1 ;
  22         S4(i = c2) ;
  23       }
  24       c6 = M-1 ;
  25       j = c4-1 ;
  26       k = M-1 ;
  27       S3(i = c2) ;
  28       j = c4-1 ;
  29       k = M-1 ;
  30       S5(i = c2) ;
  31       for (c6=2;c6<=M;c6++) {
  32         S1(i = c2,j = c4,k = c6) ;
  33       }
  34     }
  35     for (c6=2;c6<=M;c6++) {
  36       j = N-1 ;
  37       S2(i = c2,k = c6) ;
  38     }
  39     j = N-1 ;
  40     S4(i = c2,k = 2) ;
  41     for (c6=2;c6<=M-2;c6++) {
  42       j = N-1 ;
  43       S3(i = c2,k = c6) ;
  44       j = N-1 ;
  45       S5(i = c2,k = c6) ;
  46       j = N-1 ;
  47       k = c6+1 ;
  48       S4(i = c2) ;
  49     }
  50     c6 = M-1 ;
  51     j = N-1 ;
  52     k = M-1 ;
  53     S3(i = c2) ;
  54     j = N-1 ;
  55     k = M-1 ;
  56     S5(i = c2) ;
  57   }
  58 }
  59 if ((M >= 4) && (N == 3)) {
  60   for (c2=2;c2<=O-1;c2++) {
  61     for (c6=2;c6<=M;c6++) {
  62       S1(i = c2,j = 2,k = c6) ;
  63     }
  64     for (c6=2;c6<=M;c6++) {
  65       S2(i = c2,j = 2,k = c6) ;
  66     }
  67     S4(i = c2,j = 2,k = 2) ;
  68     for (c6=2;c6<=M-2;c6++) {
  69       S3(i = c2,j = 2,k = c6) ;
  70       S5(i = c2,j = 2,k = c6) ;
  71       k = c6+1 ;
  72       S4(i = c2,j = 2) ;
  73     }
  74     c6 = M-1 ;
  75     k = M-1 ;
  76     S3(i = c2,j = 2) ;
  77     k = M-1 ;
  78     S5(i = c2,j = 2) ;
  79   }
  80 }
  81 if ((M == 3) && (N == 3)) {
  82   for (c2=2;c2<=O-1;c2++) {
  83     for (c6=2;c6<=3;c6++) {
  84       S1(i = c2,j = 2,k = c6) ;
  85     }
  86     for (c6=2;c6<=3;c6++) {
  87       S2(i = c2,j = 2,k = c6) ;
  88     }
  89     S4(i = c2,j = 2,k = 2) ;
  90     S3(i = c2,j = 2,k = 2) ;
  91     S5(i = c2,j = 2,k = 2) ;
  92   }
  93 }
  94 if ((M == 3) && (N >= 4)) {
  95   for (c2=2;c2<=O-1;c2++) {
  96     for (c6=2;c6<=3;c6++) {
  97       S1(i = c2,j = 2,k = c6) ;
  98     }
  99     for (c4=3;c4<=N-1;c4++) {
 100       for (c6=2;c6<=3;c6++) {
 101         j = c4-1 ;
 102         S2(i = c2,k = c6) ;
 103       }
 104       j = c4-1 ;
 105       S4(i = c2,k = 2) ;
 106       j = c4-1 ;
 107       S3(i = c2,k = 2) ;
 108       j = c4-1 ;
 109       S5(i = c2,k = 2) ;
 110       for (c6=2;c6<=3;c6++) {
 111         S1(i = c2,j = c4,k = c6) ;
 112       }
 113     }
 114     for (c6=2;c6<=3;c6++) {
 115       j = N-1 ;
 116       S2(i = c2,k = c6) ;
 117     }
 118     j = N-1 ;
 119     S4(i = c2,k = 2) ;
 120     j = N-1 ;
 121     S3(i = c2,k = 2) ;
 122     j = N-1 ;
 123     S5(i = c2,k = 2) ;
 124   }
 125 }
 126 if ((M == 2) && (N >= 4)) {
 127   for (c2=2;c2<=O-1;c2++) {
 128     S1(i = c2,j = 2,k = 2) ;
 129     for (c4=3;c4<=N-1;c4++) {
 130       j = c4-1 ;
 131       S2(i = c2,k = 2) ;
 132       S1(i = c2,j = c4,k = 2) ;
 133     }
 134     j = N-1 ;
 135     S2(i = c2,k = 2) ;
 136   }
 137 }
 138 if ((M == 2) && (N == 3)) {
 139   for (c2=2;c2<=O-1;c2++) {
 140     S1(i = c2,j = 2,k = 2) ;
 141     S2(i = c2,j = 2,k = 2) ;
 142   }
 143 }