test/reservoir/cholesky2.c.ppl

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