xref: /netbsd-src/external/mit/isl/dist/test_inputs/codegen/omega/wak1-1.c (revision 5971e316fdea024efff6be8f03536623db06833e) 
1*5971e316Smrg for (int c0 = a2; c0 <= min(min(a1 - 1, a3 - 1), b2); c0 += 1)
2*5971e316Smrg   s1(c0);
3*5971e316Smrg for (int c0 = a3; c0 <= min(min(a1 - 1, b3), a2 - 1); c0 += 1)
4*5971e316Smrg   s2(c0);
5*5971e316Smrg for (int c0 = max(a3, a2); c0 <= min(min(a1 - 1, b3), b2); c0 += 1) {
6*5971e316Smrg   s1(c0);
7*5971e316Smrg   s2(c0);
8*5971e316Smrg }
9*5971e316Smrg for (int c0 = max(max(a3, b3 + 1), a2); c0 <= min(a1 - 1, b2); c0 += 1)
10*5971e316Smrg   s1(c0);
11*5971e316Smrg for (int c0 = a1; c0 <= min(min(b1, a3 - 1), a2 - 1); c0 += 1)
12*5971e316Smrg   s0(c0);
13*5971e316Smrg for (int c0 = max(a1, a2); c0 <= min(min(b1, a3 - 1), b2); c0 += 1) {
14*5971e316Smrg   s0(c0);
15*5971e316Smrg   s1(c0);
16*5971e316Smrg }
17*5971e316Smrg for (int c0 = max(a1, a3); c0 <= min(min(b1, b3), a2 - 1); c0 += 1) {
18*5971e316Smrg   s0(c0);
19*5971e316Smrg   s2(c0);
20*5971e316Smrg }
21*5971e316Smrg for (int c0 = max(max(a1, a3), b3 + 1); c0 <= min(b1, a2 - 1); c0 += 1)
22*5971e316Smrg   s0(c0);
23*5971e316Smrg for (int c0 = max(max(a1, a3), a2); c0 <= min(min(b1, b3), b2); c0 += 1) {
24*5971e316Smrg   s0(c0);
25*5971e316Smrg   s1(c0);
26*5971e316Smrg   s2(c0);
27*5971e316Smrg }
28*5971e316Smrg for (int c0 = max(max(max(a1, a3), b3 + 1), a2); c0 <= min(b1, b2); c0 += 1) {
29*5971e316Smrg   s0(c0);
30*5971e316Smrg   s1(c0);
31*5971e316Smrg }
32*5971e316Smrg for (int c0 = max(max(a1, a2), b2 + 1); c0 <= min(b1, a3 - 1); c0 += 1)
33*5971e316Smrg   s0(c0);
34*5971e316Smrg for (int c0 = max(max(a3, a2), b2 + 1); c0 <= min(a1 - 1, b3); c0 += 1)
35*5971e316Smrg   s2(c0);
36*5971e316Smrg for (int c0 = max(max(max(a1, a3), a2), b2 + 1); c0 <= min(b1, b3); c0 += 1) {
37*5971e316Smrg   s0(c0);
38*5971e316Smrg   s2(c0);
39*5971e316Smrg }
40*5971e316Smrg for (int c0 = max(max(max(max(a1, a3), b3 + 1), a2), b2 + 1); c0 <= b1; c0 += 1)
41*5971e316Smrg   s0(c0);
42*5971e316Smrg for (int c0 = max(max(a1, b1 + 1), a2); c0 <= min(a3 - 1, b2); c0 += 1)
43*5971e316Smrg   s1(c0);
44*5971e316Smrg for (int c0 = max(max(a1, b1 + 1), a3); c0 <= min(b3, a2 - 1); c0 += 1)
45*5971e316Smrg   s2(c0);
46*5971e316Smrg for (int c0 = max(max(max(a1, b1 + 1), a3), a2); c0 <= min(b3, b2); c0 += 1) {
47*5971e316Smrg   s1(c0);
48*5971e316Smrg   s2(c0);
49*5971e316Smrg }
50*5971e316Smrg for (int c0 = max(max(max(max(a1, b1 + 1), a3), b3 + 1), a2); c0 <= b2; c0 += 1)
51*5971e316Smrg   s1(c0);
52*5971e316Smrg for (int c0 = max(max(max(max(a1, b1 + 1), a3), a2), b2 + 1); c0 <= b3; c0 += 1)
53*5971e316Smrg   s2(c0);
54