Fix PR4056. It's possible a physical register def is dead if its implicit use is...

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@70213 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/lib/CodeGen/LiveIntervalAnalysis.cpp b/lib/CodeGen/LiveIntervalAnalysis.cpp
index 6691c2edeee4d8544191169c82ebe6911dcc7aae..7ef6abc4b45fcf2a3f5c48e9158a66f334e61e9f 100644 (file)
--- a/lib/CodeGen/LiveIntervalAnalysis.cpp
+++ b/lib/CodeGen/LiveIntervalAnalysis.cpp
@@ -627,8 +627,8 @@ void LiveIntervals::handlePhysicalRegisterDef(MachineBasicBlock *MBB,
   
   // 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
-  // and never used.
-  assert(!CopyMI && "physreg was not killed in defining block!");
+  // and never used. Another possible case is the implicit use of the
+  // physical register has been deleted by two-address pass.
   end = start + 1;
 
 exit:

diff --git a/test/CodeGen/X86/2009-04-27-LiveIntervalsAssert.ll b/test/CodeGen/X86/2009-04-27-LiveIntervalsAssert.ll
new file mode 100644 (file)
index 0000000..1b757b1
--- /dev/null
+++ b/test/CodeGen/X86/2009-04-27-LiveIntervalsAssert.ll
@@ -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)