Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
tobiasgrosser opened this issue Oct 8, 2015 · 2 comments
Open

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

tobiasgrosser opened this issue Oct 8, 2015 · 2 comments
Labels
bugzilla Issues migrated from bugzilla polly

Comments

@tobiasgrosser
Copy link
Contributor

Bugzilla Link 25107
Version unspecified
OS Linux
CC @jdoerfert

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.
@jdoerfert
Copy link
Member

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.

@tlattner
Copy link
Contributor

Move bugs to Polly product.

@llvmbot llvmbot transferred this issue from llvm/llvm-bugzilla-archive Dec 10, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bugzilla Issues migrated from bugzilla polly
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@tobiasgrosser @jdoerfert @tlattner