1for (int c1 = 0; c1 <= 1; c1 += 1) {
2 if (c1 == 1) {
3 s0(1, 1, 1, 0, 0);
4 s0(1, 1, 1, N - 1, 0);
5 } else {
6 for (int c3 = 0; c3 < N; c3 += 1)
7 s0(1, 0, 1, c3, 0);
8 }
9}
10for (int c1 = 0; c1 <= floord(T - 1, 1000); c1 += 1)
11 for (int c2 = 1000 * c1 + 1; c2 <= min(N + T - 3, N + 1000 * c1 + 997); c2 += 1)
12 for (int c3 = max(0, -N - 1000 * c1 + c2 + 2); c3 <= min(min(999, T - 1000 * c1 - 1), -1000 * c1 + c2 - 1); c3 += 1)
13 s1(2, 1000 * c1 + c3, 1, -1000 * c1 + c2 - c3, 1);
14

source code of polly/lib/External/isl/test_inputs/codegen/omega/ts1d-check-sblock-0.c