test/reservoir/lim-lam3.c

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