Full-restrict-support

[davidmcastiel]

Hi all,

we see more and more demand to support restrict keyword.
is there a plan to support it?
I saw this thread and patch but it seems to be abandon 3y ago.

Full restrict support - status update

Hi all, ## Status: During the past weeks I have updated the restrict patches with various improvements: - the ScopedNoAliasAA now also works together with the new pass manager - the SLPVectorizer now works nice with the noalias support. - there were some issues with some of the options enabling/disabling full restrict. These have been fixed. - various smaller enhancements. Today, I rebased the patches. [1] Based on the feedback at the 'full restrict' roundtable, I also created a single …

Thanks,
David

[dobbelaj]

Hi David,

Thanks for the feedback. The work on getting the patches into main llvm is not stalled, but sometimes slow.

I still need to post my notes from the round table at euro llvm. Short summary:

• attendees agree we need to go forward with the patches
• current plan:
  – current ptr_provenance patches have been reviewed and will be applied after the next branch (around end of July) [0]
  – rebasing is ongoing (actually done now, update of the single full restrict patch will happen this week) [1]
  – a number of outstanding issues are known. Fixes for these will come (after the rebase update)

Some more tracking of the progress happens on the LLVM AA Tech Calls (there is one today [2]).

Any help with reviewing and testing is welcome,

Thanks,

Jeroen Dobbelaere

[0] ⚙ D111159 [UnknownProvenance] Introduce UnknownProvenance constant
[1] https://reviews.llvm.org/D69542
[2] [RFC] Shift LLVM AA TechCall sessions by -1 (or +3) weeks - #8 by dobbelaj

[fhahn]

@dobbelaj

• current plan:
  – current ptr_provenance patches have been reviewed and will be applied after the next branch (around end of July) [0]
  – rebasing is ongoing (actually done now, update of the single full restrict patch will happen this week) [1]

Sounds good, it would be great if you could update the thread here once it is available.

@dobbelaj

– a number of outstanding issues are known. Fixes for these will come (after the rebase update)

Some more tracking of the progress happens on the LLVM AA Tech Calls (there is one today [2]).

Is there a list of issues/outstanding ? Once the patches are rebased I’d be happy to help out