path: root/polly/lib/External/isl/test_inputs/codegen/cloog/christian.in

[N] -> { S1[i0, i1] -> [i0 - i1] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N; S2[i0, i1] -> [1 + i0 - i1] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N }
[N] -> {  :  }
[N] -> { [i] -> separate[o0] }