blob: 6573070f7031154f71709dacf9e01030ebfd7aaa [file] [log] [blame]
Akira Hatanakad1c43ce2012-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 Hatanakad1c43ce2012-07-31 22:50:19 +000015#include "MCTargetDesc/MipsBaseInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000016#include "MipsAnalyzeImmediate.h"
17#include "MipsMachineFunction.h"
18#include "MipsSEInstrInfo.h"
Eric Christopher4cdb3f92014-07-02 23:29:55 +000019#include "MipsSubtarget.h"
Akira Hatanakad1c43ce2012-07-31 22:50:19 +000020#include "llvm/CodeGen/MachineFrameInfo.h"
21#include "llvm/CodeGen/MachineFunction.h"
22#include "llvm/CodeGen/MachineInstrBuilder.h"
23#include "llvm/CodeGen/MachineModuleInfo.h"
24#include "llvm/CodeGen/MachineRegisterInfo.h"
Akira Hatanaka5852e3b2012-11-03 00:05:43 +000025#include "llvm/CodeGen/RegisterScavenging.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000026#include "llvm/IR/DataLayout.h"
27#include "llvm/IR/Function.h"
Akira Hatanakad1c43ce2012-07-31 22:50:19 +000028#include "llvm/Support/CommandLine.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000029#include "llvm/Target/TargetOptions.h"
Akira Hatanakad1c43ce2012-07-31 22:50:19 +000030
31using namespace llvm;
32
Akira Hatanaka3b701452013-03-30 01:04:11 +000033namespace {
34typedef MachineBasicBlock::iterator Iter;
35
Akira Hatanaka16048332013-10-07 18:49:46 +000036static std::pair<unsigned, unsigned> getMFHiLoOpc(unsigned Src) {
37 if (Mips::ACC64RegClass.contains(Src))
38 return std::make_pair((unsigned)Mips::PseudoMFHI,
39 (unsigned)Mips::PseudoMFLO);
40
41 if (Mips::ACC64DSPRegClass.contains(Src))
42 return std::make_pair((unsigned)Mips::MFHI_DSP, (unsigned)Mips::MFLO_DSP);
43
44 if (Mips::ACC128RegClass.contains(Src))
45 return std::make_pair((unsigned)Mips::PseudoMFHI64,
46 (unsigned)Mips::PseudoMFLO64);
47
48 return std::make_pair(0, 0);
49}
50
Akira Hatanakaae4a5562013-05-01 23:41:31 +000051/// Helper class to expand pseudos.
52class ExpandPseudo {
Akira Hatanaka3b701452013-03-30 01:04:11 +000053public:
Akira Hatanakaae4a5562013-05-01 23:41:31 +000054 ExpandPseudo(MachineFunction &MF);
Akira Hatanaka3b701452013-03-30 01:04:11 +000055 bool expand();
56
57private:
58 bool expandInstr(MachineBasicBlock &MBB, Iter I);
Akira Hatanaka5705f542013-05-02 23:07:05 +000059 void expandLoadCCond(MachineBasicBlock &MBB, Iter I);
60 void expandStoreCCond(MachineBasicBlock &MBB, Iter I);
Akira Hatanakaae4a5562013-05-01 23:41:31 +000061 void expandLoadACC(MachineBasicBlock &MBB, Iter I, unsigned RegSize);
Akira Hatanaka16048332013-10-07 18:49:46 +000062 void expandStoreACC(MachineBasicBlock &MBB, Iter I, unsigned MFHiOpc,
63 unsigned MFLoOpc, unsigned RegSize);
Akira Hatanaka42543192013-04-30 23:22:09 +000064 bool expandCopy(MachineBasicBlock &MBB, Iter I);
Akira Hatanaka16048332013-10-07 18:49:46 +000065 bool expandCopyACC(MachineBasicBlock &MBB, Iter I, unsigned MFHiOpc,
66 unsigned MFLoOpc);
Akira Hatanaka3b701452013-03-30 01:04:11 +000067
68 MachineFunction &MF;
Akira Hatanaka3b701452013-03-30 01:04:11 +000069 MachineRegisterInfo &MRI;
70};
71}
72
Akira Hatanakaae4a5562013-05-01 23:41:31 +000073ExpandPseudo::ExpandPseudo(MachineFunction &MF_)
Bill Wendlingead89ef2013-06-07 07:04:14 +000074 : MF(MF_), MRI(MF.getRegInfo()) {}
Akira Hatanaka3b701452013-03-30 01:04:11 +000075
Akira Hatanakaae4a5562013-05-01 23:41:31 +000076bool ExpandPseudo::expand() {
Akira Hatanaka3b701452013-03-30 01:04:11 +000077 bool Expanded = false;
78
79 for (MachineFunction::iterator BB = MF.begin(), BBEnd = MF.end();
80 BB != BBEnd; ++BB)
81 for (Iter I = BB->begin(), End = BB->end(); I != End;)
82 Expanded |= expandInstr(*BB, I++);
83
84 return Expanded;
85}
86
Akira Hatanakaae4a5562013-05-01 23:41:31 +000087bool ExpandPseudo::expandInstr(MachineBasicBlock &MBB, Iter I) {
Akira Hatanaka3b701452013-03-30 01:04:11 +000088 switch(I->getOpcode()) {
Akira Hatanaka5705f542013-05-02 23:07:05 +000089 case Mips::LOAD_CCOND_DSP:
Akira Hatanaka5705f542013-05-02 23:07:05 +000090 expandLoadCCond(MBB, I);
91 break;
92 case Mips::STORE_CCOND_DSP:
Akira Hatanaka5705f542013-05-02 23:07:05 +000093 expandStoreCCond(MBB, I);
94 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +000095 case Mips::LOAD_ACC64:
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +000096 case Mips::LOAD_ACC64DSP:
Akira Hatanakaae4a5562013-05-01 23:41:31 +000097 expandLoadACC(MBB, I, 4);
Akira Hatanaka3b701452013-03-30 01:04:11 +000098 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +000099 case Mips::LOAD_ACC128:
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000100 expandLoadACC(MBB, I, 8);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000101 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000102 case Mips::STORE_ACC64:
Akira Hatanaka16048332013-10-07 18:49:46 +0000103 expandStoreACC(MBB, I, Mips::PseudoMFHI, Mips::PseudoMFLO, 4);
104 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000105 case Mips::STORE_ACC64DSP:
Akira Hatanaka16048332013-10-07 18:49:46 +0000106 expandStoreACC(MBB, I, Mips::MFHI_DSP, Mips::MFLO_DSP, 4);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000107 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000108 case Mips::STORE_ACC128:
Akira Hatanaka16048332013-10-07 18:49:46 +0000109 expandStoreACC(MBB, I, Mips::PseudoMFHI64, Mips::PseudoMFLO64, 8);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000110 break;
Akira Hatanaka42543192013-04-30 23:22:09 +0000111 case TargetOpcode::COPY:
112 if (!expandCopy(MBB, I))
113 return false;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000114 break;
115 default:
116 return false;
117 }
118
119 MBB.erase(I);
120 return true;
121}
122
Akira Hatanaka5705f542013-05-02 23:07:05 +0000123void ExpandPseudo::expandLoadCCond(MachineBasicBlock &MBB, Iter I) {
124 // load $vr, FI
125 // copy ccond, $vr
126
127 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
128
Bill Wendlingead89ef2013-06-07 07:04:14 +0000129 const MipsSEInstrInfo &TII =
130 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
131 const MipsRegisterInfo &RegInfo =
132 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
133
Akira Hatanaka5705f542013-05-02 23:07:05 +0000134 const TargetRegisterClass *RC = RegInfo.intRegClass(4);
135 unsigned VR = MRI.createVirtualRegister(RC);
136 unsigned Dst = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
137
138 TII.loadRegFromStack(MBB, I, VR, FI, RC, &RegInfo, 0);
139 BuildMI(MBB, I, I->getDebugLoc(), TII.get(TargetOpcode::COPY), Dst)
140 .addReg(VR, RegState::Kill);
141}
142
143void ExpandPseudo::expandStoreCCond(MachineBasicBlock &MBB, Iter I) {
144 // copy $vr, ccond
145 // store $vr, FI
146
147 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
148
Bill Wendlingead89ef2013-06-07 07:04:14 +0000149 const MipsSEInstrInfo &TII =
150 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
151 const MipsRegisterInfo &RegInfo =
152 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
153
Akira Hatanaka5705f542013-05-02 23:07:05 +0000154 const TargetRegisterClass *RC = RegInfo.intRegClass(4);
155 unsigned VR = MRI.createVirtualRegister(RC);
156 unsigned Src = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
157
158 BuildMI(MBB, I, I->getDebugLoc(), TII.get(TargetOpcode::COPY), VR)
159 .addReg(Src, getKillRegState(I->getOperand(0).isKill()));
160 TII.storeRegToStack(MBB, I, VR, true, FI, RC, &RegInfo, 0);
161}
162
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000163void ExpandPseudo::expandLoadACC(MachineBasicBlock &MBB, Iter I,
Akira Hatanaka3b701452013-03-30 01:04:11 +0000164 unsigned RegSize) {
165 // load $vr0, FI
166 // copy lo, $vr0
167 // load $vr1, FI + 4
168 // copy hi, $vr1
169
170 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
171
Bill Wendlingead89ef2013-06-07 07:04:14 +0000172 const MipsSEInstrInfo &TII =
173 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
174 const MipsRegisterInfo &RegInfo =
175 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
176
Akira Hatanaka3b701452013-03-30 01:04:11 +0000177 const TargetRegisterClass *RC = RegInfo.intRegClass(RegSize);
178 unsigned VR0 = MRI.createVirtualRegister(RC);
179 unsigned VR1 = MRI.createVirtualRegister(RC);
180 unsigned Dst = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
181 unsigned Lo = RegInfo.getSubReg(Dst, Mips::sub_lo);
182 unsigned Hi = RegInfo.getSubReg(Dst, Mips::sub_hi);
183 DebugLoc DL = I->getDebugLoc();
184 const MCInstrDesc &Desc = TII.get(TargetOpcode::COPY);
185
186 TII.loadRegFromStack(MBB, I, VR0, FI, RC, &RegInfo, 0);
187 BuildMI(MBB, I, DL, Desc, Lo).addReg(VR0, RegState::Kill);
188 TII.loadRegFromStack(MBB, I, VR1, FI, RC, &RegInfo, RegSize);
189 BuildMI(MBB, I, DL, Desc, Hi).addReg(VR1, RegState::Kill);
190}
191
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000192void ExpandPseudo::expandStoreACC(MachineBasicBlock &MBB, Iter I,
Akira Hatanaka16048332013-10-07 18:49:46 +0000193 unsigned MFHiOpc, unsigned MFLoOpc,
Akira Hatanaka3b701452013-03-30 01:04:11 +0000194 unsigned RegSize) {
Akira Hatanaka16048332013-10-07 18:49:46 +0000195 // mflo $vr0, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000196 // store $vr0, FI
Akira Hatanaka16048332013-10-07 18:49:46 +0000197 // mfhi $vr1, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000198 // store $vr1, FI + 4
199
200 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
201
Bill Wendlingead89ef2013-06-07 07:04:14 +0000202 const MipsSEInstrInfo &TII =
203 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
204 const MipsRegisterInfo &RegInfo =
205 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
206
Akira Hatanaka3b701452013-03-30 01:04:11 +0000207 const TargetRegisterClass *RC = RegInfo.intRegClass(RegSize);
208 unsigned VR0 = MRI.createVirtualRegister(RC);
209 unsigned VR1 = MRI.createVirtualRegister(RC);
210 unsigned Src = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
211 unsigned SrcKill = getKillRegState(I->getOperand(0).isKill());
Akira Hatanaka3b701452013-03-30 01:04:11 +0000212 DebugLoc DL = I->getDebugLoc();
213
Akira Hatanaka16048332013-10-07 18:49:46 +0000214 BuildMI(MBB, I, DL, TII.get(MFLoOpc), VR0).addReg(Src);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000215 TII.storeRegToStack(MBB, I, VR0, true, FI, RC, &RegInfo, 0);
Akira Hatanaka16048332013-10-07 18:49:46 +0000216 BuildMI(MBB, I, DL, TII.get(MFHiOpc), VR1).addReg(Src, SrcKill);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000217 TII.storeRegToStack(MBB, I, VR1, true, FI, RC, &RegInfo, RegSize);
218}
219
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000220bool ExpandPseudo::expandCopy(MachineBasicBlock &MBB, Iter I) {
Akira Hatanaka16048332013-10-07 18:49:46 +0000221 unsigned Src = I->getOperand(1).getReg();
222 std::pair<unsigned, unsigned> Opcodes = getMFHiLoOpc(Src);
Akira Hatanaka42543192013-04-30 23:22:09 +0000223
Akira Hatanaka16048332013-10-07 18:49:46 +0000224 if (!Opcodes.first)
225 return false;
Akira Hatanaka42543192013-04-30 23:22:09 +0000226
Akira Hatanaka16048332013-10-07 18:49:46 +0000227 return expandCopyACC(MBB, I, Opcodes.first, Opcodes.second);
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000228}
229
Akira Hatanaka16048332013-10-07 18:49:46 +0000230bool ExpandPseudo::expandCopyACC(MachineBasicBlock &MBB, Iter I,
231 unsigned MFHiOpc, unsigned MFLoOpc) {
232 // mflo $vr0, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000233 // copy dst_lo, $vr0
Akira Hatanaka16048332013-10-07 18:49:46 +0000234 // mfhi $vr1, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000235 // copy dst_hi, $vr1
236
Bill Wendlingead89ef2013-06-07 07:04:14 +0000237 const MipsSEInstrInfo &TII =
238 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
239 const MipsRegisterInfo &RegInfo =
240 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
241
Akira Hatanaka16048332013-10-07 18:49:46 +0000242 unsigned Dst = I->getOperand(0).getReg(), Src = I->getOperand(1).getReg();
243 unsigned VRegSize = RegInfo.getMinimalPhysRegClass(Dst)->getSize() / 2;
244 const TargetRegisterClass *RC = RegInfo.intRegClass(VRegSize);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000245 unsigned VR0 = MRI.createVirtualRegister(RC);
246 unsigned VR1 = MRI.createVirtualRegister(RC);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000247 unsigned SrcKill = getKillRegState(I->getOperand(1).isKill());
248 unsigned DstLo = RegInfo.getSubReg(Dst, Mips::sub_lo);
249 unsigned DstHi = RegInfo.getSubReg(Dst, Mips::sub_hi);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000250 DebugLoc DL = I->getDebugLoc();
251
Akira Hatanaka16048332013-10-07 18:49:46 +0000252 BuildMI(MBB, I, DL, TII.get(MFLoOpc), VR0).addReg(Src);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000253 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), DstLo)
254 .addReg(VR0, RegState::Kill);
Akira Hatanaka16048332013-10-07 18:49:46 +0000255 BuildMI(MBB, I, DL, TII.get(MFHiOpc), VR1).addReg(Src, SrcKill);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000256 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), DstHi)
257 .addReg(VR1, RegState::Kill);
Akira Hatanaka42543192013-04-30 23:22:09 +0000258 return true;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000259}
260
Eric Christopher4cdb3f92014-07-02 23:29:55 +0000261MipsSEFrameLowering::MipsSEFrameLowering(const MipsSubtarget &STI)
262 : MipsFrameLowering(STI, STI.stackAlignment()) {}
263
Akira Hatanakac0b02062013-01-30 00:26:49 +0000264unsigned MipsSEFrameLowering::ehDataReg(unsigned I) const {
265 static const unsigned EhDataReg[] = {
266 Mips::A0, Mips::A1, Mips::A2, Mips::A3
267 };
268 static const unsigned EhDataReg64[] = {
269 Mips::A0_64, Mips::A1_64, Mips::A2_64, Mips::A3_64
270 };
271
272 return STI.isABI_N64() ? EhDataReg64[I] : EhDataReg[I];
273}
274
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000275void MipsSEFrameLowering::emitPrologue(MachineFunction &MF) const {
276 MachineBasicBlock &MBB = MF.front();
277 MachineFrameInfo *MFI = MF.getFrameInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000278 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Bill Wendlingead89ef2013-06-07 07:04:14 +0000279
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000280 const MipsSEInstrInfo &TII =
281 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000282 const MipsRegisterInfo &RegInfo =
283 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
284
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000285 MachineBasicBlock::iterator MBBI = MBB.begin();
286 DebugLoc dl = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
287 unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP;
288 unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP;
289 unsigned ZERO = STI.isABI_N64() ? Mips::ZERO_64 : Mips::ZERO;
290 unsigned ADDu = STI.isABI_N64() ? Mips::DADDu : Mips::ADDu;
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000291
292 // First, compute final stack size.
293 uint64_t StackSize = MFI->getStackSize();
294
295 // No need to allocate space on the stack.
296 if (StackSize == 0 && !MFI->adjustsStack()) return;
297
298 MachineModuleInfo &MMI = MF.getMMI();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000299 const MCRegisterInfo *MRI = MMI.getContext().getRegisterInfo();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000300 MachineLocation DstML, SrcML;
301
302 // Adjust stack.
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000303 TII.adjustStackPtr(SP, -StackSize, MBB, MBBI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000304
305 // emit ".cfi_def_cfa_offset StackSize"
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000306 unsigned CFIIndex = MMI.addFrameInst(
307 MCCFIInstruction::createDefCfaOffset(nullptr, -StackSize));
308 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
309 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000310
311 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
312
313 if (CSI.size()) {
314 // Find the instruction past the last instruction that saves a callee-saved
315 // register to the stack.
316 for (unsigned i = 0; i < CSI.size(); ++i)
317 ++MBBI;
318
319 // Iterate over list of callee-saved registers and emit .cfi_offset
320 // directives.
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000321 for (std::vector<CalleeSavedInfo>::const_iterator I = CSI.begin(),
322 E = CSI.end(); I != E; ++I) {
323 int64_t Offset = MFI->getObjectOffset(I->getFrameIdx());
324 unsigned Reg = I->getReg();
325
326 // If Reg is a double precision register, emit two cfa_offsets,
327 // one for each of the paired single precision registers.
328 if (Mips::AFGR64RegClass.contains(Reg)) {
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000329 unsigned Reg0 =
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000330 MRI->getDwarfRegNum(RegInfo.getSubReg(Reg, Mips::sub_lo), true);
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000331 unsigned Reg1 =
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000332 MRI->getDwarfRegNum(RegInfo.getSubReg(Reg, Mips::sub_hi), true);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000333
334 if (!STI.isLittle())
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000335 std::swap(Reg0, Reg1);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000336
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000337 unsigned CFIIndex = MMI.addFrameInst(
338 MCCFIInstruction::createOffset(nullptr, Reg0, Offset));
339 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
340 .addCFIIndex(CFIIndex);
341
342 CFIIndex = MMI.addFrameInst(
343 MCCFIInstruction::createOffset(nullptr, Reg1, Offset + 4));
344 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
345 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000346 } else {
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000347 // Reg is either in GPR32 or FGR32.
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000348 unsigned CFIIndex = MMI.addFrameInst(MCCFIInstruction::createOffset(
349 nullptr, MRI->getDwarfRegNum(Reg, 1), Offset));
350 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
351 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000352 }
353 }
354 }
355
Akira Hatanakac0b02062013-01-30 00:26:49 +0000356 if (MipsFI->callsEhReturn()) {
357 const TargetRegisterClass *RC = STI.isABI_N64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000358 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanakac0b02062013-01-30 00:26:49 +0000359
360 // Insert instructions that spill eh data registers.
361 for (int I = 0; I < 4; ++I) {
362 if (!MBB.isLiveIn(ehDataReg(I)))
363 MBB.addLiveIn(ehDataReg(I));
364 TII.storeRegToStackSlot(MBB, MBBI, ehDataReg(I), false,
Bill Wendlingead89ef2013-06-07 07:04:14 +0000365 MipsFI->getEhDataRegFI(I), RC, &RegInfo);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000366 }
367
368 // Emit .cfi_offset directives for eh data registers.
Akira Hatanakac0b02062013-01-30 00:26:49 +0000369 for (int I = 0; I < 4; ++I) {
370 int64_t Offset = MFI->getObjectOffset(MipsFI->getEhDataRegFI(I));
Bill Wendlingbc07a892013-06-18 07:20:20 +0000371 unsigned Reg = MRI->getDwarfRegNum(ehDataReg(I), true);
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000372 unsigned CFIIndex = MMI.addFrameInst(
373 MCCFIInstruction::createOffset(nullptr, Reg, Offset));
374 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
375 .addCFIIndex(CFIIndex);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000376 }
377 }
378
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000379 // if framepointer enabled, set it to point to the stack pointer.
380 if (hasFP(MF)) {
381 // Insert instruction "move $fp, $sp" at this location.
Eric Christopherb45b4812014-04-14 22:21:22 +0000382 BuildMI(MBB, MBBI, dl, TII.get(ADDu), FP).addReg(SP).addReg(ZERO)
383 .setMIFlag(MachineInstr::FrameSetup);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000384
385 // emit ".cfi_def_cfa_register $fp"
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000386 unsigned CFIIndex = MMI.addFrameInst(MCCFIInstruction::createDefCfaRegister(
387 nullptr, MRI->getDwarfRegNum(FP, true)));
388 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
389 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000390 }
391}
392
393void MipsSEFrameLowering::emitEpilogue(MachineFunction &MF,
394 MachineBasicBlock &MBB) const {
395 MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
396 MachineFrameInfo *MFI = MF.getFrameInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000397 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Bill Wendlingead89ef2013-06-07 07:04:14 +0000398
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000399 const MipsSEInstrInfo &TII =
400 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000401 const MipsRegisterInfo &RegInfo =
402 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
403
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000404 DebugLoc dl = MBBI->getDebugLoc();
405 unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP;
406 unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP;
407 unsigned ZERO = STI.isABI_N64() ? Mips::ZERO_64 : Mips::ZERO;
408 unsigned ADDu = STI.isABI_N64() ? Mips::DADDu : Mips::ADDu;
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000409
410 // if framepointer enabled, restore the stack pointer.
411 if (hasFP(MF)) {
412 // Find the first instruction that restores a callee-saved register.
413 MachineBasicBlock::iterator I = MBBI;
414
415 for (unsigned i = 0; i < MFI->getCalleeSavedInfo().size(); ++i)
416 --I;
417
418 // Insert instruction "move $sp, $fp" at this location.
419 BuildMI(MBB, I, dl, TII.get(ADDu), SP).addReg(FP).addReg(ZERO);
420 }
421
Akira Hatanakac0b02062013-01-30 00:26:49 +0000422 if (MipsFI->callsEhReturn()) {
423 const TargetRegisterClass *RC = STI.isABI_N64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000424 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanakac0b02062013-01-30 00:26:49 +0000425
426 // Find first instruction that restores a callee-saved register.
427 MachineBasicBlock::iterator I = MBBI;
428 for (unsigned i = 0; i < MFI->getCalleeSavedInfo().size(); ++i)
429 --I;
430
431 // Insert instructions that restore eh data registers.
432 for (int J = 0; J < 4; ++J) {
433 TII.loadRegFromStackSlot(MBB, I, ehDataReg(J), MipsFI->getEhDataRegFI(J),
Bill Wendlingead89ef2013-06-07 07:04:14 +0000434 RC, &RegInfo);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000435 }
436 }
437
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000438 // Get the number of bytes from FrameInfo
439 uint64_t StackSize = MFI->getStackSize();
440
441 if (!StackSize)
442 return;
443
444 // Adjust stack.
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000445 TII.adjustStackPtr(SP, StackSize, MBB, MBBI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000446}
447
448bool MipsSEFrameLowering::
449spillCalleeSavedRegisters(MachineBasicBlock &MBB,
450 MachineBasicBlock::iterator MI,
451 const std::vector<CalleeSavedInfo> &CSI,
452 const TargetRegisterInfo *TRI) const {
453 MachineFunction *MF = MBB.getParent();
454 MachineBasicBlock *EntryBlock = MF->begin();
455 const TargetInstrInfo &TII = *MF->getTarget().getInstrInfo();
456
457 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
458 // Add the callee-saved register as live-in. Do not add if the register is
459 // RA and return address is taken, because it has already been added in
460 // method MipsTargetLowering::LowerRETURNADDR.
461 // It's killed at the spill, unless the register is RA and return address
462 // is taken.
463 unsigned Reg = CSI[i].getReg();
464 bool IsRAAndRetAddrIsTaken = (Reg == Mips::RA || Reg == Mips::RA_64)
465 && MF->getFrameInfo()->isReturnAddressTaken();
466 if (!IsRAAndRetAddrIsTaken)
467 EntryBlock->addLiveIn(Reg);
468
469 // Insert the spill to the stack frame.
470 bool IsKill = !IsRAAndRetAddrIsTaken;
471 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
472 TII.storeRegToStackSlot(*EntryBlock, MI, Reg, IsKill,
473 CSI[i].getFrameIdx(), RC, TRI);
474 }
475
476 return true;
477}
478
479bool
480MipsSEFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
481 const MachineFrameInfo *MFI = MF.getFrameInfo();
482
483 // Reserve call frame if the size of the maximum call frame fits into 16-bit
484 // immediate field and there are no variable sized objects on the stack.
Akira Hatanaka3b701452013-03-30 01:04:11 +0000485 // Make sure the second register scavenger spill slot can be accessed with one
486 // instruction.
487 return isInt<16>(MFI->getMaxCallFrameSize() + getStackAlignment()) &&
488 !MFI->hasVarSizedObjects();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000489}
490
Eli Bendersky8da87162013-02-21 20:05:00 +0000491// Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions
492void MipsSEFrameLowering::
493eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
494 MachineBasicBlock::iterator I) const {
495 const MipsSEInstrInfo &TII =
496 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
497
498 if (!hasReservedCallFrame(MF)) {
499 int64_t Amount = I->getOperand(0).getImm();
500
501 if (I->getOpcode() == Mips::ADJCALLSTACKDOWN)
502 Amount = -Amount;
503
504 unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP;
505 TII.adjustStackPtr(SP, Amount, MBB, I);
506 }
507
508 MBB.erase(I);
509}
510
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000511void MipsSEFrameLowering::
512processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
513 RegScavenger *RS) const {
514 MachineRegisterInfo &MRI = MF.getRegInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000515 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000516 unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP;
517
518 // Mark $fp as used if function has dedicated frame pointer.
519 if (hasFP(MF))
520 MRI.setPhysRegUsed(FP);
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000521
Akira Hatanakac0b02062013-01-30 00:26:49 +0000522 // Create spill slots for eh data registers if function calls eh_return.
523 if (MipsFI->callsEhReturn())
524 MipsFI->createEhDataRegsFI();
525
Akira Hatanaka3b701452013-03-30 01:04:11 +0000526 // Expand pseudo instructions which load, store or copy accumulators.
527 // Add an emergency spill slot if a pseudo was expanded.
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000528 if (ExpandPseudo(MF).expand()) {
Akira Hatanaka3b701452013-03-30 01:04:11 +0000529 // The spill slot should be half the size of the accumulator. If target is
530 // mips64, it should be 64-bit, otherwise it should be 32-bt.
531 const TargetRegisterClass *RC = STI.hasMips64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000532 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000533 int FI = MF.getFrameInfo()->CreateStackObject(RC->getSize(),
534 RC->getAlignment(), false);
535 RS->addScavengingFrameIndex(FI);
536 }
537
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000538 // Set scavenging frame index if necessary.
539 uint64_t MaxSPOffset = MF.getInfo<MipsFunctionInfo>()->getIncomingArgSize() +
540 estimateStackSize(MF);
541
542 if (isInt<16>(MaxSPOffset))
543 return;
544
545 const TargetRegisterClass *RC = STI.isABI_N64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000546 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000547 int FI = MF.getFrameInfo()->CreateStackObject(RC->getSize(),
548 RC->getAlignment(), false);
Hal Finkel9e331c22013-03-22 23:32:27 +0000549 RS->addScavengingFrameIndex(FI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000550}
Akira Hatanakafab89292012-08-02 18:21:47 +0000551
552const MipsFrameLowering *
553llvm::createMipsSEFrameLowering(const MipsSubtarget &ST) {
554 return new MipsSEFrameLowering(ST);
555}