Blame isl-0.16.1/test_inputs/codegen/omega/wak1-0.c
|
Packit |
fb9d21 |
{
|
|
Packit |
fb9d21 |
for (int c0 = a2; c0 <= min(min(a1 - 1, a3 - 1), b2); c0 += 1)
|
|
Packit |
fb9d21 |
s1(c0);
|
|
Packit |
fb9d21 |
for (int c0 = a1; c0 <= min(b1, a3 - 1); c0 += 1) {
|
|
Packit |
fb9d21 |
s0(c0);
|
|
Packit |
fb9d21 |
if (c0 >= a2 && b2 >= c0)
|
|
Packit |
fb9d21 |
s1(c0);
|
|
Packit |
fb9d21 |
}
|
|
Packit |
fb9d21 |
for (int c0 = max(max(a1, b1 + 1), a2); c0 <= min(a3 - 1, b2); c0 += 1)
|
|
Packit |
fb9d21 |
s1(c0);
|
|
Packit |
fb9d21 |
for (int c0 = a3; c0 <= b3; c0 += 1) {
|
|
Packit |
fb9d21 |
if (c0 >= a1 && b1 >= c0)
|
|
Packit |
fb9d21 |
s0(c0);
|
|
Packit |
fb9d21 |
if (c0 >= a2 && b2 >= c0)
|
|
Packit |
fb9d21 |
s1(c0);
|
|
Packit |
fb9d21 |
s2(c0);
|
|
Packit |
fb9d21 |
}
|
|
Packit |
fb9d21 |
for (int c0 = max(max(a3, b3 + 1), a2); c0 <= min(a1 - 1, b2); c0 += 1)
|
|
Packit |
fb9d21 |
s1(c0);
|
|
Packit |
fb9d21 |
for (int c0 = max(max(a1, a3), b3 + 1); c0 <= b1; c0 += 1) {
|
|
Packit |
fb9d21 |
s0(c0);
|
|
Packit |
fb9d21 |
if (c0 >= a2 && b2 >= c0)
|
|
Packit |
fb9d21 |
s1(c0);
|
|
Packit |
fb9d21 |
}
|
|
Packit |
fb9d21 |
for (int c0 = max(max(max(max(a1, b1 + 1), a3), b3 + 1), a2); c0 <= b2; c0 += 1)
|
|
Packit |
fb9d21 |
s1(c0);
|
|
Packit |
fb9d21 |
}
|