Skip to content

Simple workaround for issue #142 on gitlab

Nick Curtis requested to merge arghdos/loopy:obj_involves_variable_fix into master

@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

Merge request reports