test/reservoir/lim-lam3.c.ppl

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