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

Add fixed basicaa to NOELLE #51

Open
tommymcm opened this issue Sep 19, 2022 · 3 comments
Open

Add fixed basicaa to NOELLE #51

tommymcm opened this issue Sep 19, 2022 · 3 comments
Assignees
Labels
enhancement New feature or request

Comments

@tommymcm
Copy link
Member

tommymcm commented Sep 19, 2022

LLVM's basicaa is not safe for parallel applications because it breaks alias edges that should exist. However basicaa is the only (as far as I can tell) AA that reads function attributes.

To test for correctness:

for (i=0..N) {
  arr[i-1] = ...
  ... = arr[i]
}

The two instructions above should alias, however they currently do not.

@tommymcm
Copy link
Member Author

Working on getting this to integrate will NOELLE AAResults
Moving to an analyze and patch method to fix loop bug in LLVM basicaa.

@tommymcm
Copy link
Member Author

Finalizing unit test

@tommymcm
Copy link
Member Author

tommymcm commented Jan 5, 2023

Delaying this feature until we need it. For the near future we do not need to generate the PDG.

Feature is implemented but specification is not entirely clear so we don't mess with NOELLE's AA system.

@scampanoni scampanoni added the enhancement New feature or request label Oct 19, 2023
@scampanoni scampanoni assigned haochenggao1 and unassigned atmnpatel Mar 25, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

4 participants