test_inputs/codegen/omega/code_gen-2.c

   1 for (int c1 = 0; c1 <= 7; c1 += 1)
   2   s0(1, c1);
   3 for (int c0 = 2; c0 <= 6; c0 += 1) {
   4   for (int c1 = 0; c1 < c0 - 1; c1 += 1)
   5     s1(c0, c1);
   6   for (int c1 = c0 - 1; c1 <= 4; c1 += 1) {
   7     s1(c0, c1);
   8     s0(c0, c1);
   9   }
  10   for (int c1 = 5; c1 <= 7; c1 += 1)
  11     s0(c0, c1);
  12 }
  13 for (int c0 = 7; c0 <= 8; c0 += 1)
  14   for (int c1 = c0 - 1; c1 <= 7; c1 += 1)
  15     s0(c0, c1);