forked from OSchip/llvm-project
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
This commit is contained in:
parent
f98baa7065
commit
804d7ab811
|
@ -225,10 +225,10 @@ void LivePhysRegs::addLiveOutsNoPristines(const MachineBasicBlock &MBB) {
|
||||||
|
|
||||||
void LivePhysRegs::addLiveOuts(const MachineBasicBlock &MBB) {
|
void LivePhysRegs::addLiveOuts(const MachineBasicBlock &MBB) {
|
||||||
const MachineFunction &MF = *MBB.getParent();
|
const MachineFunction &MF = *MBB.getParent();
|
||||||
if (!MBB.isReturnBlock()) {
|
if (!MBB.succ_empty()) {
|
||||||
addPristines(MF);
|
addPristines(MF);
|
||||||
addLiveOutsNoPristines(MBB);
|
addLiveOutsNoPristines(MBB);
|
||||||
} else {
|
} else if (MBB.isReturnBlock()) {
|
||||||
// For the return block: Add all callee saved registers.
|
// For the return block: Add all callee saved registers.
|
||||||
const MachineFrameInfo &MFI = MF.getFrameInfo();
|
const MachineFrameInfo &MFI = MF.getFrameInfo();
|
||||||
if (MFI.isCalleeSavedInfoValid())
|
if (MFI.isCalleeSavedInfoValid())
|
||||||
|
|
|
@ -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
|
|
||||||
|
|
Loading…
Reference in New Issue