6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-01-24 08:33:39 +00:00
Code Issues Projects Releases Wiki Activity

Fix PR4056. It's possible a physical register def is dead if its implicit use is deleted by two-address pass.

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@70213 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Evan Cheng 2009-04-27 17:36:47 +00:00
parent 27e4666c20
commit d521bc983b
2 changed files with 26 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/CodeGen/LiveIntervalAnalysis.cpp
View File

@ -627,8 +627,8 @@ void LiveIntervals::handlePhysicalRegisterDef(MachineBasicBlock *MBB,
// The only case we should have a dead physreg here without a killing or // The only case we should have a dead physreg here without a killing or
// instruction where we know it's dead is if it is live-in to the function // instruction where we know it's dead is if it is live-in to the function
// and never used. // and never used. Another possible case is the implicit use of the
assert(!CopyMI && "physreg was not killed in defining block!"); // physical register has been deleted by two-address pass.
end = start + 1; end = start + 1;
exit: exit:

24
test/CodeGen/X86/2009-04-27-LiveIntervalsAssert.ll Normal file
View File

@ -0,0 +1,24 @@
; RUN: llvm-as < %s | llc -mtriple=i386-apple-darwin9
; PR4056
define void @int163(i32 %p_4, i32 %p_5) nounwind {
entry:
%0 = tail call i32 @bar(i32 1) nounwind ; <i32> [#uses=2]
%1 = icmp sgt i32 %0, 7 ; <i1> [#uses=1]
br i1 %1, label %foo.exit, label %bb.i
bb.i: ; preds = %entry
%2 = lshr i32 1, %0 ; <i32> [#uses=1]
%3 = icmp eq i32 %2, 0 ; <i1> [#uses=1]
%4 = zext i1 %3 to i32 ; <i32> [#uses=1]
%.p_5 = shl i32 %p_5, %4 ; <i32> [#uses=1]
br label %foo.exit
foo.exit: ; preds = %bb.i, %entry
%5 = phi i32 [ %.p_5, %bb.i ], [ %p_5, %entry ] ; <i32> [#uses=1]
%6 = icmp eq i32 %5, 0 ; <i1> [#uses=0]
%7 = tail call i32 @bar(i32 %p_5) nounwind ; <i32> [#uses=0]
ret void
}
declare i32 @bar(i32)