polly/lib/External/isl/test_inputs/codegen/omega/wak1-0.c

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