LLVM Bugzilla is read-only and represents the historical archive of all LLVM issues filled before November 26, 2021. Use github to submit LLVM bugs

Bug 25107 - [Polly] S->getReads() does not contain loop invariant accesses
Summary: [Polly] S->getReads() does not contain loop invariant accesses
Status: NEW
Alias: None
Product: Polly
Classification: Unclassified
Component: Optimizer (show other bugs)
Version: unspecified
Hardware: PC Linux
: P normal
Assignee: Polly Development Mailinglist
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-10-08 06:03 PDT by Tobias Grosser
Modified: 2016-01-18 16:50 PST (History)
2 users (show)

See Also:
Fixed By Commit(s):

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Tobias Grosser 2015-10-08 06:03:32 PDT 
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.
Comment 1 Johannes Doerfert 2015-10-08 06:15:49 PDT 
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.
Comment 2 Tanya Lattner 2016-01-18 16:50:44 PST 
Move bugs to Polly product.