xref: /netbsd-src/external/mit/isl/dist/test_inputs/codegen/separation_class4.c (revision 5971e316fdea024efff6be8f03536623db06833e)
1*5971e316Smrg for (int c0 = 0; c0 <= 128; c0 += 1) {
2*5971e316Smrg   if (c0 <= 127) {
3*5971e316Smrg     if (c0 == 0) {
4*5971e316Smrg       for (int c3 = 0; c3 <= 1; c3 += 1)
5*5971e316Smrg         for (int c5 = c3 + 58; c5 <= -c3 + 61; c5 += 1)
6*5971e316Smrg           S_0(c3, c5);
7*5971e316Smrg     } else {
8*5971e316Smrg       for (int c2 = 1; c2 <= 2; c2 += 1)
9*5971e316Smrg         for (int c3 = max(4 * c0 - 2, 4 * c0 + 6 * c2 - 12); c3 <= min(4 * c0 + 1, 4 * c0 + 6 * c2 - 7); c3 += 1)
10*5971e316Smrg           for (int c5 = max(4 * c0 - c3 + 57, -4 * c0 + c3 + 58); c5 <= min(4 * c0 - c3 + 61, -4 * c0 + c3 + 62); c5 += 1)
11*5971e316Smrg             S_0(c3, c5);
12*5971e316Smrg     }
13*5971e316Smrg     for (int c2 = 1; c2 <= 2; c2 += 1)
14*5971e316Smrg       for (int c3 = max(4 * c0, 4 * c0 + 6 * c2 - 10); c3 <= min(4 * c0 + 3, 4 * c0 + 6 * c2 - 5); c3 += 1)
15*5971e316Smrg         for (int c5 = max(-4 * c0 + c3 + 59, 4 * c0 - c3 + 62); c5 <= min(-4 * c0 + c3 + 63, 4 * c0 - c3 + 66); c5 += 1)
16*5971e316Smrg           S_0(c3, c5);
17*5971e316Smrg   } else {
18*5971e316Smrg     for (int c3 = 510; c3 <= 511; c3 += 1)
19*5971e316Smrg       for (int c5 = -c3 + 569; c5 < c3 - 449; c5 += 1)
20*5971e316Smrg         S_0(c3, c5);
21*5971e316Smrg   }
22*5971e316Smrg }
23