isl_map_realign: add missing isl_map_unmark_normalized
[isl.git] / test_inputs / flow / kill_loop.flow
blobef089e543db91fcb35b168fe95c54f5e72cc275b
1 must_dependence: "{ T[i = 9] -> [S[] -> a[]] }"
2 may_dependence: "{ T[i = 9] -> [S[] -> a[]] }"
3 must_no_source: "{  }"
4 may_no_source: "{  }"