summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat
-rw-r--r--llvm/lib/Target/Mips/Mips16FrameLowering.cpp8
-rw-r--r--llvm/lib/Target/Mips/MipsFrameLowering.h4
-rw-r--r--llvm/lib/Target/Mips/MipsSEFrameLowering.cpp10
-rw-r--r--llvm/test/CodeGen/Mips/blez_bgez.ll4
-rw-r--r--llvm/test/CodeGen/Mips/brdelayslot.ll1
-rw-r--r--llvm/test/CodeGen/Mips/shrink-wrapping.ll391
6 files changed, 405 insertions, 13 deletions
diff --git a/llvm/lib/Target/Mips/Mips16FrameLowering.cpp b/llvm/lib/Target/Mips/Mips16FrameLowering.cpp
index cb59e2ddb1c..122c1f5377b 100644
--- a/llvm/lib/Target/Mips/Mips16FrameLowering.cpp
+++ b/llvm/lib/Target/Mips/Mips16FrameLowering.cpp
@@ -42,7 +42,6 @@ Mips16FrameLowering::Mips16FrameLowering(const MipsSubtarget &STI)
void Mips16FrameLowering::emitPrologue(MachineFunction &MF,
MachineBasicBlock &MBB) const {
- assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
MachineFrameInfo &MFI = MF.getFrameInfo();
const Mips16InstrInfo &TII =
*static_cast<const Mips16InstrInfo *>(STI.getInstrInfo());
@@ -92,11 +91,11 @@ void Mips16FrameLowering::emitPrologue(MachineFunction &MF,
void Mips16FrameLowering::emitEpilogue(MachineFunction &MF,
MachineBasicBlock &MBB) const {
- MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
+ MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator();
MachineFrameInfo &MFI = MF.getFrameInfo();
const Mips16InstrInfo &TII =
*static_cast<const Mips16InstrInfo *>(STI.getInstrInfo());
- DebugLoc dl = MBBI->getDebugLoc();
+ DebugLoc dl = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
uint64_t StackSize = MFI.getStackSize();
if (!StackSize)
@@ -117,7 +116,6 @@ spillCalleeSavedRegisters(MachineBasicBlock &MBB,
const std::vector<CalleeSavedInfo> &CSI,
const TargetRegisterInfo *TRI) const {
MachineFunction *MF = MBB.getParent();
- MachineBasicBlock *EntryBlock = &MF->front();
//
// Registers RA, S0,S1 are the callee saved registers and they
@@ -134,7 +132,7 @@ spillCalleeSavedRegisters(MachineBasicBlock &MBB,
bool IsRAAndRetAddrIsTaken = (Reg == Mips::RA)
&& MF->getFrameInfo().isReturnAddressTaken();
if (!IsRAAndRetAddrIsTaken)
- EntryBlock->addLiveIn(Reg);
+ MBB.addLiveIn(Reg);
}
return true;
diff --git a/llvm/lib/Target/Mips/MipsFrameLowering.h b/llvm/lib/Target/Mips/MipsFrameLowering.h
index 883c3267d51..0ead56eddd2 100644
--- a/llvm/lib/Target/Mips/MipsFrameLowering.h
+++ b/llvm/lib/Target/Mips/MipsFrameLowering.h
@@ -36,6 +36,10 @@ public:
bool isFPCloseToIncomingSP() const override { return false; }
+ bool enableShrinkWrapping(const MachineFunction &MF) const override {
+ return true;
+ }
+
MachineBasicBlock::iterator
eliminateCallFramePseudoInstr(MachineFunction &MF,
MachineBasicBlock &MBB,
diff --git a/llvm/lib/Target/Mips/MipsSEFrameLowering.cpp b/llvm/lib/Target/Mips/MipsSEFrameLowering.cpp
index 18901e658cb..687c9f676b3 100644
--- a/llvm/lib/Target/Mips/MipsSEFrameLowering.cpp
+++ b/llvm/lib/Target/Mips/MipsSEFrameLowering.cpp
@@ -394,7 +394,6 @@ MipsSEFrameLowering::MipsSEFrameLowering(const MipsSubtarget &STI)
void MipsSEFrameLowering::emitPrologue(MachineFunction &MF,
MachineBasicBlock &MBB) const {
- assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
MachineFrameInfo &MFI = MF.getFrameInfo();
MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
@@ -682,7 +681,7 @@ void MipsSEFrameLowering::emitInterruptPrologueStub(
void MipsSEFrameLowering::emitEpilogue(MachineFunction &MF,
MachineBasicBlock &MBB) const {
- MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
+ MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator();
MachineFrameInfo &MFI = MF.getFrameInfo();
MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
@@ -691,7 +690,7 @@ void MipsSEFrameLowering::emitEpilogue(MachineFunction &MF,
const MipsRegisterInfo &RegInfo =
*static_cast<const MipsRegisterInfo *>(STI.getRegisterInfo());
- DebugLoc DL = MBBI->getDebugLoc();
+ DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
MipsABIInfo ABI = STI.getABI();
unsigned SP = ABI.GetStackPtr();
unsigned FP = ABI.GetFramePtr();
@@ -790,7 +789,6 @@ spillCalleeSavedRegisters(MachineBasicBlock &MBB,
const std::vector<CalleeSavedInfo> &CSI,
const TargetRegisterInfo *TRI) const {
MachineFunction *MF = MBB.getParent();
- MachineBasicBlock *EntryBlock = &MF->front();
const TargetInstrInfo &TII = *STI.getInstrInfo();
for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
@@ -803,7 +801,7 @@ spillCalleeSavedRegisters(MachineBasicBlock &MBB,
bool IsRAAndRetAddrIsTaken = (Reg == Mips::RA || Reg == Mips::RA_64)
&& MF->getFrameInfo().isReturnAddressTaken();
if (!IsRAAndRetAddrIsTaken)
- EntryBlock->addLiveIn(Reg);
+ MBB.addLiveIn(Reg);
// ISRs require HI/LO to be spilled into kernel registers to be then
// spilled to the stack frame.
@@ -828,7 +826,7 @@ spillCalleeSavedRegisters(MachineBasicBlock &MBB,
// Insert the spill to the stack frame.
bool IsKill = !IsRAAndRetAddrIsTaken;
const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
- TII.storeRegToStackSlot(*EntryBlock, MI, Reg, IsKill,
+ TII.storeRegToStackSlot(MBB, MI, Reg, IsKill,
CSI[i].getFrameIdx(), RC, TRI);
}
diff --git a/llvm/test/CodeGen/Mips/blez_bgez.ll b/llvm/test/CodeGen/Mips/blez_bgez.ll
index 84c8af45db8..e9f63ed21d0 100644
--- a/llvm/test/CodeGen/Mips/blez_bgez.ll
+++ b/llvm/test/CodeGen/Mips/blez_bgez.ll
@@ -1,5 +1,5 @@
-; RUN: llc -march=mipsel < %s | FileCheck %s
-; RUN: llc -march=mips64el < %s | FileCheck %s
+; RUN: llc -march=mipsel -enable-shrink-wrap=false < %s | FileCheck %s
+; RUN: llc -march=mips64el -enable-shrink-wrap=false < %s | FileCheck %s
; CHECK-LABEL: test_blez:
; CHECK: blez ${{[0-9]+}}, {{\$|\.L}}BB
diff --git a/llvm/test/CodeGen/Mips/brdelayslot.ll b/llvm/test/CodeGen/Mips/brdelayslot.ll
index 136cc6534aa..7a3f9541771 100644
--- a/llvm/test/CodeGen/Mips/brdelayslot.ll
+++ b/llvm/test/CodeGen/Mips/brdelayslot.ll
@@ -6,6 +6,7 @@
; RUN: llc -march=mipsel -disable-mips-df-forward-search=false \
; RUN: -relocation-model=static < %s | FileCheck %s -check-prefix=FORWARD
; RUN: llc -march=mipsel -disable-mips-df-backward-search -relocation-model=pic \
+; RUN: -enable-shrink-wrap=false \
; RUN: -disable-mips-df-succbb-search=false -disable-preheader-prot=true < %s | \
; RUN: FileCheck %s -check-prefix=SUCCBB
diff --git a/llvm/test/CodeGen/Mips/shrink-wrapping.ll b/llvm/test/CodeGen/Mips/shrink-wrapping.ll
new file mode 100644
index 00000000000..76bd3834d20
--- /dev/null
+++ b/llvm/test/CodeGen/Mips/shrink-wrapping.ll
@@ -0,0 +1,391 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+
+; RUN: llc -mtriple=mips-unknown-linux-gnu -enable-shrink-wrap=true \
+; RUN: -relocation-model=static < %s | \
+; RUN: FileCheck %s -check-prefix=SHRINK-WRAP-STATIC
+
+; RUN: llc -mtriple=mips-unknown-linux-gnu -enable-shrink-wrap=false \
+; RUN: -relocation-model=static < %s | \
+; RUN: FileCheck %s -check-prefix=NO-SHRINK-WRAP-STATIC
+
+; RUN: llc -mtriple=mips-unknown-linux-gnu -enable-shrink-wrap=true \
+; RUN: -relocation-model=pic < %s | \
+; RUN: FileCheck %s -check-prefix=SHRINK-WRAP-PIC
+
+; RUN: llc -mtriple=mips-unknown-linux-gnu -enable-shrink-wrap=false \
+; RUN: -relocation-model=pic < %s | \
+; RUN: FileCheck %s -check-prefix=NO-SHRINK-WRAP-PIC
+
+; RUN: llc -mtriple=mips64-unknown-linux-gnu -enable-shrink-wrap=true \
+; RUN: -relocation-model=static < %s | \
+; RUN: FileCheck %s -check-prefix=SHRINK-WRAP-64-STATIC
+
+; RUN: llc -mtriple=mips64-unknown-linux-gnu -enable-shrink-wrap=false \
+; RUN: -relocation-model=static < %s | \
+; RUN: FileCheck %s -check-prefix=NO-SHRINK-WRAP-64-STATIC
+
+; RUN: llc -mtriple=mips64-unknown-linux-gnu -enable-shrink-wrap=true \
+; RUN: -relocation-model=pic < %s | \
+; RUN: FileCheck %s -check-prefix=SHRINK-WRAP-64-PIC
+
+; RUN: llc -mtriple=mips64-unknown-linux-gnu -enable-shrink-wrap=false \
+; RUN: -relocation-model=pic < %s | \
+; RUN: FileCheck %s -check-prefix=NO-SHRINK-WRAP-64-PIC
+
+declare void @f(i32 signext)
+
+define i32 @foo(i32 signext %a) {
+; SHRINK-WRAP-STATIC-LABEL: foo:
+; SHRINK-WRAP-STATIC: # %bb.0: # %entry
+; SHRINK-WRAP-STATIC-NEXT: beqz $4, $BB0_2
+; SHRINK-WRAP-STATIC-NEXT: nop
+; SHRINK-WRAP-STATIC-NEXT: # %bb.1: # %if.end
+; SHRINK-WRAP-STATIC-NEXT: addiu $sp, $sp, -24
+; SHRINK-WRAP-STATIC-NEXT: .cfi_def_cfa_offset 24
+; SHRINK-WRAP-STATIC-NEXT: sw $ra, 20($sp) # 4-byte Folded Spill
+; SHRINK-WRAP-STATIC-NEXT: .cfi_offset 31, -4
+; SHRINK-WRAP-STATIC-NEXT: jal f
+; SHRINK-WRAP-STATIC-NEXT: addiu $4, $4, 1
+; SHRINK-WRAP-STATIC-NEXT: lw $ra, 20($sp) # 4-byte Folded Reload
+; SHRINK-WRAP-STATIC-NEXT: addiu $sp, $sp, 24
+; SHRINK-WRAP-STATIC-NEXT: $BB0_2: # %return
+; SHRINK-WRAP-STATIC-NEXT: jr $ra
+; SHRINK-WRAP-STATIC-NEXT: addiu $2, $zero, 0
+;
+; NO-SHRINK-WRAP-STATIC-LABEL: foo:
+; NO-SHRINK-WRAP-STATIC: # %bb.0: # %entry
+; NO-SHRINK-WRAP-STATIC-NEXT: addiu $sp, $sp, -24
+; NO-SHRINK-WRAP-STATIC-NEXT: .cfi_def_cfa_offset 24
+; NO-SHRINK-WRAP-STATIC-NEXT: sw $ra, 20($sp) # 4-byte Folded Spill
+; NO-SHRINK-WRAP-STATIC-NEXT: .cfi_offset 31, -4
+; NO-SHRINK-WRAP-STATIC-NEXT: beqz $4, $BB0_2
+; NO-SHRINK-WRAP-STATIC-NEXT: nop
+; NO-SHRINK-WRAP-STATIC-NEXT: # %bb.1: # %if.end
+; NO-SHRINK-WRAP-STATIC-NEXT: jal f
+; NO-SHRINK-WRAP-STATIC-NEXT: addiu $4, $4, 1
+; NO-SHRINK-WRAP-STATIC-NEXT: $BB0_2: # %return
+; NO-SHRINK-WRAP-STATIC-NEXT: addiu $2, $zero, 0
+; NO-SHRINK-WRAP-STATIC-NEXT: lw $ra, 20($sp) # 4-byte Folded Reload
+; NO-SHRINK-WRAP-STATIC-NEXT: jr $ra
+; NO-SHRINK-WRAP-STATIC-NEXT: addiu $sp, $sp, 24
+;
+; SHRINK-WRAP-PIC-LABEL: foo:
+; SHRINK-WRAP-PIC: # %bb.0: # %entry
+; SHRINK-WRAP-PIC-NEXT: lui $2, %hi(_gp_disp)
+; SHRINK-WRAP-PIC-NEXT: addiu $2, $2, %lo(_gp_disp)
+; SHRINK-WRAP-PIC-NEXT: beqz $4, $BB0_2
+; SHRINK-WRAP-PIC-NEXT: addu $gp, $2, $25
+; SHRINK-WRAP-PIC-NEXT: # %bb.1: # %if.end
+; SHRINK-WRAP-PIC-NEXT: addiu $sp, $sp, -24
+; SHRINK-WRAP-PIC-NEXT: .cfi_def_cfa_offset 24
+; SHRINK-WRAP-PIC-NEXT: sw $ra, 20($sp) # 4-byte Folded Spill
+; SHRINK-WRAP-PIC-NEXT: .cfi_offset 31, -4
+; SHRINK-WRAP-PIC-NEXT: lw $25, %call16(f)($gp)
+; SHRINK-WRAP-PIC-NEXT: jalr $25
+; SHRINK-WRAP-PIC-NEXT: addiu $4, $4, 1
+; SHRINK-WRAP-PIC-NEXT: lw $ra, 20($sp) # 4-byte Folded Reload
+; SHRINK-WRAP-PIC-NEXT: addiu $sp, $sp, 24
+; SHRINK-WRAP-PIC-NEXT: $BB0_2: # %return
+; SHRINK-WRAP-PIC-NEXT: jr $ra
+; SHRINK-WRAP-PIC-NEXT: addiu $2, $zero, 0
+;
+; NO-SHRINK-WRAP-PIC-LABEL: foo:
+; NO-SHRINK-WRAP-PIC: # %bb.0: # %entry
+; NO-SHRINK-WRAP-PIC-NEXT: lui $2, %hi(_gp_disp)
+; NO-SHRINK-WRAP-PIC-NEXT: addiu $2, $2, %lo(_gp_disp)
+; NO-SHRINK-WRAP-PIC-NEXT: addiu $sp, $sp, -24
+; NO-SHRINK-WRAP-PIC-NEXT: .cfi_def_cfa_offset 24
+; NO-SHRINK-WRAP-PIC-NEXT: sw $ra, 20($sp) # 4-byte Folded Spill
+; NO-SHRINK-WRAP-PIC-NEXT: .cfi_offset 31, -4
+; NO-SHRINK-WRAP-PIC-NEXT: beqz $4, $BB0_2
+; NO-SHRINK-WRAP-PIC-NEXT: addu $gp, $2, $25
+; NO-SHRINK-WRAP-PIC-NEXT: # %bb.1: # %if.end
+; NO-SHRINK-WRAP-PIC-NEXT: lw $25, %call16(f)($gp)
+; NO-SHRINK-WRAP-PIC-NEXT: jalr $25
+; NO-SHRINK-WRAP-PIC-NEXT: addiu $4, $4, 1
+; NO-SHRINK-WRAP-PIC-NEXT: $BB0_2: # %return
+; NO-SHRINK-WRAP-PIC-NEXT: addiu $2, $zero, 0
+; NO-SHRINK-WRAP-PIC-NEXT: lw $ra, 20($sp) # 4-byte Folded Reload
+; NO-SHRINK-WRAP-PIC-NEXT: jr $ra
+; NO-SHRINK-WRAP-PIC-NEXT: addiu $sp, $sp, 24
+;
+; SHRINK-WRAP-64-STATIC-LABEL: foo:
+; SHRINK-WRAP-64-STATIC: # %bb.0: # %entry
+; SHRINK-WRAP-64-STATIC-NEXT: beqz $4, .LBB0_2
+; SHRINK-WRAP-64-STATIC-NEXT: nop
+; SHRINK-WRAP-64-STATIC-NEXT: # %bb.1: # %if.end
+; SHRINK-WRAP-64-STATIC-NEXT: daddiu $sp, $sp, -16
+; SHRINK-WRAP-64-STATIC-NEXT: .cfi_def_cfa_offset 16
+; SHRINK-WRAP-64-STATIC-NEXT: sd $ra, 8($sp) # 8-byte Folded Spill
+; SHRINK-WRAP-64-STATIC-NEXT: .cfi_offset 31, -8
+; SHRINK-WRAP-64-STATIC-NEXT: addiu $1, $4, 1
+; SHRINK-WRAP-64-STATIC-NEXT: jal f
+; SHRINK-WRAP-64-STATIC-NEXT: sll $4, $1, 0
+; SHRINK-WRAP-64-STATIC-NEXT: ld $ra, 8($sp) # 8-byte Folded Reload
+; SHRINK-WRAP-64-STATIC-NEXT: daddiu $sp, $sp, 16
+; SHRINK-WRAP-64-STATIC-NEXT: .LBB0_2: # %return
+; SHRINK-WRAP-64-STATIC-NEXT: jr $ra
+; SHRINK-WRAP-64-STATIC-NEXT: addiu $2, $zero, 0
+;
+; NO-SHRINK-WRAP-64-STATIC-LABEL: foo:
+; NO-SHRINK-WRAP-64-STATIC: # %bb.0: # %entry
+; NO-SHRINK-WRAP-64-STATIC-NEXT: daddiu $sp, $sp, -16
+; NO-SHRINK-WRAP-64-STATIC-NEXT: .cfi_def_cfa_offset 16
+; NO-SHRINK-WRAP-64-STATIC-NEXT: sd $ra, 8($sp) # 8-byte Folded Spill
+; NO-SHRINK-WRAP-64-STATIC-NEXT: .cfi_offset 31, -8
+; NO-SHRINK-WRAP-64-STATIC-NEXT: beqz $4, .LBB0_2
+; NO-SHRINK-WRAP-64-STATIC-NEXT: nop
+; NO-SHRINK-WRAP-64-STATIC-NEXT: # %bb.1: # %if.end
+; NO-SHRINK-WRAP-64-STATIC-NEXT: addiu $1, $4, 1
+; NO-SHRINK-WRAP-64-STATIC-NEXT: jal f
+; NO-SHRINK-WRAP-64-STATIC-NEXT: sll $4, $1, 0
+; NO-SHRINK-WRAP-64-STATIC-NEXT: .LBB0_2: # %return
+; NO-SHRINK-WRAP-64-STATIC-NEXT: addiu $2, $zero, 0
+; NO-SHRINK-WRAP-64-STATIC-NEXT: ld $ra, 8($sp) # 8-byte Folded Reload
+; NO-SHRINK-WRAP-64-STATIC-NEXT: jr $ra
+; NO-SHRINK-WRAP-64-STATIC-NEXT: daddiu $sp, $sp, 16
+;
+; SHRINK-WRAP-64-PIC-LABEL: foo:
+; SHRINK-WRAP-64-PIC: # %bb.0: # %entry
+; SHRINK-WRAP-64-PIC-NEXT: lui $1, %hi(%neg(%gp_rel(foo)))
+; SHRINK-WRAP-64-PIC-NEXT: beqz $4, .LBB0_2
+; SHRINK-WRAP-64-PIC-NEXT: daddu $2, $1, $25
+; SHRINK-WRAP-64-PIC-NEXT: # %bb.1: # %if.end
+; SHRINK-WRAP-64-PIC-NEXT: daddiu $sp, $sp, -16
+; SHRINK-WRAP-64-PIC-NEXT: .cfi_def_cfa_offset 16
+; SHRINK-WRAP-64-PIC-NEXT: sd $ra, 8($sp) # 8-byte Folded Spill
+; SHRINK-WRAP-64-PIC-NEXT: sd $gp, 0($sp) # 8-byte Folded Spill
+; SHRINK-WRAP-64-PIC-NEXT: .cfi_offset 31, -8
+; SHRINK-WRAP-64-PIC-NEXT: .cfi_offset 28, -16
+; SHRINK-WRAP-64-PIC-NEXT: daddiu $gp, $2, %lo(%neg(%gp_rel(foo)))
+; SHRINK-WRAP-64-PIC-NEXT: addiu $1, $4, 1
+; SHRINK-WRAP-64-PIC-NEXT: ld $25, %call16(f)($gp)
+; SHRINK-WRAP-64-PIC-NEXT: jalr $25
+; SHRINK-WRAP-64-PIC-NEXT: sll $4, $1, 0
+; SHRINK-WRAP-64-PIC-NEXT: ld $gp, 0($sp) # 8-byte Folded Reload
+; SHRINK-WRAP-64-PIC-NEXT: ld $ra, 8($sp) # 8-byte Folded Reload
+; SHRINK-WRAP-64-PIC-NEXT: daddiu $sp, $sp, 16
+; SHRINK-WRAP-64-PIC-NEXT: .LBB0_2: # %return
+; SHRINK-WRAP-64-PIC-NEXT: jr $ra
+; SHRINK-WRAP-64-PIC-NEXT: addiu $2, $zero, 0
+;
+; NO-SHRINK-WRAP-64-PIC-LABEL: foo:
+; NO-SHRINK-WRAP-64-PIC: # %bb.0: # %entry
+; NO-SHRINK-WRAP-64-PIC-NEXT: daddiu $sp, $sp, -16
+; NO-SHRINK-WRAP-64-PIC-NEXT: .cfi_def_cfa_offset 16
+; NO-SHRINK-WRAP-64-PIC-NEXT: sd $ra, 8($sp) # 8-byte Folded Spill
+; NO-SHRINK-WRAP-64-PIC-NEXT: sd $gp, 0($sp) # 8-byte Folded Spill
+; NO-SHRINK-WRAP-64-PIC-NEXT: .cfi_offset 31, -8
+; NO-SHRINK-WRAP-64-PIC-NEXT: .cfi_offset 28, -16
+; NO-SHRINK-WRAP-64-PIC-NEXT: lui $1, %hi(%neg(%gp_rel(foo)))
+; NO-SHRINK-WRAP-64-PIC-NEXT: beqz $4, .LBB0_2
+; NO-SHRINK-WRAP-64-PIC-NEXT: daddu $2, $1, $25
+; NO-SHRINK-WRAP-64-PIC-NEXT: # %bb.1: # %if.end
+; NO-SHRINK-WRAP-64-PIC-NEXT: daddiu $gp, $2, %lo(%neg(%gp_rel(foo)))
+; NO-SHRINK-WRAP-64-PIC-NEXT: addiu $1, $4, 1
+; NO-SHRINK-WRAP-64-PIC-NEXT: ld $25, %call16(f)($gp)
+; NO-SHRINK-WRAP-64-PIC-NEXT: jalr $25
+; NO-SHRINK-WRAP-64-PIC-NEXT: sll $4, $1, 0
+; NO-SHRINK-WRAP-64-PIC-NEXT: .LBB0_2: # %return
+; NO-SHRINK-WRAP-64-PIC-NEXT: addiu $2, $zero, 0
+; NO-SHRINK-WRAP-64-PIC-NEXT: ld $gp, 0($sp) # 8-byte Folded Reload
+; NO-SHRINK-WRAP-64-PIC-NEXT: ld $ra, 8($sp) # 8-byte Folded Reload
+; NO-SHRINK-WRAP-64-PIC-NEXT: jr $ra
+; NO-SHRINK-WRAP-64-PIC-NEXT: daddiu $sp, $sp, 16
+entry:
+ %cmp = icmp eq i32 %a, 0
+ br i1 %cmp, label %return, label %if.end
+
+if.end:
+ %add = add nsw i32 %a, 1
+ tail call void @f(i32 signext %add)
+ br label %return
+
+return:
+ ret i32 0
+}
+
+; Test that long branch expansion works correctly with shrink-wrapping enabled.
+define i32 @foo2(i32 signext %a) {
+; SHRINK-WRAP-STATIC-LABEL: foo2:
+; SHRINK-WRAP-STATIC: # %bb.0:
+; SHRINK-WRAP-STATIC-NEXT: addiu $1, $zero, 4
+; SHRINK-WRAP-STATIC-NEXT: bne $4, $1, $BB1_2
+; SHRINK-WRAP-STATIC-NEXT: nop
+; SHRINK-WRAP-STATIC-NEXT: # %bb.1:
+; SHRINK-WRAP-STATIC-NEXT: j $BB1_3
+; SHRINK-WRAP-STATIC-NEXT: nop
+; SHRINK-WRAP-STATIC-NEXT: $BB1_2: # %if.then
+; SHRINK-WRAP-STATIC-NEXT: addiu $sp, $sp, -24
+; SHRINK-WRAP-STATIC-NEXT: .cfi_def_cfa_offset 24
+; SHRINK-WRAP-STATIC-NEXT: sw $ra, 20($sp) # 4-byte Folded Spill
+; SHRINK-WRAP-STATIC-NEXT: .cfi_offset 31, -4
+; SHRINK-WRAP-STATIC-NEXT: #APP
+;
+; NO-SHRINK-WRAP-STATIC-LABEL: foo2:
+; NO-SHRINK-WRAP-STATIC: # %bb.0:
+; NO-SHRINK-WRAP-STATIC-NEXT: addiu $sp, $sp, -24
+; NO-SHRINK-WRAP-STATIC-NEXT: .cfi_def_cfa_offset 24
+; NO-SHRINK-WRAP-STATIC-NEXT: sw $ra, 20($sp) # 4-byte Folded Spill
+; NO-SHRINK-WRAP-STATIC-NEXT: .cfi_offset 31, -4
+; NO-SHRINK-WRAP-STATIC-NEXT: addiu $1, $zero, 4
+; NO-SHRINK-WRAP-STATIC-NEXT: bne $4, $1, $BB1_2
+; NO-SHRINK-WRAP-STATIC-NEXT: nop
+; NO-SHRINK-WRAP-STATIC-NEXT: # %bb.1:
+; NO-SHRINK-WRAP-STATIC-NEXT: j $BB1_3
+; NO-SHRINK-WRAP-STATIC-NEXT: nop
+; NO-SHRINK-WRAP-STATIC-NEXT: $BB1_2: # %if.then
+; NO-SHRINK-WRAP-STATIC-NEXT: #APP
+;
+; SHRINK-WRAP-PIC-LABEL: foo2:
+; SHRINK-WRAP-PIC: # %bb.0:
+; SHRINK-WRAP-PIC-NEXT: lui $2, %hi(_gp_disp)
+; SHRINK-WRAP-PIC-NEXT: addiu $2, $2, %lo(_gp_disp)
+; SHRINK-WRAP-PIC-NEXT: addiu $1, $zero, 4
+; SHRINK-WRAP-PIC-NEXT: bne $4, $1, $BB1_3
+; SHRINK-WRAP-PIC-NEXT: addu $gp, $2, $25
+; SHRINK-WRAP-PIC-NEXT: # %bb.1:
+; SHRINK-WRAP-PIC-NEXT: addiu $sp, $sp, -8
+; SHRINK-WRAP-PIC-NEXT: sw $ra, 0($sp)
+; SHRINK-WRAP-PIC-NEXT: lui $1, %hi(($BB1_4)-($BB1_2))
+; SHRINK-WRAP-PIC-NEXT: bal $BB1_2
+; SHRINK-WRAP-PIC-NEXT: addiu $1, $1, %lo(($BB1_4)-($BB1_2))
+; SHRINK-WRAP-PIC-NEXT: $BB1_2:
+; SHRINK-WRAP-PIC-NEXT: addu $1, $ra, $1
+; SHRINK-WRAP-PIC-NEXT: lw $ra, 0($sp)
+; SHRINK-WRAP-PIC-NEXT: jr $1
+; SHRINK-WRAP-PIC-NEXT: addiu $sp, $sp, 8
+; SHRINK-WRAP-PIC-NEXT: $BB1_3: # %if.then
+; SHRINK-WRAP-PIC-NEXT: addiu $sp, $sp, -24
+; SHRINK-WRAP-PIC-NEXT: .cfi_def_cfa_offset 24
+; SHRINK-WRAP-PIC-NEXT: sw $ra, 20($sp) # 4-byte Folded Spill
+; SHRINK-WRAP-PIC-NEXT: .cfi_offset 31, -4
+; SHRINK-WRAP-PIC-NEXT: #APP
+;
+; NO-SHRINK-WRAP-PIC-LABEL: foo2:
+; NO-SHRINK-WRAP-PIC: # %bb.0:
+; NO-SHRINK-WRAP-PIC-NEXT: lui $2, %hi(_gp_disp)
+; NO-SHRINK-WRAP-PIC-NEXT: addiu $2, $2, %lo(_gp_disp)
+; NO-SHRINK-WRAP-PIC-NEXT: addiu $sp, $sp, -24
+; NO-SHRINK-WRAP-PIC-NEXT: .cfi_def_cfa_offset 24
+; NO-SHRINK-WRAP-PIC-NEXT: sw $ra, 20($sp) # 4-byte Folded Spill
+; NO-SHRINK-WRAP-PIC-NEXT: .cfi_offset 31, -4
+; NO-SHRINK-WRAP-PIC-NEXT: addiu $1, $zero, 4
+; NO-SHRINK-WRAP-PIC-NEXT: bne $4, $1, $BB1_3
+; NO-SHRINK-WRAP-PIC-NEXT: addu $gp, $2, $25
+; NO-SHRINK-WRAP-PIC-NEXT: # %bb.1:
+; NO-SHRINK-WRAP-PIC-NEXT: addiu $sp, $sp, -8
+; NO-SHRINK-WRAP-PIC-NEXT: sw $ra, 0($sp)
+; NO-SHRINK-WRAP-PIC-NEXT: lui $1, %hi(($BB1_4)-($BB1_2))
+; NO-SHRINK-WRAP-PIC-NEXT: bal $BB1_2
+; NO-SHRINK-WRAP-PIC-NEXT: addiu $1, $1, %lo(($BB1_4)-($BB1_2))
+; NO-SHRINK-WRAP-PIC-NEXT: $BB1_2:
+; NO-SHRINK-WRAP-PIC-NEXT: addu $1, $ra, $1
+; NO-SHRINK-WRAP-PIC-NEXT: lw $ra, 0($sp)
+; NO-SHRINK-WRAP-PIC-NEXT: jr $1
+; NO-SHRINK-WRAP-PIC-NEXT: addiu $sp, $sp, 8
+; NO-SHRINK-WRAP-PIC-NEXT: $BB1_3: # %if.then
+; NO-SHRINK-WRAP-PIC-NEXT: #APP
+;
+; SHRINK-WRAP-64-STATIC-LABEL: foo2:
+; SHRINK-WRAP-64-STATIC: # %bb.0:
+; SHRINK-WRAP-64-STATIC-NEXT: addiu $1, $zero, 4
+; SHRINK-WRAP-64-STATIC-NEXT: bne $4, $1, .LBB1_2
+; SHRINK-WRAP-64-STATIC-NEXT: nop
+; SHRINK-WRAP-64-STATIC-NEXT: # %bb.1:
+; SHRINK-WRAP-64-STATIC-NEXT: j .LBB1_3
+; SHRINK-WRAP-64-STATIC-NEXT: nop
+; SHRINK-WRAP-64-STATIC-NEXT: .LBB1_2: # %if.then
+; SHRINK-WRAP-64-STATIC-NEXT: daddiu $sp, $sp, -16
+; SHRINK-WRAP-64-STATIC-NEXT: .cfi_def_cfa_offset 16
+; SHRINK-WRAP-64-STATIC-NEXT: sd $ra, 8($sp) # 8-byte Folded Spill
+; SHRINK-WRAP-64-STATIC-NEXT: .cfi_offset 31, -8
+; SHRINK-WRAP-64-STATIC-NEXT: sll $4, $4, 0
+; SHRINK-WRAP-64-STATIC-NEXT: #APP
+;
+; NO-SHRINK-WRAP-64-STATIC-LABEL: foo2:
+; NO-SHRINK-WRAP-64-STATIC: # %bb.0:
+; NO-SHRINK-WRAP-64-STATIC-NEXT: daddiu $sp, $sp, -16
+; NO-SHRINK-WRAP-64-STATIC-NEXT: .cfi_def_cfa_offset 16
+; NO-SHRINK-WRAP-64-STATIC-NEXT: sd $ra, 8($sp) # 8-byte Folded Spill
+; NO-SHRINK-WRAP-64-STATIC-NEXT: .cfi_offset 31, -8
+; NO-SHRINK-WRAP-64-STATIC-NEXT: addiu $1, $zero, 4
+; NO-SHRINK-WRAP-64-STATIC-NEXT: bne $4, $1, .LBB1_2
+; NO-SHRINK-WRAP-64-STATIC-NEXT: nop
+; NO-SHRINK-WRAP-64-STATIC-NEXT: # %bb.1:
+; NO-SHRINK-WRAP-64-STATIC-NEXT: j .LBB1_3
+; NO-SHRINK-WRAP-64-STATIC-NEXT: nop
+; NO-SHRINK-WRAP-64-STATIC-NEXT: .LBB1_2: # %if.then
+; NO-SHRINK-WRAP-64-STATIC-NEXT: sll $4, $4, 0
+; NO-SHRINK-WRAP-64-STATIC-NEXT: #APP
+;
+; SHRINK-WRAP-64-PIC-LABEL: foo2:
+; SHRINK-WRAP-64-PIC: # %bb.0:
+; SHRINK-WRAP-64-PIC-NEXT: lui $1, %hi(%neg(%gp_rel(foo2)))
+; SHRINK-WRAP-64-PIC-NEXT: daddu $2, $1, $25
+; SHRINK-WRAP-64-PIC-NEXT: addiu $1, $zero, 4
+; SHRINK-WRAP-64-PIC-NEXT: bne $4, $1, .LBB1_3
+; SHRINK-WRAP-64-PIC-NEXT: nop
+; SHRINK-WRAP-64-PIC-NEXT: # %bb.1:
+; SHRINK-WRAP-64-PIC-NEXT: daddiu $sp, $sp, -16
+; SHRINK-WRAP-64-PIC-NEXT: sd $ra, 0($sp)
+; SHRINK-WRAP-64-PIC-NEXT: daddiu $1, $zero, %hi(.LBB1_4-.LBB1_2)
+; SHRINK-WRAP-64-PIC-NEXT: dsll $1, $1, 16
+; SHRINK-WRAP-64-PIC-NEXT: bal .LBB1_2
+; SHRINK-WRAP-64-PIC-NEXT: daddiu $1, $1, %lo(.LBB1_4-.LBB1_2)
+; SHRINK-WRAP-64-PIC-NEXT: .LBB1_2:
+; SHRINK-WRAP-64-PIC-NEXT: daddu $1, $ra, $1
+; SHRINK-WRAP-64-PIC-NEXT: ld $ra, 0($sp)
+; SHRINK-WRAP-64-PIC-NEXT: jr $1
+; SHRINK-WRAP-64-PIC-NEXT: daddiu $sp, $sp, 16
+; SHRINK-WRAP-64-PIC-NEXT: .LBB1_3: # %if.then
+; SHRINK-WRAP-64-PIC-NEXT: daddiu $sp, $sp, -16
+; SHRINK-WRAP-64-PIC-NEXT: .cfi_def_cfa_offset 16
+; SHRINK-WRAP-64-PIC-NEXT: sd $ra, 8($sp) # 8-byte Folded Spill
+; SHRINK-WRAP-64-PIC-NEXT: sd $gp, 0($sp) # 8-byte Folded Spill
+; SHRINK-WRAP-64-PIC-NEXT: .cfi_offset 31, -8
+; SHRINK-WRAP-64-PIC-NEXT: .cfi_offset 28, -16
+; SHRINK-WRAP-64-PIC-NEXT: daddiu $gp, $2, %lo(%neg(%gp_rel(foo2)))
+; SHRINK-WRAP-64-PIC-NEXT: sll $4, $4, 0
+; SHRINK-WRAP-64-PIC-NEXT: #APP
+;
+; NO-SHRINK-WRAP-64-PIC-LABEL: foo2:
+; NO-SHRINK-WRAP-64-PIC: # %bb.0:
+; NO-SHRINK-WRAP-64-PIC-NEXT: daddiu $sp, $sp, -16
+; NO-SHRINK-WRAP-64-PIC-NEXT: .cfi_def_cfa_offset 16
+; NO-SHRINK-WRAP-64-PIC-NEXT: sd $ra, 8($sp) # 8-byte Folded Spill
+; NO-SHRINK-WRAP-64-PIC-NEXT: sd $gp, 0($sp) # 8-byte Folded Spill
+; NO-SHRINK-WRAP-64-PIC-NEXT: .cfi_offset 31, -8
+; NO-SHRINK-WRAP-64-PIC-NEXT: .cfi_offset 28, -16
+; NO-SHRINK-WRAP-64-PIC-NEXT: lui $1, %hi(%neg(%gp_rel(foo2)))
+; NO-SHRINK-WRAP-64-PIC-NEXT: daddu $2, $1, $25
+; NO-SHRINK-WRAP-64-PIC-NEXT: addiu $1, $zero, 4
+; NO-SHRINK-WRAP-64-PIC-NEXT: bne $4, $1, .LBB1_3
+; NO-SHRINK-WRAP-64-PIC-NEXT: nop
+; NO-SHRINK-WRAP-64-PIC-NEXT: # %bb.1:
+; NO-SHRINK-WRAP-64-PIC-NEXT: daddiu $sp, $sp, -16
+; NO-SHRINK-WRAP-64-PIC-NEXT: sd $ra, 0($sp)
+; NO-SHRINK-WRAP-64-PIC-NEXT: daddiu $1, $zero, %hi(.LBB1_4-.LBB1_2)
+; NO-SHRINK-WRAP-64-PIC-NEXT: dsll $1, $1, 16
+; NO-SHRINK-WRAP-64-PIC-NEXT: bal .LBB1_2
+; NO-SHRINK-WRAP-64-PIC-NEXT: daddiu $1, $1, %lo(.LBB1_4-.LBB1_2)
+; NO-SHRINK-WRAP-64-PIC-NEXT: .LBB1_2:
+; NO-SHRINK-WRAP-64-PIC-NEXT: daddu $1, $ra, $1
+; NO-SHRINK-WRAP-64-PIC-NEXT: ld $ra, 0($sp)
+; NO-SHRINK-WRAP-64-PIC-NEXT: jr $1
+; NO-SHRINK-WRAP-64-PIC-NEXT: daddiu $sp, $sp, 16
+; NO-SHRINK-WRAP-64-PIC-NEXT: .LBB1_3: # %if.then
+; NO-SHRINK-WRAP-64-PIC-NEXT: daddiu $gp, $2, %lo(%neg(%gp_rel(foo2)))
+; NO-SHRINK-WRAP-64-PIC-NEXT: sll $4, $4, 0
+; NO-SHRINK-WRAP-64-PIC-NEXT: #APP
+ %1 = icmp ne i32 %a, 4
+ br i1 %1, label %if.then, label %if.end
+
+if.then:
+ call void asm sideeffect ".space 1048576", "~{$1}"()
+ call void @f(i32 signext %a)
+ br label %if.end
+
+if.end:
+ ret i32 0
+}
OpenPOWER on IntegriCloud