blob: 5b4608fad2b83b32e448ef583842fc9b0814d9b7 [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);
Sasa Stankovicb976fee2014-07-14 09:40:29 +000067 bool expandBuildPairF64(MachineBasicBlock &MBB,
68 MachineBasicBlock::iterator I, bool FP64) const;
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +000069 bool expandExtractElementF64(MachineBasicBlock &MBB,
70 MachineBasicBlock::iterator I, bool FP64) const;
Akira Hatanaka3b701452013-03-30 01:04:11 +000071
72 MachineFunction &MF;
Akira Hatanaka3b701452013-03-30 01:04:11 +000073 MachineRegisterInfo &MRI;
Eric Christopher96e72c62015-01-29 23:27:36 +000074 const MipsSubtarget &Subtarget;
75 const MipsSEInstrInfo &TII;
76 const MipsRegisterInfo &RegInfo;
Akira Hatanaka3b701452013-03-30 01:04:11 +000077};
Alexander Kornienkof00654e2015-06-23 09:49:53 +000078}
Akira Hatanaka3b701452013-03-30 01:04:11 +000079
Akira Hatanakaae4a5562013-05-01 23:41:31 +000080ExpandPseudo::ExpandPseudo(MachineFunction &MF_)
Eric Christopher96e72c62015-01-29 23:27:36 +000081 : MF(MF_), MRI(MF.getRegInfo()),
82 Subtarget(static_cast<const MipsSubtarget &>(MF.getSubtarget())),
83 TII(*static_cast<const MipsSEInstrInfo *>(Subtarget.getInstrInfo())),
84 RegInfo(*Subtarget.getRegisterInfo()) {}
Akira Hatanaka3b701452013-03-30 01:04:11 +000085
Akira Hatanakaae4a5562013-05-01 23:41:31 +000086bool ExpandPseudo::expand() {
Akira Hatanaka3b701452013-03-30 01:04:11 +000087 bool Expanded = false;
88
89 for (MachineFunction::iterator BB = MF.begin(), BBEnd = MF.end();
90 BB != BBEnd; ++BB)
91 for (Iter I = BB->begin(), End = BB->end(); I != End;)
92 Expanded |= expandInstr(*BB, I++);
93
94 return Expanded;
95}
96
Akira Hatanakaae4a5562013-05-01 23:41:31 +000097bool ExpandPseudo::expandInstr(MachineBasicBlock &MBB, Iter I) {
Akira Hatanaka3b701452013-03-30 01:04:11 +000098 switch(I->getOpcode()) {
Akira Hatanaka5705f542013-05-02 23:07:05 +000099 case Mips::LOAD_CCOND_DSP:
Akira Hatanaka5705f542013-05-02 23:07:05 +0000100 expandLoadCCond(MBB, I);
101 break;
102 case Mips::STORE_CCOND_DSP:
Akira Hatanaka5705f542013-05-02 23:07:05 +0000103 expandStoreCCond(MBB, I);
104 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000105 case Mips::LOAD_ACC64:
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000106 case Mips::LOAD_ACC64DSP:
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000107 expandLoadACC(MBB, I, 4);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000108 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000109 case Mips::LOAD_ACC128:
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000110 expandLoadACC(MBB, I, 8);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000111 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000112 case Mips::STORE_ACC64:
Akira Hatanaka16048332013-10-07 18:49:46 +0000113 expandStoreACC(MBB, I, Mips::PseudoMFHI, Mips::PseudoMFLO, 4);
114 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000115 case Mips::STORE_ACC64DSP:
Akira Hatanaka16048332013-10-07 18:49:46 +0000116 expandStoreACC(MBB, I, Mips::MFHI_DSP, Mips::MFLO_DSP, 4);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000117 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000118 case Mips::STORE_ACC128:
Akira Hatanaka16048332013-10-07 18:49:46 +0000119 expandStoreACC(MBB, I, Mips::PseudoMFHI64, Mips::PseudoMFLO64, 8);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000120 break;
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000121 case Mips::BuildPairF64:
122 if (expandBuildPairF64(MBB, I, false))
123 MBB.erase(I);
124 return false;
125 case Mips::BuildPairF64_64:
126 if (expandBuildPairF64(MBB, I, true))
127 MBB.erase(I);
128 return false;
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000129 case Mips::ExtractElementF64:
130 if (expandExtractElementF64(MBB, I, false))
131 MBB.erase(I);
132 return false;
133 case Mips::ExtractElementF64_64:
134 if (expandExtractElementF64(MBB, I, true))
135 MBB.erase(I);
136 return false;
Akira Hatanaka42543192013-04-30 23:22:09 +0000137 case TargetOpcode::COPY:
138 if (!expandCopy(MBB, I))
139 return false;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000140 break;
141 default:
142 return false;
143 }
144
145 MBB.erase(I);
146 return true;
147}
148
Akira Hatanaka5705f542013-05-02 23:07:05 +0000149void ExpandPseudo::expandLoadCCond(MachineBasicBlock &MBB, Iter I) {
150 // load $vr, FI
151 // copy ccond, $vr
152
153 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
154
155 const TargetRegisterClass *RC = RegInfo.intRegClass(4);
156 unsigned VR = MRI.createVirtualRegister(RC);
157 unsigned Dst = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
158
159 TII.loadRegFromStack(MBB, I, VR, FI, RC, &RegInfo, 0);
160 BuildMI(MBB, I, I->getDebugLoc(), TII.get(TargetOpcode::COPY), Dst)
161 .addReg(VR, RegState::Kill);
162}
163
164void ExpandPseudo::expandStoreCCond(MachineBasicBlock &MBB, Iter I) {
165 // copy $vr, ccond
166 // store $vr, FI
167
168 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
169
170 const TargetRegisterClass *RC = RegInfo.intRegClass(4);
171 unsigned VR = MRI.createVirtualRegister(RC);
172 unsigned Src = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
173
174 BuildMI(MBB, I, I->getDebugLoc(), TII.get(TargetOpcode::COPY), VR)
175 .addReg(Src, getKillRegState(I->getOperand(0).isKill()));
176 TII.storeRegToStack(MBB, I, VR, true, FI, RC, &RegInfo, 0);
177}
178
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000179void ExpandPseudo::expandLoadACC(MachineBasicBlock &MBB, Iter I,
Akira Hatanaka3b701452013-03-30 01:04:11 +0000180 unsigned RegSize) {
181 // load $vr0, FI
182 // copy lo, $vr0
183 // load $vr1, FI + 4
184 // copy hi, $vr1
185
186 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
187
188 const TargetRegisterClass *RC = RegInfo.intRegClass(RegSize);
189 unsigned VR0 = MRI.createVirtualRegister(RC);
190 unsigned VR1 = MRI.createVirtualRegister(RC);
191 unsigned Dst = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
192 unsigned Lo = RegInfo.getSubReg(Dst, Mips::sub_lo);
193 unsigned Hi = RegInfo.getSubReg(Dst, Mips::sub_hi);
194 DebugLoc DL = I->getDebugLoc();
195 const MCInstrDesc &Desc = TII.get(TargetOpcode::COPY);
196
197 TII.loadRegFromStack(MBB, I, VR0, FI, RC, &RegInfo, 0);
198 BuildMI(MBB, I, DL, Desc, Lo).addReg(VR0, RegState::Kill);
199 TII.loadRegFromStack(MBB, I, VR1, FI, RC, &RegInfo, RegSize);
200 BuildMI(MBB, I, DL, Desc, Hi).addReg(VR1, RegState::Kill);
201}
202
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000203void ExpandPseudo::expandStoreACC(MachineBasicBlock &MBB, Iter I,
Akira Hatanaka16048332013-10-07 18:49:46 +0000204 unsigned MFHiOpc, unsigned MFLoOpc,
Akira Hatanaka3b701452013-03-30 01:04:11 +0000205 unsigned RegSize) {
Akira Hatanaka16048332013-10-07 18:49:46 +0000206 // mflo $vr0, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000207 // store $vr0, FI
Akira Hatanaka16048332013-10-07 18:49:46 +0000208 // mfhi $vr1, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000209 // store $vr1, FI + 4
210
211 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
212
213 const TargetRegisterClass *RC = RegInfo.intRegClass(RegSize);
214 unsigned VR0 = MRI.createVirtualRegister(RC);
215 unsigned VR1 = MRI.createVirtualRegister(RC);
216 unsigned Src = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
217 unsigned SrcKill = getKillRegState(I->getOperand(0).isKill());
Akira Hatanaka3b701452013-03-30 01:04:11 +0000218 DebugLoc DL = I->getDebugLoc();
219
Akira Hatanaka16048332013-10-07 18:49:46 +0000220 BuildMI(MBB, I, DL, TII.get(MFLoOpc), VR0).addReg(Src);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000221 TII.storeRegToStack(MBB, I, VR0, true, FI, RC, &RegInfo, 0);
Akira Hatanaka16048332013-10-07 18:49:46 +0000222 BuildMI(MBB, I, DL, TII.get(MFHiOpc), VR1).addReg(Src, SrcKill);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000223 TII.storeRegToStack(MBB, I, VR1, true, FI, RC, &RegInfo, RegSize);
224}
225
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000226bool ExpandPseudo::expandCopy(MachineBasicBlock &MBB, Iter I) {
Akira Hatanaka16048332013-10-07 18:49:46 +0000227 unsigned Src = I->getOperand(1).getReg();
228 std::pair<unsigned, unsigned> Opcodes = getMFHiLoOpc(Src);
Akira Hatanaka42543192013-04-30 23:22:09 +0000229
Akira Hatanaka16048332013-10-07 18:49:46 +0000230 if (!Opcodes.first)
231 return false;
Akira Hatanaka42543192013-04-30 23:22:09 +0000232
Akira Hatanaka16048332013-10-07 18:49:46 +0000233 return expandCopyACC(MBB, I, Opcodes.first, Opcodes.second);
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000234}
235
Akira Hatanaka16048332013-10-07 18:49:46 +0000236bool ExpandPseudo::expandCopyACC(MachineBasicBlock &MBB, Iter I,
237 unsigned MFHiOpc, unsigned MFLoOpc) {
238 // mflo $vr0, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000239 // copy dst_lo, $vr0
Akira Hatanaka16048332013-10-07 18:49:46 +0000240 // mfhi $vr1, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000241 // copy dst_hi, $vr1
242
Akira Hatanaka16048332013-10-07 18:49:46 +0000243 unsigned Dst = I->getOperand(0).getReg(), Src = I->getOperand(1).getReg();
244 unsigned VRegSize = RegInfo.getMinimalPhysRegClass(Dst)->getSize() / 2;
245 const TargetRegisterClass *RC = RegInfo.intRegClass(VRegSize);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000246 unsigned VR0 = MRI.createVirtualRegister(RC);
247 unsigned VR1 = MRI.createVirtualRegister(RC);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000248 unsigned SrcKill = getKillRegState(I->getOperand(1).isKill());
249 unsigned DstLo = RegInfo.getSubReg(Dst, Mips::sub_lo);
250 unsigned DstHi = RegInfo.getSubReg(Dst, Mips::sub_hi);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000251 DebugLoc DL = I->getDebugLoc();
252
Akira Hatanaka16048332013-10-07 18:49:46 +0000253 BuildMI(MBB, I, DL, TII.get(MFLoOpc), VR0).addReg(Src);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000254 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), DstLo)
255 .addReg(VR0, RegState::Kill);
Akira Hatanaka16048332013-10-07 18:49:46 +0000256 BuildMI(MBB, I, DL, TII.get(MFHiOpc), VR1).addReg(Src, SrcKill);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000257 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), DstHi)
258 .addReg(VR1, RegState::Kill);
Akira Hatanaka42543192013-04-30 23:22:09 +0000259 return true;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000260}
261
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000262/// This method expands the same instruction that MipsSEInstrInfo::
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000263/// expandBuildPairF64 does, for the case when ABI is fpxx and mthc1 is not
264/// available and the case where the ABI is FP64A. It is implemented here
265/// because frame indexes are eliminated before MipsSEInstrInfo::
266/// expandBuildPairF64 is called.
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000267bool ExpandPseudo::expandBuildPairF64(MachineBasicBlock &MBB,
268 MachineBasicBlock::iterator I,
269 bool FP64) const {
270 // For fpxx and when mthc1 is not available, use:
271 // spill + reload via ldc1
272 //
273 // The case where dmtc1 is available doesn't need to be handled here
274 // because it never creates a BuildPairF64 node.
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000275 //
276 // The FP64A ABI (fp64 with nooddspreg) must also use a spill/reload sequence
277 // for odd-numbered double precision values (because the lower 32-bits is
278 // transferred with mtc1 which is redirected to the upper half of the even
279 // register). Unfortunately, we have to make this decision before register
280 // allocation so for now we use a spill/reload sequence for all
281 // double-precision values in regardless of being an odd/even register.
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000282 if ((Subtarget.isABI_FPXX() && !Subtarget.hasMTHC1()) ||
283 (FP64 && !Subtarget.useOddSPReg())) {
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000284 unsigned DstReg = I->getOperand(0).getReg();
285 unsigned LoReg = I->getOperand(1).getReg();
286 unsigned HiReg = I->getOperand(2).getReg();
287
288 // It should be impossible to have FGR64 on MIPS-II or MIPS32r1 (which are
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000289 // the cases where mthc1 is not available). 64-bit architectures and
290 // MIPS32r2 or later can use FGR64 though.
291 assert(Subtarget.isGP64bit() || Subtarget.hasMTHC1() ||
292 !Subtarget.isFP64bit());
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000293
294 const TargetRegisterClass *RC = &Mips::GPR32RegClass;
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000295 const TargetRegisterClass *RC2 =
296 FP64 ? &Mips::FGR64RegClass : &Mips::AFGR64RegClass;
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000297
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000298 // We re-use the same spill slot each time so that the stack frame doesn't
299 // grow too much in functions with a large number of moves.
300 int FI = MF.getInfo<MipsFunctionInfo>()->getMoveF64ViaSpillFI(RC2);
Vasileios Kalintiris167c3722014-10-16 15:41:51 +0000301 if (!Subtarget.isLittle())
302 std::swap(LoReg, HiReg);
Eric Christopher96e72c62015-01-29 23:27:36 +0000303 TII.storeRegToStack(MBB, I, LoReg, I->getOperand(1).isKill(), FI, RC,
304 &RegInfo, 0);
305 TII.storeRegToStack(MBB, I, HiReg, I->getOperand(2).isKill(), FI, RC,
306 &RegInfo, 4);
307 TII.loadRegFromStack(MBB, I, DstReg, FI, RC2, &RegInfo, 0);
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000308 return true;
309 }
310
311 return false;
312}
313
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000314/// This method expands the same instruction that MipsSEInstrInfo::
315/// expandExtractElementF64 does, for the case when ABI is fpxx and mfhc1 is not
316/// available and the case where the ABI is FP64A. It is implemented here
317/// because frame indexes are eliminated before MipsSEInstrInfo::
318/// expandExtractElementF64 is called.
319bool ExpandPseudo::expandExtractElementF64(MachineBasicBlock &MBB,
320 MachineBasicBlock::iterator I,
321 bool FP64) const {
322 // For fpxx and when mfhc1 is not available, use:
323 // spill + reload via ldc1
324 //
325 // The case where dmfc1 is available doesn't need to be handled here
326 // because it never creates a ExtractElementF64 node.
327 //
328 // The FP64A ABI (fp64 with nooddspreg) must also use a spill/reload sequence
329 // for odd-numbered double precision values (because the lower 32-bits is
330 // transferred with mfc1 which is redirected to the upper half of the even
331 // register). Unfortunately, we have to make this decision before register
332 // allocation so for now we use a spill/reload sequence for all
333 // double-precision values in regardless of being an odd/even register.
334
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000335 if ((Subtarget.isABI_FPXX() && !Subtarget.hasMTHC1()) ||
336 (FP64 && !Subtarget.useOddSPReg())) {
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000337 unsigned DstReg = I->getOperand(0).getReg();
338 unsigned SrcReg = I->getOperand(1).getReg();
339 unsigned N = I->getOperand(2).getImm();
Vasileios Kalintiris167c3722014-10-16 15:41:51 +0000340 int64_t Offset = 4 * (Subtarget.isLittle() ? N : (1 - N));
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000341
342 // It should be impossible to have FGR64 on MIPS-II or MIPS32r1 (which are
343 // the cases where mfhc1 is not available). 64-bit architectures and
344 // MIPS32r2 or later can use FGR64 though.
345 assert(Subtarget.isGP64bit() || Subtarget.hasMTHC1() ||
346 !Subtarget.isFP64bit());
347
348 const TargetRegisterClass *RC =
349 FP64 ? &Mips::FGR64RegClass : &Mips::AFGR64RegClass;
350 const TargetRegisterClass *RC2 = &Mips::GPR32RegClass;
351
352 // We re-use the same spill slot each time so that the stack frame doesn't
353 // grow too much in functions with a large number of moves.
354 int FI = MF.getInfo<MipsFunctionInfo>()->getMoveF64ViaSpillFI(RC);
Eric Christopher96e72c62015-01-29 23:27:36 +0000355 TII.storeRegToStack(MBB, I, SrcReg, I->getOperand(1).isKill(), FI, RC,
356 &RegInfo, 0);
357 TII.loadRegFromStack(MBB, I, DstReg, FI, RC2, &RegInfo, Offset);
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000358 return true;
359 }
360
361 return false;
362}
363
Eric Christopher4cdb3f92014-07-02 23:29:55 +0000364MipsSEFrameLowering::MipsSEFrameLowering(const MipsSubtarget &STI)
365 : MipsFrameLowering(STI, STI.stackAlignment()) {}
366
Quentin Colombet61b305e2015-05-05 17:38:16 +0000367void MipsSEFrameLowering::emitPrologue(MachineFunction &MF,
368 MachineBasicBlock &MBB) const {
369 assert(&MF.front() == &MBB && "Shrink-wrapping not yet supported");
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000370 MachineFrameInfo *MFI = MF.getFrameInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000371 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Bill Wendlingead89ef2013-06-07 07:04:14 +0000372
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000373 const MipsSEInstrInfo &TII =
Eric Christopher96e72c62015-01-29 23:27:36 +0000374 *static_cast<const MipsSEInstrInfo *>(STI.getInstrInfo());
375 const MipsRegisterInfo &RegInfo =
376 *static_cast<const MipsRegisterInfo *>(STI.getRegisterInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000377
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000378 MachineBasicBlock::iterator MBBI = MBB.begin();
379 DebugLoc dl = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000380 MipsABIInfo ABI = STI.getABI();
381 unsigned SP = ABI.GetStackPtr();
382 unsigned FP = ABI.GetFramePtr();
383 unsigned ZERO = ABI.GetNullPtr();
Vasileios Kalintiris1c78ca62015-08-11 08:56:25 +0000384 unsigned MOVE = ABI.GetGPRMoveOp();
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000385 unsigned ADDiu = ABI.GetPtrAddiuOp();
386 unsigned AND = ABI.IsN64() ? Mips::AND64 : Mips::AND;
387
388 const TargetRegisterClass *RC = ABI.ArePtrs64bit() ?
389 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000390
391 // First, compute final stack size.
392 uint64_t StackSize = MFI->getStackSize();
393
394 // No need to allocate space on the stack.
395 if (StackSize == 0 && !MFI->adjustsStack()) return;
396
397 MachineModuleInfo &MMI = MF.getMMI();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000398 const MCRegisterInfo *MRI = MMI.getContext().getRegisterInfo();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000399 MachineLocation DstML, SrcML;
400
401 // Adjust stack.
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000402 TII.adjustStackPtr(SP, -StackSize, MBB, MBBI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000403
404 // emit ".cfi_def_cfa_offset StackSize"
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000405 unsigned CFIIndex = MMI.addFrameInst(
406 MCCFIInstruction::createDefCfaOffset(nullptr, -StackSize));
407 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
408 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000409
410 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
411
412 if (CSI.size()) {
413 // Find the instruction past the last instruction that saves a callee-saved
414 // register to the stack.
415 for (unsigned i = 0; i < CSI.size(); ++i)
416 ++MBBI;
417
418 // Iterate over list of callee-saved registers and emit .cfi_offset
419 // directives.
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000420 for (std::vector<CalleeSavedInfo>::const_iterator I = CSI.begin(),
421 E = CSI.end(); I != E; ++I) {
422 int64_t Offset = MFI->getObjectOffset(I->getFrameIdx());
423 unsigned Reg = I->getReg();
424
425 // If Reg is a double precision register, emit two cfa_offsets,
426 // one for each of the paired single precision registers.
427 if (Mips::AFGR64RegClass.contains(Reg)) {
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000428 unsigned Reg0 =
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000429 MRI->getDwarfRegNum(RegInfo.getSubReg(Reg, Mips::sub_lo), true);
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000430 unsigned Reg1 =
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000431 MRI->getDwarfRegNum(RegInfo.getSubReg(Reg, Mips::sub_hi), true);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000432
433 if (!STI.isLittle())
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000434 std::swap(Reg0, Reg1);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000435
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000436 unsigned CFIIndex = MMI.addFrameInst(
437 MCCFIInstruction::createOffset(nullptr, Reg0, Offset));
438 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
439 .addCFIIndex(CFIIndex);
440
441 CFIIndex = MMI.addFrameInst(
442 MCCFIInstruction::createOffset(nullptr, Reg1, Offset + 4));
443 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
444 .addCFIIndex(CFIIndex);
Zoran Jovanovicf34b4542014-07-10 22:23:30 +0000445 } else if (Mips::FGR64RegClass.contains(Reg)) {
446 unsigned Reg0 = MRI->getDwarfRegNum(Reg, true);
447 unsigned Reg1 = MRI->getDwarfRegNum(Reg, true) + 1;
448
449 if (!STI.isLittle())
450 std::swap(Reg0, Reg1);
451
452 unsigned CFIIndex = MMI.addFrameInst(
453 MCCFIInstruction::createOffset(nullptr, Reg0, Offset));
454 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
455 .addCFIIndex(CFIIndex);
456
457 CFIIndex = MMI.addFrameInst(
458 MCCFIInstruction::createOffset(nullptr, Reg1, Offset + 4));
459 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
460 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000461 } else {
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000462 // Reg is either in GPR32 or FGR32.
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000463 unsigned CFIIndex = MMI.addFrameInst(MCCFIInstruction::createOffset(
464 nullptr, MRI->getDwarfRegNum(Reg, 1), Offset));
465 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
466 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000467 }
468 }
469 }
470
Akira Hatanakac0b02062013-01-30 00:26:49 +0000471 if (MipsFI->callsEhReturn()) {
Akira Hatanakac0b02062013-01-30 00:26:49 +0000472 // Insert instructions that spill eh data registers.
473 for (int I = 0; I < 4; ++I) {
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000474 if (!MBB.isLiveIn(ABI.GetEhDataReg(I)))
475 MBB.addLiveIn(ABI.GetEhDataReg(I));
476 TII.storeRegToStackSlot(MBB, MBBI, ABI.GetEhDataReg(I), false,
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000477 MipsFI->getEhDataRegFI(I), RC, &RegInfo);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000478 }
479
480 // Emit .cfi_offset directives for eh data registers.
Akira Hatanakac0b02062013-01-30 00:26:49 +0000481 for (int I = 0; I < 4; ++I) {
482 int64_t Offset = MFI->getObjectOffset(MipsFI->getEhDataRegFI(I));
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000483 unsigned Reg = MRI->getDwarfRegNum(ABI.GetEhDataReg(I), true);
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000484 unsigned CFIIndex = MMI.addFrameInst(
485 MCCFIInstruction::createOffset(nullptr, Reg, Offset));
486 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
487 .addCFIIndex(CFIIndex);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000488 }
489 }
490
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000491 // if framepointer enabled, set it to point to the stack pointer.
492 if (hasFP(MF)) {
493 // Insert instruction "move $fp, $sp" at this location.
Vasileios Kalintiris1c78ca62015-08-11 08:56:25 +0000494 BuildMI(MBB, MBBI, dl, TII.get(MOVE), FP).addReg(SP).addReg(ZERO)
Eric Christopherb45b4812014-04-14 22:21:22 +0000495 .setMIFlag(MachineInstr::FrameSetup);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000496
497 // emit ".cfi_def_cfa_register $fp"
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000498 unsigned CFIIndex = MMI.addFrameInst(MCCFIInstruction::createDefCfaRegister(
499 nullptr, MRI->getDwarfRegNum(FP, true)));
500 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
501 .addCFIIndex(CFIIndex);
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000502
503 if (RegInfo.needsStackRealignment(MF)) {
504 // addiu $Reg, $zero, -MaxAlignment
505 // andi $sp, $sp, $Reg
506 unsigned VR = MF.getRegInfo().createVirtualRegister(RC);
507 assert(isInt<16>(MFI->getMaxAlignment()) &&
508 "Function's alignment size requirement is not supported.");
509 int MaxAlign = - (signed) MFI->getMaxAlignment();
510
511 BuildMI(MBB, MBBI, dl, TII.get(ADDiu), VR).addReg(ZERO) .addImm(MaxAlign);
512 BuildMI(MBB, MBBI, dl, TII.get(AND), SP).addReg(SP).addReg(VR);
513
514 if (hasBP(MF)) {
515 // move $s7, $sp
516 unsigned BP = STI.isABI_N64() ? Mips::S7_64 : Mips::S7;
Vasileios Kalintiris1c78ca62015-08-11 08:56:25 +0000517 BuildMI(MBB, MBBI, dl, TII.get(MOVE), BP)
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000518 .addReg(SP)
519 .addReg(ZERO);
520 }
521 }
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000522 }
523}
524
525void MipsSEFrameLowering::emitEpilogue(MachineFunction &MF,
526 MachineBasicBlock &MBB) const {
527 MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
528 MachineFrameInfo *MFI = MF.getFrameInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000529 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Bill Wendlingead89ef2013-06-07 07:04:14 +0000530
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000531 const MipsSEInstrInfo &TII =
Eric Christopher96e72c62015-01-29 23:27:36 +0000532 *static_cast<const MipsSEInstrInfo *>(STI.getInstrInfo());
533 const MipsRegisterInfo &RegInfo =
534 *static_cast<const MipsRegisterInfo *>(STI.getRegisterInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000535
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000536 DebugLoc dl = MBBI->getDebugLoc();
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000537 MipsABIInfo ABI = STI.getABI();
538 unsigned SP = ABI.GetStackPtr();
539 unsigned FP = ABI.GetFramePtr();
540 unsigned ZERO = ABI.GetNullPtr();
Vasileios Kalintiris1c78ca62015-08-11 08:56:25 +0000541 unsigned MOVE = ABI.GetGPRMoveOp();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000542
543 // if framepointer enabled, restore the stack pointer.
544 if (hasFP(MF)) {
545 // Find the first instruction that restores a callee-saved register.
546 MachineBasicBlock::iterator I = MBBI;
547
548 for (unsigned i = 0; i < MFI->getCalleeSavedInfo().size(); ++i)
549 --I;
550
551 // Insert instruction "move $sp, $fp" at this location.
Vasileios Kalintiris1c78ca62015-08-11 08:56:25 +0000552 BuildMI(MBB, I, dl, TII.get(MOVE), SP).addReg(FP).addReg(ZERO);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000553 }
554
Akira Hatanakac0b02062013-01-30 00:26:49 +0000555 if (MipsFI->callsEhReturn()) {
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000556 const TargetRegisterClass *RC =
557 ABI.ArePtrs64bit() ? &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanakac0b02062013-01-30 00:26:49 +0000558
559 // Find first instruction that restores a callee-saved register.
560 MachineBasicBlock::iterator I = MBBI;
561 for (unsigned i = 0; i < MFI->getCalleeSavedInfo().size(); ++i)
562 --I;
563
564 // Insert instructions that restore eh data registers.
565 for (int J = 0; J < 4; ++J) {
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000566 TII.loadRegFromStackSlot(MBB, I, ABI.GetEhDataReg(J),
567 MipsFI->getEhDataRegFI(J), RC, &RegInfo);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000568 }
569 }
570
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000571 // Get the number of bytes from FrameInfo
572 uint64_t StackSize = MFI->getStackSize();
573
574 if (!StackSize)
575 return;
576
577 // Adjust stack.
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000578 TII.adjustStackPtr(SP, StackSize, MBB, MBBI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000579}
580
581bool MipsSEFrameLowering::
582spillCalleeSavedRegisters(MachineBasicBlock &MBB,
583 MachineBasicBlock::iterator MI,
584 const std::vector<CalleeSavedInfo> &CSI,
585 const TargetRegisterInfo *TRI) const {
586 MachineFunction *MF = MBB.getParent();
587 MachineBasicBlock *EntryBlock = MF->begin();
Eric Christopher96e72c62015-01-29 23:27:36 +0000588 const TargetInstrInfo &TII = *STI.getInstrInfo();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000589
590 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
591 // Add the callee-saved register as live-in. Do not add if the register is
592 // RA and return address is taken, because it has already been added in
593 // method MipsTargetLowering::LowerRETURNADDR.
594 // It's killed at the spill, unless the register is RA and return address
595 // is taken.
596 unsigned Reg = CSI[i].getReg();
597 bool IsRAAndRetAddrIsTaken = (Reg == Mips::RA || Reg == Mips::RA_64)
598 && MF->getFrameInfo()->isReturnAddressTaken();
599 if (!IsRAAndRetAddrIsTaken)
600 EntryBlock->addLiveIn(Reg);
601
602 // Insert the spill to the stack frame.
603 bool IsKill = !IsRAAndRetAddrIsTaken;
604 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
605 TII.storeRegToStackSlot(*EntryBlock, MI, Reg, IsKill,
606 CSI[i].getFrameIdx(), RC, TRI);
607 }
608
609 return true;
610}
611
612bool
613MipsSEFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
614 const MachineFrameInfo *MFI = MF.getFrameInfo();
615
616 // Reserve call frame if the size of the maximum call frame fits into 16-bit
617 // immediate field and there are no variable sized objects on the stack.
Akira Hatanaka3b701452013-03-30 01:04:11 +0000618 // Make sure the second register scavenger spill slot can be accessed with one
619 // instruction.
620 return isInt<16>(MFI->getMaxCallFrameSize() + getStackAlignment()) &&
621 !MFI->hasVarSizedObjects();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000622}
623
Matthias Braun02564862015-07-14 17:17:13 +0000624/// Mark \p Reg and all registers aliasing it in the bitset.
Benjamin Kramer7d54fab2015-07-16 11:12:05 +0000625static void setAliasRegs(MachineFunction &MF, BitVector &SavedRegs,
626 unsigned Reg) {
Matthias Braun02564862015-07-14 17:17:13 +0000627 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
628 for (MCRegAliasIterator AI(Reg, TRI, true); AI.isValid(); ++AI)
629 SavedRegs.set(*AI);
630}
631
632void MipsSEFrameLowering::determineCalleeSaves(MachineFunction &MF,
633 BitVector &SavedRegs,
634 RegScavenger *RS) const {
635 TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000636 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000637 MipsABIInfo ABI = STI.getABI();
638 unsigned FP = ABI.GetFramePtr();
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000639 unsigned BP = ABI.IsN64() ? Mips::S7_64 : Mips::S7;
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000640
641 // Mark $fp as used if function has dedicated frame pointer.
642 if (hasFP(MF))
Matthias Braun02564862015-07-14 17:17:13 +0000643 setAliasRegs(MF, SavedRegs, FP);
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000644 // Mark $s7 as used if function has dedicated base pointer.
645 if (hasBP(MF))
Matthias Braun02564862015-07-14 17:17:13 +0000646 setAliasRegs(MF, SavedRegs, BP);
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000647
Akira Hatanakac0b02062013-01-30 00:26:49 +0000648 // Create spill slots for eh data registers if function calls eh_return.
649 if (MipsFI->callsEhReturn())
650 MipsFI->createEhDataRegsFI();
651
Akira Hatanaka3b701452013-03-30 01:04:11 +0000652 // Expand pseudo instructions which load, store or copy accumulators.
653 // Add an emergency spill slot if a pseudo was expanded.
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000654 if (ExpandPseudo(MF).expand()) {
Akira Hatanaka3b701452013-03-30 01:04:11 +0000655 // The spill slot should be half the size of the accumulator. If target is
656 // mips64, it should be 64-bit, otherwise it should be 32-bt.
657 const TargetRegisterClass *RC = STI.hasMips64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000658 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000659 int FI = MF.getFrameInfo()->CreateStackObject(RC->getSize(),
660 RC->getAlignment(), false);
661 RS->addScavengingFrameIndex(FI);
662 }
663
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000664 // Set scavenging frame index if necessary.
665 uint64_t MaxSPOffset = MF.getInfo<MipsFunctionInfo>()->getIncomingArgSize() +
666 estimateStackSize(MF);
667
668 if (isInt<16>(MaxSPOffset))
669 return;
670
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000671 const TargetRegisterClass *RC =
672 ABI.ArePtrs64bit() ? &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000673 int FI = MF.getFrameInfo()->CreateStackObject(RC->getSize(),
674 RC->getAlignment(), false);
Hal Finkel9e331c22013-03-22 23:32:27 +0000675 RS->addScavengingFrameIndex(FI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000676}
Akira Hatanakafab89292012-08-02 18:21:47 +0000677
678const MipsFrameLowering *
679llvm::createMipsSEFrameLowering(const MipsSubtarget &ST) {
680 return new MipsSEFrameLowering(ST);
681}