isl_ast_build_expr.c: extract_modulo: assume input is integer expression

[isl.git] / test_inputs / codegen / cloog / tiling.in

[n] -> { S1[ii, i] -> [ii, i, 0] : i >= 0 and i <= n and i <= 9 + 10ii and i >= 10ii }
[n] -> {  : n >= 0 }
[n] -> { [i, j, k] -> separate[o0] }