add support for generating ASTs from schedule relations

[isl.git] / 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);