blob: 0343a4764f796a87f250121de437b74562352b45 [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"
Akira Hatanakad1c43ce2012-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 Hatanaka5852e3b2012-11-03 00:05:43 +000024#include "llvm/CodeGen/RegisterScavenging.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000025#include "llvm/IR/DataLayout.h"
26#include "llvm/IR/Function.h"
Akira Hatanakad1c43ce2012-07-31 22:50:19 +000027#include "llvm/Support/CommandLine.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000028#include "llvm/Target/TargetOptions.h"
Akira Hatanakad1c43ce2012-07-31 22:50:19 +000029
30using namespace llvm;
31
Akira Hatanaka3b701452013-03-30 01:04:11 +000032namespace {
33typedef MachineBasicBlock::iterator Iter;
34
Akira Hatanaka16048332013-10-07 18:49:46 +000035static std::pair<unsigned, unsigned> getMFHiLoOpc(unsigned Src) {
36 if (Mips::ACC64RegClass.contains(Src))
37 return std::make_pair((unsigned)Mips::PseudoMFHI,
38 (unsigned)Mips::PseudoMFLO);
39
40 if (Mips::ACC64DSPRegClass.contains(Src))
41 return std::make_pair((unsigned)Mips::MFHI_DSP, (unsigned)Mips::MFLO_DSP);
42
43 if (Mips::ACC128RegClass.contains(Src))
44 return std::make_pair((unsigned)Mips::PseudoMFHI64,
45 (unsigned)Mips::PseudoMFLO64);
46
47 return std::make_pair(0, 0);
48}
49
Akira Hatanakaae4a5562013-05-01 23:41:31 +000050/// Helper class to expand pseudos.
51class ExpandPseudo {
Akira Hatanaka3b701452013-03-30 01:04:11 +000052public:
Akira Hatanakaae4a5562013-05-01 23:41:31 +000053 ExpandPseudo(MachineFunction &MF);
Akira Hatanaka3b701452013-03-30 01:04:11 +000054 bool expand();
55
56private:
57 bool expandInstr(MachineBasicBlock &MBB, Iter I);
Akira Hatanaka5705f542013-05-02 23:07:05 +000058 void expandLoadCCond(MachineBasicBlock &MBB, Iter I);
59 void expandStoreCCond(MachineBasicBlock &MBB, Iter I);
Akira Hatanakaae4a5562013-05-01 23:41:31 +000060 void expandLoadACC(MachineBasicBlock &MBB, Iter I, unsigned RegSize);
Akira Hatanaka16048332013-10-07 18:49:46 +000061 void expandStoreACC(MachineBasicBlock &MBB, Iter I, unsigned MFHiOpc,
62 unsigned MFLoOpc, unsigned RegSize);
Akira Hatanaka42543192013-04-30 23:22:09 +000063 bool expandCopy(MachineBasicBlock &MBB, Iter I);
Akira Hatanaka16048332013-10-07 18:49:46 +000064 bool expandCopyACC(MachineBasicBlock &MBB, Iter I, unsigned MFHiOpc,
65 unsigned MFLoOpc);
Akira Hatanaka3b701452013-03-30 01:04:11 +000066
67 MachineFunction &MF;
Akira Hatanaka3b701452013-03-30 01:04:11 +000068 MachineRegisterInfo &MRI;
69};
70}
71
Akira Hatanakaae4a5562013-05-01 23:41:31 +000072ExpandPseudo::ExpandPseudo(MachineFunction &MF_)
Bill Wendlingead89ef2013-06-07 07:04:14 +000073 : MF(MF_), MRI(MF.getRegInfo()) {}
Akira Hatanaka3b701452013-03-30 01:04:11 +000074
Akira Hatanakaae4a5562013-05-01 23:41:31 +000075bool ExpandPseudo::expand() {
Akira Hatanaka3b701452013-03-30 01:04:11 +000076 bool Expanded = false;
77
78 for (MachineFunction::iterator BB = MF.begin(), BBEnd = MF.end();
79 BB != BBEnd; ++BB)
80 for (Iter I = BB->begin(), End = BB->end(); I != End;)
81 Expanded |= expandInstr(*BB, I++);
82
83 return Expanded;
84}
85
Akira Hatanakaae4a5562013-05-01 23:41:31 +000086bool ExpandPseudo::expandInstr(MachineBasicBlock &MBB, Iter I) {
Akira Hatanaka3b701452013-03-30 01:04:11 +000087 switch(I->getOpcode()) {
Akira Hatanaka5705f542013-05-02 23:07:05 +000088 case Mips::LOAD_CCOND_DSP:
Akira Hatanaka5705f542013-05-02 23:07:05 +000089 expandLoadCCond(MBB, I);
90 break;
91 case Mips::STORE_CCOND_DSP:
Akira Hatanaka5705f542013-05-02 23:07:05 +000092 expandStoreCCond(MBB, I);
93 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +000094 case Mips::LOAD_ACC64:
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +000095 case Mips::LOAD_ACC64DSP:
Akira Hatanakaae4a5562013-05-01 23:41:31 +000096 expandLoadACC(MBB, I, 4);
Akira Hatanaka3b701452013-03-30 01:04:11 +000097 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +000098 case Mips::LOAD_ACC128:
Akira Hatanakaae4a5562013-05-01 23:41:31 +000099 expandLoadACC(MBB, I, 8);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000100 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000101 case Mips::STORE_ACC64:
Akira Hatanaka16048332013-10-07 18:49:46 +0000102 expandStoreACC(MBB, I, Mips::PseudoMFHI, Mips::PseudoMFLO, 4);
103 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000104 case Mips::STORE_ACC64DSP:
Akira Hatanaka16048332013-10-07 18:49:46 +0000105 expandStoreACC(MBB, I, Mips::MFHI_DSP, Mips::MFLO_DSP, 4);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000106 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000107 case Mips::STORE_ACC128:
Akira Hatanaka16048332013-10-07 18:49:46 +0000108 expandStoreACC(MBB, I, Mips::PseudoMFHI64, Mips::PseudoMFLO64, 8);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000109 break;
Akira Hatanaka42543192013-04-30 23:22:09 +0000110 case TargetOpcode::COPY:
111 if (!expandCopy(MBB, I))
112 return false;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000113 break;
114 default:
115 return false;
116 }
117
118 MBB.erase(I);
119 return true;
120}
121
Akira Hatanaka5705f542013-05-02 23:07:05 +0000122void ExpandPseudo::expandLoadCCond(MachineBasicBlock &MBB, Iter I) {
123 // load $vr, FI
124 // copy ccond, $vr
125
126 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
127
Bill Wendlingead89ef2013-06-07 07:04:14 +0000128 const MipsSEInstrInfo &TII =
129 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
130 const MipsRegisterInfo &RegInfo =
131 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
132
Akira Hatanaka5705f542013-05-02 23:07:05 +0000133 const TargetRegisterClass *RC = RegInfo.intRegClass(4);
134 unsigned VR = MRI.createVirtualRegister(RC);
135 unsigned Dst = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
136
137 TII.loadRegFromStack(MBB, I, VR, FI, RC, &RegInfo, 0);
138 BuildMI(MBB, I, I->getDebugLoc(), TII.get(TargetOpcode::COPY), Dst)
139 .addReg(VR, RegState::Kill);
140}
141
142void ExpandPseudo::expandStoreCCond(MachineBasicBlock &MBB, Iter I) {
143 // copy $vr, ccond
144 // store $vr, FI
145
146 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
147
Bill Wendlingead89ef2013-06-07 07:04:14 +0000148 const MipsSEInstrInfo &TII =
149 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
150 const MipsRegisterInfo &RegInfo =
151 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
152
Akira Hatanaka5705f542013-05-02 23:07:05 +0000153 const TargetRegisterClass *RC = RegInfo.intRegClass(4);
154 unsigned VR = MRI.createVirtualRegister(RC);
155 unsigned Src = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
156
157 BuildMI(MBB, I, I->getDebugLoc(), TII.get(TargetOpcode::COPY), VR)
158 .addReg(Src, getKillRegState(I->getOperand(0).isKill()));
159 TII.storeRegToStack(MBB, I, VR, true, FI, RC, &RegInfo, 0);
160}
161
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000162void ExpandPseudo::expandLoadACC(MachineBasicBlock &MBB, Iter I,
Akira Hatanaka3b701452013-03-30 01:04:11 +0000163 unsigned RegSize) {
164 // load $vr0, FI
165 // copy lo, $vr0
166 // load $vr1, FI + 4
167 // copy hi, $vr1
168
169 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
170
Bill Wendlingead89ef2013-06-07 07:04:14 +0000171 const MipsSEInstrInfo &TII =
172 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
173 const MipsRegisterInfo &RegInfo =
174 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
175
Akira Hatanaka3b701452013-03-30 01:04:11 +0000176 const TargetRegisterClass *RC = RegInfo.intRegClass(RegSize);
177 unsigned VR0 = MRI.createVirtualRegister(RC);
178 unsigned VR1 = MRI.createVirtualRegister(RC);
179 unsigned Dst = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
180 unsigned Lo = RegInfo.getSubReg(Dst, Mips::sub_lo);
181 unsigned Hi = RegInfo.getSubReg(Dst, Mips::sub_hi);
182 DebugLoc DL = I->getDebugLoc();
183 const MCInstrDesc &Desc = TII.get(TargetOpcode::COPY);
184
185 TII.loadRegFromStack(MBB, I, VR0, FI, RC, &RegInfo, 0);
186 BuildMI(MBB, I, DL, Desc, Lo).addReg(VR0, RegState::Kill);
187 TII.loadRegFromStack(MBB, I, VR1, FI, RC, &RegInfo, RegSize);
188 BuildMI(MBB, I, DL, Desc, Hi).addReg(VR1, RegState::Kill);
189}
190
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000191void ExpandPseudo::expandStoreACC(MachineBasicBlock &MBB, Iter I,
Akira Hatanaka16048332013-10-07 18:49:46 +0000192 unsigned MFHiOpc, unsigned MFLoOpc,
Akira Hatanaka3b701452013-03-30 01:04:11 +0000193 unsigned RegSize) {
Akira Hatanaka16048332013-10-07 18:49:46 +0000194 // mflo $vr0, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000195 // store $vr0, FI
Akira Hatanaka16048332013-10-07 18:49:46 +0000196 // mfhi $vr1, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000197 // store $vr1, FI + 4
198
199 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
200
Bill Wendlingead89ef2013-06-07 07:04:14 +0000201 const MipsSEInstrInfo &TII =
202 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
203 const MipsRegisterInfo &RegInfo =
204 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
205
Akira Hatanaka3b701452013-03-30 01:04:11 +0000206 const TargetRegisterClass *RC = RegInfo.intRegClass(RegSize);
207 unsigned VR0 = MRI.createVirtualRegister(RC);
208 unsigned VR1 = MRI.createVirtualRegister(RC);
209 unsigned Src = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
210 unsigned SrcKill = getKillRegState(I->getOperand(0).isKill());
Akira Hatanaka3b701452013-03-30 01:04:11 +0000211 DebugLoc DL = I->getDebugLoc();
212
Akira Hatanaka16048332013-10-07 18:49:46 +0000213 BuildMI(MBB, I, DL, TII.get(MFLoOpc), VR0).addReg(Src);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000214 TII.storeRegToStack(MBB, I, VR0, true, FI, RC, &RegInfo, 0);
Akira Hatanaka16048332013-10-07 18:49:46 +0000215 BuildMI(MBB, I, DL, TII.get(MFHiOpc), VR1).addReg(Src, SrcKill);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000216 TII.storeRegToStack(MBB, I, VR1, true, FI, RC, &RegInfo, RegSize);
217}
218
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000219bool ExpandPseudo::expandCopy(MachineBasicBlock &MBB, Iter I) {
Akira Hatanaka16048332013-10-07 18:49:46 +0000220 unsigned Src = I->getOperand(1).getReg();
221 std::pair<unsigned, unsigned> Opcodes = getMFHiLoOpc(Src);
Akira Hatanaka42543192013-04-30 23:22:09 +0000222
Akira Hatanaka16048332013-10-07 18:49:46 +0000223 if (!Opcodes.first)
224 return false;
Akira Hatanaka42543192013-04-30 23:22:09 +0000225
Akira Hatanaka16048332013-10-07 18:49:46 +0000226 return expandCopyACC(MBB, I, Opcodes.first, Opcodes.second);
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000227}
228
Akira Hatanaka16048332013-10-07 18:49:46 +0000229bool ExpandPseudo::expandCopyACC(MachineBasicBlock &MBB, Iter I,
230 unsigned MFHiOpc, unsigned MFLoOpc) {
231 // mflo $vr0, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000232 // copy dst_lo, $vr0
Akira Hatanaka16048332013-10-07 18:49:46 +0000233 // mfhi $vr1, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000234 // copy dst_hi, $vr1
235
Bill Wendlingead89ef2013-06-07 07:04:14 +0000236 const MipsSEInstrInfo &TII =
237 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
238 const MipsRegisterInfo &RegInfo =
239 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
240
Akira Hatanaka16048332013-10-07 18:49:46 +0000241 unsigned Dst = I->getOperand(0).getReg(), Src = I->getOperand(1).getReg();
242 unsigned VRegSize = RegInfo.getMinimalPhysRegClass(Dst)->getSize() / 2;
243 const TargetRegisterClass *RC = RegInfo.intRegClass(VRegSize);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000244 unsigned VR0 = MRI.createVirtualRegister(RC);
245 unsigned VR1 = MRI.createVirtualRegister(RC);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000246 unsigned SrcKill = getKillRegState(I->getOperand(1).isKill());
247 unsigned DstLo = RegInfo.getSubReg(Dst, Mips::sub_lo);
248 unsigned DstHi = RegInfo.getSubReg(Dst, Mips::sub_hi);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000249 DebugLoc DL = I->getDebugLoc();
250
Akira Hatanaka16048332013-10-07 18:49:46 +0000251 BuildMI(MBB, I, DL, TII.get(MFLoOpc), VR0).addReg(Src);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000252 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), DstLo)
253 .addReg(VR0, RegState::Kill);
Akira Hatanaka16048332013-10-07 18:49:46 +0000254 BuildMI(MBB, I, DL, TII.get(MFHiOpc), VR1).addReg(Src, SrcKill);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000255 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), DstHi)
256 .addReg(VR1, RegState::Kill);
Akira Hatanaka42543192013-04-30 23:22:09 +0000257 return true;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000258}
259
Akira Hatanakac0b02062013-01-30 00:26:49 +0000260unsigned MipsSEFrameLowering::ehDataReg(unsigned I) const {
261 static const unsigned EhDataReg[] = {
262 Mips::A0, Mips::A1, Mips::A2, Mips::A3
263 };
264 static const unsigned EhDataReg64[] = {
265 Mips::A0_64, Mips::A1_64, Mips::A2_64, Mips::A3_64
266 };
267
268 return STI.isABI_N64() ? EhDataReg64[I] : EhDataReg[I];
269}
270
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000271void MipsSEFrameLowering::emitPrologue(MachineFunction &MF) const {
272 MachineBasicBlock &MBB = MF.front();
273 MachineFrameInfo *MFI = MF.getFrameInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000274 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Bill Wendlingead89ef2013-06-07 07:04:14 +0000275
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000276 const MipsSEInstrInfo &TII =
277 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000278 const MipsRegisterInfo &RegInfo =
279 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
280
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000281 MachineBasicBlock::iterator MBBI = MBB.begin();
282 DebugLoc dl = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
283 unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP;
284 unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP;
285 unsigned ZERO = STI.isABI_N64() ? Mips::ZERO_64 : Mips::ZERO;
286 unsigned ADDu = STI.isABI_N64() ? Mips::DADDu : Mips::ADDu;
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000287
288 // First, compute final stack size.
289 uint64_t StackSize = MFI->getStackSize();
290
291 // No need to allocate space on the stack.
292 if (StackSize == 0 && !MFI->adjustsStack()) return;
293
294 MachineModuleInfo &MMI = MF.getMMI();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000295 const MCRegisterInfo *MRI = MMI.getContext().getRegisterInfo();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000296 MachineLocation DstML, SrcML;
297
298 // Adjust stack.
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000299 TII.adjustStackPtr(SP, -StackSize, MBB, MBBI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000300
301 // emit ".cfi_def_cfa_offset StackSize"
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000302 unsigned CFIIndex = MMI.addFrameInst(
303 MCCFIInstruction::createDefCfaOffset(nullptr, -StackSize));
304 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
305 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000306
307 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
308
309 if (CSI.size()) {
310 // Find the instruction past the last instruction that saves a callee-saved
311 // register to the stack.
312 for (unsigned i = 0; i < CSI.size(); ++i)
313 ++MBBI;
314
315 // Iterate over list of callee-saved registers and emit .cfi_offset
316 // directives.
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000317 for (std::vector<CalleeSavedInfo>::const_iterator I = CSI.begin(),
318 E = CSI.end(); I != E; ++I) {
319 int64_t Offset = MFI->getObjectOffset(I->getFrameIdx());
320 unsigned Reg = I->getReg();
321
322 // If Reg is a double precision register, emit two cfa_offsets,
323 // one for each of the paired single precision registers.
324 if (Mips::AFGR64RegClass.contains(Reg)) {
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000325 unsigned Reg0 =
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000326 MRI->getDwarfRegNum(RegInfo.getSubReg(Reg, Mips::sub_lo), true);
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000327 unsigned Reg1 =
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000328 MRI->getDwarfRegNum(RegInfo.getSubReg(Reg, Mips::sub_hi), true);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000329
330 if (!STI.isLittle())
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000331 std::swap(Reg0, Reg1);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000332
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000333 unsigned CFIIndex = MMI.addFrameInst(
334 MCCFIInstruction::createOffset(nullptr, Reg0, Offset));
335 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
336 .addCFIIndex(CFIIndex);
337
338 CFIIndex = MMI.addFrameInst(
339 MCCFIInstruction::createOffset(nullptr, Reg1, Offset + 4));
340 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
341 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000342 } else {
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000343 // Reg is either in GPR32 or FGR32.
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000344 unsigned CFIIndex = MMI.addFrameInst(MCCFIInstruction::createOffset(
345 nullptr, MRI->getDwarfRegNum(Reg, 1), Offset));
346 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
347 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000348 }
349 }
350 }
351
Akira Hatanakac0b02062013-01-30 00:26:49 +0000352 if (MipsFI->callsEhReturn()) {
353 const TargetRegisterClass *RC = STI.isABI_N64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000354 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanakac0b02062013-01-30 00:26:49 +0000355
356 // Insert instructions that spill eh data registers.
357 for (int I = 0; I < 4; ++I) {
358 if (!MBB.isLiveIn(ehDataReg(I)))
359 MBB.addLiveIn(ehDataReg(I));
360 TII.storeRegToStackSlot(MBB, MBBI, ehDataReg(I), false,
Bill Wendlingead89ef2013-06-07 07:04:14 +0000361 MipsFI->getEhDataRegFI(I), RC, &RegInfo);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000362 }
363
364 // Emit .cfi_offset directives for eh data registers.
Akira Hatanakac0b02062013-01-30 00:26:49 +0000365 for (int I = 0; I < 4; ++I) {
366 int64_t Offset = MFI->getObjectOffset(MipsFI->getEhDataRegFI(I));
Bill Wendlingbc07a892013-06-18 07:20:20 +0000367 unsigned Reg = MRI->getDwarfRegNum(ehDataReg(I), true);
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000368 unsigned CFIIndex = MMI.addFrameInst(
369 MCCFIInstruction::createOffset(nullptr, Reg, Offset));
370 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
371 .addCFIIndex(CFIIndex);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000372 }
373 }
374
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000375 // if framepointer enabled, set it to point to the stack pointer.
376 if (hasFP(MF)) {
377 // Insert instruction "move $fp, $sp" at this location.
378 BuildMI(MBB, MBBI, dl, TII.get(ADDu), FP).addReg(SP).addReg(ZERO);
379
380 // emit ".cfi_def_cfa_register $fp"
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000381 unsigned CFIIndex = MMI.addFrameInst(MCCFIInstruction::createDefCfaRegister(
382 nullptr, MRI->getDwarfRegNum(FP, true)));
383 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
384 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000385 }
386}
387
388void MipsSEFrameLowering::emitEpilogue(MachineFunction &MF,
389 MachineBasicBlock &MBB) const {
390 MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
391 MachineFrameInfo *MFI = MF.getFrameInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000392 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Bill Wendlingead89ef2013-06-07 07:04:14 +0000393
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000394 const MipsSEInstrInfo &TII =
395 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000396 const MipsRegisterInfo &RegInfo =
397 *static_cast<const MipsRegisterInfo*>(MF.getTarget().getRegisterInfo());
398
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000399 DebugLoc dl = MBBI->getDebugLoc();
400 unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP;
401 unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP;
402 unsigned ZERO = STI.isABI_N64() ? Mips::ZERO_64 : Mips::ZERO;
403 unsigned ADDu = STI.isABI_N64() ? Mips::DADDu : Mips::ADDu;
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000404
405 // if framepointer enabled, restore the stack pointer.
406 if (hasFP(MF)) {
407 // Find the first instruction that restores a callee-saved register.
408 MachineBasicBlock::iterator I = MBBI;
409
410 for (unsigned i = 0; i < MFI->getCalleeSavedInfo().size(); ++i)
411 --I;
412
413 // Insert instruction "move $sp, $fp" at this location.
414 BuildMI(MBB, I, dl, TII.get(ADDu), SP).addReg(FP).addReg(ZERO);
415 }
416
Akira Hatanakac0b02062013-01-30 00:26:49 +0000417 if (MipsFI->callsEhReturn()) {
418 const TargetRegisterClass *RC = STI.isABI_N64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000419 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanakac0b02062013-01-30 00:26:49 +0000420
421 // Find first instruction that restores a callee-saved register.
422 MachineBasicBlock::iterator I = MBBI;
423 for (unsigned i = 0; i < MFI->getCalleeSavedInfo().size(); ++i)
424 --I;
425
426 // Insert instructions that restore eh data registers.
427 for (int J = 0; J < 4; ++J) {
428 TII.loadRegFromStackSlot(MBB, I, ehDataReg(J), MipsFI->getEhDataRegFI(J),
Bill Wendlingead89ef2013-06-07 07:04:14 +0000429 RC, &RegInfo);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000430 }
431 }
432
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000433 // Get the number of bytes from FrameInfo
434 uint64_t StackSize = MFI->getStackSize();
435
436 if (!StackSize)
437 return;
438
439 // Adjust stack.
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000440 TII.adjustStackPtr(SP, StackSize, MBB, MBBI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000441}
442
443bool MipsSEFrameLowering::
444spillCalleeSavedRegisters(MachineBasicBlock &MBB,
445 MachineBasicBlock::iterator MI,
446 const std::vector<CalleeSavedInfo> &CSI,
447 const TargetRegisterInfo *TRI) const {
448 MachineFunction *MF = MBB.getParent();
449 MachineBasicBlock *EntryBlock = MF->begin();
450 const TargetInstrInfo &TII = *MF->getTarget().getInstrInfo();
451
452 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
453 // Add the callee-saved register as live-in. Do not add if the register is
454 // RA and return address is taken, because it has already been added in
455 // method MipsTargetLowering::LowerRETURNADDR.
456 // It's killed at the spill, unless the register is RA and return address
457 // is taken.
458 unsigned Reg = CSI[i].getReg();
459 bool IsRAAndRetAddrIsTaken = (Reg == Mips::RA || Reg == Mips::RA_64)
460 && MF->getFrameInfo()->isReturnAddressTaken();
461 if (!IsRAAndRetAddrIsTaken)
462 EntryBlock->addLiveIn(Reg);
463
464 // Insert the spill to the stack frame.
465 bool IsKill = !IsRAAndRetAddrIsTaken;
466 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
467 TII.storeRegToStackSlot(*EntryBlock, MI, Reg, IsKill,
468 CSI[i].getFrameIdx(), RC, TRI);
469 }
470
471 return true;
472}
473
474bool
475MipsSEFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
476 const MachineFrameInfo *MFI = MF.getFrameInfo();
477
478 // Reserve call frame if the size of the maximum call frame fits into 16-bit
479 // immediate field and there are no variable sized objects on the stack.
Akira Hatanaka3b701452013-03-30 01:04:11 +0000480 // Make sure the second register scavenger spill slot can be accessed with one
481 // instruction.
482 return isInt<16>(MFI->getMaxCallFrameSize() + getStackAlignment()) &&
483 !MFI->hasVarSizedObjects();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000484}
485
Eli Bendersky8da87162013-02-21 20:05:00 +0000486// Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions
487void MipsSEFrameLowering::
488eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
489 MachineBasicBlock::iterator I) const {
490 const MipsSEInstrInfo &TII =
491 *static_cast<const MipsSEInstrInfo*>(MF.getTarget().getInstrInfo());
492
493 if (!hasReservedCallFrame(MF)) {
494 int64_t Amount = I->getOperand(0).getImm();
495
496 if (I->getOpcode() == Mips::ADJCALLSTACKDOWN)
497 Amount = -Amount;
498
499 unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP;
500 TII.adjustStackPtr(SP, Amount, MBB, I);
501 }
502
503 MBB.erase(I);
504}
505
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000506void MipsSEFrameLowering::
507processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
508 RegScavenger *RS) const {
509 MachineRegisterInfo &MRI = MF.getRegInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000510 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000511 unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP;
512
513 // Mark $fp as used if function has dedicated frame pointer.
514 if (hasFP(MF))
515 MRI.setPhysRegUsed(FP);
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000516
Akira Hatanakac0b02062013-01-30 00:26:49 +0000517 // Create spill slots for eh data registers if function calls eh_return.
518 if (MipsFI->callsEhReturn())
519 MipsFI->createEhDataRegsFI();
520
Akira Hatanaka3b701452013-03-30 01:04:11 +0000521 // Expand pseudo instructions which load, store or copy accumulators.
522 // Add an emergency spill slot if a pseudo was expanded.
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000523 if (ExpandPseudo(MF).expand()) {
Akira Hatanaka3b701452013-03-30 01:04:11 +0000524 // The spill slot should be half the size of the accumulator. If target is
525 // mips64, it should be 64-bit, otherwise it should be 32-bt.
526 const TargetRegisterClass *RC = STI.hasMips64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000527 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000528 int FI = MF.getFrameInfo()->CreateStackObject(RC->getSize(),
529 RC->getAlignment(), false);
530 RS->addScavengingFrameIndex(FI);
531 }
532
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000533 // Set scavenging frame index if necessary.
534 uint64_t MaxSPOffset = MF.getInfo<MipsFunctionInfo>()->getIncomingArgSize() +
535 estimateStackSize(MF);
536
537 if (isInt<16>(MaxSPOffset))
538 return;
539
540 const TargetRegisterClass *RC = STI.isABI_N64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000541 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000542 int FI = MF.getFrameInfo()->CreateStackObject(RC->getSize(),
543 RC->getAlignment(), false);
Hal Finkel9e331c22013-03-22 23:32:27 +0000544 RS->addScavengingFrameIndex(FI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000545}
Akira Hatanakafab89292012-08-02 18:21:47 +0000546
547const MipsFrameLowering *
548llvm::createMipsSEFrameLowering(const MipsSubtarget &ST) {
549 return new MipsSEFrameLowering(ST);
550}