[PATCH] D31582: Use caller information to avoid noalias metadata

[Johannes Doerfert via Phabricator via llvm-commits]

jdoerfert created this revision.

Before introducing noalias metadata after inlining we check if we need
it or if it is already implied in the caller. That is the case if
the parameter is an argument of the caller that has a noalias attribute
and is otherwise not used in the call. For the former we only look
through pointer casts for now, for the latter we assume all instructions
to be potentially influenced by the caller argument in question.


https://reviews.llvm.org/D31582

Files:
  lib/Transforms/Utils/InlineFunction.cpp
  test/Transforms/Inline/noalias2.ll
  test/Transforms/Inline/noalias3.ll
  test/Transforms/Inline/noalias4.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D31582.93794.patch
Type: text/x-patch
Size: 12042 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170402/999e3cfc/attachment.bin>