blob: 67f96d16fd0eed1c7871a1e558a62e207623505e [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;
74};
75}
76
Akira Hatanakaae4a5562013-05-01 23:41:31 +000077ExpandPseudo::ExpandPseudo(MachineFunction &MF_)
Bill Wendlingead89ef2013-06-07 07:04:14 +000078 : MF(MF_), MRI(MF.getRegInfo()) {}
Akira Hatanaka3b701452013-03-30 01:04:11 +000079
Akira Hatanakaae4a5562013-05-01 23:41:31 +000080bool ExpandPseudo::expand() {
Akira Hatanaka3b701452013-03-30 01:04:11 +000081 bool Expanded = false;
82
83 for (MachineFunction::iterator BB = MF.begin(), BBEnd = MF.end();
84 BB != BBEnd; ++BB)
85 for (Iter I = BB->begin(), End = BB->end(); I != End;)
86 Expanded |= expandInstr(*BB, I++);
87
88 return Expanded;
89}
90
Akira Hatanakaae4a5562013-05-01 23:41:31 +000091bool ExpandPseudo::expandInstr(MachineBasicBlock &MBB, Iter I) {
Akira Hatanaka3b701452013-03-30 01:04:11 +000092 switch(I->getOpcode()) {
Akira Hatanaka5705f542013-05-02 23:07:05 +000093 case Mips::LOAD_CCOND_DSP:
Akira Hatanaka5705f542013-05-02 23:07:05 +000094 expandLoadCCond(MBB, I);
95 break;
96 case Mips::STORE_CCOND_DSP:
Akira Hatanaka5705f542013-05-02 23:07:05 +000097 expandStoreCCond(MBB, I);
98 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +000099 case Mips::LOAD_ACC64:
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000100 case Mips::LOAD_ACC64DSP:
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000101 expandLoadACC(MBB, I, 4);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000102 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000103 case Mips::LOAD_ACC128:
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000104 expandLoadACC(MBB, I, 8);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000105 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000106 case Mips::STORE_ACC64:
Akira Hatanaka16048332013-10-07 18:49:46 +0000107 expandStoreACC(MBB, I, Mips::PseudoMFHI, Mips::PseudoMFLO, 4);
108 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000109 case Mips::STORE_ACC64DSP:
Akira Hatanaka16048332013-10-07 18:49:46 +0000110 expandStoreACC(MBB, I, Mips::MFHI_DSP, Mips::MFLO_DSP, 4);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000111 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000112 case Mips::STORE_ACC128:
Akira Hatanaka16048332013-10-07 18:49:46 +0000113 expandStoreACC(MBB, I, Mips::PseudoMFHI64, Mips::PseudoMFLO64, 8);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000114 break;
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000115 case Mips::BuildPairF64:
116 if (expandBuildPairF64(MBB, I, false))
117 MBB.erase(I);
118 return false;
119 case Mips::BuildPairF64_64:
120 if (expandBuildPairF64(MBB, I, true))
121 MBB.erase(I);
122 return false;
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000123 case Mips::ExtractElementF64:
124 if (expandExtractElementF64(MBB, I, false))
125 MBB.erase(I);
126 return false;
127 case Mips::ExtractElementF64_64:
128 if (expandExtractElementF64(MBB, I, true))
129 MBB.erase(I);
130 return false;
Akira Hatanaka42543192013-04-30 23:22:09 +0000131 case TargetOpcode::COPY:
132 if (!expandCopy(MBB, I))
133 return false;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000134 break;
135 default:
136 return false;
137 }
138
139 MBB.erase(I);
140 return true;
141}
142
Akira Hatanaka5705f542013-05-02 23:07:05 +0000143void ExpandPseudo::expandLoadCCond(MachineBasicBlock &MBB, Iter I) {
144 // load $vr, FI
145 // copy ccond, $vr
146
147 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
148
Bill Wendlingead89ef2013-06-07 07:04:14 +0000149 const MipsSEInstrInfo &TII =
Eric Christopherfc6de422014-08-05 02:39:49 +0000150 *static_cast<const MipsSEInstrInfo *>(MF.getSubtarget().getInstrInfo());
151 const MipsRegisterInfo &RegInfo = *static_cast<const MipsRegisterInfo *>(
152 MF.getSubtarget().getRegisterInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000153
Akira Hatanaka5705f542013-05-02 23:07:05 +0000154 const TargetRegisterClass *RC = RegInfo.intRegClass(4);
155 unsigned VR = MRI.createVirtualRegister(RC);
156 unsigned Dst = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
157
158 TII.loadRegFromStack(MBB, I, VR, FI, RC, &RegInfo, 0);
159 BuildMI(MBB, I, I->getDebugLoc(), TII.get(TargetOpcode::COPY), Dst)
160 .addReg(VR, RegState::Kill);
161}
162
163void ExpandPseudo::expandStoreCCond(MachineBasicBlock &MBB, Iter I) {
164 // copy $vr, ccond
165 // store $vr, FI
166
167 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
168
Bill Wendlingead89ef2013-06-07 07:04:14 +0000169 const MipsSEInstrInfo &TII =
Eric Christopherfc6de422014-08-05 02:39:49 +0000170 *static_cast<const MipsSEInstrInfo *>(MF.getSubtarget().getInstrInfo());
171 const MipsRegisterInfo &RegInfo = *static_cast<const MipsRegisterInfo *>(
172 MF.getSubtarget().getRegisterInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000173
Akira Hatanaka5705f542013-05-02 23:07:05 +0000174 const TargetRegisterClass *RC = RegInfo.intRegClass(4);
175 unsigned VR = MRI.createVirtualRegister(RC);
176 unsigned Src = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
177
178 BuildMI(MBB, I, I->getDebugLoc(), TII.get(TargetOpcode::COPY), VR)
179 .addReg(Src, getKillRegState(I->getOperand(0).isKill()));
180 TII.storeRegToStack(MBB, I, VR, true, FI, RC, &RegInfo, 0);
181}
182
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000183void ExpandPseudo::expandLoadACC(MachineBasicBlock &MBB, Iter I,
Akira Hatanaka3b701452013-03-30 01:04:11 +0000184 unsigned RegSize) {
185 // load $vr0, FI
186 // copy lo, $vr0
187 // load $vr1, FI + 4
188 // copy hi, $vr1
189
190 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
191
Bill Wendlingead89ef2013-06-07 07:04:14 +0000192 const MipsSEInstrInfo &TII =
Eric Christopherfc6de422014-08-05 02:39:49 +0000193 *static_cast<const MipsSEInstrInfo *>(MF.getSubtarget().getInstrInfo());
194 const MipsRegisterInfo &RegInfo = *static_cast<const MipsRegisterInfo *>(
195 MF.getSubtarget().getRegisterInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000196
Akira Hatanaka3b701452013-03-30 01:04:11 +0000197 const TargetRegisterClass *RC = RegInfo.intRegClass(RegSize);
198 unsigned VR0 = MRI.createVirtualRegister(RC);
199 unsigned VR1 = MRI.createVirtualRegister(RC);
200 unsigned Dst = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
201 unsigned Lo = RegInfo.getSubReg(Dst, Mips::sub_lo);
202 unsigned Hi = RegInfo.getSubReg(Dst, Mips::sub_hi);
203 DebugLoc DL = I->getDebugLoc();
204 const MCInstrDesc &Desc = TII.get(TargetOpcode::COPY);
205
206 TII.loadRegFromStack(MBB, I, VR0, FI, RC, &RegInfo, 0);
207 BuildMI(MBB, I, DL, Desc, Lo).addReg(VR0, RegState::Kill);
208 TII.loadRegFromStack(MBB, I, VR1, FI, RC, &RegInfo, RegSize);
209 BuildMI(MBB, I, DL, Desc, Hi).addReg(VR1, RegState::Kill);
210}
211
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000212void ExpandPseudo::expandStoreACC(MachineBasicBlock &MBB, Iter I,
Akira Hatanaka16048332013-10-07 18:49:46 +0000213 unsigned MFHiOpc, unsigned MFLoOpc,
Akira Hatanaka3b701452013-03-30 01:04:11 +0000214 unsigned RegSize) {
Akira Hatanaka16048332013-10-07 18:49:46 +0000215 // mflo $vr0, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000216 // store $vr0, FI
Akira Hatanaka16048332013-10-07 18:49:46 +0000217 // mfhi $vr1, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000218 // store $vr1, FI + 4
219
220 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
221
Bill Wendlingead89ef2013-06-07 07:04:14 +0000222 const MipsSEInstrInfo &TII =
Eric Christopherfc6de422014-08-05 02:39:49 +0000223 *static_cast<const MipsSEInstrInfo *>(MF.getSubtarget().getInstrInfo());
224 const MipsRegisterInfo &RegInfo = *static_cast<const MipsRegisterInfo *>(
225 MF.getSubtarget().getRegisterInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000226
Akira Hatanaka3b701452013-03-30 01:04:11 +0000227 const TargetRegisterClass *RC = RegInfo.intRegClass(RegSize);
228 unsigned VR0 = MRI.createVirtualRegister(RC);
229 unsigned VR1 = MRI.createVirtualRegister(RC);
230 unsigned Src = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
231 unsigned SrcKill = getKillRegState(I->getOperand(0).isKill());
Akira Hatanaka3b701452013-03-30 01:04:11 +0000232 DebugLoc DL = I->getDebugLoc();
233
Akira Hatanaka16048332013-10-07 18:49:46 +0000234 BuildMI(MBB, I, DL, TII.get(MFLoOpc), VR0).addReg(Src);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000235 TII.storeRegToStack(MBB, I, VR0, true, FI, RC, &RegInfo, 0);
Akira Hatanaka16048332013-10-07 18:49:46 +0000236 BuildMI(MBB, I, DL, TII.get(MFHiOpc), VR1).addReg(Src, SrcKill);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000237 TII.storeRegToStack(MBB, I, VR1, true, FI, RC, &RegInfo, RegSize);
238}
239
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000240bool ExpandPseudo::expandCopy(MachineBasicBlock &MBB, Iter I) {
Akira Hatanaka16048332013-10-07 18:49:46 +0000241 unsigned Src = I->getOperand(1).getReg();
242 std::pair<unsigned, unsigned> Opcodes = getMFHiLoOpc(Src);
Akira Hatanaka42543192013-04-30 23:22:09 +0000243
Akira Hatanaka16048332013-10-07 18:49:46 +0000244 if (!Opcodes.first)
245 return false;
Akira Hatanaka42543192013-04-30 23:22:09 +0000246
Akira Hatanaka16048332013-10-07 18:49:46 +0000247 return expandCopyACC(MBB, I, Opcodes.first, Opcodes.second);
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000248}
249
Akira Hatanaka16048332013-10-07 18:49:46 +0000250bool ExpandPseudo::expandCopyACC(MachineBasicBlock &MBB, Iter I,
251 unsigned MFHiOpc, unsigned MFLoOpc) {
252 // mflo $vr0, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000253 // copy dst_lo, $vr0
Akira Hatanaka16048332013-10-07 18:49:46 +0000254 // mfhi $vr1, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000255 // copy dst_hi, $vr1
256
Bill Wendlingead89ef2013-06-07 07:04:14 +0000257 const MipsSEInstrInfo &TII =
Eric Christopherfc6de422014-08-05 02:39:49 +0000258 *static_cast<const MipsSEInstrInfo *>(MF.getSubtarget().getInstrInfo());
259 const MipsRegisterInfo &RegInfo = *static_cast<const MipsRegisterInfo *>(
260 MF.getSubtarget().getRegisterInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000261
Akira Hatanaka16048332013-10-07 18:49:46 +0000262 unsigned Dst = I->getOperand(0).getReg(), Src = I->getOperand(1).getReg();
263 unsigned VRegSize = RegInfo.getMinimalPhysRegClass(Dst)->getSize() / 2;
264 const TargetRegisterClass *RC = RegInfo.intRegClass(VRegSize);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000265 unsigned VR0 = MRI.createVirtualRegister(RC);
266 unsigned VR1 = MRI.createVirtualRegister(RC);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000267 unsigned SrcKill = getKillRegState(I->getOperand(1).isKill());
268 unsigned DstLo = RegInfo.getSubReg(Dst, Mips::sub_lo);
269 unsigned DstHi = RegInfo.getSubReg(Dst, Mips::sub_hi);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000270 DebugLoc DL = I->getDebugLoc();
271
Akira Hatanaka16048332013-10-07 18:49:46 +0000272 BuildMI(MBB, I, DL, TII.get(MFLoOpc), VR0).addReg(Src);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000273 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), DstLo)
274 .addReg(VR0, RegState::Kill);
Akira Hatanaka16048332013-10-07 18:49:46 +0000275 BuildMI(MBB, I, DL, TII.get(MFHiOpc), VR1).addReg(Src, SrcKill);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000276 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), DstHi)
277 .addReg(VR1, RegState::Kill);
Akira Hatanaka42543192013-04-30 23:22:09 +0000278 return true;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000279}
280
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000281/// This method expands the same instruction that MipsSEInstrInfo::
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000282/// expandBuildPairF64 does, for the case when ABI is fpxx and mthc1 is not
283/// available and the case where the ABI is FP64A. It is implemented here
284/// because frame indexes are eliminated before MipsSEInstrInfo::
285/// expandBuildPairF64 is called.
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000286bool ExpandPseudo::expandBuildPairF64(MachineBasicBlock &MBB,
287 MachineBasicBlock::iterator I,
288 bool FP64) const {
289 // For fpxx and when mthc1 is not available, use:
290 // spill + reload via ldc1
291 //
292 // The case where dmtc1 is available doesn't need to be handled here
293 // because it never creates a BuildPairF64 node.
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000294 //
295 // The FP64A ABI (fp64 with nooddspreg) must also use a spill/reload sequence
296 // for odd-numbered double precision values (because the lower 32-bits is
297 // transferred with mtc1 which is redirected to the upper half of the even
298 // register). Unfortunately, we have to make this decision before register
299 // allocation so for now we use a spill/reload sequence for all
300 // double-precision values in regardless of being an odd/even register.
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000301
302 const TargetMachine &TM = MF.getTarget();
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000303 const MipsSubtarget &Subtarget = TM.getSubtarget<MipsSubtarget>();
304 if ((Subtarget.isABI_FPXX() && !Subtarget.hasMTHC1()) ||
305 (FP64 && !Subtarget.useOddSPReg())) {
Eric Christopherd9134482014-08-04 21:25:23 +0000306 const MipsSEInstrInfo &TII = *static_cast<const MipsSEInstrInfo *>(
307 TM.getSubtargetImpl()->getInstrInfo());
308 const MipsRegisterInfo &TRI = *static_cast<const MipsRegisterInfo *>(
309 TM.getSubtargetImpl()->getRegisterInfo());
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000310
311 unsigned DstReg = I->getOperand(0).getReg();
312 unsigned LoReg = I->getOperand(1).getReg();
313 unsigned HiReg = I->getOperand(2).getReg();
314
315 // It should be impossible to have FGR64 on MIPS-II or MIPS32r1 (which are
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000316 // the cases where mthc1 is not available). 64-bit architectures and
317 // MIPS32r2 or later can use FGR64 though.
318 assert(Subtarget.isGP64bit() || Subtarget.hasMTHC1() ||
319 !Subtarget.isFP64bit());
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000320
321 const TargetRegisterClass *RC = &Mips::GPR32RegClass;
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000322 const TargetRegisterClass *RC2 =
323 FP64 ? &Mips::FGR64RegClass : &Mips::AFGR64RegClass;
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000324
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000325 // We re-use the same spill slot each time so that the stack frame doesn't
326 // grow too much in functions with a large number of moves.
327 int FI = MF.getInfo<MipsFunctionInfo>()->getMoveF64ViaSpillFI(RC2);
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000328 TII.storeRegToStack(MBB, I, LoReg, I->getOperand(1).isKill(), FI, RC, &TRI,
329 0);
330 TII.storeRegToStack(MBB, I, HiReg, I->getOperand(2).isKill(), FI, RC, &TRI,
331 4);
332 TII.loadRegFromStack(MBB, I, DstReg, FI, RC2, &TRI, 0);
333 return true;
334 }
335
336 return false;
337}
338
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000339/// This method expands the same instruction that MipsSEInstrInfo::
340/// expandExtractElementF64 does, for the case when ABI is fpxx and mfhc1 is not
341/// available and the case where the ABI is FP64A. It is implemented here
342/// because frame indexes are eliminated before MipsSEInstrInfo::
343/// expandExtractElementF64 is called.
344bool ExpandPseudo::expandExtractElementF64(MachineBasicBlock &MBB,
345 MachineBasicBlock::iterator I,
346 bool FP64) const {
347 // For fpxx and when mfhc1 is not available, use:
348 // spill + reload via ldc1
349 //
350 // The case where dmfc1 is available doesn't need to be handled here
351 // because it never creates a ExtractElementF64 node.
352 //
353 // The FP64A ABI (fp64 with nooddspreg) must also use a spill/reload sequence
354 // for odd-numbered double precision values (because the lower 32-bits is
355 // transferred with mfc1 which is redirected to the upper half of the even
356 // register). Unfortunately, we have to make this decision before register
357 // allocation so for now we use a spill/reload sequence for all
358 // double-precision values in regardless of being an odd/even register.
359
360 const TargetMachine &TM = MF.getTarget();
361 const MipsSubtarget &Subtarget = TM.getSubtarget<MipsSubtarget>();
362 if ((Subtarget.isABI_FPXX() && !Subtarget.hasMTHC1()) ||
363 (FP64 && !Subtarget.useOddSPReg())) {
Eric Christopherd9134482014-08-04 21:25:23 +0000364 const MipsSEInstrInfo &TII = *static_cast<const MipsSEInstrInfo *>(
365 TM.getSubtargetImpl()->getInstrInfo());
366 const MipsRegisterInfo &TRI = *static_cast<const MipsRegisterInfo *>(
367 TM.getSubtargetImpl()->getRegisterInfo());
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000368
369 unsigned DstReg = I->getOperand(0).getReg();
370 unsigned SrcReg = I->getOperand(1).getReg();
371 unsigned N = I->getOperand(2).getImm();
372
373 // It should be impossible to have FGR64 on MIPS-II or MIPS32r1 (which are
374 // the cases where mfhc1 is not available). 64-bit architectures and
375 // MIPS32r2 or later can use FGR64 though.
376 assert(Subtarget.isGP64bit() || Subtarget.hasMTHC1() ||
377 !Subtarget.isFP64bit());
378
379 const TargetRegisterClass *RC =
380 FP64 ? &Mips::FGR64RegClass : &Mips::AFGR64RegClass;
381 const TargetRegisterClass *RC2 = &Mips::GPR32RegClass;
382
383 // We re-use the same spill slot each time so that the stack frame doesn't
384 // grow too much in functions with a large number of moves.
385 int FI = MF.getInfo<MipsFunctionInfo>()->getMoveF64ViaSpillFI(RC);
386 TII.storeRegToStack(MBB, I, SrcReg, I->getOperand(1).isKill(), FI, RC, &TRI,
387 0);
388 TII.loadRegFromStack(MBB, I, DstReg, FI, RC2, &TRI, N * 4);
389 return true;
390 }
391
392 return false;
393}
394
Eric Christopher4cdb3f92014-07-02 23:29:55 +0000395MipsSEFrameLowering::MipsSEFrameLowering(const MipsSubtarget &STI)
396 : MipsFrameLowering(STI, STI.stackAlignment()) {}
397
Akira Hatanakac0b02062013-01-30 00:26:49 +0000398unsigned MipsSEFrameLowering::ehDataReg(unsigned I) const {
399 static const unsigned EhDataReg[] = {
400 Mips::A0, Mips::A1, Mips::A2, Mips::A3
401 };
402 static const unsigned EhDataReg64[] = {
403 Mips::A0_64, Mips::A1_64, Mips::A2_64, Mips::A3_64
404 };
405
406 return STI.isABI_N64() ? EhDataReg64[I] : EhDataReg[I];
407}
408
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000409void MipsSEFrameLowering::emitPrologue(MachineFunction &MF) const {
410 MachineBasicBlock &MBB = MF.front();
411 MachineFrameInfo *MFI = MF.getFrameInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000412 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Bill Wendlingead89ef2013-06-07 07:04:14 +0000413
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000414 const MipsSEInstrInfo &TII =
Eric Christopherfc6de422014-08-05 02:39:49 +0000415 *static_cast<const MipsSEInstrInfo *>(MF.getSubtarget().getInstrInfo());
416 const MipsRegisterInfo &RegInfo = *static_cast<const MipsRegisterInfo *>(
417 MF.getSubtarget().getRegisterInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000418
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000419 MachineBasicBlock::iterator MBBI = MBB.begin();
420 DebugLoc dl = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
421 unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP;
422 unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP;
423 unsigned ZERO = STI.isABI_N64() ? Mips::ZERO_64 : Mips::ZERO;
424 unsigned ADDu = STI.isABI_N64() ? Mips::DADDu : Mips::ADDu;
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000425
426 // First, compute final stack size.
427 uint64_t StackSize = MFI->getStackSize();
428
429 // No need to allocate space on the stack.
430 if (StackSize == 0 && !MFI->adjustsStack()) return;
431
432 MachineModuleInfo &MMI = MF.getMMI();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000433 const MCRegisterInfo *MRI = MMI.getContext().getRegisterInfo();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000434 MachineLocation DstML, SrcML;
435
436 // Adjust stack.
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000437 TII.adjustStackPtr(SP, -StackSize, MBB, MBBI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000438
439 // emit ".cfi_def_cfa_offset StackSize"
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000440 unsigned CFIIndex = MMI.addFrameInst(
441 MCCFIInstruction::createDefCfaOffset(nullptr, -StackSize));
442 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
443 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000444
445 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
446
447 if (CSI.size()) {
448 // Find the instruction past the last instruction that saves a callee-saved
449 // register to the stack.
450 for (unsigned i = 0; i < CSI.size(); ++i)
451 ++MBBI;
452
453 // Iterate over list of callee-saved registers and emit .cfi_offset
454 // directives.
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000455 for (std::vector<CalleeSavedInfo>::const_iterator I = CSI.begin(),
456 E = CSI.end(); I != E; ++I) {
457 int64_t Offset = MFI->getObjectOffset(I->getFrameIdx());
458 unsigned Reg = I->getReg();
459
460 // If Reg is a double precision register, emit two cfa_offsets,
461 // one for each of the paired single precision registers.
462 if (Mips::AFGR64RegClass.contains(Reg)) {
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000463 unsigned Reg0 =
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000464 MRI->getDwarfRegNum(RegInfo.getSubReg(Reg, Mips::sub_lo), true);
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000465 unsigned Reg1 =
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000466 MRI->getDwarfRegNum(RegInfo.getSubReg(Reg, Mips::sub_hi), true);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000467
468 if (!STI.isLittle())
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000469 std::swap(Reg0, Reg1);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000470
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000471 unsigned CFIIndex = MMI.addFrameInst(
472 MCCFIInstruction::createOffset(nullptr, Reg0, Offset));
473 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
474 .addCFIIndex(CFIIndex);
475
476 CFIIndex = MMI.addFrameInst(
477 MCCFIInstruction::createOffset(nullptr, Reg1, Offset + 4));
478 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
479 .addCFIIndex(CFIIndex);
Zoran Jovanovicf34b4542014-07-10 22:23:30 +0000480 } else if (Mips::FGR64RegClass.contains(Reg)) {
481 unsigned Reg0 = MRI->getDwarfRegNum(Reg, true);
482 unsigned Reg1 = MRI->getDwarfRegNum(Reg, true) + 1;
483
484 if (!STI.isLittle())
485 std::swap(Reg0, Reg1);
486
487 unsigned CFIIndex = MMI.addFrameInst(
488 MCCFIInstruction::createOffset(nullptr, Reg0, Offset));
489 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
490 .addCFIIndex(CFIIndex);
491
492 CFIIndex = MMI.addFrameInst(
493 MCCFIInstruction::createOffset(nullptr, Reg1, Offset + 4));
494 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
495 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000496 } else {
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000497 // Reg is either in GPR32 or FGR32.
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000498 unsigned CFIIndex = MMI.addFrameInst(MCCFIInstruction::createOffset(
499 nullptr, MRI->getDwarfRegNum(Reg, 1), Offset));
500 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
501 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000502 }
503 }
504 }
505
Akira Hatanakac0b02062013-01-30 00:26:49 +0000506 if (MipsFI->callsEhReturn()) {
507 const TargetRegisterClass *RC = STI.isABI_N64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000508 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanakac0b02062013-01-30 00:26:49 +0000509
510 // Insert instructions that spill eh data registers.
511 for (int I = 0; I < 4; ++I) {
512 if (!MBB.isLiveIn(ehDataReg(I)))
513 MBB.addLiveIn(ehDataReg(I));
514 TII.storeRegToStackSlot(MBB, MBBI, ehDataReg(I), false,
Bill Wendlingead89ef2013-06-07 07:04:14 +0000515 MipsFI->getEhDataRegFI(I), RC, &RegInfo);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000516 }
517
518 // Emit .cfi_offset directives for eh data registers.
Akira Hatanakac0b02062013-01-30 00:26:49 +0000519 for (int I = 0; I < 4; ++I) {
520 int64_t Offset = MFI->getObjectOffset(MipsFI->getEhDataRegFI(I));
Bill Wendlingbc07a892013-06-18 07:20:20 +0000521 unsigned Reg = MRI->getDwarfRegNum(ehDataReg(I), true);
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000522 unsigned CFIIndex = MMI.addFrameInst(
523 MCCFIInstruction::createOffset(nullptr, Reg, Offset));
524 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
525 .addCFIIndex(CFIIndex);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000526 }
527 }
528
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000529 // if framepointer enabled, set it to point to the stack pointer.
530 if (hasFP(MF)) {
531 // Insert instruction "move $fp, $sp" at this location.
Eric Christopherb45b4812014-04-14 22:21:22 +0000532 BuildMI(MBB, MBBI, dl, TII.get(ADDu), FP).addReg(SP).addReg(ZERO)
533 .setMIFlag(MachineInstr::FrameSetup);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000534
535 // emit ".cfi_def_cfa_register $fp"
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000536 unsigned CFIIndex = MMI.addFrameInst(MCCFIInstruction::createDefCfaRegister(
537 nullptr, MRI->getDwarfRegNum(FP, true)));
538 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
539 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000540 }
541}
542
543void MipsSEFrameLowering::emitEpilogue(MachineFunction &MF,
544 MachineBasicBlock &MBB) const {
545 MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
546 MachineFrameInfo *MFI = MF.getFrameInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000547 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Bill Wendlingead89ef2013-06-07 07:04:14 +0000548
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000549 const MipsSEInstrInfo &TII =
Eric Christopherfc6de422014-08-05 02:39:49 +0000550 *static_cast<const MipsSEInstrInfo *>(MF.getSubtarget().getInstrInfo());
551 const MipsRegisterInfo &RegInfo = *static_cast<const MipsRegisterInfo *>(
552 MF.getSubtarget().getRegisterInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000553
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000554 DebugLoc dl = MBBI->getDebugLoc();
555 unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP;
556 unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP;
557 unsigned ZERO = STI.isABI_N64() ? Mips::ZERO_64 : Mips::ZERO;
558 unsigned ADDu = STI.isABI_N64() ? Mips::DADDu : Mips::ADDu;
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000559
560 // if framepointer enabled, restore the stack pointer.
561 if (hasFP(MF)) {
562 // Find the first instruction that restores a callee-saved register.
563 MachineBasicBlock::iterator I = MBBI;
564
565 for (unsigned i = 0; i < MFI->getCalleeSavedInfo().size(); ++i)
566 --I;
567
568 // Insert instruction "move $sp, $fp" at this location.
569 BuildMI(MBB, I, dl, TII.get(ADDu), SP).addReg(FP).addReg(ZERO);
570 }
571
Akira Hatanakac0b02062013-01-30 00:26:49 +0000572 if (MipsFI->callsEhReturn()) {
573 const TargetRegisterClass *RC = STI.isABI_N64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000574 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanakac0b02062013-01-30 00:26:49 +0000575
576 // Find first instruction that restores a callee-saved register.
577 MachineBasicBlock::iterator I = MBBI;
578 for (unsigned i = 0; i < MFI->getCalleeSavedInfo().size(); ++i)
579 --I;
580
581 // Insert instructions that restore eh data registers.
582 for (int J = 0; J < 4; ++J) {
583 TII.loadRegFromStackSlot(MBB, I, ehDataReg(J), MipsFI->getEhDataRegFI(J),
Bill Wendlingead89ef2013-06-07 07:04:14 +0000584 RC, &RegInfo);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000585 }
586 }
587
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000588 // Get the number of bytes from FrameInfo
589 uint64_t StackSize = MFI->getStackSize();
590
591 if (!StackSize)
592 return;
593
594 // Adjust stack.
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000595 TII.adjustStackPtr(SP, StackSize, MBB, MBBI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000596}
597
598bool MipsSEFrameLowering::
599spillCalleeSavedRegisters(MachineBasicBlock &MBB,
600 MachineBasicBlock::iterator MI,
601 const std::vector<CalleeSavedInfo> &CSI,
602 const TargetRegisterInfo *TRI) const {
603 MachineFunction *MF = MBB.getParent();
604 MachineBasicBlock *EntryBlock = MF->begin();
Eric Christopherfc6de422014-08-05 02:39:49 +0000605 const TargetInstrInfo &TII = *MF->getSubtarget().getInstrInfo();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000606
607 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
608 // Add the callee-saved register as live-in. Do not add if the register is
609 // RA and return address is taken, because it has already been added in
610 // method MipsTargetLowering::LowerRETURNADDR.
611 // It's killed at the spill, unless the register is RA and return address
612 // is taken.
613 unsigned Reg = CSI[i].getReg();
614 bool IsRAAndRetAddrIsTaken = (Reg == Mips::RA || Reg == Mips::RA_64)
615 && MF->getFrameInfo()->isReturnAddressTaken();
616 if (!IsRAAndRetAddrIsTaken)
617 EntryBlock->addLiveIn(Reg);
618
619 // Insert the spill to the stack frame.
620 bool IsKill = !IsRAAndRetAddrIsTaken;
621 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
622 TII.storeRegToStackSlot(*EntryBlock, MI, Reg, IsKill,
623 CSI[i].getFrameIdx(), RC, TRI);
624 }
625
626 return true;
627}
628
629bool
630MipsSEFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
631 const MachineFrameInfo *MFI = MF.getFrameInfo();
632
633 // Reserve call frame if the size of the maximum call frame fits into 16-bit
634 // immediate field and there are no variable sized objects on the stack.
Akira Hatanaka3b701452013-03-30 01:04:11 +0000635 // Make sure the second register scavenger spill slot can be accessed with one
636 // instruction.
637 return isInt<16>(MFI->getMaxCallFrameSize() + getStackAlignment()) &&
638 !MFI->hasVarSizedObjects();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000639}
640
Eli Bendersky8da87162013-02-21 20:05:00 +0000641// Eliminate ADJCALLSTACKDOWN, ADJCALLSTACKUP pseudo instructions
642void MipsSEFrameLowering::
643eliminateCallFramePseudoInstr(MachineFunction &MF, MachineBasicBlock &MBB,
644 MachineBasicBlock::iterator I) const {
645 const MipsSEInstrInfo &TII =
Eric Christopherfc6de422014-08-05 02:39:49 +0000646 *static_cast<const MipsSEInstrInfo *>(MF.getSubtarget().getInstrInfo());
Eli Bendersky8da87162013-02-21 20:05:00 +0000647
648 if (!hasReservedCallFrame(MF)) {
649 int64_t Amount = I->getOperand(0).getImm();
650
651 if (I->getOpcode() == Mips::ADJCALLSTACKDOWN)
652 Amount = -Amount;
653
654 unsigned SP = STI.isABI_N64() ? Mips::SP_64 : Mips::SP;
655 TII.adjustStackPtr(SP, Amount, MBB, I);
656 }
657
658 MBB.erase(I);
659}
660
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000661void MipsSEFrameLowering::
662processFunctionBeforeCalleeSavedScan(MachineFunction &MF,
663 RegScavenger *RS) const {
664 MachineRegisterInfo &MRI = MF.getRegInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000665 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000666 unsigned FP = STI.isABI_N64() ? Mips::FP_64 : Mips::FP;
667
668 // Mark $fp as used if function has dedicated frame pointer.
669 if (hasFP(MF))
670 MRI.setPhysRegUsed(FP);
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000671
Akira Hatanakac0b02062013-01-30 00:26:49 +0000672 // Create spill slots for eh data registers if function calls eh_return.
673 if (MipsFI->callsEhReturn())
674 MipsFI->createEhDataRegsFI();
675
Akira Hatanaka3b701452013-03-30 01:04:11 +0000676 // Expand pseudo instructions which load, store or copy accumulators.
677 // Add an emergency spill slot if a pseudo was expanded.
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000678 if (ExpandPseudo(MF).expand()) {
Akira Hatanaka3b701452013-03-30 01:04:11 +0000679 // The spill slot should be half the size of the accumulator. If target is
680 // mips64, it should be 64-bit, otherwise it should be 32-bt.
681 const TargetRegisterClass *RC = STI.hasMips64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000682 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000683 int FI = MF.getFrameInfo()->CreateStackObject(RC->getSize(),
684 RC->getAlignment(), false);
685 RS->addScavengingFrameIndex(FI);
686 }
687
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000688 // Set scavenging frame index if necessary.
689 uint64_t MaxSPOffset = MF.getInfo<MipsFunctionInfo>()->getIncomingArgSize() +
690 estimateStackSize(MF);
691
692 if (isInt<16>(MaxSPOffset))
693 return;
694
695 const TargetRegisterClass *RC = STI.isABI_N64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000696 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000697 int FI = MF.getFrameInfo()->CreateStackObject(RC->getSize(),
698 RC->getAlignment(), false);
Hal Finkel9e331c22013-03-22 23:32:27 +0000699 RS->addScavengingFrameIndex(FI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000700}
Akira Hatanakafab89292012-08-02 18:21:47 +0000701
702const MipsFrameLowering *
703llvm::createMipsSEFrameLowering(const MipsSubtarget &ST) {
704 return new MipsSEFrameLowering(ST);
705}