test/reservoir/mg-psinv.c.ppl

   1 /* Generated from ./reservoir/mg-psinv.cloog by CLooG v0.14.0 gmp bits in 0.06s. */
   2 /* CLooG asked for 300 KBytes. */
   3 if ((M >= 3) && (N >= 4)) {
   4   for (c2=2;c2<=O-1;c2++) {
   5     for (c6=1;c6<=M;c6++) {
   6       S1(i = c2,j = 2,k = c6) ;
   7       S2(i = c2,j = 2,k = c6) ;
   8     }
   9     for (c4=4;c4<=2*N-3;c4++) {
  10       for (c6=1;c6<=M;c6++) {
  11         if ((c4+1)%2 == 0) {
  12           j = (c4+1)/2 ;
  13           S1(i = c2,k = c6) ;
  14           S2(i = c2,k = c6) ;
  15         }
  16       }
  17       for (c6=2;c6<=M-1;c6++) {
  18         if (c4%2 == 0) {
  19           S3(i = c2,j = c4/2,k = c6) ;
  20         }
  21       }
  22     }
  23     c4 = 2*N-2 ;
  24     for (c6=2;c6<=M-1;c6++) {
  25       j = N-1 ;
  26       S3(i = c2,k = c6) ;
  27     }
  28   }
  29 }
  30 if ((M >= 3) && (N == 3)) {
  31   for (c2=2;c2<=O-1;c2++) {
  32     for (c6=1;c6<=M;c6++) {
  33       S1(i = c2,j = 2,k = c6) ;
  34       S2(i = c2,j = 2,k = c6) ;
  35     }
  36     for (c6=2;c6<=M-1;c6++) {
  37       S3(i = c2,j = 2,k = c6) ;
  38     }
  39   }
  40 }
  41 if ((M >= 1) && (M <= 2) && (N >= 3)) {
  42   for (c2=2;c2<=O-1;c2++) {
  43     for (c4=3;c4<=2*N-3;c4++) {
  44       for (c6=1;c6<=M;c6++) {
  45         if ((c4+1)%2 == 0) {
  46           j = (c4+1)/2 ;
  47           S1(i = c2,k = c6) ;
  48           S2(i = c2,k = c6) ;
  49         }
  50       }
  51     }
  52   }
  53 }