search

Quuxplusone / LLVMBugzillaTest

0 stars 0 forks source link

[Polly] S->getReads() does not contain loop invariant accesses #25106

Open Quuxplusone opened 9 years ago

Quuxplusone commented 9 years ago
Bugzilla Link PR25107
Status NEW
Importance P normal
Reported by Tobias Grosser (tobias@grosser.es)
Reported on 2015-10-08 06:03:32 -0700
Last modified on 2016-01-18 16:50:44 -0800
Version unspecified
Hardware PC Linux
CC jdoerfert@anl.gov, llvm-bugs@lists.llvm.org
Fixed by commit(s)
Attachments
Blocks
Blocked by
See also 
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.
Quuxplusone commented 9 years ago

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.

Quuxplusone commented 8 years ago

Move bugs to Polly product.