1S2(1, 0, 1, 0);
2S4(1, 0, 1, 0);
3S3(2, 0, 1, 1);
4S4(2, 0, 1, 1);
5for (int c0 = 3; c0 <= 10; c0 += 1) {
6 if ((c0 + 1) % 3 == 0) {
7 S3(c0, (c0 - 2) / 3, (c0 + 1) / 3, (c0 + 1) / 3);
8 } else if (c0 % 3 == 0) {
9 S1(c0, c0 / 3, c0 / 3, c0 / 3);
10 } else {
11 S2(c0, (c0 - 1) / 3, (c0 + 2) / 3, (c0 - 1) / 3);
12 }
13 S4(c0, c0 / 3, (c0 - 1) / 3 + 1, c0 - (c0 - 1) / 3 - c0 / 3 - 1);
14}
15

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