[clang-repl] [codegen] Reduce the state in TBAA. NFC for static compilation. (#98138)
[llvm-project.git] / polly / lib / External / isl / test_inputs / codegen / omega / wak1-1.c
blob5ecd174f611d9e38b9790f2ad73f5c39dde2da74
1 for (int c0 = a2; c0 <= min(min(a1 - 1, a3 - 1), b2); c0 += 1)
2 s1(c0);
3 for (int c0 = a3; c0 <= min(min(a1 - 1, b3), a2 - 1); c0 += 1)
4 s2(c0);
5 for (int c0 = max(a3, a2); c0 <= min(min(a1 - 1, b3), b2); c0 += 1) {
6 s1(c0);
7 s2(c0);
9 for (int c0 = max(max(a3, b3 + 1), a2); c0 <= min(a1 - 1, b2); c0 += 1)
10 s1(c0);
11 for (int c0 = a1; c0 <= min(min(b1, a3 - 1), a2 - 1); c0 += 1)
12 s0(c0);
13 for (int c0 = max(a1, a2); c0 <= min(min(b1, a3 - 1), b2); c0 += 1) {
14 s0(c0);
15 s1(c0);
17 for (int c0 = max(a1, a3); c0 <= min(min(b1, b3), a2 - 1); c0 += 1) {
18 s0(c0);
19 s2(c0);
21 for (int c0 = max(max(a1, a3), b3 + 1); c0 <= min(b1, a2 - 1); c0 += 1)
22 s0(c0);
23 for (int c0 = max(max(a1, a3), a2); c0 <= min(min(b1, b3), b2); c0 += 1) {
24 s0(c0);
25 s1(c0);
26 s2(c0);
28 for (int c0 = max(max(max(a1, a3), b3 + 1), a2); c0 <= min(b1, b2); c0 += 1) {
29 s0(c0);
30 s1(c0);
32 for (int c0 = max(max(a1, a2), b2 + 1); c0 <= min(b1, a3 - 1); c0 += 1)
33 s0(c0);
34 for (int c0 = max(max(a3, a2), b2 + 1); c0 <= min(a1 - 1, b3); c0 += 1)
35 s2(c0);
36 for (int c0 = max(max(max(a1, a3), a2), b2 + 1); c0 <= min(b1, b3); c0 += 1) {
37 s0(c0);
38 s2(c0);
40 for (int c0 = max(max(max(max(a1, a3), b3 + 1), a2), b2 + 1); c0 <= b1; c0 += 1)
41 s0(c0);
42 for (int c0 = max(max(a1, b1 + 1), a2); c0 <= min(a3 - 1, b2); c0 += 1)
43 s1(c0);
44 for (int c0 = max(max(a1, b1 + 1), a3); c0 <= min(b3, a2 - 1); c0 += 1)
45 s2(c0);
46 for (int c0 = max(max(max(a1, b1 + 1), a3), a2); c0 <= min(b3, b2); c0 += 1) {
47 s1(c0);
48 s2(c0);
50 for (int c0 = max(max(max(max(a1, b1 + 1), a3), b3 + 1), a2); c0 <= b2; c0 += 1)
51 s1(c0);
52 for (int c0 = max(max(max(max(a1, b1 + 1), a3), a2), b2 + 1); c0 <= b3; c0 += 1)
53 s2(c0);