Polly 23.0.0git
wak2-0.c
Go to the documentation of this file.
1if (c1 >= d1 + 1) {
2 for (int c0 = a2; c0 <= b2; c0 += 1)
3 for (int c1_0 = c2; c1_0 <= d2; c1_0 += 1)
4 s1(c0, c1_0);
5} else {
6 for (int c0 = a2; c0 <= min(a1 - 1, b2); c0 += 1)
7 for (int c1_0 = c2; c1_0 <= d2; c1_0 += 1)
8 s1(c0, c1_0);
9 for (int c0 = a1; c0 <= b1; c0 += 1) {
10 if (c0 >= a2 && b2 >= c0)
11 for (int c1_0 = c2; c1_0 <= min(c1 - 1, d2); c1_0 += 1)
12 s1(c0, c1_0);
13 for (int c1_0 = c1; c1_0 <= d1; c1_0 += 1) {
14 s0(c0, c1_0);
15 if (c0 >= a2 && b2 >= c0 && c1_0 >= c2 && d2 >= c1_0)
16 s1(c0, c1_0);
17 }
18 if (c0 >= a2 && b2 >= c0)
19 for (int c1_0 = max(d1 + 1, c2); c1_0 <= d2; c1_0 += 1)
20 s1(c0, c1_0);
21 }
22 for (int c0 = max(max(a1, b1 + 1), a2); c0 <= b2; c0 += 1)
23 for (int c1_0 = c2; c1_0 <= d2; c1_0 += 1)
24 s1(c0, c1_0);
25}
c1
Definition dot.c:2
c0
s0(n+19)