llvm/polly/lib/External/isl/test_inputs/codegen/omega/floor_bound-4.c

if (n >= 3 * floord(n + 1, 3))
  for (int c0 = m; c0 <= 5 * floord(n + 1, 3); c0 += 1)
    s0(c0);