[llvm] r255520 - FastISel needs to remove dead code when it bails out.
Paul Robinson via llvm-commits
llvm-commits at lists.llvm.org
Mon Dec 14 10:33:18 PST 2015
Author: probinson
Date: Mon Dec 14 12:33:18 2015
New Revision: 255520
URL: http://llvm.org/viewvc/llvm-project?rev=255520&view=rev
Log:
FastISel needs to remove dead code when it bails out.
When FastISel fails to translate an instruction it hands off code
generation to SelectionDAG. Before it does so, it may have generated
local value instructions to feed phi nodes in successor blocks. These
instructions will then be generated again by SelectionDAG, causing
duplication and less efficient code, including extra spill
instructions.
Patch by Wolfgang Pieb!
Differential Revision: http://reviews.llvm.org/D11768
Added:
llvm/trunk/test/CodeGen/X86/fast-isel-deadcode.ll
Modified:
llvm/trunk/include/llvm/CodeGen/FastISel.h
llvm/trunk/lib/CodeGen/SelectionDAG/FastISel.cpp
Modified: llvm/trunk/include/llvm/CodeGen/FastISel.h
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/include/llvm/CodeGen/FastISel.h?rev=255520&r1=255519&r2=255520&view=diff
==============================================================================
--- llvm/trunk/include/llvm/CodeGen/FastISel.h (original)
+++ llvm/trunk/include/llvm/CodeGen/FastISel.h Mon Dec 14 12:33:18 2015
@@ -559,6 +559,9 @@ private:
/// across heavy instructions like calls.
void flushLocalValueMap();
+ /// \brief Removes dead local value instructions after SavedLastLocalvalue.
+ void removeDeadLocalValueCode(MachineInstr *SavedLastLocalValue);
+
/// \brief Insertion point before trying to select the current instruction.
MachineBasicBlock::iterator SavedInsertPt;
Modified: llvm/trunk/lib/CodeGen/SelectionDAG/FastISel.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/SelectionDAG/FastISel.cpp?rev=255520&r1=255519&r2=255520&view=diff
==============================================================================
--- llvm/trunk/lib/CodeGen/SelectionDAG/FastISel.cpp (original)
+++ llvm/trunk/lib/CodeGen/SelectionDAG/FastISel.cpp Mon Dec 14 12:33:18 2015
@@ -1322,12 +1322,38 @@ bool FastISel::selectBitCast(const User
return true;
}
+// Remove local value instructions starting from the instruction after
+// SavedLastLocalValue to the current function insert point.
+void FastISel::removeDeadLocalValueCode(MachineInstr *SavedLastLocalValue)
+{
+ MachineInstr *CurLastLocalValue = getLastLocalValue();
+ if (CurLastLocalValue != SavedLastLocalValue) {
+ // Find the first local value instruction to be deleted.
+ // This is the instruction after SavedLastLocalValue if it is non-NULL.
+ // Otherwise it's the first instruction in the block.
+ MachineBasicBlock::iterator FirstDeadInst(SavedLastLocalValue);
+ if (SavedLastLocalValue)
+ ++FirstDeadInst;
+ else
+ FirstDeadInst = FuncInfo.MBB->getFirstNonPHI();
+ setLastLocalValue(SavedLastLocalValue);
+ removeDeadCode(FirstDeadInst, FuncInfo.InsertPt);
+ }
+}
+
bool FastISel::selectInstruction(const Instruction *I) {
+ MachineInstr *SavedLastLocalValue = getLastLocalValue();
// Just before the terminator instruction, insert instructions to
// feed PHI nodes in successor blocks.
if (isa<TerminatorInst>(I))
- if (!handlePHINodesInSuccessorBlocks(I->getParent()))
+ if (!handlePHINodesInSuccessorBlocks(I->getParent())) {
+ // PHI node handling may have generated local value instructions,
+ // even though it failed to handle all PHI nodes.
+ // We remove these instructions because SelectionDAGISel will generate
+ // them again.
+ removeDeadLocalValueCode(SavedLastLocalValue);
return false;
+ }
DbgLoc = I->getDebugLoc();
@@ -1376,8 +1402,12 @@ bool FastISel::selectInstruction(const I
DbgLoc = DebugLoc();
// Undo phi node updates, because they will be added again by SelectionDAG.
- if (isa<TerminatorInst>(I))
+ if (isa<TerminatorInst>(I)) {
+ // PHI node handling may have generated local value instructions.
+ // We remove them because SelectionDAGISel will generate them again.
+ removeDeadLocalValueCode(SavedLastLocalValue);
FuncInfo.PHINodesToUpdate.resize(FuncInfo.OrigNumPHINodesToUpdate);
+ }
return false;
}
Added: llvm/trunk/test/CodeGen/X86/fast-isel-deadcode.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/X86/fast-isel-deadcode.ll?rev=255520&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/X86/fast-isel-deadcode.ll (added)
+++ llvm/trunk/test/CodeGen/X86/fast-isel-deadcode.ll Mon Dec 14 12:33:18 2015
@@ -0,0 +1,147 @@
+; RUN: llc < %s | FileCheck %s
+;
+; Generated with clang -O2 -S -emit-llvm
+;
+; /* Test 1 */
+; extern "C" bool bar (long double);
+; __attribute__((optnone))
+; extern "C" bool foo(long double x, long double y)
+; {
+; return (x == y) || (bar(x));
+; }
+;
+; /* Test 2 */
+; struct FVector {
+; float x, y, z;
+; inline __attribute__((always_inline)) FVector(float f): x(f), y(f), z(f) {}
+; inline __attribute__((always_inline)) FVector func(float p) const
+; {
+; if( x == 1.f ) {
+; return *this;
+; } else if( x < p ) {
+; return FVector(0.f);
+; }
+; return FVector(x);
+; }
+; };
+;
+; __attribute__((optnone))
+; int main()
+; {
+; FVector v(1.0);
+; v = v.func(1.e-8);
+; return 0;
+; }
+;
+; ModuleID = 'test.cpp'
+target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
+target triple = "x86_64-unknown-linux-gnu"
+
+%struct.FVector = type { float, float, float }
+
+define zeroext i1 @foo(x86_fp80 %x, x86_fp80 %y) noinline optnone {
+entry:
+ %x.addr = alloca x86_fp80, align 16
+ %y.addr = alloca x86_fp80, align 16
+ store x86_fp80 %x, x86_fp80* %x.addr, align 16
+ store x86_fp80 %y, x86_fp80* %y.addr, align 16
+ %0 = load x86_fp80, x86_fp80* %x.addr, align 16
+ %1 = load x86_fp80, x86_fp80* %y.addr, align 16
+ %cmp = fcmp oeq x86_fp80 %0, %1
+
+; Test 1
+; Make sure that there is no dead code generated
+; from Fast-ISel Phi-node handling. We should only
+; see one movb of the constant 1, feeding the PHI
+; node in lor.end. This covers the code path with
+; handlePHINodesInSuccessorBlocks() returning true.
+;
+; CHECK-LABEL: foo:
+; CHECK: movb $1,
+; CHECK-NOT: movb $1,
+; CHECK-LABEL: .LBB0_1:
+
+ br i1 %cmp, label %lor.end, label %lor.rhs
+
+lor.rhs: ; preds = %entry
+ %2 = load x86_fp80, x86_fp80* %x.addr, align 16
+ %call = call zeroext i1 @bar(x86_fp80 %2)
+ br label %lor.end
+
+lor.end: ; preds = %lor.rhs, %entry
+ %3 = phi i1 [ true, %entry ], [ %call, %lor.rhs ]
+ ret i1 %3
+}
+
+declare zeroext i1 @bar(x86_fp80)
+
+define i32 @main() noinline optnone {
+entry:
+ %retval = alloca i32, align 4
+ %v = alloca %struct.FVector, align 4
+ %ref.tmp = alloca %struct.FVector, align 4
+ %tmp = alloca { <2 x float>, float }, align 8
+ store i32 0, i32* %retval, align 4
+ %0 = bitcast %struct.FVector* %v to i8*
+ call void @llvm.lifetime.start(i64 12, i8* %0) nounwind
+ %x.i = getelementptr inbounds %struct.FVector, %struct.FVector* %v, i64 0, i32 0
+ store float 1.000000e+00, float* %x.i, align 4
+ %y.i = getelementptr inbounds %struct.FVector, %struct.FVector* %v, i64 0, i32 1
+ store float 1.000000e+00, float* %y.i, align 4
+ %z.i = getelementptr inbounds %struct.FVector, %struct.FVector* %v, i64 0, i32 2
+ store float 1.000000e+00, float* %z.i, align 4
+ %x.i.1 = getelementptr inbounds %struct.FVector, %struct.FVector* %v, i64 0, i32 0
+ %1 = load float, float* %x.i.1, align 4
+ %cmp.i = fcmp oeq float %1, 1.000000e+00
+ br i1 %cmp.i, label %if.then.i, label %if.else.i
+
+if.then.i: ; preds = %entry
+ %retval.sroa.0.0..sroa_cast.i = bitcast %struct.FVector* %v to <2 x float>*
+ %retval.sroa.0.0.copyload.i = load <2 x float>, <2 x float>* %retval.sroa.0.0..sroa_cast.i, align 4
+ %retval.sroa.6.0..sroa_idx16.i = getelementptr inbounds %struct.FVector, %struct.FVector* %v, i64 0, i32 2
+ %retval.sroa.6.0.copyload.i = load float, float* %retval.sroa.6.0..sroa_idx16.i, align 4
+ br label %func.exit
+
+if.else.i: ; preds = %entry
+
+; Test 2
+; In order to feed the first PHI node in func.exit handlePHINodesInSuccessorBlocks()
+; generates a local value instruction, but it cannot handle the second PHI node and
+; returns false to let SelectionDAGISel handle both cases. Make sure the generated
+; local value instruction is removed.
+; CHECK-LABEL: main:
+; CHECK-LABEL: .LBB1_2:
+; CHECK: xorps [[REG:%xmm[0-7]]], [[REG]]
+; CHECK-NOT: xorps [[REG]], [[REG]]
+; CHECK-LABEL: .LBB1_3:
+
+ %cmp3.i = fcmp olt float %1, 0x3E45798EE0000000
+ br i1 %cmp3.i, label %func.exit, label %if.end.5.i
+
+if.end.5.i: ; preds = %if.else.i
+ %retval.sroa.0.0.vec.insert13.i = insertelement <2 x float> undef, float %1, i32 0
+ %retval.sroa.0.4.vec.insert15.i = insertelement <2 x float> %retval.sroa.0.0.vec.insert13.i, float %1, i32 1
+ br label %func.exit
+
+func.exit: ; preds = %if.then.i, %if.else.i, %if.end.5.i
+ %retval.sroa.6.0.i = phi float [ %retval.sroa.6.0.copyload.i, %if.then.i ], [ %1, %if.end.5.i ], [ 0.000000e+00, %if.else.i ]
+ %retval.sroa.0.0.i = phi <2 x float> [ %retval.sroa.0.0.copyload.i, %if.then.i ], [ %retval.sroa.0.4.vec.insert15.i, %if.end.5.i ], [ zeroinitializer, %if.else.i ]
+ %.fca.0.insert.i = insertvalue { <2 x float>, float } undef, <2 x float> %retval.sroa.0.0.i, 0
+ %.fca.1.insert.i = insertvalue { <2 x float>, float } %.fca.0.insert.i, float %retval.sroa.6.0.i, 1
+ store { <2 x float>, float } %.fca.1.insert.i, { <2 x float>, float }* %tmp, align 8
+ %2 = bitcast { <2 x float>, float }* %tmp to i8*
+ %3 = bitcast %struct.FVector* %ref.tmp to i8*
+ call void @llvm.memcpy.p0i8.p0i8.i64(i8* %3, i8* %2, i64 12, i32 4, i1 false)
+ %4 = bitcast %struct.FVector* %v to i8*
+ %5 = bitcast %struct.FVector* %ref.tmp to i8*
+ call void @llvm.memcpy.p0i8.p0i8.i64(i8* %4, i8* %5, i64 12, i32 4, i1 false)
+ %6 = bitcast %struct.FVector* %v to i8*
+ call void @llvm.lifetime.end(i64 12, i8* %6) nounwind
+ ret i32 0
+}
+
+declare void @llvm.lifetime.start(i64, i8* nocapture) argmemonly nounwind
+
+declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture readonly, i64, i32, i1) argmemonly nounwind
+
+declare void @llvm.lifetime.end(i64, i8* nocapture) argmemonly nounwind
More information about the llvm-commits
mailing list