test/reservoir/pingali5.c

   1 /* Generated from ./reservoir/pingali5.cloog by CLooG 0.18.1-2-g43fc508 gmp bits in 0.01s. */
   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 }