test_inputs/codegen/omega/wak1-0.c

   1 {
   2   for (int c0 = a2; c0 <= min(min(a3 - 1, a1 - 1), b2); c0 += 1)
   3     s1(c0);
   4   for (int c0 = a3; c0 <= min(a1 - 1, b3); c0 += 1) {
   5     if (c0 >= a2 && b2 >= c0)
   6       s1(c0);
   7     s2(c0);
   8   }
   9   for (int c0 = max(max(b3 + 1, a3), a2); c0 <= min(a1 - 1, b2); c0 += 1)
  10     s1(c0);
  11   for (int c0 = a1; c0 <= b1; c0 += 1) {
  12     s0(c0);
  13     if (b2 >= c0 && c0 >= a2)
  14       s1(c0);
  15     if (b3 >= c0 && c0 >= a3)
  16       s2(c0);
  17   }
  18   for (int c0 = max(max(b1 + 1, a1), a2); c0 <= min(a3 - 1, b2); c0 += 1)
  19     s1(c0);
  20   for (int c0 = max(max(b1 + 1, a1), a3); c0 <= b3; c0 += 1) {
  21     if (c0 >= a2 && b2 >= c0)
  22       s1(c0);
  23     s2(c0);
  24   }
  25   for (int c0 = max(max(max(max(b1 + 1, b3 + 1), a1), a3), a2); c0 <= b2; c0 += 1)
  26     s1(c0);
  27 }