1if (((t1 + 31) % 32) + g2 >= 2 && N >= ((t1 + 31) % 32) + g2 + 2 && (h0 + 1) % 2 == 0)
2 for (int c0 = max(((t0 + 15) % 16) + 1, ((g1 + t0 + 13) % 16) - g1 + 3); c0 <= min(32, N - g1 - 1); c0 += 16)
3 S1(g1 + c0 - 1, -((g2 - t1 + 32) % 32) + g2 + 31);
4

source code of polly/lib/External/isl/test_inputs/codegen/cloog/jacobi-shared.c