isl_aff_gist: add missing isl_vec_cow
[isl.git] / test_inputs / codegen / cloog / reservoir-lim-lam4.in
blob1bb684f8e2b81ef3a39e56f8ed8d73e4e8a2cab6
1 [M] -> { S1[i0, i1, i2] -> [0, i0 + i1 + i2, 0, -i2, 0, i2, 0] : i0 >= 1 and i0 <= -1 + M and i1 >= 0 and i2 >= 0 and i2 <= -1 + M - i1; S2[i0, i1, i2] -> [0, i0 + i2, 0, i1 - i2, 1, i2, 0] : i0 >= 1 and i0 <= -1 + M and i1 >= 0 and i2 >= 1 + i1 and i2 <= -1 + M }
2 [M] -> {  :  }
3 [M] -> { [i, j, k, l, m, n, o] -> separate[o0] }