1for (int c0 = 1; c0 <= 15; c0 += 1) {
2 if (((-exprVar1 + 15) % 8) + c0 <= 15) {
3 s2(c0);
4 s0(c0);
5 s4(c0);
6 s3(c0);
7 s1(c0);
8 }
9 if (((-exprVar1 + 15) % 8) + c0 <= 15 || (exprVar1 - c0 + 1) % 8 == 0)
10 s5(c0);
11}
12

source code of polly/lib/External/isl/test_inputs/codegen/omega/iter9-0.c