llvm/polly/lib/External/isl/test_inputs/codegen/cloog/basic-bounds-5.c

S1(1, floord(M + 1, 2));