test/reservoir/lim-lam3.c

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