You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since we added support for loop invariant accesses, the set of memory elements
read by the scop (scop::getReads()) does not contain loop invariant accesses. Maybe this indeed makes sense, but I currently feel otherwise. For now at least, this broke some of my analysis code. I keep this as a bug report to ensure we keep track of how this was resolved at the end.
This does not hurt any in-tree code.
The text was updated successfully, but these errors were encountered:
I think we need at least one getReads() that will not considere invariant loads (they are not part of the SCoP anymore). However, a second one that will considere them does not hurt, e.g., call getReads() and iterate over all invariant loads to add them to the set.
Extended Description
Since we added support for loop invariant accesses, the set of memory elements
read by the scop (scop::getReads()) does not contain loop invariant accesses. Maybe this indeed makes sense, but I currently feel otherwise. For now at least, this broke some of my analysis code. I keep this as a bug report to ensure we keep track of how this was resolved at the end.
This does not hurt any in-tree code.
The text was updated successfully, but these errors were encountered: