test/reservoir/pingali5.c

   1 /* Generated from /home/skimo/git/cloog/test/./reservoir/pingali5.cloog by CLooG 0.14.0-225-g6e2d019 gmp bits in 0.02s. */
   2 if (M >= 2) {
   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(c2-1,c4-1);i++) {
   6         S1(i,c2-i,c4);
   7       }
   8     }
   9     for (c4=max(1,c2-M);c4<=floord(c2-1,2);c4++) {
  10       S2(c2-c4,c4);
  11     }
  12     for (c4=ceild(c2+3,2);c4<=M;c4++) {
  13       for (i=ceild(c2+1,2);i<=min(c2-1,c4-1);i++) {
  14         S3(i,c2-i,c4);
  15       }
  16     }
  17   }
  18   for (c2=max(M+1,2*M-2);c2<=2*M-1;c2++) {
  19     S2(M,c2-M);
  20   }
  21 }