1/* Generated from ../../../git/cloog/test/param-split.cloog by CLooG 0.14.0-277-gce2ba57 gmp bits in 0.00s. */
2for (i=0;i<=M;i++) {
3  S1(i);
4  if (i == 0) {
5    S2(i);
6  }
7}
8if (M <= -1) {
9  S2(0);
10}
11