From 3b6ced15108909de2fab0766fc693fe66c48ab68 Mon Sep 17 00:00:00 2001 From: Jakob Stoklund Olesen Date: Sat, 14 Nov 2009 00:38:13 +0000 Subject: [PATCH] Fix bug in -split-phi-edges. When splitting an edge after a machine basic block with fall-through, we forgot to insert a jump instruction. Fix this by calling updateTerminator() on the fall-through block when relevant. Also be more precise in PHIElimination::isLiveIn. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@88728 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/CodeGen/PHIElimination.cpp | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) diff --git a/lib/CodeGen/PHIElimination.cpp b/lib/CodeGen/PHIElimination.cpp index e42d7a5a8c5..cb0211f38d8 100644 --- a/lib/CodeGen/PHIElimination.cpp +++ b/lib/CodeGen/PHIElimination.cpp @@ -64,7 +64,6 @@ bool llvm::PHIElimination::runOnMachineFunction(MachineFunction &Fn) { PHIDefs.clear(); PHIKills.clear(); - bool Changed = false; // Split critical edges to help the coalescer @@ -419,7 +418,16 @@ bool llvm::PHIElimination::isLiveIn(unsigned Reg, const MachineBasicBlock &MBB, LiveVariables &LV) { LiveVariables::VarInfo &VI = LV.getVarInfo(Reg); - return VI.AliveBlocks.test(MBB.getNumber()) || VI.findKill(&MBB); + if (VI.AliveBlocks.test(MBB.getNumber())) + return true; + + // defined in MBB? + const MachineInstr *Def = MRI->getVRegDef(Reg); + if (Def && Def->getParent() == &MBB) + return false; + + // killed in MBB? + return VI.findKill(&MBB); } MachineBasicBlock *PHIElimination::SplitCriticalEdge(MachineBasicBlock *A, @@ -436,9 +444,12 @@ MachineBasicBlock *PHIElimination::SplitCriticalEdge(MachineBasicBlock *A, << " -- BB#" << B->getNumber() << '\n'); A->ReplaceUsesOfBlockWith(B, NMBB); - NMBB->addSuccessor(B); + // If A may fall through to B, we may have to insert a branch. + if (A->isLayoutSuccessor(B)) + A->updateTerminator(); // Insert unconditional "jump B" instruction in NMBB. + NMBB->addSuccessor(B); SmallVector Cond; MF->getTarget().getInstrInfo()->InsertBranch(*NMBB, B, NULL, Cond); -- 2.11.0