Add fixed basicaa to NOELLE

Question

Add fixed basicaa to NOELLE

tommymcm opened this issue 2 years ago · 3 comments

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.

Answer 1 · 2022-09-29T19:21:54.000Z

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

Answer 2 · 2022-11-17T20:03:52.000Z

Finalizing unit test

Answer 3 · 2023-01-05T20:22:22.000Z

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.