test_inputs/codegen/omega/wak1-1.c

   1 for (int c0 = a2; c0 <= min(min(a1 - 1, a3 - 1), b2); c0 += 1)
   2   s1(c0);
   3 for (int c0 = a3; c0 <= min(min(a1 - 1, b3), a2 - 1); c0 += 1)
   4   s2(c0);
   5 for (int c0 = max(a3, a2); c0 <= min(min(a1 - 1, b3), b2); c0 += 1) {
   6   s1(c0);
   7   s2(c0);
   8 }
   9 for (int c0 = max(max(a3, b3 + 1), a2); c0 <= min(a1 - 1, b2); c0 += 1)
  10   s1(c0);
  11 for (int c0 = a1; c0 <= min(min(b1, a3 - 1), a2 - 1); c0 += 1)
  12   s0(c0);
  13 for (int c0 = max(a1, a2); c0 <= min(min(b1, a3 - 1), b2); c0 += 1) {
  14   s0(c0);
  15   s1(c0);
  16 }
  17 for (int c0 = max(a1, a3); c0 <= min(min(b1, b3), a2 - 1); c0 += 1) {
  18   s0(c0);
  19   s2(c0);
  20 }
  21 for (int c0 = max(max(a1, a3), b3 + 1); c0 <= min(b1, a2 - 1); c0 += 1)
  22   s0(c0);
  23 for (int c0 = max(max(a1, a3), a2); c0 <= min(min(b1, b3), b2); c0 += 1) {
  24   s0(c0);
  25   s1(c0);
  26   s2(c0);
  27 }
  28 for (int c0 = max(max(max(a1, a3), b3 + 1), a2); c0 <= min(b1, b2); c0 += 1) {
  29   s0(c0);
  30   s1(c0);
  31 }
  32 for (int c0 = max(max(a1, a2), b2 + 1); c0 <= min(b1, a3 - 1); c0 += 1)
  33   s0(c0);
  34 for (int c0 = max(max(a3, a2), b2 + 1); c0 <= min(a1 - 1, b3); c0 += 1)
  35   s2(c0);
  36 for (int c0 = max(max(max(a1, a3), a2), b2 + 1); c0 <= min(b1, b3); c0 += 1) {
  37   s0(c0);
  38   s2(c0);
  39 }
  40 for (int c0 = max(max(max(max(a1, a3), b3 + 1), a2), b2 + 1); c0 <= b1; c0 += 1)
  41   s0(c0);
  42 for (int c0 = max(max(a1, b1 + 1), a2); c0 <= min(a3 - 1, b2); c0 += 1)
  43   s1(c0);
  44 for (int c0 = max(max(a1, b1 + 1), a3); c0 <= min(b3, a2 - 1); c0 += 1)
  45   s2(c0);
  46 for (int c0 = max(max(max(a1, b1 + 1), a3), a2); c0 <= min(b3, b2); c0 += 1) {
  47   s1(c0);
  48   s2(c0);
  49 }
  50 for (int c0 = max(max(max(max(a1, b1 + 1), a3), b3 + 1), a2); c0 <= b2; c0 += 1)
  51   s1(c0);
  52 for (int c0 = max(max(max(max(a1, b1 + 1), a3), a2), b2 + 1); c0 <= b3; c0 += 1)
  53   s2(c0);