test_inputs/codegen/separation_class4.c

   1 for (int c0 = 0; c0 <= 128; c0 += 1)
   2   if (c0 <= 127) {
   3     if (c0 == 0) {
   4       for (int c3 = 0; c3 <= 1; c3 += 1)
   5         for (int c5 = c3 + 58; c5 <= -c3 + 61; c5 += 1)
   6           S_0(c3, c5);
   7     } else
   8       for (int c2 = 1; c2 <= 2; c2 += 1)
   9         for (int c3 = max(4 * c0 - 2, 4 * c0 + 6 * c2 - 12); c3 <= min(4 * c0 + 6 * c2 - 7, 4 * c0 + 1); c3 += 1)
  10           for (int c5 = max(4 * c0 - c3 + 57, -4 * c0 + c3 + 58); c5 <= min(-4 * c0 + c3 + 62, 4 * c0 - c3 + 61); c5 += 1)
  11             S_0(c3, c5);
  12     for (int c2 = 1; c2 <= 2; c2 += 1)
  13       for (int c3 = max(4 * c0 + 6 * c2 - 10, 4 * c0); c3 <= min(4 * c0 + 6 * c2 - 5, 4 * c0 + 3); c3 += 1)
  14         for (int c5 = max(4 * c0 - c3 + 62, -4 * c0 + c3 + 59); c5 <= min(4 * c0 - c3 + 66, -4 * c0 + c3 + 63); c5 += 1)
  15           S_0(c3, c5);
  16   } else
  17     for (int c3 = 510; c3 <= 511; c3 += 1)
  18       for (int c5 = -c3 + 569; c5 < c3 - 449; c5 += 1)
  19         S_0(c3, c5);