diff options
| author | Jeroen Dobbelaere <jeroen.dobbelaere@synopsys.com> | 2021-01-19 20:04:52 +0100 |
|---|---|---|
| committer | Jeroen Dobbelaere <jeroen.dobbelaere@synopsys.com> | 2021-01-19 20:09:42 +0100 |
| commit | 121cac01e8f8afe6ed2bb0b8ffe92f323776a716 (patch) | |
| tree | 0d73dd4fb101b859accb06dd0ada061956c7cd95 /llvm/lib/Analysis/ValueTracking.cpp | |
| parent | 987760b463c1303121fff8197c4ebc66b61f0616 (diff) | |
| download | llvm-121cac01e8f8afe6ed2bb0b8ffe92f323776a716.zip llvm-121cac01e8f8afe6ed2bb0b8ffe92f323776a716.tar.gz llvm-121cac01e8f8afe6ed2bb0b8ffe92f323776a716.tar.bz2 | |
[noalias.decl] Look through llvm.experimental.noalias.scope.decl
Just like llvm.assume, there are a lot of cases where we can just ignore llvm.experimental.noalias.scope.decl.
Reviewed By: nikic
Differential Revision: https://reviews.llvm.org/D93042
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 7f8f101..4f0c705 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -536,6 +536,7 @@ bool llvm::isAssumeLikeIntrinsic(const Instruction *I) { case Intrinsic::invariant_end: case Intrinsic::lifetime_start: case Intrinsic::lifetime_end: + case Intrinsic::experimental_noalias_scope_decl: case Intrinsic::objectsize: case Intrinsic::ptr_annotation: case Intrinsic::var_annotation: |