1for (int c1 = 0; c1 <= min(1023, M + 1024); c1 += 1) {
2 S1(c1);
3 S3(c1);
4}
5for (int c1 = max(0, M + 1025); c1 <= 1023; c1 += 1) {
6 S2(c1);
7 S3(c1);
8}
9for (int c0 = 0; c0 <= min(1023, M + 1024); c0 += 1) {
10 S4(c0);
11 S6(c0);
12}
13for (int c0 = max(0, M + 1025); c0 <= 1023; c0 += 1) {
14 S5(c0);
15 S6(c0);
16}
17

source code of polly/lib/External/isl/test_inputs/codegen/cloog/constant.c