1c5707112e7635d1dd2f2cc9c4f42e79a51302ccaJia Liu//===-- MipsFrameLowering.cpp - Mips Frame Information --------------------===// 233464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 333464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// The LLVM Compiler Infrastructure 433464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 533464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// This file is distributed under the University of Illinois Open Source 633464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// License. See LICENSE.TXT for details. 733464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 84552c9a3b34ad9b2085635266348d0d9b95514a6Akira Hatanaka//===----------------------------------------------------------------------===// 933464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 1016c29b5f285f375be53dabaa73e3e91107485fe4Anton Korobeynikov// This file contains the Mips implementation of TargetFrameLowering class. 1133464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 124552c9a3b34ad9b2085635266348d0d9b95514a6Akira Hatanaka//===----------------------------------------------------------------------===// 1333464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov 1416c29b5f285f375be53dabaa73e3e91107485fe4Anton Korobeynikov#include "MipsFrameLowering.h" 1579aa3417eb6f58d668aadfedf075240a41d35a26Craig Topper#include "MipsAnalyzeImmediate.h" 1633464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov#include "MipsInstrInfo.h" 1733464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov#include "MipsMachineFunction.h" 1847b92f3d8362518596d57269dc53d985bc13323aBruno Cardoso Lopes#include "MCTargetDesc/MipsBaseInfo.h" 1933464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov#include "llvm/Function.h" 2033464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov#include "llvm/CodeGen/MachineFrameInfo.h" 2133464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov#include "llvm/CodeGen/MachineFunction.h" 2233464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov#include "llvm/CodeGen/MachineInstrBuilder.h" 2333464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov#include "llvm/CodeGen/MachineModuleInfo.h" 2433464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov#include "llvm/CodeGen/MachineRegisterInfo.h" 2533464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov#include "llvm/Target/TargetData.h" 2633464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov#include "llvm/Target/TargetOptions.h" 2733464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov#include "llvm/Support/CommandLine.h" 2833464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov 2933464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikovusing namespace llvm; 3033464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov 3133464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov 324552c9a3b34ad9b2085635266348d0d9b95514a6Akira Hatanaka//===----------------------------------------------------------------------===// 3333464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 3433464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// Stack Frame Processing methods 3533464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// +----------------------------+ 3633464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 3733464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// The stack is allocated decrementing the stack pointer on 3833464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// the first instruction of a function prologue. Once decremented, 3933464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// all stack references are done thought a positive offset 4033464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// from the stack/frame pointer, so the stack is considering 4133464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// to grow up! Otherwise terrible hacks would have to be made 4233464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// to get this stack ABI compliant :) 4333464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 4433464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// The stack frame required by the ABI (after call): 4533464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// Offset 4633464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 4733464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 0 ---------- 4833464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 4 Args to pass 4933464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// . saved $GP (used in PIC) 5033464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// . Alloca allocations 5133464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// . Local Area 5233464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// . CPU "Callee Saved" Registers 5333464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// . saved FP 5433464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// . saved RA 5533464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// . FPU "Callee Saved" Registers 5633464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// StackSize ----------- 5733464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 5833464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// Offset - offset from sp after stack allocation on function prologue 5933464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 6033464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// The sp is the stack pointer subtracted/added from the stack size 6133464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// at the Prologue/Epilogue 6233464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 6333464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// References to the previous stack (to obtain arguments) are done 6433464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// with offsets that exceeds the stack size: (stacksize+(4*(num_arg-1)) 6533464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 6633464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// Examples: 6733464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// - reference to the actual stack frame 6833464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// for any local area var there is smt like : FI >= 0, StackOffset: 4 6933464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// sw REGX, 4(SP) 7033464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 7133464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// - reference to previous stack frame 7233464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// suppose there's a load to the 5th arguments : FI < 0, StackOffset: 16. 7333464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// The emitted instruction will be something like: 7433464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// lw REGX, 16+StackSize(SP) 7533464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 7633464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// Since the total stack size is unknown on LowerFormalArguments, all 7733464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// stack references (ObjectOffset) created to reference the function 7833464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// arguments, are negative numbers. This way, on eliminateFrameIndex it's 7933464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// possible to detect those references and the offsets are adjusted to 8033464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// their real location. 8133464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov// 824552c9a3b34ad9b2085635266348d0d9b95514a6Akira Hatanaka//===----------------------------------------------------------------------===// 8333464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov 84d0c38176690e9602a93a20a43f1bd084564a8116Anton Korobeynikov// hasFP - Return true if the specified function should have a dedicated frame 854552c9a3b34ad9b2085635266348d0d9b95514a6Akira Hatanaka// pointer register. This is true if the function has variable sized allocas or 864552c9a3b34ad9b2085635266348d0d9b95514a6Akira Hatanaka// if frame pointer elimination is disabled. 8716c29b5f285f375be53dabaa73e3e91107485fe4Anton Korobeynikovbool MipsFrameLowering::hasFP(const MachineFunction &MF) const { 88d0c38176690e9602a93a20a43f1bd084564a8116Anton Korobeynikov const MachineFrameInfo *MFI = MF.getFrameInfo(); 898a8d479214745c82ef00f08d4e4f1c173b5f9ce2Nick Lewycky return MF.getTarget().Options.DisableFramePointerElim(MF) || 908a8d479214745c82ef00f08d4e4f1c173b5f9ce2Nick Lewycky MFI->hasVarSizedObjects() || MFI->isFrameAddressTaken(); 91d0c38176690e9602a93a20a43f1bd084564a8116Anton Korobeynikov} 92d0c38176690e9602a93a20a43f1bd084564a8116Anton Korobeynikov 9369c19f7316ed8e545c7339421b910543eb8e9eefAkira Hatanakabool MipsFrameLowering::targetHandlesStackFrameRounding() const { 9469c19f7316ed8e545c7339421b910543eb8e9eefAkira Hatanaka return true; 9533464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov} 9633464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov 97de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka// Build an instruction sequence to load an immediate that is too large to fit 98de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka// in 16-bit and add the result to Reg. 99de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanakastatic void expandLargeImm(unsigned Reg, int64_t Imm, bool IsN64, 100de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka const MipsInstrInfo &TII, MachineBasicBlock& MBB, 101de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka MachineBasicBlock::iterator II, DebugLoc DL) { 102de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka unsigned LUi = IsN64 ? Mips::LUi64 : Mips::LUi; 103de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka unsigned ADDu = IsN64 ? Mips::DADDu : Mips::ADDu; 104bb481f882093fb738d2bb15610c79364bada5496Jia Liu unsigned ZEROReg = IsN64 ? Mips::ZERO_64 : Mips::ZERO; 105de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka unsigned ATReg = IsN64 ? Mips::AT_64 : Mips::AT; 106de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka MipsAnalyzeImmediate AnalyzeImm; 107de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka const MipsAnalyzeImmediate::InstSeq &Seq = 108de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka AnalyzeImm.Analyze(Imm, IsN64 ? 64 : 32, false /* LastInstrIsADDiu */); 109de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka MipsAnalyzeImmediate::InstSeq::const_iterator Inst = Seq.begin(); 11099027d76f31d0a9f9c86a08114545dca8b3d2dc1Bruno Cardoso Lopes 111de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka // The first instruction can be a LUi, which is different from other 112de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka // instructions (ADDiu, ORI and SLL) in that it does not have a register 113de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka // operand. 114de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka if (Inst->Opc == LUi) 115de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka BuildMI(MBB, II, DL, TII.get(LUi), ATReg) 116de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka .addImm(SignExtend64<16>(Inst->ImmOpnd)); 117de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka else 118de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka BuildMI(MBB, II, DL, TII.get(Inst->Opc), ATReg).addReg(ZEROReg) 119de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka .addImm(SignExtend64<16>(Inst->ImmOpnd)); 12099027d76f31d0a9f9c86a08114545dca8b3d2dc1Bruno Cardoso Lopes 121de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka // Build the remaining instructions in Seq. 122de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka for (++Inst; Inst != Seq.end(); ++Inst) 123de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka BuildMI(MBB, II, DL, TII.get(Inst->Opc), ATReg).addReg(ATReg) 124de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka .addImm(SignExtend64<16>(Inst->ImmOpnd)); 125bb481f882093fb738d2bb15610c79364bada5496Jia Liu 126de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka BuildMI(MBB, II, DL, TII.get(ADDu), Reg).addReg(Reg).addReg(ATReg); 12799027d76f31d0a9f9c86a08114545dca8b3d2dc1Bruno Cardoso Lopes} 12899027d76f31d0a9f9c86a08114545dca8b3d2dc1Bruno Cardoso Lopes 12916c29b5f285f375be53dabaa73e3e91107485fe4Anton Korobeynikovvoid MipsFrameLowering::emitPrologue(MachineFunction &MF) const { 13033464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov MachineBasicBlock &MBB = MF.front(); 13133464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov MachineFrameInfo *MFI = MF.getFrameInfo(); 13233464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>(); 13333464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov const MipsRegisterInfo *RegInfo = 13433464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo()); 13533464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov const MipsInstrInfo &TII = 13633464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov *static_cast<const MipsInstrInfo*>(MF.getTarget().getInstrInfo()); 13733464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov MachineBasicBlock::iterator MBBI = MBB.begin(); 13833464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov DebugLoc dl = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc(); 13933464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov bool isPIC = (MF.getTarget().getRelocationModel() == Reloc::PIC_); 1401b71950812a7595916d85b03d9ec8413ba8c13f1Akira Hatanaka unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP; 1411b71950812a7595916d85b03d9ec8413ba8c13f1Akira Hatanaka unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP; 1421b71950812a7595916d85b03d9ec8413ba8c13f1Akira Hatanaka unsigned ZERO = STI.isABI_N64() ? Mips::ZERO_64 : Mips::ZERO; 143a1fa08f66a5e92ccf5bc0b565c045be14108dae4Akira Hatanaka unsigned ADDu = STI.isABI_N64() ? Mips::DADDu : Mips::ADDu; 144a1fa08f66a5e92ccf5bc0b565c045be14108dae4Akira Hatanaka unsigned ADDiu = STI.isABI_N64() ? Mips::DADDiu : Mips::ADDiu; 14533464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov 14669c19f7316ed8e545c7339421b910543eb8e9eefAkira Hatanaka // First, compute final stack size. 14769c19f7316ed8e545c7339421b910543eb8e9eefAkira Hatanaka unsigned RegSize = STI.isGP32bit() ? 4 : 8; 14869c19f7316ed8e545c7339421b910543eb8e9eefAkira Hatanaka unsigned StackAlign = getStackAlignment(); 149bb481f882093fb738d2bb15610c79364bada5496Jia Liu unsigned LocalVarAreaOffset = MipsFI->needGPSaveRestore() ? 15069c19f7316ed8e545c7339421b910543eb8e9eefAkira Hatanaka (MFI->getObjectOffset(MipsFI->getGPFI()) + RegSize) : 151f15f49850768f5889c2e12aeb273e158597a1223Akira Hatanaka MipsFI->getMaxCallFrameSize(); 152de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka uint64_t StackSize = RoundUpToAlignment(LocalVarAreaOffset, StackAlign) + 153de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka RoundUpToAlignment(MFI->getStackSize(), StackAlign); 15469c19f7316ed8e545c7339421b910543eb8e9eefAkira Hatanaka 15569c19f7316ed8e545c7339421b910543eb8e9eefAkira Hatanaka // Update stack size 156bb481f882093fb738d2bb15610c79364bada5496Jia Liu MFI->setStackSize(StackSize); 157bb481f882093fb738d2bb15610c79364bada5496Jia Liu 158648f00c2f0eb29c0ae2a333fa0bfa55970059f08Akira Hatanaka // Emit instructions that set the global base register if the target ABI is 159648f00c2f0eb29c0ae2a333fa0bfa55970059f08Akira Hatanaka // O32. 160f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka if (isPIC && MipsFI->globalBaseRegSet() && STI.isABI_O32() && 161f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka !MipsFI->globalBaseRegFixed()) { 162648f00c2f0eb29c0ae2a333fa0bfa55970059f08Akira Hatanaka // See MipsInstrInfo.td for explanation. 163f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka MachineBasicBlock *NewEntry = MF.CreateMachineBasicBlock(); 164f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka MF.insert(&MBB, NewEntry); 165f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka NewEntry->addSuccessor(&MBB); 166f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka 167f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka // Copy live in registers. 168f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka for (MachineBasicBlock::livein_iterator R = MBB.livein_begin(); 169f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka R != MBB.livein_end(); ++R) 170f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka NewEntry->addLiveIn(*R); 171f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka 172f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka BuildMI(*NewEntry, NewEntry->begin(), dl, TII.get(Mips:: SETGP01), 173f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka Mips::V0); 174648f00c2f0eb29c0ae2a333fa0bfa55970059f08Akira Hatanaka } 175648f00c2f0eb29c0ae2a333fa0bfa55970059f08Akira Hatanaka 176f346c695309a6e3bbe80c0339387f334c07d9ab6Akira Hatanaka // No need to allocate space on the stack. 177f346c695309a6e3bbe80c0339387f334c07d9ab6Akira Hatanaka if (StackSize == 0 && !MFI->adjustsStack()) return; 178f346c695309a6e3bbe80c0339387f334c07d9ab6Akira Hatanaka 1798464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka MachineModuleInfo &MMI = MF.getMMI(); 1808464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka std::vector<MachineMove> &Moves = MMI.getFrameMoves(); 1818464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka MachineLocation DstML, SrcML; 1828464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka 183de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka // Adjust stack. 184de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka if (isInt<16>(-StackSize)) // addi sp, sp, (-stacksize) 185de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka BuildMI(MBB, MBBI, dl, TII.get(ADDiu), SP).addReg(SP).addImm(-StackSize); 186f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka else { // Expand immediate that doesn't fit in 16-bit. 187f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka MipsFI->setEmitNOAT(); 188de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka expandLargeImm(SP, -StackSize, STI.isABI_N64(), TII, MBB, MBBI, dl); 189f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka } 19033464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov 1918464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka // emit ".cfi_def_cfa_offset StackSize" 1928464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka MCSymbol *AdjustSPLabel = MMI.getContext().CreateTempSymbol(); 1938464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka BuildMI(MBB, MBBI, dl, 1948464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka TII.get(TargetOpcode::PROLOG_LABEL)).addSym(AdjustSPLabel); 1958464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka DstML = MachineLocation(MachineLocation::VirtualFP); 1968464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka SrcML = MachineLocation(MachineLocation::VirtualFP, -StackSize); 1978464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka Moves.push_back(MachineMove(AdjustSPLabel, DstML, SrcML)); 1988464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka 199cf0cd8005c81853ddea3ce26b71491c48dc4984eAkira Hatanaka const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo(); 2008464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka 2018464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka if (CSI.size()) { 2020f843821385213b33116eaecf0c13e987139f6a5Akira Hatanaka // Find the instruction past the last instruction that saves a callee-saved 2030f843821385213b33116eaecf0c13e987139f6a5Akira Hatanaka // register to the stack. 2048464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka for (unsigned i = 0; i < CSI.size(); ++i) 2058464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka ++MBBI; 206bb481f882093fb738d2bb15610c79364bada5496Jia Liu 2070f843821385213b33116eaecf0c13e987139f6a5Akira Hatanaka // Iterate over list of callee-saved registers and emit .cfi_offset 2080f843821385213b33116eaecf0c13e987139f6a5Akira Hatanaka // directives. 2098464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka MCSymbol *CSLabel = MMI.getContext().CreateTempSymbol(); 2108464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka BuildMI(MBB, MBBI, dl, 2118464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka TII.get(TargetOpcode::PROLOG_LABEL)).addSym(CSLabel); 212bb481f882093fb738d2bb15610c79364bada5496Jia Liu 2138464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka for (std::vector<CalleeSavedInfo>::const_iterator I = CSI.begin(), 2148464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka E = CSI.end(); I != E; ++I) { 2158464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka int64_t Offset = MFI->getObjectOffset(I->getFrameIdx()); 2168464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka unsigned Reg = I->getReg(); 2178464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka 2188464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka // If Reg is a double precision register, emit two cfa_offsets, 2198464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka // one for each of the paired single precision registers. 2208464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka if (Mips::AFGR64RegisterClass->contains(Reg)) { 2219ebfbf8b9fd5f982e0db9293808bd32168615ba9Craig Topper const uint16_t *SubRegs = RegInfo->getSubRegisters(Reg); 2228464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka MachineLocation DstML0(MachineLocation::VirtualFP, Offset); 2238464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka MachineLocation DstML1(MachineLocation::VirtualFP, Offset + 4); 2248464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka MachineLocation SrcML0(*SubRegs); 2258464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka MachineLocation SrcML1(*(SubRegs + 1)); 2268464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka 2278464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka if (!STI.isLittle()) 2288464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka std::swap(SrcML0, SrcML1); 2298464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka 2308464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka Moves.push_back(MachineMove(CSLabel, DstML0, SrcML0)); 2318464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka Moves.push_back(MachineMove(CSLabel, DstML1, SrcML1)); 2328464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka } 2338464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka else { 2348464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka // Reg is either in CPURegs or FGR32. 2358464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka DstML = MachineLocation(MachineLocation::VirtualFP, Offset); 2368464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka SrcML = MachineLocation(Reg); 2378464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka Moves.push_back(MachineMove(CSLabel, DstML, SrcML)); 2388464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka } 2398464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka } 240bb481f882093fb738d2bb15610c79364bada5496Jia Liu } 2418464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka 242cf0cd8005c81853ddea3ce26b71491c48dc4984eAkira Hatanaka // if framepointer enabled, set it to point to the stack pointer. 2438464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka if (hasFP(MF)) { 244bb481f882093fb738d2bb15610c79364bada5496Jia Liu // Insert instruction "move $fp, $sp" at this location. 2451b71950812a7595916d85b03d9ec8413ba8c13f1Akira Hatanaka BuildMI(MBB, MBBI, dl, TII.get(ADDu), FP).addReg(SP).addReg(ZERO); 24633464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov 247bb481f882093fb738d2bb15610c79364bada5496Jia Liu // emit ".cfi_def_cfa_register $fp" 2488464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka MCSymbol *SetFPLabel = MMI.getContext().CreateTempSymbol(); 2498464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka BuildMI(MBB, MBBI, dl, 2508464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka TII.get(TargetOpcode::PROLOG_LABEL)).addSym(SetFPLabel); 2511b71950812a7595916d85b03d9ec8413ba8c13f1Akira Hatanaka DstML = MachineLocation(FP); 2528464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka SrcML = MachineLocation(MachineLocation::VirtualFP); 2538464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka Moves.push_back(MachineMove(SetFPLabel, DstML, SrcML)); 2548464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka } 2558464fff30b16d39227444985bb7c8cc7fd12d66dAkira Hatanaka 25633464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov // Restore GP from the saved stack location 2579029cf20e1158dbca9c95da72a646d467e871525Akira Hatanaka if (MipsFI->needGPSaveRestore()) { 2589029cf20e1158dbca9c95da72a646d467e871525Akira Hatanaka unsigned Offset = MFI->getObjectOffset(MipsFI->getGPFI()); 259f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka BuildMI(MBB, MBBI, dl, TII.get(Mips::CPRESTORE)).addImm(Offset) 260f93b86306683f8e860c8824efb717995cb072a70Akira Hatanaka .addReg(Mips::GP); 2619029cf20e1158dbca9c95da72a646d467e871525Akira Hatanaka } 26233464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov} 26333464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov 26416c29b5f285f375be53dabaa73e3e91107485fe4Anton Korobeynikovvoid MipsFrameLowering::emitEpilogue(MachineFunction &MF, 26533464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov MachineBasicBlock &MBB) const { 2664f28c1c71450c711e96aa283de53739d8b4504cdJakob Stoklund Olesen MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr(); 26733464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov MachineFrameInfo *MFI = MF.getFrameInfo(); 26833464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov const MipsInstrInfo &TII = 26933464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov *static_cast<const MipsInstrInfo*>(MF.getTarget().getInstrInfo()); 27033464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov DebugLoc dl = MBBI->getDebugLoc(); 2711b71950812a7595916d85b03d9ec8413ba8c13f1Akira Hatanaka unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP; 2721b71950812a7595916d85b03d9ec8413ba8c13f1Akira Hatanaka unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP; 2731b71950812a7595916d85b03d9ec8413ba8c13f1Akira Hatanaka unsigned ZERO = STI.isABI_N64() ? Mips::ZERO_64 : Mips::ZERO; 2741b71950812a7595916d85b03d9ec8413ba8c13f1Akira Hatanaka unsigned ADDu = STI.isABI_N64() ? Mips::DADDu : Mips::ADDu; 2751b71950812a7595916d85b03d9ec8413ba8c13f1Akira Hatanaka unsigned ADDiu = STI.isABI_N64() ? Mips::DADDiu : Mips::ADDiu; 27633464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov 27717a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka // if framepointer enabled, restore the stack pointer. 278f346c695309a6e3bbe80c0339387f334c07d9ab6Akira Hatanaka if (hasFP(MF)) { 279f346c695309a6e3bbe80c0339387f334c07d9ab6Akira Hatanaka // Find the first instruction that restores a callee-saved register. 280f346c695309a6e3bbe80c0339387f334c07d9ab6Akira Hatanaka MachineBasicBlock::iterator I = MBBI; 281bb481f882093fb738d2bb15610c79364bada5496Jia Liu 282f346c695309a6e3bbe80c0339387f334c07d9ab6Akira Hatanaka for (unsigned i = 0; i < MFI->getCalleeSavedInfo().size(); ++i) 283f346c695309a6e3bbe80c0339387f334c07d9ab6Akira Hatanaka --I; 284f346c695309a6e3bbe80c0339387f334c07d9ab6Akira Hatanaka 285f346c695309a6e3bbe80c0339387f334c07d9ab6Akira Hatanaka // Insert instruction "move $sp, $fp" at this location. 2861b71950812a7595916d85b03d9ec8413ba8c13f1Akira Hatanaka BuildMI(MBB, I, dl, TII.get(ADDu), SP).addReg(FP).addReg(ZERO); 287f346c695309a6e3bbe80c0339387f334c07d9ab6Akira Hatanaka } 28833464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov 289de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka // Get the number of bytes from FrameInfo 290de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka uint64_t StackSize = MFI->getStackSize(); 291de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka 292de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka if (!StackSize) 293de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka return; 29499027d76f31d0a9f9c86a08114545dca8b3d2dc1Bruno Cardoso Lopes 295de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka // Adjust stack. 296de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka if (isInt<16>(StackSize)) // addi sp, sp, (-stacksize) 297de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka BuildMI(MBB, MBBI, dl, TII.get(ADDiu), SP).addReg(SP).addImm(StackSize); 298de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka else // Expand immediate that doesn't fit in 16-bit. 299de5a0b65c27cc82300d3046fb9c119b8b524aa81Akira Hatanaka expandLargeImm(SP, StackSize, STI.isABI_N64(), TII, MBB, MBBI, dl); 30033464912237efaa0ed7060829e66b59055bdd48bAnton Korobeynikov} 301fb67faa6614c2bf6e5a126ccdc712a64e4263797Bruno Cardoso Lopes 302fb67faa6614c2bf6e5a126ccdc712a64e4263797Bruno Cardoso Lopesvoid MipsFrameLowering:: 30317a1e8775119db75ece41e041eeb6480793696ffAkira HatanakaprocessFunctionBeforeCalleeSavedScan(MachineFunction &MF, 30417a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka RegScavenger *RS) const { 30517a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka MachineRegisterInfo& MRI = MF.getRegInfo(); 3061b71950812a7595916d85b03d9ec8413ba8c13f1Akira Hatanaka unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP; 30717a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka 30817a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka // FIXME: remove this code if register allocator can correctly mark 30917a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka // $fp and $ra used or unused. 31017a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka 31117a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka // Mark $fp and $ra as used or unused. 31217a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka if (hasFP(MF)) 3131b71950812a7595916d85b03d9ec8413ba8c13f1Akira Hatanaka MRI.setPhysRegUsed(FP); 31417a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka 315bb481f882093fb738d2bb15610c79364bada5496Jia Liu // The register allocator might determine $ra is used after seeing 31617a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka // instruction "jr $ra", but we do not want PrologEpilogInserter to insert 31717a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka // instructions to save/restore $ra unless there is a function call. 31817a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka // To correct this, $ra is explicitly marked unused if there is no 31917a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka // function call. 32033458fedb607e64c46af6797057fbf0b4973a6f6Akira Hatanaka if (MF.getFrameInfo()->hasCalls()) 3214bd73cac6abf8afa291f0e37e2240835fc1d08f0Akira Hatanaka MRI.setPhysRegUsed(Mips::RA); 3224bd73cac6abf8afa291f0e37e2240835fc1d08f0Akira Hatanaka else { 3234bd73cac6abf8afa291f0e37e2240835fc1d08f0Akira Hatanaka MRI.setPhysRegUnused(Mips::RA); 3244bd73cac6abf8afa291f0e37e2240835fc1d08f0Akira Hatanaka MRI.setPhysRegUnused(Mips::RA_64); 3254bd73cac6abf8afa291f0e37e2240835fc1d08f0Akira Hatanaka } 32617a1e8775119db75ece41e041eeb6480793696ffAkira Hatanaka} 327