test/reservoir/lim-lam3.c.ppl

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