isl_basic_map_gist: drop irrelevant constraints from the context
[isl.git] / test_inputs / codegen / cloog / reservoir-lim-lam4.c
blob84278864fd938dbcfe4170781739f587c4aeb85a
1 for (int c1 = 1; c1 < 2 * M - 1; c1 += 1) {
2 for (int c3 = max(-c1 + 1, -M + 1); c3 < 0; c3 += 1) {
3 for (int c7 = max(-M + c1 + 1, 1); c7 <= min(c1 + c3, M - 1); c7 += 1)
4 S1(c7, c1 + c3 - c7, -c3);
5 for (int c5 = max(-c3, -M + c1 + 1); c5 < min(M, c1); c5 += 1)
6 S2(c1 - c5, c3 + c5, c5);
8 for (int c7 = max(1, -M + c1 + 1); c7 <= min(c1, M - 1); c7 += 1)
9 S1(c7, c1 - c7, 0);