[PATCH] D9383: llvm.noalias - BasicAA should look through them too

[Hal Finkel via llvm-commits]

hfinkel updated this revision to Diff 63333.
hfinkel added a comment.
Herald added a subscriber: mcrosier.

Rebased. As Danny requested, the Boolean parameters to stripPointerCasts have been removed; they now always look through the noalias intrinsics. This means that we need to prevent InstCombine and friends from removing the noalias intrinsics from the pointer-value use-def chains some other way. As a result, this particular patch is now much simpler.


http://reviews.llvm.org/D9383

Files:
  lib/Analysis/BasicAliasAnalysis.cpp
  lib/Analysis/ValueTracking.cpp
  lib/IR/Value.cpp
  test/Analysis/BasicAA/noalias.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D9383.63333.patch
Type: text/x-patch
Size: 5188 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160708/d6eb2ebd/attachment-0001.bin>