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/CodeGen/Analysis.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/CodeGen/Analysis.cpp')
| -rw-r--r-- | llvm/lib/CodeGen/Analysis.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/llvm/lib/CodeGen/Analysis.cpp b/llvm/lib/CodeGen/Analysis.cpp index 48b69c8..67eb079 100644 --- a/llvm/lib/CodeGen/Analysis.cpp +++ b/llvm/lib/CodeGen/Analysis.cpp @@ -530,11 +530,12 @@ bool llvm::isInTailCallPosition(const CallBase &Call, const TargetMachine &TM) { // Pseudo probe intrinsics do not block tail call optimization either. if (isa<PseudoProbeInst>(BBI)) continue; - // A lifetime end or assume intrinsic should not stop tail call - // optimization. + // A lifetime end, assume or noalias.decl intrinsic should not stop tail + // call optimization. if (const IntrinsicInst *II = dyn_cast<IntrinsicInst>(BBI)) if (II->getIntrinsicID() == Intrinsic::lifetime_end || - II->getIntrinsicID() == Intrinsic::assume) + II->getIntrinsicID() == Intrinsic::assume || + II->getIntrinsicID() == Intrinsic::experimental_noalias_scope_decl) continue; if (BBI->mayHaveSideEffects() || BBI->mayReadFromMemory() || !isSafeToSpeculativelyExecute(&*BBI)) |