test/reservoir/cholesky2.c.polylib

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