[llvm] r323841 - Revert r323559 due to EXPENSIVE_CHECKS regression.

Eli Friedman via llvm-commits llvm-commits at lists.llvm.org
Tue Jan 30 16:40:42 PST 2018


Author: efriedma
Date: Tue Jan 30 16:40:42 2018
New Revision: 323841

URL: http://llvm.org/viewvc/llvm-project?rev=323841&view=rev
Log:
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.


Removed:
    llvm/trunk/test/CodeGen/Thumb/stm-scavenging.ll
Modified:
    llvm/trunk/lib/CodeGen/LivePhysRegs.cpp

Modified: llvm/trunk/lib/CodeGen/LivePhysRegs.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/LivePhysRegs.cpp?rev=323841&r1=323840&r2=323841&view=diff
==============================================================================
--- llvm/trunk/lib/CodeGen/LivePhysRegs.cpp (original)
+++ llvm/trunk/lib/CodeGen/LivePhysRegs.cpp Tue Jan 30 16:40:42 2018
@@ -225,10 +225,10 @@ void LivePhysRegs::addLiveOutsNoPristine
 
 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())

Removed: llvm/trunk/test/CodeGen/Thumb/stm-scavenging.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/CodeGen/Thumb/stm-scavenging.ll?rev=323840&view=auto
==============================================================================
--- llvm/trunk/test/CodeGen/Thumb/stm-scavenging.ll (original)
+++ llvm/trunk/test/CodeGen/Thumb/stm-scavenging.ll (removed)
@@ -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
-




More information about the llvm-commits mailing list