mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-07-21 18:29:45 +00:00
Make register Mips::RA allocatable if not in mips16 mode.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@159971 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
655b5a48b9
commit
182ef6fcaa
@ -15,6 +15,11 @@ class Mips16Pat<dag pattern, dag result> : Pat<pattern, result> {
|
|||||||
let Predicates = [InMips16Mode];
|
let Predicates = [InMips16Mode];
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// Mips16 pseudos
|
||||||
|
let isReturn=1, isTerminator=1, hasDelaySlot=1, isBarrier=1, hasCtrlDep=1,
|
||||||
|
hasExtraSrcRegAllocReq = 1 in
|
||||||
|
def RetRA16 : MipsPseudo16<(outs), (ins), "", [(MipsRet)]>;
|
||||||
|
|
||||||
def LI16E : FEXT_RI16<0b01101, (outs CPU16Regs:$rx),
|
def LI16E : FEXT_RI16<0b01101, (outs CPU16Regs:$rx),
|
||||||
(ins uimm16:$amt),
|
(ins uimm16:$amt),
|
||||||
!strconcat("li", "\t$rx, $amt"),
|
!strconcat("li", "\t$rx, $amt"),
|
||||||
@ -22,9 +27,8 @@ def LI16E : FEXT_RI16<0b01101, (outs CPU16Regs:$rx),
|
|||||||
|
|
||||||
let isReturn=1, isTerminator=1, hasDelaySlot=1, isCodeGenOnly=1,
|
let isReturn=1, isTerminator=1, hasDelaySlot=1, isCodeGenOnly=1,
|
||||||
isBarrier=1, hasCtrlDep=1, rx=0, nd=0, l=0, ra=0 in
|
isBarrier=1, hasCtrlDep=1, rx=0, nd=0, l=0, ra=0 in
|
||||||
def RET16 : FRR16_JALRC
|
def RET16 : FRR16_JALRC<(outs), (ins CPURAReg:$target), "jr\t$target", [],
|
||||||
< (outs), (ins CPURAReg:$target),
|
IIBranch>;
|
||||||
"jr\t$target", [(MipsRet CPURAReg:$target)], IIBranch>;
|
|
||||||
|
|
||||||
// As stack alignment is always done with addiu, we need a 16-bit immediate
|
// As stack alignment is always done with addiu, we need a 16-bit immediate
|
||||||
let Defs = [SP], Uses = [SP] in {
|
let Defs = [SP], Uses = [SP] in {
|
||||||
|
@ -168,7 +168,7 @@ def SCD_P8 : SCBase<0x3c, "scd", CPU64Regs, mem64>,
|
|||||||
}
|
}
|
||||||
|
|
||||||
/// Jump and Branch Instructions
|
/// Jump and Branch Instructions
|
||||||
def JR64 : JumpFR<0x00, 0x08, "jr", CPU64Regs>;
|
def JR64 : IndirectBranch<CPU64Regs>;
|
||||||
def BEQ64 : CBranch<0x04, "beq", seteq, CPU64Regs>;
|
def BEQ64 : CBranch<0x04, "beq", seteq, CPU64Regs>;
|
||||||
def BNE64 : CBranch<0x05, "bne", setne, CPU64Regs>;
|
def BNE64 : CBranch<0x05, "bne", setne, CPU64Regs>;
|
||||||
def BGEZ64 : CBranchZero<0x01, 1, "bgez", setge, CPU64Regs>;
|
def BGEZ64 : CBranchZero<0x01, 1, "bgez", setge, CPU64Regs>;
|
||||||
|
@ -261,16 +261,28 @@ processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
|
|||||||
// Mark $fp and $ra as used or unused.
|
// Mark $fp and $ra as used or unused.
|
||||||
if (hasFP(MF))
|
if (hasFP(MF))
|
||||||
MRI.setPhysRegUsed(FP);
|
MRI.setPhysRegUsed(FP);
|
||||||
|
}
|
||||||
// The register allocator might determine $ra is used after seeing
|
|
||||||
// instruction "jr $ra", but we do not want PrologEpilogInserter to insert
|
bool MipsFrameLowering::
|
||||||
// instructions to save/restore $ra unless there is a function call.
|
spillCalleeSavedRegisters(MachineBasicBlock &MBB,
|
||||||
// To correct this, $ra is explicitly marked unused if there is no
|
MachineBasicBlock::iterator MI,
|
||||||
// function call.
|
const std::vector<CalleeSavedInfo> &CSI,
|
||||||
if (MF.getFrameInfo()->hasCalls())
|
const TargetRegisterInfo *TRI) const {
|
||||||
MRI.setPhysRegUsed(Mips::RA);
|
MachineFunction *MF = MBB.getParent();
|
||||||
else {
|
MachineBasicBlock *EntryBlock = MF->begin();
|
||||||
MRI.setPhysRegUnused(Mips::RA);
|
const TargetInstrInfo &TII = *MF->getTarget().getInstrInfo();
|
||||||
MRI.setPhysRegUnused(Mips::RA_64);
|
|
||||||
}
|
for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
|
||||||
|
// Add the callee-saved register as live-in.
|
||||||
|
// It's killed at the spill.
|
||||||
|
EntryBlock->addLiveIn(CSI[i].getReg());
|
||||||
|
|
||||||
|
// Insert the spill to the stack frame.
|
||||||
|
unsigned Reg = CSI[i].getReg();
|
||||||
|
const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
|
||||||
|
TII.storeRegToStackSlot(*EntryBlock, MI, Reg, true,
|
||||||
|
CSI[i].getFrameIdx(), RC, TRI);
|
||||||
|
}
|
||||||
|
|
||||||
|
return true;
|
||||||
}
|
}
|
||||||
|
@ -38,6 +38,11 @@ public:
|
|||||||
void emitPrologue(MachineFunction &MF) const;
|
void emitPrologue(MachineFunction &MF) const;
|
||||||
void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const;
|
void emitEpilogue(MachineFunction &MF, MachineBasicBlock &MBB) const;
|
||||||
|
|
||||||
|
bool spillCalleeSavedRegisters(MachineBasicBlock &MBB,
|
||||||
|
MachineBasicBlock::iterator MI,
|
||||||
|
const std::vector<CalleeSavedInfo> &CSI,
|
||||||
|
const TargetRegisterInfo *TRI) const;
|
||||||
|
|
||||||
bool hasFP(const MachineFunction &MF) const;
|
bool hasFP(const MachineFunction &MF) const;
|
||||||
|
|
||||||
void processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
|
void processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
|
||||||
|
@ -3253,11 +3253,10 @@ MipsTargetLowering::LowerReturn(SDValue Chain,
|
|||||||
|
|
||||||
// Return on Mips is always a "jr $ra"
|
// Return on Mips is always a "jr $ra"
|
||||||
if (Flag.getNode())
|
if (Flag.getNode())
|
||||||
return DAG.getNode(MipsISD::Ret, dl, MVT::Other,
|
return DAG.getNode(MipsISD::Ret, dl, MVT::Other, Chain, Flag);
|
||||||
Chain, DAG.getRegister(Mips::RA, MVT::i32), Flag);
|
|
||||||
else // Return Void
|
// Return Void
|
||||||
return DAG.getNode(MipsISD::Ret, dl, MVT::Other,
|
return DAG.getNode(MipsISD::Ret, dl, MVT::Other, Chain);
|
||||||
Chain, DAG.getRegister(Mips::RA, MVT::i32));
|
|
||||||
}
|
}
|
||||||
|
|
||||||
//===----------------------------------------------------------------------===//
|
//===----------------------------------------------------------------------===//
|
||||||
|
@ -233,6 +233,13 @@ loadRegFromStackSlot(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
|
|||||||
.addMemOperand(MMO);
|
.addMemOperand(MMO);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
void MipsInstrInfo::ExpandRetRA(MachineBasicBlock &MBB,
|
||||||
|
MachineBasicBlock::iterator I,
|
||||||
|
unsigned Opc) const {
|
||||||
|
BuildMI(MBB, I, I->getDebugLoc(), TM.getInstrInfo()->get(Opc))
|
||||||
|
.addReg(Mips::RA);
|
||||||
|
}
|
||||||
|
|
||||||
void MipsInstrInfo::ExpandExtractElementF64(MachineBasicBlock &MBB,
|
void MipsInstrInfo::ExpandExtractElementF64(MachineBasicBlock &MBB,
|
||||||
MachineBasicBlock::iterator I) const {
|
MachineBasicBlock::iterator I) const {
|
||||||
const TargetInstrInfo *TII = TM.getInstrInfo();
|
const TargetInstrInfo *TII = TM.getInstrInfo();
|
||||||
@ -272,6 +279,12 @@ bool MipsInstrInfo::expandPostRAPseudo(MachineBasicBlock::iterator MI) const {
|
|||||||
switch(MI->getDesc().getOpcode()) {
|
switch(MI->getDesc().getOpcode()) {
|
||||||
default:
|
default:
|
||||||
return false;
|
return false;
|
||||||
|
case Mips::RetRA:
|
||||||
|
ExpandRetRA(MBB, MI, Mips::RET);
|
||||||
|
break;
|
||||||
|
case Mips::RetRA16:
|
||||||
|
ExpandRetRA(MBB, MI, Mips::RET16);
|
||||||
|
break;
|
||||||
case Mips::BuildPairF64:
|
case Mips::BuildPairF64:
|
||||||
ExpandBuildPairF64(MBB, MI);
|
ExpandBuildPairF64(MBB, MI);
|
||||||
break;
|
break;
|
||||||
|
@ -63,6 +63,8 @@ public:
|
|||||||
virtual unsigned RemoveBranch(MachineBasicBlock &MBB) const;
|
virtual unsigned RemoveBranch(MachineBasicBlock &MBB) const;
|
||||||
|
|
||||||
private:
|
private:
|
||||||
|
void ExpandRetRA(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
|
||||||
|
unsigned Opc) const;
|
||||||
void BuildCondBr(MachineBasicBlock &MBB, MachineBasicBlock *TBB, DebugLoc DL,
|
void BuildCondBr(MachineBasicBlock &MBB, MachineBasicBlock *TBB, DebugLoc DL,
|
||||||
const SmallVectorImpl<MachineOperand>& Cond) const;
|
const SmallVectorImpl<MachineOperand>& Cond) const;
|
||||||
void ExpandExtractElementF64(MachineBasicBlock &MBB,
|
void ExpandExtractElementF64(MachineBasicBlock &MBB,
|
||||||
|
@ -16,7 +16,6 @@
|
|||||||
// Mips profiles and nodes
|
// Mips profiles and nodes
|
||||||
//===----------------------------------------------------------------------===//
|
//===----------------------------------------------------------------------===//
|
||||||
|
|
||||||
def SDT_MipsRet : SDTypeProfile<0, 1, [SDTCisInt<0>]>;
|
|
||||||
def SDT_MipsJmpLink : SDTypeProfile<0, 1, [SDTCisVT<0, iPTR>]>;
|
def SDT_MipsJmpLink : SDTypeProfile<0, 1, [SDTCisVT<0, iPTR>]>;
|
||||||
def SDT_MipsCMov : SDTypeProfile<1, 4, [SDTCisSameAs<0, 1>,
|
def SDT_MipsCMov : SDTypeProfile<1, 4, [SDTCisSameAs<0, 1>,
|
||||||
SDTCisSameAs<1, 2>,
|
SDTCisSameAs<1, 2>,
|
||||||
@ -71,8 +70,7 @@ def MipsTprelLo : SDNode<"MipsISD::TprelLo", SDTIntUnaryOp>;
|
|||||||
def MipsThreadPointer: SDNode<"MipsISD::ThreadPointer", SDT_MipsThreadPointer>;
|
def MipsThreadPointer: SDNode<"MipsISD::ThreadPointer", SDT_MipsThreadPointer>;
|
||||||
|
|
||||||
// Return
|
// Return
|
||||||
def MipsRet : SDNode<"MipsISD::Ret", SDT_MipsRet, [SDNPHasChain,
|
def MipsRet : SDNode<"MipsISD::Ret", SDTNone, [SDNPHasChain, SDNPOptInGlue]>;
|
||||||
SDNPOptInGlue]>;
|
|
||||||
|
|
||||||
// These are target-independent nodes, but have target-specific formats.
|
// These are target-independent nodes, but have target-specific formats.
|
||||||
def callseq_start : SDNode<"ISD::CALLSEQ_START", SDT_MipsCallSeqStart,
|
def callseq_start : SDNode<"ISD::CALLSEQ_START", SDT_MipsCallSeqStart,
|
||||||
@ -625,18 +623,31 @@ class UncondBranch<bits<6> op, string instr_asm>:
|
|||||||
let Defs = [AT];
|
let Defs = [AT];
|
||||||
}
|
}
|
||||||
|
|
||||||
let isBranch=1, isTerminator=1, isBarrier=1, rd=0, hasDelaySlot = 1,
|
// Base class for indirect branch and return instruction classes.
|
||||||
isIndirectBranch = 1 in
|
let isTerminator=1, isBarrier=1, hasDelaySlot = 1 in
|
||||||
class JumpFR<bits<6> op, bits<6> func, string instr_asm, RegisterClass RC>:
|
class JumpFR<RegisterClass RC, list<dag> pattern>:
|
||||||
FR<op, func, (outs), (ins RC:$rs),
|
FR<0, 0x8, (outs), (ins RC:$rs), "jr\t$rs", pattern, IIBranch> {
|
||||||
!strconcat(instr_asm, "\t$rs"), [(brind RC:$rs)], IIBranch> {
|
|
||||||
let rt = 0;
|
let rt = 0;
|
||||||
let rd = 0;
|
let rd = 0;
|
||||||
let shamt = 0;
|
let shamt = 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
// Indirect branch
|
||||||
|
class IndirectBranch<RegisterClass RC>: JumpFR<RC, [(brind RC:$rs)]> {
|
||||||
|
let isBranch = 1;
|
||||||
|
let isIndirectBranch = 1;
|
||||||
|
}
|
||||||
|
|
||||||
|
// Return instruction
|
||||||
|
class RetBase<RegisterClass RC>: JumpFR<RC, []> {
|
||||||
|
let isReturn = 1;
|
||||||
|
let isCodeGenOnly = 1;
|
||||||
|
let hasCtrlDep = 1;
|
||||||
|
let hasExtraSrcRegAllocReq = 1;
|
||||||
|
}
|
||||||
|
|
||||||
// Jump and Link (Call)
|
// Jump and Link (Call)
|
||||||
let isCall=1, hasDelaySlot=1 in {
|
let isCall=1, hasDelaySlot=1, Defs = [RA] in {
|
||||||
class JumpLink<bits<6> op, string instr_asm>:
|
class JumpLink<bits<6> op, string instr_asm>:
|
||||||
FJ<op, (outs), (ins calltarget:$target, variable_ops),
|
FJ<op, (outs), (ins calltarget:$target, variable_ops),
|
||||||
!strconcat(instr_asm, "\t$target"), [(MipsJmpLink imm:$target)],
|
!strconcat(instr_asm, "\t$target"), [(MipsJmpLink imm:$target)],
|
||||||
@ -838,6 +849,10 @@ class SCBase<bits<6> Opc, string opstring, RegisterClass RC, Operand Mem> :
|
|||||||
// Pseudo instructions
|
// Pseudo instructions
|
||||||
//===----------------------------------------------------------------------===//
|
//===----------------------------------------------------------------------===//
|
||||||
|
|
||||||
|
// Return RA.
|
||||||
|
let isReturn=1, isTerminator=1, hasDelaySlot=1, isBarrier=1, hasCtrlDep=1 in
|
||||||
|
def RetRA : MipsPseudo<(outs), (ins), "", [(MipsRet)]>;
|
||||||
|
|
||||||
// As stack alignment is always done with addiu, we need a 16-bit immediate
|
// As stack alignment is always done with addiu, we need a 16-bit immediate
|
||||||
let Defs = [SP], Uses = [SP] in {
|
let Defs = [SP], Uses = [SP] in {
|
||||||
def ADJCALLSTACKDOWN : MipsPseudo<(outs), (ins uimm16:$amt),
|
def ADJCALLSTACKDOWN : MipsPseudo<(outs), (ins uimm16:$amt),
|
||||||
@ -981,7 +996,7 @@ def SC_P8 : SCBase<0x38, "sc", CPURegs, mem64>,
|
|||||||
|
|
||||||
/// Jump and Branch Instructions
|
/// Jump and Branch Instructions
|
||||||
def J : JumpFJ<0x02, "j">;
|
def J : JumpFJ<0x02, "j">;
|
||||||
def JR : JumpFR<0x00, 0x08, "jr", CPURegs>;
|
def JR : IndirectBranch<CPURegs>;
|
||||||
def B : UncondBranch<0x04, "b">;
|
def B : UncondBranch<0x04, "b">;
|
||||||
def BEQ : CBranch<0x04, "beq", seteq, CPURegs>;
|
def BEQ : CBranch<0x04, "beq", seteq, CPURegs>;
|
||||||
def BNE : CBranch<0x05, "bne", setne, CPURegs>;
|
def BNE : CBranch<0x05, "bne", setne, CPURegs>;
|
||||||
@ -995,10 +1010,7 @@ def JALR : JumpLinkReg<0x00, 0x09, "jalr", CPURegs>;
|
|||||||
def BGEZAL : BranchLink<"bgezal", 0x11, CPURegs>;
|
def BGEZAL : BranchLink<"bgezal", 0x11, CPURegs>;
|
||||||
def BLTZAL : BranchLink<"bltzal", 0x10, CPURegs>;
|
def BLTZAL : BranchLink<"bltzal", 0x10, CPURegs>;
|
||||||
|
|
||||||
let isReturn=1, isTerminator=1, hasDelaySlot=1, isCodeGenOnly=1,
|
def RET : RetBase<CPURegs>;
|
||||||
isBarrier=1, hasCtrlDep=1, rd=0, rt=0, shamt=0 in
|
|
||||||
def RET : FR <0x00, 0x08, (outs), (ins CPURegs:$target),
|
|
||||||
"jr\t$target", [(MipsRet CPURegs:$target)], IIBranch>;
|
|
||||||
|
|
||||||
/// Multiply and Divide Instructions.
|
/// Multiply and Divide Instructions.
|
||||||
def MULT : Mult32<0x18, "mult", IIImul>;
|
def MULT : Mult32<0x18, "mult", IIImul>;
|
||||||
|
@ -83,13 +83,11 @@ MipsRegisterInfo::getCallPreservedMask(CallingConv::ID) const {
|
|||||||
BitVector MipsRegisterInfo::
|
BitVector MipsRegisterInfo::
|
||||||
getReservedRegs(const MachineFunction &MF) const {
|
getReservedRegs(const MachineFunction &MF) const {
|
||||||
static const uint16_t ReservedCPURegs[] = {
|
static const uint16_t ReservedCPURegs[] = {
|
||||||
Mips::ZERO, Mips::AT, Mips::K0, Mips::K1,
|
Mips::ZERO, Mips::AT, Mips::K0, Mips::K1, Mips::SP
|
||||||
Mips::SP, Mips::RA
|
|
||||||
};
|
};
|
||||||
|
|
||||||
static const uint16_t ReservedCPU64Regs[] = {
|
static const uint16_t ReservedCPU64Regs[] = {
|
||||||
Mips::ZERO_64, Mips::AT_64, Mips::K0_64, Mips::K1_64,
|
Mips::ZERO_64, Mips::AT_64, Mips::K0_64, Mips::K1_64, Mips::SP_64
|
||||||
Mips::SP_64, Mips::RA_64
|
|
||||||
};
|
};
|
||||||
|
|
||||||
BitVector Reserved(getNumRegs());
|
BitVector Reserved(getNumRegs());
|
||||||
@ -127,6 +125,12 @@ getReservedRegs(const MachineFunction &MF) const {
|
|||||||
Reserved.set(Mips::HWR29);
|
Reserved.set(Mips::HWR29);
|
||||||
Reserved.set(Mips::HWR29_64);
|
Reserved.set(Mips::HWR29_64);
|
||||||
|
|
||||||
|
// Reserve RA if in mips16 mode.
|
||||||
|
if (Subtarget.inMips16Mode()) {
|
||||||
|
Reserved.set(Mips::RA);
|
||||||
|
Reserved.set(Mips::RA_64);
|
||||||
|
}
|
||||||
|
|
||||||
return Reserved;
|
return Reserved;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
288
test/CodeGen/Mips/ra-allocatable.ll
Normal file
288
test/CodeGen/Mips/ra-allocatable.ll
Normal file
@ -0,0 +1,288 @@
|
|||||||
|
; RUN: llc < %s -march=mipsel | FileCheck %s
|
||||||
|
|
||||||
|
@a0 = external global i32
|
||||||
|
@b0 = external global i32*
|
||||||
|
@a1 = external global i32
|
||||||
|
@b1 = external global i32*
|
||||||
|
@a2 = external global i32
|
||||||
|
@b2 = external global i32*
|
||||||
|
@a3 = external global i32
|
||||||
|
@b3 = external global i32*
|
||||||
|
@a4 = external global i32
|
||||||
|
@b4 = external global i32*
|
||||||
|
@a5 = external global i32
|
||||||
|
@b5 = external global i32*
|
||||||
|
@a6 = external global i32
|
||||||
|
@b6 = external global i32*
|
||||||
|
@a7 = external global i32
|
||||||
|
@b7 = external global i32*
|
||||||
|
@a8 = external global i32
|
||||||
|
@b8 = external global i32*
|
||||||
|
@a9 = external global i32
|
||||||
|
@b9 = external global i32*
|
||||||
|
@a10 = external global i32
|
||||||
|
@b10 = external global i32*
|
||||||
|
@a11 = external global i32
|
||||||
|
@b11 = external global i32*
|
||||||
|
@a12 = external global i32
|
||||||
|
@b12 = external global i32*
|
||||||
|
@a13 = external global i32
|
||||||
|
@b13 = external global i32*
|
||||||
|
@a14 = external global i32
|
||||||
|
@b14 = external global i32*
|
||||||
|
@a15 = external global i32
|
||||||
|
@b15 = external global i32*
|
||||||
|
@a16 = external global i32
|
||||||
|
@b16 = external global i32*
|
||||||
|
@a17 = external global i32
|
||||||
|
@b17 = external global i32*
|
||||||
|
@a18 = external global i32
|
||||||
|
@b18 = external global i32*
|
||||||
|
@a19 = external global i32
|
||||||
|
@b19 = external global i32*
|
||||||
|
@a20 = external global i32
|
||||||
|
@b20 = external global i32*
|
||||||
|
@a21 = external global i32
|
||||||
|
@b21 = external global i32*
|
||||||
|
@a22 = external global i32
|
||||||
|
@b22 = external global i32*
|
||||||
|
@a23 = external global i32
|
||||||
|
@b23 = external global i32*
|
||||||
|
@a24 = external global i32
|
||||||
|
@b24 = external global i32*
|
||||||
|
@a25 = external global i32
|
||||||
|
@b25 = external global i32*
|
||||||
|
@a26 = external global i32
|
||||||
|
@b26 = external global i32*
|
||||||
|
@a27 = external global i32
|
||||||
|
@b27 = external global i32*
|
||||||
|
@a28 = external global i32
|
||||||
|
@b28 = external global i32*
|
||||||
|
@a29 = external global i32
|
||||||
|
@b29 = external global i32*
|
||||||
|
@c0 = external global i32*
|
||||||
|
@c1 = external global i32*
|
||||||
|
@c2 = external global i32*
|
||||||
|
@c3 = external global i32*
|
||||||
|
@c4 = external global i32*
|
||||||
|
@c5 = external global i32*
|
||||||
|
@c6 = external global i32*
|
||||||
|
@c7 = external global i32*
|
||||||
|
@c8 = external global i32*
|
||||||
|
@c9 = external global i32*
|
||||||
|
@c10 = external global i32*
|
||||||
|
@c11 = external global i32*
|
||||||
|
@c12 = external global i32*
|
||||||
|
@c13 = external global i32*
|
||||||
|
@c14 = external global i32*
|
||||||
|
@c15 = external global i32*
|
||||||
|
@c16 = external global i32*
|
||||||
|
@c17 = external global i32*
|
||||||
|
@c18 = external global i32*
|
||||||
|
@c19 = external global i32*
|
||||||
|
@c20 = external global i32*
|
||||||
|
@c21 = external global i32*
|
||||||
|
@c22 = external global i32*
|
||||||
|
@c23 = external global i32*
|
||||||
|
@c24 = external global i32*
|
||||||
|
@c25 = external global i32*
|
||||||
|
@c26 = external global i32*
|
||||||
|
@c27 = external global i32*
|
||||||
|
@c28 = external global i32*
|
||||||
|
@c29 = external global i32*
|
||||||
|
|
||||||
|
define i32 @f1() nounwind {
|
||||||
|
entry:
|
||||||
|
; CHECK: sw $ra, {{[0-9]+}}($sp) # 4-byte Folded Spill
|
||||||
|
; CHECK: $ra
|
||||||
|
; CHECK: lw $ra, {{[0-9]+}}($sp) # 4-byte Folded Reload
|
||||||
|
; CHECK: jr $ra
|
||||||
|
|
||||||
|
%0 = load i32* @a0, align 4, !tbaa !0
|
||||||
|
%1 = load i32** @b0, align 4, !tbaa !3
|
||||||
|
store i32 %0, i32* %1, align 4, !tbaa !0
|
||||||
|
%2 = load i32* @a1, align 4, !tbaa !0
|
||||||
|
%3 = load i32** @b1, align 4, !tbaa !3
|
||||||
|
store i32 %2, i32* %3, align 4, !tbaa !0
|
||||||
|
%4 = load i32* @a2, align 4, !tbaa !0
|
||||||
|
%5 = load i32** @b2, align 4, !tbaa !3
|
||||||
|
store i32 %4, i32* %5, align 4, !tbaa !0
|
||||||
|
%6 = load i32* @a3, align 4, !tbaa !0
|
||||||
|
%7 = load i32** @b3, align 4, !tbaa !3
|
||||||
|
store i32 %6, i32* %7, align 4, !tbaa !0
|
||||||
|
%8 = load i32* @a4, align 4, !tbaa !0
|
||||||
|
%9 = load i32** @b4, align 4, !tbaa !3
|
||||||
|
store i32 %8, i32* %9, align 4, !tbaa !0
|
||||||
|
%10 = load i32* @a5, align 4, !tbaa !0
|
||||||
|
%11 = load i32** @b5, align 4, !tbaa !3
|
||||||
|
store i32 %10, i32* %11, align 4, !tbaa !0
|
||||||
|
%12 = load i32* @a6, align 4, !tbaa !0
|
||||||
|
%13 = load i32** @b6, align 4, !tbaa !3
|
||||||
|
store i32 %12, i32* %13, align 4, !tbaa !0
|
||||||
|
%14 = load i32* @a7, align 4, !tbaa !0
|
||||||
|
%15 = load i32** @b7, align 4, !tbaa !3
|
||||||
|
store i32 %14, i32* %15, align 4, !tbaa !0
|
||||||
|
%16 = load i32* @a8, align 4, !tbaa !0
|
||||||
|
%17 = load i32** @b8, align 4, !tbaa !3
|
||||||
|
store i32 %16, i32* %17, align 4, !tbaa !0
|
||||||
|
%18 = load i32* @a9, align 4, !tbaa !0
|
||||||
|
%19 = load i32** @b9, align 4, !tbaa !3
|
||||||
|
store i32 %18, i32* %19, align 4, !tbaa !0
|
||||||
|
%20 = load i32* @a10, align 4, !tbaa !0
|
||||||
|
%21 = load i32** @b10, align 4, !tbaa !3
|
||||||
|
store i32 %20, i32* %21, align 4, !tbaa !0
|
||||||
|
%22 = load i32* @a11, align 4, !tbaa !0
|
||||||
|
%23 = load i32** @b11, align 4, !tbaa !3
|
||||||
|
store i32 %22, i32* %23, align 4, !tbaa !0
|
||||||
|
%24 = load i32* @a12, align 4, !tbaa !0
|
||||||
|
%25 = load i32** @b12, align 4, !tbaa !3
|
||||||
|
store i32 %24, i32* %25, align 4, !tbaa !0
|
||||||
|
%26 = load i32* @a13, align 4, !tbaa !0
|
||||||
|
%27 = load i32** @b13, align 4, !tbaa !3
|
||||||
|
store i32 %26, i32* %27, align 4, !tbaa !0
|
||||||
|
%28 = load i32* @a14, align 4, !tbaa !0
|
||||||
|
%29 = load i32** @b14, align 4, !tbaa !3
|
||||||
|
store i32 %28, i32* %29, align 4, !tbaa !0
|
||||||
|
%30 = load i32* @a15, align 4, !tbaa !0
|
||||||
|
%31 = load i32** @b15, align 4, !tbaa !3
|
||||||
|
store i32 %30, i32* %31, align 4, !tbaa !0
|
||||||
|
%32 = load i32* @a16, align 4, !tbaa !0
|
||||||
|
%33 = load i32** @b16, align 4, !tbaa !3
|
||||||
|
store i32 %32, i32* %33, align 4, !tbaa !0
|
||||||
|
%34 = load i32* @a17, align 4, !tbaa !0
|
||||||
|
%35 = load i32** @b17, align 4, !tbaa !3
|
||||||
|
store i32 %34, i32* %35, align 4, !tbaa !0
|
||||||
|
%36 = load i32* @a18, align 4, !tbaa !0
|
||||||
|
%37 = load i32** @b18, align 4, !tbaa !3
|
||||||
|
store i32 %36, i32* %37, align 4, !tbaa !0
|
||||||
|
%38 = load i32* @a19, align 4, !tbaa !0
|
||||||
|
%39 = load i32** @b19, align 4, !tbaa !3
|
||||||
|
store i32 %38, i32* %39, align 4, !tbaa !0
|
||||||
|
%40 = load i32* @a20, align 4, !tbaa !0
|
||||||
|
%41 = load i32** @b20, align 4, !tbaa !3
|
||||||
|
store i32 %40, i32* %41, align 4, !tbaa !0
|
||||||
|
%42 = load i32* @a21, align 4, !tbaa !0
|
||||||
|
%43 = load i32** @b21, align 4, !tbaa !3
|
||||||
|
store i32 %42, i32* %43, align 4, !tbaa !0
|
||||||
|
%44 = load i32* @a22, align 4, !tbaa !0
|
||||||
|
%45 = load i32** @b22, align 4, !tbaa !3
|
||||||
|
store i32 %44, i32* %45, align 4, !tbaa !0
|
||||||
|
%46 = load i32* @a23, align 4, !tbaa !0
|
||||||
|
%47 = load i32** @b23, align 4, !tbaa !3
|
||||||
|
store i32 %46, i32* %47, align 4, !tbaa !0
|
||||||
|
%48 = load i32* @a24, align 4, !tbaa !0
|
||||||
|
%49 = load i32** @b24, align 4, !tbaa !3
|
||||||
|
store i32 %48, i32* %49, align 4, !tbaa !0
|
||||||
|
%50 = load i32* @a25, align 4, !tbaa !0
|
||||||
|
%51 = load i32** @b25, align 4, !tbaa !3
|
||||||
|
store i32 %50, i32* %51, align 4, !tbaa !0
|
||||||
|
%52 = load i32* @a26, align 4, !tbaa !0
|
||||||
|
%53 = load i32** @b26, align 4, !tbaa !3
|
||||||
|
store i32 %52, i32* %53, align 4, !tbaa !0
|
||||||
|
%54 = load i32* @a27, align 4, !tbaa !0
|
||||||
|
%55 = load i32** @b27, align 4, !tbaa !3
|
||||||
|
store i32 %54, i32* %55, align 4, !tbaa !0
|
||||||
|
%56 = load i32* @a28, align 4, !tbaa !0
|
||||||
|
%57 = load i32** @b28, align 4, !tbaa !3
|
||||||
|
store i32 %56, i32* %57, align 4, !tbaa !0
|
||||||
|
%58 = load i32* @a29, align 4, !tbaa !0
|
||||||
|
%59 = load i32** @b29, align 4, !tbaa !3
|
||||||
|
store i32 %58, i32* %59, align 4, !tbaa !0
|
||||||
|
%60 = load i32* @a0, align 4, !tbaa !0
|
||||||
|
%61 = load i32** @c0, align 4, !tbaa !3
|
||||||
|
store i32 %60, i32* %61, align 4, !tbaa !0
|
||||||
|
%62 = load i32* @a1, align 4, !tbaa !0
|
||||||
|
%63 = load i32** @c1, align 4, !tbaa !3
|
||||||
|
store i32 %62, i32* %63, align 4, !tbaa !0
|
||||||
|
%64 = load i32* @a2, align 4, !tbaa !0
|
||||||
|
%65 = load i32** @c2, align 4, !tbaa !3
|
||||||
|
store i32 %64, i32* %65, align 4, !tbaa !0
|
||||||
|
%66 = load i32* @a3, align 4, !tbaa !0
|
||||||
|
%67 = load i32** @c3, align 4, !tbaa !3
|
||||||
|
store i32 %66, i32* %67, align 4, !tbaa !0
|
||||||
|
%68 = load i32* @a4, align 4, !tbaa !0
|
||||||
|
%69 = load i32** @c4, align 4, !tbaa !3
|
||||||
|
store i32 %68, i32* %69, align 4, !tbaa !0
|
||||||
|
%70 = load i32* @a5, align 4, !tbaa !0
|
||||||
|
%71 = load i32** @c5, align 4, !tbaa !3
|
||||||
|
store i32 %70, i32* %71, align 4, !tbaa !0
|
||||||
|
%72 = load i32* @a6, align 4, !tbaa !0
|
||||||
|
%73 = load i32** @c6, align 4, !tbaa !3
|
||||||
|
store i32 %72, i32* %73, align 4, !tbaa !0
|
||||||
|
%74 = load i32* @a7, align 4, !tbaa !0
|
||||||
|
%75 = load i32** @c7, align 4, !tbaa !3
|
||||||
|
store i32 %74, i32* %75, align 4, !tbaa !0
|
||||||
|
%76 = load i32* @a8, align 4, !tbaa !0
|
||||||
|
%77 = load i32** @c8, align 4, !tbaa !3
|
||||||
|
store i32 %76, i32* %77, align 4, !tbaa !0
|
||||||
|
%78 = load i32* @a9, align 4, !tbaa !0
|
||||||
|
%79 = load i32** @c9, align 4, !tbaa !3
|
||||||
|
store i32 %78, i32* %79, align 4, !tbaa !0
|
||||||
|
%80 = load i32* @a10, align 4, !tbaa !0
|
||||||
|
%81 = load i32** @c10, align 4, !tbaa !3
|
||||||
|
store i32 %80, i32* %81, align 4, !tbaa !0
|
||||||
|
%82 = load i32* @a11, align 4, !tbaa !0
|
||||||
|
%83 = load i32** @c11, align 4, !tbaa !3
|
||||||
|
store i32 %82, i32* %83, align 4, !tbaa !0
|
||||||
|
%84 = load i32* @a12, align 4, !tbaa !0
|
||||||
|
%85 = load i32** @c12, align 4, !tbaa !3
|
||||||
|
store i32 %84, i32* %85, align 4, !tbaa !0
|
||||||
|
%86 = load i32* @a13, align 4, !tbaa !0
|
||||||
|
%87 = load i32** @c13, align 4, !tbaa !3
|
||||||
|
store i32 %86, i32* %87, align 4, !tbaa !0
|
||||||
|
%88 = load i32* @a14, align 4, !tbaa !0
|
||||||
|
%89 = load i32** @c14, align 4, !tbaa !3
|
||||||
|
store i32 %88, i32* %89, align 4, !tbaa !0
|
||||||
|
%90 = load i32* @a15, align 4, !tbaa !0
|
||||||
|
%91 = load i32** @c15, align 4, !tbaa !3
|
||||||
|
store i32 %90, i32* %91, align 4, !tbaa !0
|
||||||
|
%92 = load i32* @a16, align 4, !tbaa !0
|
||||||
|
%93 = load i32** @c16, align 4, !tbaa !3
|
||||||
|
store i32 %92, i32* %93, align 4, !tbaa !0
|
||||||
|
%94 = load i32* @a17, align 4, !tbaa !0
|
||||||
|
%95 = load i32** @c17, align 4, !tbaa !3
|
||||||
|
store i32 %94, i32* %95, align 4, !tbaa !0
|
||||||
|
%96 = load i32* @a18, align 4, !tbaa !0
|
||||||
|
%97 = load i32** @c18, align 4, !tbaa !3
|
||||||
|
store i32 %96, i32* %97, align 4, !tbaa !0
|
||||||
|
%98 = load i32* @a19, align 4, !tbaa !0
|
||||||
|
%99 = load i32** @c19, align 4, !tbaa !3
|
||||||
|
store i32 %98, i32* %99, align 4, !tbaa !0
|
||||||
|
%100 = load i32* @a20, align 4, !tbaa !0
|
||||||
|
%101 = load i32** @c20, align 4, !tbaa !3
|
||||||
|
store i32 %100, i32* %101, align 4, !tbaa !0
|
||||||
|
%102 = load i32* @a21, align 4, !tbaa !0
|
||||||
|
%103 = load i32** @c21, align 4, !tbaa !3
|
||||||
|
store i32 %102, i32* %103, align 4, !tbaa !0
|
||||||
|
%104 = load i32* @a22, align 4, !tbaa !0
|
||||||
|
%105 = load i32** @c22, align 4, !tbaa !3
|
||||||
|
store i32 %104, i32* %105, align 4, !tbaa !0
|
||||||
|
%106 = load i32* @a23, align 4, !tbaa !0
|
||||||
|
%107 = load i32** @c23, align 4, !tbaa !3
|
||||||
|
store i32 %106, i32* %107, align 4, !tbaa !0
|
||||||
|
%108 = load i32* @a24, align 4, !tbaa !0
|
||||||
|
%109 = load i32** @c24, align 4, !tbaa !3
|
||||||
|
store i32 %108, i32* %109, align 4, !tbaa !0
|
||||||
|
%110 = load i32* @a25, align 4, !tbaa !0
|
||||||
|
%111 = load i32** @c25, align 4, !tbaa !3
|
||||||
|
store i32 %110, i32* %111, align 4, !tbaa !0
|
||||||
|
%112 = load i32* @a26, align 4, !tbaa !0
|
||||||
|
%113 = load i32** @c26, align 4, !tbaa !3
|
||||||
|
store i32 %112, i32* %113, align 4, !tbaa !0
|
||||||
|
%114 = load i32* @a27, align 4, !tbaa !0
|
||||||
|
%115 = load i32** @c27, align 4, !tbaa !3
|
||||||
|
store i32 %114, i32* %115, align 4, !tbaa !0
|
||||||
|
%116 = load i32* @a28, align 4, !tbaa !0
|
||||||
|
%117 = load i32** @c28, align 4, !tbaa !3
|
||||||
|
store i32 %116, i32* %117, align 4, !tbaa !0
|
||||||
|
%118 = load i32* @a29, align 4, !tbaa !0
|
||||||
|
%119 = load i32** @c29, align 4, !tbaa !3
|
||||||
|
store i32 %118, i32* %119, align 4, !tbaa !0
|
||||||
|
%120 = load i32* @a0, align 4, !tbaa !0
|
||||||
|
ret i32 %120
|
||||||
|
}
|
||||||
|
|
||||||
|
!0 = metadata !{metadata !"int", metadata !1}
|
||||||
|
!1 = metadata !{metadata !"omnipotent char", metadata !2}
|
||||||
|
!2 = metadata !{metadata !"Simple C/C++ TBAA"}
|
||||||
|
!3 = metadata !{metadata !"any pointer", metadata !1}
|
Loading…
Reference in New Issue
Block a user