lib/External/isl/test_inputs/codegen/omega/m12-1.c

for (int c1 = 1; c1 <= n; c1 += 1)
  for (int c2 = 1; c2 <= m; c2 += 1) {
    s0(1, c1, c2, 0);
    s1(1, c1, c2, 0);
  }
for (int c1 = 1; c1 <= n; c1 += 1) {
  s2(2, c1, 0, 0);
  s3(2, c1, 0, 0);
}
for (int c1 = 1; c1 <= m; c1 += 1) {
  for (int c3 = 1; c3 <= n; c3 += 1) {
    s4(3, c1, 1, c3);
    s5(3, c1, 1, c3);
  }
  for (int c3 = 1; c3 <= n; c3 += 1) {
    s6(3, c1, 2, c3);
    s7(3, c1, 2, c3);
  }
}
for (int c1 = 1; c1 <= m; c1 += 1) {
  s8(4, c1, 0, 0);
  s9(4, c1, 0, 0);
}