diff options
author | Robert Lougher <rob.lougher@gmail.com> | 2018-10-24 17:03:19 +0000 |
---|---|---|
committer | Robert Lougher <rob.lougher@gmail.com> | 2018-10-24 17:03:19 +0000 |
commit | 18bfb3a5ec410d4675eb1a7c913dfeb60017df3f (patch) | |
tree | 2d1b2722ef37ad8d402434722f98563d5c084055 /llvm/lib/CodeGen | |
parent | d1fe437cf190c8f70c1506d9bfd4c3b9d94c405f (diff) | |
download | bcm5719-llvm-18bfb3a5ec410d4675eb1a7c913dfeb60017df3f.tar.gz bcm5719-llvm-18bfb3a5ec410d4675eb1a7c913dfeb60017df3f.zip |
[CodeGen] skip lifetime end marker in isInTailCallPosition
A lifetime end intrinsic between a tail call and the return should not
prevent the call from being tail call optimized.
Differential Revision: https://reviews.llvm.org/D53519
llvm-svn: 345163
Diffstat (limited to 'llvm/lib/CodeGen')
-rw-r--r-- | llvm/lib/CodeGen/Analysis.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/llvm/lib/CodeGen/Analysis.cpp b/llvm/lib/CodeGen/Analysis.cpp index aae04a573af..27dce7fd7b7 100644 --- a/llvm/lib/CodeGen/Analysis.cpp +++ b/llvm/lib/CodeGen/Analysis.cpp @@ -496,6 +496,10 @@ bool llvm::isInTailCallPosition(ImmutableCallSite CS, const TargetMachine &TM) { // Debug info intrinsics do not get in the way of tail call optimization. if (isa<DbgInfoIntrinsic>(BBI)) continue; + // A lifetime end intrinsic should not stop tail call optimization. + if (const IntrinsicInst *II = dyn_cast<IntrinsicInst>(BBI)) + if (II->getIntrinsicID() == Intrinsic::lifetime_end) + continue; if (BBI->mayHaveSideEffects() || BBI->mayReadFromMemory() || !isSafeToSpeculativelyExecute(&*BBI)) return false; |