[PATCH] D74935: [LangRef][AliasAnalysis] Clarify `noalias` affects only modified objects

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

I'm not sure I like the wording; it's a complicated sentence to understand.  Can we make it sort of list-like?  "for each memory location accessed through a noalias pointer, either: 1. the location is not modified during the execution of the function. 2. all accesses to that memory location are based on the noalias argument".  Or something like that.

Semantically, this seems consistent with the way we handle aliasing in other contexts.  I think all our current optimizations are consistent with this interpretation.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D74935/new/

https://reviews.llvm.org/D74935