test/reservoir/pingali5.c.polylib

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