isl_basic_map_eliminate: reuse isl_basic_map_check_range
[isl.git] / test_inputs / flow / kill_may_loop2-tree.flow
blob51d2e2aa5bf4ee8361eb97b130d1d5b909a16c44
1 must_dependence: "{  }"
2 may_dependence: "{ T[i = 9] -> [S[] -> a[]] }"
3 must_no_source: "{  }"
4 may_no_source: "{  }"