[PATCH] D68509: [PATCH 26/38] [noalias] Use noalias intrinsics when inlining and keep metadata up to date.

[Jeroen Dobbelaere via Phabricator via llvm-commits]

jeroen.dobbelaere created this revision.
jeroen.dobbelaere added reviewers: hfinkel, jdoerfert.
Herald added subscribers: llvm-commits, hiraditya, mgorny.
Herald added a project: LLVM.

This is part of the series started by D68484 <https://reviews.llvm.org/D68484>.

Produce unique noalias scopes at the location of the function call.
Connect llvm.noalias.decl to other noalias intrinsics, now that the
declaration and the usage see each other.

NOTE: The mapping of noalias arguments on noalias intrinsics is by default disabled.

Note: this is a stable point and tests should run fine with the patches applied up to this point.


https://reviews.llvm.org/D68509

Files:
  llvm/include/llvm/Transforms/Utils/NoAliasUtils.h
  llvm/lib/Transforms/Utils/CMakeLists.txt
  llvm/lib/Transforms/Utils/CloneFunction.cpp
  llvm/lib/Transforms/Utils/InlineFunction.cpp
  llvm/lib/Transforms/Utils/NoAliasUtils.cpp
  llvm/test/Transforms/Inline/noalias-calls.ll
  llvm/test/Transforms/Inline/noalias-scopes.ll
  llvm/test/Transforms/Inline/noalias.ll
  llvm/test/Transforms/Inline/noalias2.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D68509.223312.patch
Type: text/x-patch
Size: 50000 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20191004/bf2f7671/attachment-0001.bin>