add support for generating ASTs from schedule relations

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

[n] -> { S2[i0, i1] -> [i0, j, 1] : 4j = i0 and 4i1 = i0 and i0 >= 1 and i0 <= n; S1[i0, i1] -> [i0, j, 0] : 2j = i0 and 2i1 = i0 and i0 >= 1 and i0 <= n }
[n] -> {  : n >= 2 }
[n] -> { [i, j, k] -> separate[o0] }