test/reservoir/pingali5.c.ppl

   1 /* Generated from ././reservoir/pingali5.cloog by CLooG 0.15 64 bits in 0.02s. */
   2 for (c2=3;c2<=2*M-3;c2++) {
   3   for (c4=ceild(c2+3,2);c4<=M;c4++) {
   4     for (i=ceild(c2+1,2);i<=min(c2-1,c4-1);i++) {
   5       j = c2-i ;
   6       S1(k = c4) ;
   7     }
   8   }
   9   for (c4=max(c2-M,1);c4<=floord(c2-1,2);c4++) {
  10     i = c2-c4 ;
  11     S2(j = c4) ;
  12   }
  13   for (c4=ceild(c2+3,2);c4<=M;c4++) {
  14     for (i=ceild(c2+1,2);i<=min(c2-1,c4-1);i++) {
  15       j = c2-i ;
  16       S3(k = c4) ;
  17     }
  18   }
  19 }
  20 for (c2=max(2*M-2,3);c2<=2*M-1;c2++) {
  21   for (c4=max(c2-M,1);c4<=floord(c2-1,2);c4++) {
  22     i = c2-c4 ;
  23     S2(j = c4) ;
  24   }
  25 }