From 804d7ab811766a11559d81116f16635e06f91f43 Mon Sep 17 00:00:00 2001 From: Eli Friedman Date: Wed, 31 Jan 2018 00:40:42 +0000 Subject: [PATCH] Revert r323559 due to EXPENSIVE_CHECKS regression. I have a fix for the issue (https://reviews.llvm.org/D42655) but it's taking a while to get reviewed, so reverting in the meantime. llvm-svn: 323841 --- llvm/lib/CodeGen/LivePhysRegs.cpp | 4 +- llvm/test/CodeGen/Thumb/stm-scavenging.ll | 47 ----------------------- 2 files changed, 2 insertions(+), 49 deletions(-) delete mode 100644 llvm/test/CodeGen/Thumb/stm-scavenging.ll diff --git a/llvm/lib/CodeGen/LivePhysRegs.cpp b/llvm/lib/CodeGen/LivePhysRegs.cpp index c07fa16e129d..f4b43a9b8ead 100644 --- a/llvm/lib/CodeGen/LivePhysRegs.cpp +++ b/llvm/lib/CodeGen/LivePhysRegs.cpp @@ -225,10 +225,10 @@ void LivePhysRegs::addLiveOutsNoPristines(const MachineBasicBlock &MBB) { void LivePhysRegs::addLiveOuts(const MachineBasicBlock &MBB) { const MachineFunction &MF = *MBB.getParent(); - if (!MBB.isReturnBlock()) { + if (!MBB.succ_empty()) { addPristines(MF); addLiveOutsNoPristines(MBB); - } else { + } else if (MBB.isReturnBlock()) { // For the return block: Add all callee saved registers. const MachineFrameInfo &MFI = MF.getFrameInfo(); if (MFI.isCalleeSavedInfoValid()) diff --git a/llvm/test/CodeGen/Thumb/stm-scavenging.ll b/llvm/test/CodeGen/Thumb/stm-scavenging.ll deleted file mode 100644 index ef038f290386..000000000000 --- a/llvm/test/CodeGen/Thumb/stm-scavenging.ll +++ /dev/null @@ -1,47 +0,0 @@ -; RUN: llc < %s | FileCheck %s -target triple = "thumbv6---gnueabi" - -; Use STM to save the three registers -; CHECK-LABEL: use_stm: -; CHECK: .save {r7, lr} -; CHECK: .setfp r7, sp -; CHECK: stm r3!, {r0, r1, r2} -; CHECK: bl throws_1 -define void @use_stm(i32 %a, i32 %b, i32 %c, i32* %d) local_unnamed_addr noreturn "no-frame-pointer-elim"="true" { -entry: - %arrayidx = getelementptr inbounds i32, i32* %d, i32 2 - store i32 %a, i32* %arrayidx, align 4 - %arrayidx1 = getelementptr inbounds i32, i32* %d, i32 3 - store i32 %b, i32* %arrayidx1, align 4 - %arrayidx2 = getelementptr inbounds i32, i32* %d, i32 4 - store i32 %c, i32* %arrayidx2, align 4 - tail call void @throws_1(i32 %a, i32 %b, i32 %c) noreturn - unreachable -} - -; Don't use STM: there is no available register to store -; the address. We could transform this with some extra math, but -; that currently isn't implemented. -; CHECK-LABEL: no_stm: -; CHECK: .save {r7, lr} -; CHECK: .setfp r7, sp -; CHECK: str r0, -; CHECK: str r1, -; CHECK: str r2, -; CHECK: bl throws_2 -define void @no_stm(i32 %a, i32 %b, i32 %c, i32* %d) local_unnamed_addr noreturn "no-frame-pointer-elim"="true" { -entry: - %arrayidx = getelementptr inbounds i32, i32* %d, i32 2 - store i32 %a, i32* %arrayidx, align 4 - %arrayidx1 = getelementptr inbounds i32, i32* %d, i32 3 - store i32 %b, i32* %arrayidx1, align 4 - %arrayidx2 = getelementptr inbounds i32, i32* %d, i32 4 - store i32 %c, i32* %arrayidx2, align 4 - tail call void @throws_2(i32 %a, i32 %b, i32 %c, i32* %d) noreturn - unreachable -} - - -declare void @throws_1(i32, i32, i32) noreturn -declare void @throws_2(i32, i32, i32, i32*) noreturn -