test/polylib/reservoir/lim-lam3.c

   1 /* Generated from ../../../git/cloog/test/./reservoir/lim-lam3.cloog by CLooG 0.14.0-136-gb91ef26 gmp bits in 0.03s. */
   2 for (c2=5;c2<=min(8,5*M);c2++) {
   3   if (c2%5 == 0) {
   4     S4(c2/5) ;
   5   }
   6 }
   7 for (c2=9;c2<=min(13,5*M-1);c2++) {
   8   for (c4=max(1,ceild(c2-M-3,4));c4<=floord(c2-4,5);c4++) {
   9     S2(c2-4*c4-3,c4) ;
  10   }
  11   if (c2%5 == 0) {
  12     S4(c2/5) ;
  13   }
  14   for (c4=max(1,ceild(c2-3*M-1,2));c4<=floord(c2-4,5);c4++) {
  15     if ((c2+c4+2)%3 == 0) {
  16       S3((c2-2*c4-1)/3,c4) ;
  17     }
  18   }
  19 }
  20 for (c2=14;c2<=5*M-1;c2++) {
  21   for (c4=max(2,ceild(c2-M-3,4));c4<=min(floord(c2-8,3),M-1);c4++) {
  22     for (c6=max(1,ceild(c2-2*c4-M-5,2));c6<=min(floord(c2-3*c4-6,2),c4-1);c6++) {
  23       S1(c2-2*c4-2*c6-5,c4,c6) ;
  24     }
  25   }
  26   for (c4=max(1,ceild(c2-M-3,4));c4<=floord(c2-4,5);c4++) {
  27     S2(c2-4*c4-3,c4) ;
  28   }
  29   if (c2%5 == 0) {
  30     S4(c2/5) ;
  31   }
  32   for (c4=max(1,ceild(c2-3*M-1,2));c4<=floord(c2-4,5);c4++) {
  33     if ((c2+c4+2)%3 == 0) {
  34       S3((c2-2*c4-1)/3,c4) ;
  35     }
  36   }
  37 }
  38 if (M >= 2) {
  39   S4(M) ;
  40 }