test_inputs/codegen/omega/lift1-5.c

   1 {
   2   for (int c0 = 1; c0 <= 60; c0 += 1)
   3     for (int c1 = 1; c1 <= 100; c1 += 1)
   4       for (int c2 = 1; c2 <= 100; c2 += 1)
   5         for (int c3 = 1; c3 <= 100; c3 += 1)
   6           for (int c4 = 1; c4 <= 100; c4 += 1) {
   7             s1(c0, c1, c2, c3, c4);
   8             s0(c0, c1, c2, c3, c4);
   9           }
  10   for (int c0 = 61; c0 <= 100; c0 += 1)
  11     for (int c1 = 1; c1 <= 100; c1 += 1)
  12       for (int c2 = 1; c2 <= 100; c2 += 1)
  13         for (int c3 = 1; c3 <= 100; c3 += 1)
  14           for (int c4 = 1; c4 <= 100; c4 += 1)
  15             s1(c0, c1, c2, c3, c4);
  16 }