isl_basic_map_gist: allow existentially quantified variables
[isl.git] / test_inputs / codegen / omega / wak3-1.c
blobef2c580d44021661df3f896a5e939abe7a590e18
1 for (int c0 = a; c0 <= min(a + 9, b); c0 += 1)
2 s0(c0);
3 for (int c0 = a + 10; c0 <= min(a + 19, b); c0 += 1) {
4 s0(c0);
5 s1(c0);
7 for (int c0 = max(a + 10, b + 1); c0 <= min(a + 19, b + 10); c0 += 1)
8 s1(c0);
9 for (int c0 = a + 20; c0 <= b; c0 += 1) {
10 s0(c0);
11 s1(c0);
12 s2(c0);
14 for (int c0 = max(a + 20, b + 1); c0 <= b + 10; c0 += 1) {
15 s1(c0);
16 s2(c0);
18 for (int c0 = max(a + 20, b + 11); c0 <= b + 20; c0 += 1)
19 s2(c0);