test/reservoir/mg-psinv.c.ppl

   1 /* Generated from ././reservoir/mg-psinv.cloog by CLooG 0.15 64 bits in 0.17s. */
   2 if ((M >= 3) && (N >= 4)) {
   3   for (c2=2;c2<=O-1;c2++) {
   4     for (c6=1;c6<=M;c6++) {
   5       S1(i = c2,j = 2,k = c6) ;
   6       S2(i = c2,j = 2,k = c6) ;
   7     }
   8     for (c4=4;c4<=2*N-3;c4++) {
   9       for (c6=1;c6<=M;c6++) {
  10         if ((c4+1)%2 == 0) {
  11           j = (c4+1)/2 ;
  12           S1(i = c2,k = c6) ;
  13           S2(i = c2,k = c6) ;
  14         }
  15       }
  16       for (c6=2;c6<=M-1;c6++) {
  17         if (c4%2 == 0) {
  18           S3(i = c2,j = c4/2,k = c6) ;
  19         }
  20       }
  21     }
  22     if (N >= 4) {
  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 }
  31 if ((M >= 3) && (N == 3)) {
  32   for (c2=2;c2<=O-1;c2++) {
  33     for (c6=1;c6<=M;c6++) {
  34       S1(i = c2,j = 2,k = c6) ;
  35       S2(i = c2,j = 2,k = c6) ;
  36     }
  37     for (c6=2;c6<=M-1;c6++) {
  38       S3(i = c2,j = 2,k = c6) ;
  39     }
  40   }
  41 }
  42 if ((M >= 1) && (M <= 2) && (N >= 3)) {
  43   for (c2=2;c2<=O-1;c2++) {
  44     for (c4=3;c4<=2*N-3;c4++) {
  45       for (c6=1;c6<=M;c6++) {
  46         if ((c4+1)%2 == 0) {
  47           j = (c4+1)/2 ;
  48           S1(i = c2,k = c6) ;
  49           S2(i = c2,k = c6) ;
  50         }
  51       }
  52     }
  53   }
  54 }