diff options
| author | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2019-07-03 20:19:14 +0000 |
|---|---|---|
| committer | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2019-07-03 20:19:14 +0000 |
| commit | 50dc28b5569a0fb1436169222e1cace78f9bfae5 (patch) | |
| tree | ce71f94530f699506d95d355e27f76cdd6fbfa89 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | ede514049ae78554b2119eec5f02588fb2b5cf12 (diff) | |
| download | bcm5719-llvm-50dc28b5569a0fb1436169222e1cace78f9bfae5.tar.gz bcm5719-llvm-50dc28b5569a0fb1436169222e1cace78f9bfae5.zip | |
Teach ValueTracking that aarch64.irg result aliases its input.
Reviewers: javed.absar, olista01
Subscribers: kristof.beyls, hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D64103
llvm-svn: 365079
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index ebd214586d6..3ff5bf08599 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -3697,7 +3697,8 @@ const Value *llvm::getArgumentAliasingToReturnedPointer(const CallBase *Call) { bool llvm::isIntrinsicReturningPointerAliasingArgumentWithoutCapturing( const CallBase *Call) { return Call->getIntrinsicID() == Intrinsic::launder_invariant_group || - Call->getIntrinsicID() == Intrinsic::strip_invariant_group; + Call->getIntrinsicID() == Intrinsic::strip_invariant_group || + Call->getIntrinsicID() == Intrinsic::aarch64_irg; } /// \p PN defines a loop-variant pointer to an object. Check if the |
