xref: /llvm-project/polly/lib/External/isl/test_inputs/codegen/separation_class3.c (revision 07b209523403d6c0d68c328cb20a8eaf6b51369c)
152a25237STobias Grosser for (int c0 = 0; c0 <= 4; c0 += 1) {
252a25237STobias Grosser   if (c0 == 0) {
352a25237STobias Grosser     S_0(0, 4);
452a25237STobias Grosser   } else {
552a25237STobias Grosser     S_0(2 * c0 - 1, 1);
652a25237STobias Grosser     if (c0 == 4) {
752a25237STobias Grosser       for (int c6 = 3; c6 <= 5; c6 += 1)
852a25237STobias Grosser         S_0(7, c6);
9*07b20952STobias Grosser     } else {
1052a25237STobias Grosser       for (int c4 = 2 * c0 - 1; c4 <= 2 * c0; c4 += 1)
1152a25237STobias Grosser         for (int c6 = -2 * c0 + c4 + 4; c6 <= 2 * c0 - c4 + 4; c6 += 1)
1252a25237STobias Grosser           S_0(c4, c6);
1352a25237STobias Grosser     }
14*07b20952STobias Grosser   }
1552a25237STobias Grosser   for (int c4 = max(0, 2 * c0 - 1); c4 <= min(7, 2 * c0); c4 += 1)
1652a25237STobias Grosser     for (int c6 = -2 * c0 + c4 + 8; c6 <= 8; c6 += 1)
1752a25237STobias Grosser       S_0(c4, c6);
1852a25237STobias Grosser   if (c0 >= 1 && c0 <= 3) {
1952a25237STobias Grosser     for (int c2 = 0; c2 <= 1; c2 += 1)
2052a25237STobias Grosser       for (int c4 = 2 * c0 - 1; c4 <= 2 * c0; c4 += 1)
2152a25237STobias Grosser         for (int c6 = 2 * c0 + 4 * c2 - c4 + 1; c6 <= -2 * c0 + 4 * c2 + c4 + 3; c6 += 1)
2252a25237STobias Grosser           S_0(c4, c6);
2352a25237STobias Grosser   } else if (c0 == 4) {
2452a25237STobias Grosser     for (int c2 = 0; c2 <= 1; c2 += 1)
2552a25237STobias Grosser       S_0(7, 4 * c2 + 2);
26*07b20952STobias Grosser   } else {
2752a25237STobias Grosser     for (int c2 = 0; c2 <= 1; c2 += 1)
2852a25237STobias Grosser       for (int c6 = 4 * c2 + 1; c6 <= 4 * c2 + 3; c6 += 1)
2952a25237STobias Grosser         S_0(0, c6);
3052a25237STobias Grosser   }
31*07b20952STobias Grosser }
32