RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-01-29 08:02:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Delete dead PHI machine instructions. These can be created due to type

Browse Source 
legalization even when the IR-level optimizer has removed dead phis, such
as when the high half of an i64 value is unused on a 32-bit target.
I had to adjust a few test cases that had dead phis.
This is a partial fix for Radar 7627077.

llvm-svn: 95816
This commit is contained in:
Bob Wilson 2010-02-10 22:58:57 +00:00
parent 9d9478a53a
commit 82d5534acc
3 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/CodeGen/DeadMachineInstructionElim.cpp
View File

@ -55,7 +55,7 @@ FunctionPass *llvm::createDeadMachineInstructionElimPass() {
bool DeadMachineInstructionElim::isDead(const MachineInstr *MI) const { bool DeadMachineInstructionElim::isDead(const MachineInstr *MI) const {
// Don't delete instructions with side effects. // Don't delete instructions with side effects.
bool SawStore = false; bool SawStore = false;
if (!MI->isSafeToMove(TII, SawStore, 0)) if (!MI->isSafeToMove(TII, SawStore, 0) && !MI->isPHI())
return false; return false;
// Examine each operand. // Examine each operand.

6
test/CodeGen/ARM/remat.ll
View File

@ -32,16 +32,16 @@ bb.i35: ; preds = %bb142
br label %phi1.exit br label %phi1.exit
phi1.exit: ; preds = %bb.i35, %bb142 phi1.exit: ; preds = %bb.i35, %bb142
%.pn = phi double [ %6, %bb.i35 ], [ 0.000000e+00, %bb142 ] ; <double> [#uses=0] %.pn = phi double [ %6, %bb.i35 ], [ 0.000000e+00, %bb142 ] ; <double> [#uses=1]
%9 = phi double [ %8, %bb.i35 ], [ 0.000000e+00, %bb142 ] ; <double> [#uses=1] %9 = phi double [ %8, %bb.i35 ], [ 0.000000e+00, %bb142 ] ; <double> [#uses=1]
%10 = fmul double undef, %9 ; <double> [#uses=0] %10 = fmul double %.pn, %9 ; <double> [#uses=1]
br i1 %14, label %phi0.exit, label %bb.i br i1 %14, label %phi0.exit, label %bb.i
bb.i: ; preds = %phi1.exit bb.i: ; preds = %phi1.exit
unreachable unreachable
phi0.exit: ; preds = %phi1.exit phi0.exit: ; preds = %phi1.exit
%11 = fsub double %4, undef ; <double> [#uses=1] %11 = fsub double %4, %10 ; <double> [#uses=1]
%12 = fadd double 0.000000e+00, %11 ; <double> [#uses=1] %12 = fadd double 0.000000e+00, %11 ; <double> [#uses=1]
store double %12, double* undef, align 4 store double %12, double* undef, align 4
br label %bb142 br label %bb142

4
test/CodeGen/X86/2007-10-05-3AddrConvert.ll
View File

@ -36,7 +36,9 @@ bb.i6.i: ; preds = %bb.i6.i, %stepsystem.exit.i
bb107.i.i: ; preds = %bb107.i.i, %bb.i6.i bb107.i.i: ; preds = %bb107.i.i, %bb.i6.i
%q_addr.0.i.i.in = phi %struct.bnode** [ null, %bb107.i.i ], [ %4, %bb.i6.i ] ; <%struct.bnode**> [#uses=1] %q_addr.0.i.i.in = phi %struct.bnode** [ null, %bb107.i.i ], [ %4, %bb.i6.i ] ; <%struct.bnode**> [#uses=1]
%q_addr.0.i.i = load %struct.bnode** %q_addr.0.i.i.in ; <%struct.bnode*> [#uses=0] %q_addr.0.i.i = load %struct.bnode** %q_addr.0.i.i.in ; <%struct.bnode*> [#uses=1]
%q_addr.1 = getelementptr %struct.anon* %0, i32 0, i32 4, i32 1
store %struct.bnode* %q_addr.0.i.i, %struct.bnode** %q_addr.1, align 4
br label %bb107.i.i br label %bb107.i.i
bb47.loopexit.i: ; preds = %bb32.i bb47.loopexit.i: ; preds = %bb32.i