isl_aff_gist: add missing isl_vec_cow
[isl.git] / test_inputs / codegen / cloog / thomasset.in
blob398e5234603d46dd90d4db254e772b2c092d86bd
1 [n] -> { S2[i0, i1, 0, i3, i4] -> [i3 + i4, -1 + i0] : i0 <= n and i1 <= n and i1 >= 1 and i0 >= 1 and 3i4 <= i1 and 3i4 >= -2 + i1 and 3i3 <= n and 3i3 >= -2 + n; S1[i0, i1] -> [i1, 0] : i0 <= n and i0 >= 1 and 3i1 <= -1 + i0 and 3i1 >= -3 + i0 }
2 [n] -> {  :  }
3 [n] -> { [i, j] -> separate[o0] }