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

for (int c0 = 1; c0 <= 3; c0 += 2)
  s0(c0, (-3 * c0 + 15) / 2);