1for (int c0 = max(0, 32 * h0 - 1991); c0 <= min(999, 32 * h0 + 31); c0 += 1)
2 if ((32 * h0 - c0 + 32) % 64 >= 1)
3 for (int c1 = 0; c1 <= 999; c1 += 1)
4 S1(c0, c1);
5

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