[llvm] r369125 - [CodeGen/Analysis] Intrinsic llvm.assume should not block tail call optimization
Guozhi Wei via llvm-commits
llvm-commits at lists.llvm.org
Fri Aug 16 09:26:13 PDT 2019
Author: carrot
Date: Fri Aug 16 09:26:12 2019
New Revision: 369125
URL: http://llvm.org/viewvc/llvm-project?rev=369125&view=rev
Log:
[CodeGen/Analysis] Intrinsic llvm.assume should not block tail call optimization
In function Analysis.cpp:isInTailCallPosition, instructions between call and ret are checked to see if they block tail call optimization. If an instruction is an intrinsic call, only llvm.lifetime_end is allowed and other intrinsic functions block tail call. When compiling tcmalloc, we found llvm.assume between a hot function call and ret, it blocks the optimization. But llvm.assume doesn't generate instructions, it should not block tail call.
Differential Revision: https://reviews.llvm.org/D66096
Added:
llvm/trunk/test/CodeGen/X86/tailcall-assume.ll
Modified:
llvm/trunk/lib/CodeGen/Analysis.cpp
Modified: llvm/trunk/lib/CodeGen/Analysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/Analysis.cpp?rev=369125&r1=369124&r2=369125&view=diff
==============================================================================
--- llvm/trunk/lib/CodeGen/Analysis.cpp (original)
+++ llvm/trunk/lib/CodeGen/Analysis.cpp Fri Aug 16 09:26:12 2019
@@ -536,9 +536,11 @@ bool llvm::isInTailCallPosition(Immutabl
// 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.
+ // A lifetime end or assume intrinsic should not stop tail call
+ // optimization.
if (const IntrinsicInst *II = dyn_cast<IntrinsicInst>(BBI))
- if (II->getIntrinsicID() == Intrinsic::lifetime_end)
+ if (II->getIntrinsicID() == Intrinsic::lifetime_end ||
+ II->getIntrinsicID() == Intrinsic::assume)
continue;
if (BBI->mayHaveSideEffects() || BBI->mayReadFromMemory() ||
!isSafeToSpeculativelyExecute(&*BBI))
Added: llvm/trunk/test/CodeGen/X86/tailcall-assume.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/tailcall-assume.ll?rev=369125&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/X86/tailcall-assume.ll (added)
+++ llvm/trunk/test/CodeGen/X86/tailcall-assume.ll Fri Aug 16 09:26:12 2019
@@ -0,0 +1,15 @@
+; RUN: llc -mtriple=x86_64-linux < %s | FileCheck %s
+
+; Intrinsic call to @llvm.assume should not prevent tail call optimization.
+; CHECK-LABEL: foo:
+; CHECK: jmp bar # TAILCALL
+define i8* @foo() {
+ %1 = tail call i8* @bar()
+ %2 = icmp ne i8* %1, null
+ tail call void @llvm.assume(i1 %2)
+ ret i8* %1
+}
+
+declare i8* @bar()
+declare void @llvm.assume(i1)
+
More information about the llvm-commits
mailing list