From d521bc983b32da71b85d42dd30da87079afa5728 Mon Sep 17 00:00:00 2001 From: Evan Cheng Date: Mon, 27 Apr 2009 17:36:47 +0000 Subject: [PATCH] Fix PR4056. It's possible a physical register def is dead if its implicit use is deleted by two-address pass. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@70213 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/CodeGen/LiveIntervalAnalysis.cpp | 4 ++-- .../X86/2009-04-27-LiveIntervalsAssert.ll | 24 +++++++++++++++++++ 2 files changed, 26 insertions(+), 2 deletions(-) create mode 100644 test/CodeGen/X86/2009-04-27-LiveIntervalsAssert.ll diff --git a/lib/CodeGen/LiveIntervalAnalysis.cpp b/lib/CodeGen/LiveIntervalAnalysis.cpp index 6691c2edeee..7ef6abc4b45 100644 --- 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 index 00000000000..1b757b16d73 --- /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 ; [#uses=2] + %1 = icmp sgt i32 %0, 7 ; [#uses=1] + br i1 %1, label %foo.exit, label %bb.i + +bb.i: ; preds = %entry + %2 = lshr i32 1, %0 ; [#uses=1] + %3 = icmp eq i32 %2, 0 ; [#uses=1] + %4 = zext i1 %3 to i32 ; [#uses=1] + %.p_5 = shl i32 %p_5, %4 ; [#uses=1] + br label %foo.exit + +foo.exit: ; preds = %bb.i, %entry + %5 = phi i32 [ %.p_5, %bb.i ], [ %p_5, %entry ] ; [#uses=1] + %6 = icmp eq i32 %5, 0 ; [#uses=0] + %7 = tail call i32 @bar(i32 %p_5) nounwind ; [#uses=0] + ret void +} + +declare i32 @bar(i32) -- 2.34.1