test/reservoir/mg-rprj3.c.ppl

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