test/reservoir/lim-lam1.c

   1 /* Generated from ./reservoir/lim-lam1.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.00s. */
   2 S1(1,100);
   3 for (c2=-98;c2<=99;c2++) {
   4   if (c2 <= 0) {
   5     S1(1,(-c2+1));
   6   }
   7   if (c2 >= 1) {
   8     S2(c2,1);
   9   }
  10   for (c4=max(2,-2*c2+3);c4<=min(199,-2*c2+200);c4++) {
  11     if (c4%2 == 0) {
  12       S1(((2*c2+c4)/2),(c4/2));
  13     }
  14     if ((c4+1)%2 == 0) {
  15       S2(((2*c2+c4-1)/2),((c4+1)/2));
  16     }
  17   }
  18   if (c2 <= 0) {
  19     S1((c2+100),100);
  20   }
  21   if (c2 >= 1) {
  22     S2(100,(-c2+101));
  23   }
  24 }
  25 S2(100,1);