Simple workaround for issue #142 on gitlab
@inducer -- it looks like the function in question for #142 (obj_involves_variable
) hasn't been updated since it was first introduced in 2015, nor is this function used in any other context. Seemingly, the ISL interface has breakingly changed since then.
I was able to find this simple work-around, which I think does the same thing; essentially instead of mucking around in the ISL interface, I simply convert the Constraint -> Aff -> Expr, and then run a simple get_dependencies()
check on it.
However, I'm not sure:
- A) what other types of variables the bounds' checks might be
- B) if this is sufficiently robust.
Let me know your thoughts,
Best, Nick