blob: fd6ac99061a3da1766f3c3a5284fcb4a226fb533 [file] [log] [blame]
Akira Hatanakacdb3ba72012-07-31 22:50:19 +00001//===-- MipsSEFrameLowering.cpp - Mips32/64 Frame Information -------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file contains the Mips32/64 implementation of TargetFrameLowering class.
11//
12//===----------------------------------------------------------------------===//
13
14#include "MipsSEFrameLowering.h"
Akira Hatanakacdb3ba72012-07-31 22:50:19 +000015#include "MCTargetDesc/MipsBaseInfo.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000016#include "MipsAnalyzeImmediate.h"
17#include "MipsMachineFunction.h"
18#include "MipsSEInstrInfo.h"
Akira Hatanakacdb3ba72012-07-31 22:50:19 +000019#include "llvm/CodeGen/MachineFrameInfo.h"
20#include "llvm/CodeGen/MachineFunction.h"
21#include "llvm/CodeGen/MachineInstrBuilder.h"
22#include "llvm/CodeGen/MachineModuleInfo.h"
23#include "llvm/CodeGen/MachineRegisterInfo.h"
Akira Hatanaka11a45c22012-11-03 00:05:43 +000024#include "llvm/CodeGen/RegisterScavenging.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000025#include "llvm/IR/DataLayout.h"
26#include "llvm/IR/Function.h"
Akira Hatanakacdb3ba72012-07-31 22:50:19 +000027#include "llvm/Support/CommandLine.h"
Chandler Carruthd04a8d42012-12-03 16:50:05 +000028#include "llvm/Target/TargetOptions.h"
Akira Hatanakacdb3ba72012-07-31 22:50:19 +000029
30using namespace llvm;
31
Akira Hatanakad6a77822013-03-30 01:04:11 +000032namespace {
33typedef MachineBasicBlock::iterator Iter;
34
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +000035/// Helper class to expand pseudos.
36class ExpandPseudo {
Akira Hatanakad6a77822013-03-30 01:04:11 +000037public:
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +000038 ExpandPseudo(MachineFunction &MF);
Akira Hatanakad6a77822013-03-30 01:04:11 +000039 bool expand();
40
41private:
42 bool expandInstr(MachineBasicBlock &MBB, Iter I);
Akira Hatanaka99ad6ac2013-05-02 23:07:05 +000043 void expandLoadCCond(MachineBasicBlock &MBB, Iter I);
44 void expandStoreCCond(MachineBasicBlock &MBB, Iter I);
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +000045 void expandLoadACC(MachineBasicBlock &MBB, Iter I, unsigned RegSize);
46 void expandStoreACC(MachineBasicBlock &MBB, Iter I, unsigned RegSize);
Akira Hatanakac147c1b2013-04-30 23:22:09 +000047 bool expandCopy(MachineBasicBlock &MBB, Iter I);
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +000048 bool expandCopyACC(MachineBasicBlock &MBB, Iter I, unsigned Dst,
49 unsigned Src, unsigned RegSize);
Akira Hatanakad6a77822013-03-30 01:04:11 +000050
51 MachineFunction &MF;
52 const MipsSEInstrInfo &TII;
53 const MipsRegisterInfo &RegInfo;
54 MachineRegisterInfo &MRI;
55};
56}
57
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +000058ExpandPseudo::ExpandPseudo(MachineFunction &MF_)
Akira Hatanakad6a77822013-03-30 01:04:11 +000059 : MF(MF_),
60 TII(*static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo())),
61 RegInfo(TII.getRegisterInfo()), MRI(MF.getRegInfo()) {}
62
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +000063bool ExpandPseudo::expand() {
Akira Hatanakad6a77822013-03-30 01:04:11 +000064 bool Expanded = false;
65
66 for (MachineFunction::iterator BB = MF.begin(), BBEnd = MF.end();
67 BB != BBEnd; ++BB)
68 for (Iter I = BB->begin(), End = BB->end(); I != End;)
69 Expanded |= expandInstr(*BB, I++);
70
71 return Expanded;
72}
73
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +000074bool ExpandPseudo::expandInstr(MachineBasicBlock &MBB, Iter I) {
Akira Hatanakad6a77822013-03-30 01:04:11 +000075 switch(I->getOpcode()) {
Akira Hatanaka99ad6ac2013-05-02 23:07:05 +000076 case Mips::LOAD_CCOND_DSP:
77 case Mips::LOAD_CCOND_DSP_P8:
78 expandLoadCCond(MBB, I);
79 break;
80 case Mips::STORE_CCOND_DSP:
81 case Mips::STORE_CCOND_DSP_P8:
82 expandStoreCCond(MBB, I);
83 break;
Akira Hatanakad6a77822013-03-30 01:04:11 +000084 case Mips::LOAD_AC64:
85 case Mips::LOAD_AC64_P8:
86 case Mips::LOAD_AC_DSP:
87 case Mips::LOAD_AC_DSP_P8:
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +000088 expandLoadACC(MBB, I, 4);
Akira Hatanakad6a77822013-03-30 01:04:11 +000089 break;
90 case Mips::LOAD_AC128:
91 case Mips::LOAD_AC128_P8:
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +000092 expandLoadACC(MBB, I, 8);
Akira Hatanakad6a77822013-03-30 01:04:11 +000093 break;
94 case Mips::STORE_AC64:
95 case Mips::STORE_AC64_P8:
96 case Mips::STORE_AC_DSP:
97 case Mips::STORE_AC_DSP_P8:
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +000098 expandStoreACC(MBB, I, 4);
Akira Hatanakad6a77822013-03-30 01:04:11 +000099 break;
100 case Mips::STORE_AC128:
101 case Mips::STORE_AC128_P8:
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +0000102 expandStoreACC(MBB, I, 8);
Akira Hatanakad6a77822013-03-30 01:04:11 +0000103 break;
Akira Hatanakac147c1b2013-04-30 23:22:09 +0000104 case TargetOpcode::COPY:
105 if (!expandCopy(MBB, I))
106 return false;
Akira Hatanakad6a77822013-03-30 01:04:11 +0000107 break;
108 default:
109 return false;
110 }
111
112 MBB.erase(I);
113 return true;
114}
115
Akira Hatanaka99ad6ac2013-05-02 23:07:05 +0000116void ExpandPseudo::expandLoadCCond(MachineBasicBlock &MBB, Iter I) {
117 // load $vr, FI
118 // copy ccond, $vr
119
120 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
121
122 const TargetRegisterClass *RC = RegInfo.intRegClass(4);
123 unsigned VR = MRI.createVirtualRegister(RC);
124 unsigned Dst = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
125
126 TII.loadRegFromStack(MBB, I, VR, FI, RC, &RegInfo, 0);
127 BuildMI(MBB, I, I->getDebugLoc(), TII.get(TargetOpcode::COPY), Dst)
128 .addReg(VR, RegState::Kill);
129}
130
131void ExpandPseudo::expandStoreCCond(MachineBasicBlock &MBB, Iter I) {
132 // copy $vr, ccond
133 // store $vr, FI
134
135 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
136
137 const TargetRegisterClass *RC = RegInfo.intRegClass(4);
138 unsigned VR = MRI.createVirtualRegister(RC);
139 unsigned Src = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
140
141 BuildMI(MBB, I, I->getDebugLoc(), TII.get(TargetOpcode::COPY), VR)
142 .addReg(Src, getKillRegState(I->getOperand(0).isKill()));
143 TII.storeRegToStack(MBB, I, VR, true, FI, RC, &RegInfo, 0);
144}
145
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +0000146void ExpandPseudo::expandLoadACC(MachineBasicBlock &MBB, Iter I,
Akira Hatanakad6a77822013-03-30 01:04:11 +0000147 unsigned RegSize) {
148 // load $vr0, FI
149 // copy lo, $vr0
150 // load $vr1, FI + 4
151 // copy hi, $vr1
152
153 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
154
155 const TargetRegisterClass *RC = RegInfo.intRegClass(RegSize);
156 unsigned VR0 = MRI.createVirtualRegister(RC);
157 unsigned VR1 = MRI.createVirtualRegister(RC);
158 unsigned Dst = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
159 unsigned Lo = RegInfo.getSubReg(Dst, Mips::sub_lo);
160 unsigned Hi = RegInfo.getSubReg(Dst, Mips::sub_hi);
161 DebugLoc DL = I->getDebugLoc();
162 const MCInstrDesc &Desc = TII.get(TargetOpcode::COPY);
163
164 TII.loadRegFromStack(MBB, I, VR0, FI, RC, &RegInfo, 0);
165 BuildMI(MBB, I, DL, Desc, Lo).addReg(VR0, RegState::Kill);
166 TII.loadRegFromStack(MBB, I, VR1, FI, RC, &RegInfo, RegSize);
167 BuildMI(MBB, I, DL, Desc, Hi).addReg(VR1, RegState::Kill);
168}
169
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +0000170void ExpandPseudo::expandStoreACC(MachineBasicBlock &MBB, Iter I,
Akira Hatanakad6a77822013-03-30 01:04:11 +0000171 unsigned RegSize) {
172 // copy $vr0, lo
173 // store $vr0, FI
174 // copy $vr1, hi
175 // store $vr1, FI + 4
176
177 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
178
179 const TargetRegisterClass *RC = RegInfo.intRegClass(RegSize);
180 unsigned VR0 = MRI.createVirtualRegister(RC);
181 unsigned VR1 = MRI.createVirtualRegister(RC);
182 unsigned Src = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
183 unsigned SrcKill = getKillRegState(I->getOperand(0).isKill());
184 unsigned Lo = RegInfo.getSubReg(Src, Mips::sub_lo);
185 unsigned Hi = RegInfo.getSubReg(Src, Mips::sub_hi);
186 DebugLoc DL = I->getDebugLoc();
187
188 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), VR0).addReg(Lo, SrcKill);
189 TII.storeRegToStack(MBB, I, VR0, true, FI, RC, &RegInfo, 0);
190 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), VR1).addReg(Hi, SrcKill);
191 TII.storeRegToStack(MBB, I, VR1, true, FI, RC, &RegInfo, RegSize);
192}
193
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +0000194bool ExpandPseudo::expandCopy(MachineBasicBlock &MBB, Iter I) {
Akira Hatanakac147c1b2013-04-30 23:22:09 +0000195 unsigned Dst = I->getOperand(0).getReg(), Src = I->getOperand(1).getReg();
Akira Hatanakac147c1b2013-04-30 23:22:09 +0000196
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +0000197 if (Mips::ACRegsDSPRegClass.contains(Dst, Src))
198 return expandCopyACC(MBB, I, Dst, Src, 4);
Akira Hatanakac147c1b2013-04-30 23:22:09 +0000199
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +0000200 if (Mips::ACRegs128RegClass.contains(Dst, Src))
201 return expandCopyACC(MBB, I, Dst, Src, 8);
202
203 return false;
204}
205
206bool ExpandPseudo::expandCopyACC(MachineBasicBlock &MBB, Iter I, unsigned Dst,
207 unsigned Src, unsigned RegSize) {
Akira Hatanakad6a77822013-03-30 01:04:11 +0000208 // copy $vr0, src_lo
209 // copy dst_lo, $vr0
210 // copy $vr1, src_hi
211 // copy dst_hi, $vr1
212
213 const TargetRegisterClass *RC = RegInfo.intRegClass(RegSize);
214 unsigned VR0 = MRI.createVirtualRegister(RC);
215 unsigned VR1 = MRI.createVirtualRegister(RC);
Akira Hatanakad6a77822013-03-30 01:04:11 +0000216 unsigned SrcKill = getKillRegState(I->getOperand(1).isKill());
217 unsigned DstLo = RegInfo.getSubReg(Dst, Mips::sub_lo);
218 unsigned DstHi = RegInfo.getSubReg(Dst, Mips::sub_hi);
219 unsigned SrcLo = RegInfo.getSubReg(Src, Mips::sub_lo);
220 unsigned SrcHi = RegInfo.getSubReg(Src, Mips::sub_hi);
221 DebugLoc DL = I->getDebugLoc();
222
223 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), VR0).addReg(SrcLo, SrcKill);
224 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), DstLo)
225 .addReg(VR0, RegState::Kill);
226 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), VR1).addReg(SrcHi, SrcKill);
227 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), DstHi)
228 .addReg(VR1, RegState::Kill);
Akira Hatanakac147c1b2013-04-30 23:22:09 +0000229 return true;
Akira Hatanakad6a77822013-03-30 01:04:11 +0000230}
231
Akira Hatanaka544cc212013-01-30 00:26:49 +0000232unsigned MipsSEFrameLowering::ehDataReg(unsigned I) const {
233 static const unsigned EhDataReg[] = {
234 Mips::A0, Mips::A1, Mips::A2, Mips::A3
235 };
236 static const unsigned EhDataReg64[] = {
237 Mips::A0_64, Mips::A1_64, Mips::A2_64, Mips::A3_64
238 };
239
240 return STI.isABI_N64() ? EhDataReg64[I] : EhDataReg[I];
241}
242
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000243void MipsSEFrameLowering::emitPrologue(MachineFunction &MF) const {
244 MachineBasicBlock &MBB = MF.front();
245 MachineFrameInfo *MFI = MF.getFrameInfo();
Akira Hatanaka544cc212013-01-30 00:26:49 +0000246 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000247 const MipsRegisterInfo *RegInfo =
248 static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
Akira Hatanaka71746222012-07-31 23:52:55 +0000249 const MipsSEInstrInfo &TII =
250 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000251 MachineBasicBlock::iterator MBBI = MBB.begin();
252 DebugLoc dl = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
253 unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP;
254 unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP;
255 unsigned ZERO = STI.isABI_N64() ? Mips::ZERO_64 : Mips::ZERO;
256 unsigned ADDu = STI.isABI_N64() ? Mips::DADDu : Mips::ADDu;
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000257
258 // First, compute final stack size.
259 uint64_t StackSize = MFI->getStackSize();
260
261 // No need to allocate space on the stack.
262 if (StackSize == 0 && !MFI->adjustsStack()) return;
263
264 MachineModuleInfo &MMI = MF.getMMI();
Rafael Espindola6b67ffd2013-05-16 21:02:15 +0000265 const MCRegisterInfo &MRI = MMI.getContext().getRegisterInfo();
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000266 MachineLocation DstML, SrcML;
267
268 // Adjust stack.
Akira Hatanaka71746222012-07-31 23:52:55 +0000269 TII.adjustStackPtr(SP, -StackSize, MBB, MBBI);
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000270
271 // emit ".cfi_def_cfa_offset StackSize"
272 MCSymbol *AdjustSPLabel = MMI.getContext().CreateTempSymbol();
273 BuildMI(MBB, MBBI, dl,
274 TII.get(TargetOpcode::PROLOG_LABEL)).addSym(AdjustSPLabel);
Rafael Espindola6b67ffd2013-05-16 21:02:15 +0000275 MMI.addFrameInst(
276 MCCFIInstruction::createDefCfaOffset(AdjustSPLabel, -StackSize));
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000277
278 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
279
280 if (CSI.size()) {
281 // Find the instruction past the last instruction that saves a callee-saved
282 // register to the stack.
283 for (unsigned i = 0; i < CSI.size(); ++i)
284 ++MBBI;
285
286 // Iterate over list of callee-saved registers and emit .cfi_offset
287 // directives.
288 MCSymbol *CSLabel = MMI.getContext().CreateTempSymbol();
289 BuildMI(MBB, MBBI, dl,
290 TII.get(TargetOpcode::PROLOG_LABEL)).addSym(CSLabel);
291
292 for (std::vector<CalleeSavedInfo>::const_iterator I = CSI.begin(),
293 E = CSI.end(); I != E; ++I) {
294 int64_t Offset = MFI->getObjectOffset(I->getFrameIdx());
295 unsigned Reg = I->getReg();
296
297 // If Reg is a double precision register, emit two cfa_offsets,
298 // one for each of the paired single precision registers.
299 if (Mips::AFGR64RegClass.contains(Reg)) {
Rafael Espindola6b67ffd2013-05-16 21:02:15 +0000300 unsigned Reg0 =
301 MRI.getDwarfRegNum(RegInfo->getSubReg(Reg, Mips::sub_fpeven), true);
302 unsigned Reg1 =
303 MRI.getDwarfRegNum(RegInfo->getSubReg(Reg, Mips::sub_fpodd), true);
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000304
305 if (!STI.isLittle())
Rafael Espindola6b67ffd2013-05-16 21:02:15 +0000306 std::swap(Reg0, Reg1);
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000307
Rafael Espindola6b67ffd2013-05-16 21:02:15 +0000308 MMI.addFrameInst(
309 MCCFIInstruction::createOffset(CSLabel, Reg0, Offset));
310 MMI.addFrameInst(
311 MCCFIInstruction::createOffset(CSLabel, Reg1, Offset + 4));
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000312 } else {
313 // Reg is either in CPURegs or FGR32.
Rafael Espindola6b67ffd2013-05-16 21:02:15 +0000314 MMI.addFrameInst(MCCFIInstruction::createOffset(
315 CSLabel, MRI.getDwarfRegNum(Reg, 1), Offset));
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000316 }
317 }
318 }
319
Akira Hatanaka544cc212013-01-30 00:26:49 +0000320 if (MipsFI->callsEhReturn()) {
321 const TargetRegisterClass *RC = STI.isABI_N64() ?
322 &Mips::CPU64RegsRegClass : &Mips::CPURegsRegClass;
323
324 // Insert instructions that spill eh data registers.
325 for (int I = 0; I < 4; ++I) {
326 if (!MBB.isLiveIn(ehDataReg(I)))
327 MBB.addLiveIn(ehDataReg(I));
328 TII.storeRegToStackSlot(MBB, MBBI, ehDataReg(I), false,
329 MipsFI->getEhDataRegFI(I), RC, RegInfo);
330 }
331
332 // Emit .cfi_offset directives for eh data registers.
333 MCSymbol *CSLabel2 = MMI.getContext().CreateTempSymbol();
334 BuildMI(MBB, MBBI, dl,
335 TII.get(TargetOpcode::PROLOG_LABEL)).addSym(CSLabel2);
336 for (int I = 0; I < 4; ++I) {
337 int64_t Offset = MFI->getObjectOffset(MipsFI->getEhDataRegFI(I));
Rafael Espindola6b67ffd2013-05-16 21:02:15 +0000338 unsigned Reg = MRI.getDwarfRegNum(ehDataReg(I), true);
339 MMI.addFrameInst(MCCFIInstruction::createOffset(CSLabel2, Reg, Offset));
Akira Hatanaka544cc212013-01-30 00:26:49 +0000340 }
341 }
342
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000343 // if framepointer enabled, set it to point to the stack pointer.
344 if (hasFP(MF)) {
345 // Insert instruction "move $fp, $sp" at this location.
346 BuildMI(MBB, MBBI, dl, TII.get(ADDu), FP).addReg(SP).addReg(ZERO);
347
348 // emit ".cfi_def_cfa_register $fp"
349 MCSymbol *SetFPLabel = MMI.getContext().CreateTempSymbol();
350 BuildMI(MBB, MBBI, dl,
351 TII.get(TargetOpcode::PROLOG_LABEL)).addSym(SetFPLabel);
Rafael Espindola6b67ffd2013-05-16 21:02:15 +0000352 MMI.addFrameInst(MCCFIInstruction::createDefCfaRegister(
353 SetFPLabel, MRI.getDwarfRegNum(FP, true)));
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000354 }
355}
356
357void MipsSEFrameLowering::emitEpilogue(MachineFunction &MF,
358 MachineBasicBlock &MBB) const {
359 MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
360 MachineFrameInfo *MFI = MF.getFrameInfo();
Akira Hatanaka544cc212013-01-30 00:26:49 +0000361 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
362 const MipsRegisterInfo *RegInfo =
363 static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
Akira Hatanaka71746222012-07-31 23:52:55 +0000364 const MipsSEInstrInfo &TII =
365 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000366 DebugLoc dl = MBBI->getDebugLoc();
367 unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP;
368 unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP;
369 unsigned ZERO = STI.isABI_N64() ? Mips::ZERO_64 : Mips::ZERO;
370 unsigned ADDu = STI.isABI_N64() ? Mips::DADDu : Mips::ADDu;
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000371
372 // if framepointer enabled, restore the stack pointer.
373 if (hasFP(MF)) {
374 // Find the first instruction that restores a callee-saved register.
375 MachineBasicBlock::iterator I = MBBI;
376
377 for (unsigned i = 0; i < MFI->getCalleeSavedInfo().size(); ++i)
378 --I;
379
380 // Insert instruction "move $sp, $fp" at this location.
381 BuildMI(MBB, I, dl, TII.get(ADDu), SP).addReg(FP).addReg(ZERO);
382 }
383
Akira Hatanaka544cc212013-01-30 00:26:49 +0000384 if (MipsFI->callsEhReturn()) {
385 const TargetRegisterClass *RC = STI.isABI_N64() ?
386 &Mips::CPU64RegsRegClass : &Mips::CPURegsRegClass;
387
388 // Find first instruction that restores a callee-saved register.
389 MachineBasicBlock::iterator I = MBBI;
390 for (unsigned i = 0; i < MFI->getCalleeSavedInfo().size(); ++i)
391 --I;
392
393 // Insert instructions that restore eh data registers.
394 for (int J = 0; J < 4; ++J) {
395 TII.loadRegFromStackSlot(MBB, I, ehDataReg(J), MipsFI->getEhDataRegFI(J),
396 RC, RegInfo);
397 }
398 }
399
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000400 // Get the number of bytes from FrameInfo
401 uint64_t StackSize = MFI->getStackSize();
402
403 if (!StackSize)
404 return;
405
406 // Adjust stack.
Akira Hatanaka71746222012-07-31 23:52:55 +0000407 TII.adjustStackPtr(SP, StackSize, MBB, MBBI);
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000408}
409
410bool MipsSEFrameLowering::
411spillCalleeSavedRegisters(MachineBasicBlock &MBB,
412 MachineBasicBlock::iterator MI,
413 const std::vector<CalleeSavedInfo> &CSI,
414 const TargetRegisterInfo *TRI) const {
415 MachineFunction *MF = MBB.getParent();
416 MachineBasicBlock *EntryBlock = MF->begin();
417 const TargetInstrInfo &TII = *MF->getTarget().getInstrInfo();
418
419 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
420 // Add the callee-saved register as live-in. Do not add if the register is
421 // RA and return address is taken, because it has already been added in
422 // method MipsTargetLowering::LowerRETURNADDR.
423 // It's killed at the spill, unless the register is RA and return address
424 // is taken.
425 unsigned Reg = CSI[i].getReg();
426 bool IsRAAndRetAddrIsTaken = (Reg == Mips::RA || Reg == Mips::RA_64)
427 && MF->getFrameInfo()->isReturnAddressTaken();
428 if (!IsRAAndRetAddrIsTaken)
429 EntryBlock->addLiveIn(Reg);
430
431 // Insert the spill to the stack frame.
432 bool IsKill = !IsRAAndRetAddrIsTaken;
433 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
434 TII.storeRegToStackSlot(*EntryBlock, MI, Reg, IsKill,
435 CSI[i].getFrameIdx(), RC, TRI);
436 }
437
438 return true;
439}
440
441bool
442MipsSEFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
443 const MachineFrameInfo *MFI = MF.getFrameInfo();
444
445 // Reserve call frame if the size of the maximum call frame fits into 16-bit
446 // immediate field and there are no variable sized objects on the stack.
Akira Hatanakad6a77822013-03-30 01:04:11 +0000447 // Make sure the second register scavenger spill slot can be accessed with one
448 // instruction.
449 return isInt<16>(MFI->getMaxCallFrameSize() + getStackAlignment()) &&
450 !MFI->hasVarSizedObjects();
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000451}
452
Eli Bendersky700ed802013-02-21 20:05:00 +0000453// Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions
454void MipsSEFrameLowering::
455eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
456 MachineBasicBlock::iterator I) const {
457 const MipsSEInstrInfo &TII =
458 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
459
460 if (!hasReservedCallFrame(MF)) {
461 int64_t Amount = I->getOperand(0).getImm();
462
463 if (I->getOpcode() == Mips::ADJCALLSTACKDOWN)
464 Amount = -Amount;
465
466 unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP;
467 TII.adjustStackPtr(SP, Amount, MBB, I);
468 }
469
470 MBB.erase(I);
471}
472
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000473void MipsSEFrameLowering::
474processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
475 RegScavenger *RS) const {
476 MachineRegisterInfo &MRI = MF.getRegInfo();
Akira Hatanaka544cc212013-01-30 00:26:49 +0000477 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000478 unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP;
479
480 // Mark $fp as used if function has dedicated frame pointer.
481 if (hasFP(MF))
482 MRI.setPhysRegUsed(FP);
Akira Hatanaka11a45c22012-11-03 00:05:43 +0000483
Akira Hatanaka544cc212013-01-30 00:26:49 +0000484 // Create spill slots for eh data registers if function calls eh_return.
485 if (MipsFI->callsEhReturn())
486 MipsFI->createEhDataRegsFI();
487
Akira Hatanakad6a77822013-03-30 01:04:11 +0000488 // Expand pseudo instructions which load, store or copy accumulators.
489 // Add an emergency spill slot if a pseudo was expanded.
Akira Hatanakaf9a5e7e2013-05-01 23:41:31 +0000490 if (ExpandPseudo(MF).expand()) {
Akira Hatanakad6a77822013-03-30 01:04:11 +0000491 // The spill slot should be half the size of the accumulator. If target is
492 // mips64, it should be 64-bit, otherwise it should be 32-bt.
493 const TargetRegisterClass *RC = STI.hasMips64() ?
494 &Mips::CPU64RegsRegClass : &Mips::CPURegsRegClass;
495 int FI = MF.getFrameInfo()->CreateStackObject(RC->getSize(),
496 RC->getAlignment(), false);
497 RS->addScavengingFrameIndex(FI);
498 }
499
Akira Hatanaka11a45c22012-11-03 00:05:43 +0000500 // Set scavenging frame index if necessary.
501 uint64_t MaxSPOffset = MF.getInfo<MipsFunctionInfo>()->getIncomingArgSize() +
502 estimateStackSize(MF);
503
504 if (isInt<16>(MaxSPOffset))
505 return;
506
507 const TargetRegisterClass *RC = STI.isABI_N64() ?
508 &Mips::CPU64RegsRegClass : &Mips::CPURegsRegClass;
509 int FI = MF.getFrameInfo()->CreateStackObject(RC->getSize(),
510 RC->getAlignment(), false);
Hal Finkeldc3beb92013-03-22 23:32:27 +0000511 RS->addScavengingFrameIndex(FI);
Akira Hatanakacdb3ba72012-07-31 22:50:19 +0000512}
Akira Hatanakaaf266262012-08-02 18:21:47 +0000513
514const MipsFrameLowering *
515llvm::createMipsSEFrameLowering(const MipsSubtarget &ST) {
516 return new MipsSEFrameLowering(ST);
517}