isl_basic_map_gist: drop irrelevant constraints from the context
[isl.git] / test_inputs / codegen / cloog / reservoir-mg-rprj3.c
blob992bfd53f02cae4c8ecaf92d375ee0d4b56bab57
1 if (M >= 2 && N >= 3)
2 for (int c1 = 2; c1 < O; c1 += 1) {
3 for (int c5 = 2; c5 <= M; c5 += 1)
4 S1(c1, 2, c5);
5 for (int c3 = 3; c3 < N; c3 += 1) {
6 for (int c5 = 2; c5 <= M; c5 += 1)
7 S2(c1, c3 - 1, c5);
8 if (M >= 3) {
9 S4(c1, c3 - 1, 2);
10 for (int c5 = 2; c5 < M - 1; c5 += 1) {
11 S3(c1, c3 - 1, c5);
12 S5(c1, c3 - 1, c5);
13 S4(c1, c3 - 1, c5 + 1);
15 S3(c1, c3 - 1, M - 1);
16 S5(c1, c3 - 1, M - 1);
18 for (int c5 = 2; c5 <= M; c5 += 1)
19 S1(c1, c3, c5);
21 for (int c5 = 2; c5 <= M; c5 += 1)
22 S2(c1, N - 1, c5);
23 if (M >= 3) {
24 S4(c1, N - 1, 2);
25 for (int c5 = 2; c5 < M - 1; c5 += 1) {
26 S3(c1, N - 1, c5);
27 S5(c1, N - 1, c5);
28 S4(c1, N - 1, c5 + 1);
30 S3(c1, N - 1, M - 1);
31 S5(c1, N - 1, M - 1);