blob: 687c9f676b34039960d789e99a9508a0fb2ae2c0 [file] [log] [blame]
Eugene Zelenko79220eae2017-08-03 22:12:30 +00001//===- MipsSEFrameLowering.cpp - Mips32/64 Frame Information --------------===//
Akira Hatanakad1c43ce2012-07-31 22:50:19 +00002//
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
Chandler Carruth6bda14b2017-06-06 11:49:48 +000014#include "MipsSEFrameLowering.h"
Eugene Zelenko926883e2017-02-01 01:22:51 +000015#include "MCTargetDesc/MipsABIInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000016#include "MipsMachineFunction.h"
Eugene Zelenko926883e2017-02-01 01:22:51 +000017#include "MipsRegisterInfo.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000018#include "MipsSEInstrInfo.h"
Eric Christopher4cdb3f92014-07-02 23:29:55 +000019#include "MipsSubtarget.h"
Eugene Zelenko926883e2017-02-01 01:22:51 +000020#include "llvm/ADT/BitVector.h"
21#include "llvm/ADT/StringRef.h"
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +000022#include "llvm/ADT/StringSwitch.h"
Eugene Zelenko926883e2017-02-01 01:22:51 +000023#include "llvm/CodeGen/MachineBasicBlock.h"
Akira Hatanakad1c43ce2012-07-31 22:50:19 +000024#include "llvm/CodeGen/MachineFrameInfo.h"
25#include "llvm/CodeGen/MachineFunction.h"
Eugene Zelenko926883e2017-02-01 01:22:51 +000026#include "llvm/CodeGen/MachineInstr.h"
Akira Hatanakad1c43ce2012-07-31 22:50:19 +000027#include "llvm/CodeGen/MachineInstrBuilder.h"
28#include "llvm/CodeGen/MachineModuleInfo.h"
Eugene Zelenko926883e2017-02-01 01:22:51 +000029#include "llvm/CodeGen/MachineOperand.h"
Akira Hatanakad1c43ce2012-07-31 22:50:19 +000030#include "llvm/CodeGen/MachineRegisterInfo.h"
Akira Hatanaka5852e3b2012-11-03 00:05:43 +000031#include "llvm/CodeGen/RegisterScavenging.h"
David Blaikie3f833ed2017-11-08 01:01:31 +000032#include "llvm/CodeGen/TargetInstrInfo.h"
David Blaikieb3bde2e2017-11-17 01:07:10 +000033#include "llvm/CodeGen/TargetRegisterInfo.h"
34#include "llvm/CodeGen/TargetSubtargetInfo.h"
Eugene Zelenko926883e2017-02-01 01:22:51 +000035#include "llvm/IR/DebugLoc.h"
Chandler Carruth9fb823b2013-01-02 11:36:10 +000036#include "llvm/IR/Function.h"
Eugene Zelenko926883e2017-02-01 01:22:51 +000037#include "llvm/MC/MCDwarf.h"
38#include "llvm/MC/MCRegisterInfo.h"
39#include "llvm/MC/MachineLocation.h"
40#include "llvm/Support/CodeGen.h"
41#include "llvm/Support/ErrorHandling.h"
42#include "llvm/Support/MathExtras.h"
Eugene Zelenko926883e2017-02-01 01:22:51 +000043#include <cassert>
44#include <cstdint>
45#include <utility>
46#include <vector>
Akira Hatanakad1c43ce2012-07-31 22:50:19 +000047
48using namespace llvm;
49
Akira Hatanaka16048332013-10-07 18:49:46 +000050static std::pair<unsigned, unsigned> getMFHiLoOpc(unsigned Src) {
51 if (Mips::ACC64RegClass.contains(Src))
52 return std::make_pair((unsigned)Mips::PseudoMFHI,
53 (unsigned)Mips::PseudoMFLO);
54
55 if (Mips::ACC64DSPRegClass.contains(Src))
56 return std::make_pair((unsigned)Mips::MFHI_DSP, (unsigned)Mips::MFLO_DSP);
57
58 if (Mips::ACC128RegClass.contains(Src))
59 return std::make_pair((unsigned)Mips::PseudoMFHI64,
60 (unsigned)Mips::PseudoMFLO64);
61
62 return std::make_pair(0, 0);
63}
64
Eugene Zelenko926883e2017-02-01 01:22:51 +000065namespace {
66
Akira Hatanakaae4a5562013-05-01 23:41:31 +000067/// Helper class to expand pseudos.
68class ExpandPseudo {
Akira Hatanaka3b701452013-03-30 01:04:11 +000069public:
Akira Hatanakaae4a5562013-05-01 23:41:31 +000070 ExpandPseudo(MachineFunction &MF);
Akira Hatanaka3b701452013-03-30 01:04:11 +000071 bool expand();
72
73private:
Eugene Zelenko79220eae2017-08-03 22:12:30 +000074 using Iter = MachineBasicBlock::iterator;
Eugene Zelenko926883e2017-02-01 01:22:51 +000075
Akira Hatanaka3b701452013-03-30 01:04:11 +000076 bool expandInstr(MachineBasicBlock &MBB, Iter I);
Akira Hatanaka5705f542013-05-02 23:07:05 +000077 void expandLoadCCond(MachineBasicBlock &MBB, Iter I);
78 void expandStoreCCond(MachineBasicBlock &MBB, Iter I);
Akira Hatanakaae4a5562013-05-01 23:41:31 +000079 void expandLoadACC(MachineBasicBlock &MBB, Iter I, unsigned RegSize);
Akira Hatanaka16048332013-10-07 18:49:46 +000080 void expandStoreACC(MachineBasicBlock &MBB, Iter I, unsigned MFHiOpc,
81 unsigned MFLoOpc, unsigned RegSize);
Akira Hatanaka42543192013-04-30 23:22:09 +000082 bool expandCopy(MachineBasicBlock &MBB, Iter I);
Akira Hatanaka16048332013-10-07 18:49:46 +000083 bool expandCopyACC(MachineBasicBlock &MBB, Iter I, unsigned MFHiOpc,
84 unsigned MFLoOpc);
Sasa Stankovicb976fee2014-07-14 09:40:29 +000085 bool expandBuildPairF64(MachineBasicBlock &MBB,
86 MachineBasicBlock::iterator I, bool FP64) const;
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +000087 bool expandExtractElementF64(MachineBasicBlock &MBB,
88 MachineBasicBlock::iterator I, bool FP64) const;
Akira Hatanaka3b701452013-03-30 01:04:11 +000089
90 MachineFunction &MF;
Akira Hatanaka3b701452013-03-30 01:04:11 +000091 MachineRegisterInfo &MRI;
Eric Christopher96e72c62015-01-29 23:27:36 +000092 const MipsSubtarget &Subtarget;
93 const MipsSEInstrInfo &TII;
94 const MipsRegisterInfo &RegInfo;
Akira Hatanaka3b701452013-03-30 01:04:11 +000095};
Eugene Zelenko926883e2017-02-01 01:22:51 +000096
97} // end anonymous namespace
Akira Hatanaka3b701452013-03-30 01:04:11 +000098
Akira Hatanakaae4a5562013-05-01 23:41:31 +000099ExpandPseudo::ExpandPseudo(MachineFunction &MF_)
Eric Christopher96e72c62015-01-29 23:27:36 +0000100 : MF(MF_), MRI(MF.getRegInfo()),
101 Subtarget(static_cast<const MipsSubtarget &>(MF.getSubtarget())),
102 TII(*static_cast<const MipsSEInstrInfo *>(Subtarget.getInstrInfo())),
103 RegInfo(*Subtarget.getRegisterInfo()) {}
Akira Hatanaka3b701452013-03-30 01:04:11 +0000104
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000105bool ExpandPseudo::expand() {
Akira Hatanaka3b701452013-03-30 01:04:11 +0000106 bool Expanded = false;
107
Vasileios Kalintiris5a971a42016-04-15 20:43:17 +0000108 for (auto &MBB : MF) {
109 for (Iter I = MBB.begin(), End = MBB.end(); I != End;)
110 Expanded |= expandInstr(MBB, I++);
111 }
Akira Hatanaka3b701452013-03-30 01:04:11 +0000112
113 return Expanded;
114}
115
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000116bool ExpandPseudo::expandInstr(MachineBasicBlock &MBB, Iter I) {
Akira Hatanaka3b701452013-03-30 01:04:11 +0000117 switch(I->getOpcode()) {
Akira Hatanaka5705f542013-05-02 23:07:05 +0000118 case Mips::LOAD_CCOND_DSP:
Akira Hatanaka5705f542013-05-02 23:07:05 +0000119 expandLoadCCond(MBB, I);
120 break;
121 case Mips::STORE_CCOND_DSP:
Akira Hatanaka5705f542013-05-02 23:07:05 +0000122 expandStoreCCond(MBB, I);
123 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000124 case Mips::LOAD_ACC64:
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000125 case Mips::LOAD_ACC64DSP:
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000126 expandLoadACC(MBB, I, 4);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000127 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000128 case Mips::LOAD_ACC128:
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000129 expandLoadACC(MBB, I, 8);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000130 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000131 case Mips::STORE_ACC64:
Akira Hatanaka16048332013-10-07 18:49:46 +0000132 expandStoreACC(MBB, I, Mips::PseudoMFHI, Mips::PseudoMFLO, 4);
133 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000134 case Mips::STORE_ACC64DSP:
Akira Hatanaka16048332013-10-07 18:49:46 +0000135 expandStoreACC(MBB, I, Mips::MFHI_DSP, Mips::MFLO_DSP, 4);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000136 break;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000137 case Mips::STORE_ACC128:
Akira Hatanaka16048332013-10-07 18:49:46 +0000138 expandStoreACC(MBB, I, Mips::PseudoMFHI64, Mips::PseudoMFLO64, 8);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000139 break;
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000140 case Mips::BuildPairF64:
141 if (expandBuildPairF64(MBB, I, false))
142 MBB.erase(I);
143 return false;
144 case Mips::BuildPairF64_64:
145 if (expandBuildPairF64(MBB, I, true))
146 MBB.erase(I);
147 return false;
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000148 case Mips::ExtractElementF64:
149 if (expandExtractElementF64(MBB, I, false))
150 MBB.erase(I);
151 return false;
152 case Mips::ExtractElementF64_64:
153 if (expandExtractElementF64(MBB, I, true))
154 MBB.erase(I);
155 return false;
Akira Hatanaka42543192013-04-30 23:22:09 +0000156 case TargetOpcode::COPY:
157 if (!expandCopy(MBB, I))
158 return false;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000159 break;
160 default:
161 return false;
162 }
163
164 MBB.erase(I);
165 return true;
166}
167
Akira Hatanaka5705f542013-05-02 23:07:05 +0000168void ExpandPseudo::expandLoadCCond(MachineBasicBlock &MBB, Iter I) {
169 // load $vr, FI
170 // copy ccond, $vr
171
172 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
173
174 const TargetRegisterClass *RC = RegInfo.intRegClass(4);
175 unsigned VR = MRI.createVirtualRegister(RC);
176 unsigned Dst = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
177
178 TII.loadRegFromStack(MBB, I, VR, FI, RC, &RegInfo, 0);
179 BuildMI(MBB, I, I->getDebugLoc(), TII.get(TargetOpcode::COPY), Dst)
180 .addReg(VR, RegState::Kill);
181}
182
183void ExpandPseudo::expandStoreCCond(MachineBasicBlock &MBB, Iter I) {
184 // copy $vr, ccond
185 // store $vr, FI
186
187 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
188
189 const TargetRegisterClass *RC = RegInfo.intRegClass(4);
190 unsigned VR = MRI.createVirtualRegister(RC);
191 unsigned Src = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
192
193 BuildMI(MBB, I, I->getDebugLoc(), TII.get(TargetOpcode::COPY), VR)
194 .addReg(Src, getKillRegState(I->getOperand(0).isKill()));
195 TII.storeRegToStack(MBB, I, VR, true, FI, RC, &RegInfo, 0);
196}
197
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000198void ExpandPseudo::expandLoadACC(MachineBasicBlock &MBB, Iter I,
Akira Hatanaka3b701452013-03-30 01:04:11 +0000199 unsigned RegSize) {
200 // load $vr0, FI
201 // copy lo, $vr0
202 // load $vr1, FI + 4
203 // copy hi, $vr1
204
205 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
206
207 const TargetRegisterClass *RC = RegInfo.intRegClass(RegSize);
208 unsigned VR0 = MRI.createVirtualRegister(RC);
209 unsigned VR1 = MRI.createVirtualRegister(RC);
210 unsigned Dst = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
211 unsigned Lo = RegInfo.getSubReg(Dst, Mips::sub_lo);
212 unsigned Hi = RegInfo.getSubReg(Dst, Mips::sub_hi);
213 DebugLoc DL = I->getDebugLoc();
214 const MCInstrDesc &Desc = TII.get(TargetOpcode::COPY);
215
216 TII.loadRegFromStack(MBB, I, VR0, FI, RC, &RegInfo, 0);
217 BuildMI(MBB, I, DL, Desc, Lo).addReg(VR0, RegState::Kill);
218 TII.loadRegFromStack(MBB, I, VR1, FI, RC, &RegInfo, RegSize);
219 BuildMI(MBB, I, DL, Desc, Hi).addReg(VR1, RegState::Kill);
220}
221
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000222void ExpandPseudo::expandStoreACC(MachineBasicBlock &MBB, Iter I,
Akira Hatanaka16048332013-10-07 18:49:46 +0000223 unsigned MFHiOpc, unsigned MFLoOpc,
Akira Hatanaka3b701452013-03-30 01:04:11 +0000224 unsigned RegSize) {
Akira Hatanaka16048332013-10-07 18:49:46 +0000225 // mflo $vr0, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000226 // store $vr0, FI
Akira Hatanaka16048332013-10-07 18:49:46 +0000227 // mfhi $vr1, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000228 // store $vr1, FI + 4
229
230 assert(I->getOperand(0).isReg() && I->getOperand(1).isFI());
231
232 const TargetRegisterClass *RC = RegInfo.intRegClass(RegSize);
233 unsigned VR0 = MRI.createVirtualRegister(RC);
234 unsigned VR1 = MRI.createVirtualRegister(RC);
235 unsigned Src = I->getOperand(0).getReg(), FI = I->getOperand(1).getIndex();
236 unsigned SrcKill = getKillRegState(I->getOperand(0).isKill());
Akira Hatanaka3b701452013-03-30 01:04:11 +0000237 DebugLoc DL = I->getDebugLoc();
238
Akira Hatanaka16048332013-10-07 18:49:46 +0000239 BuildMI(MBB, I, DL, TII.get(MFLoOpc), VR0).addReg(Src);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000240 TII.storeRegToStack(MBB, I, VR0, true, FI, RC, &RegInfo, 0);
Akira Hatanaka16048332013-10-07 18:49:46 +0000241 BuildMI(MBB, I, DL, TII.get(MFHiOpc), VR1).addReg(Src, SrcKill);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000242 TII.storeRegToStack(MBB, I, VR1, true, FI, RC, &RegInfo, RegSize);
243}
244
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000245bool ExpandPseudo::expandCopy(MachineBasicBlock &MBB, Iter I) {
Akira Hatanaka16048332013-10-07 18:49:46 +0000246 unsigned Src = I->getOperand(1).getReg();
247 std::pair<unsigned, unsigned> Opcodes = getMFHiLoOpc(Src);
Akira Hatanaka42543192013-04-30 23:22:09 +0000248
Akira Hatanaka16048332013-10-07 18:49:46 +0000249 if (!Opcodes.first)
250 return false;
Akira Hatanaka42543192013-04-30 23:22:09 +0000251
Akira Hatanaka16048332013-10-07 18:49:46 +0000252 return expandCopyACC(MBB, I, Opcodes.first, Opcodes.second);
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000253}
254
Akira Hatanaka16048332013-10-07 18:49:46 +0000255bool ExpandPseudo::expandCopyACC(MachineBasicBlock &MBB, Iter I,
256 unsigned MFHiOpc, unsigned MFLoOpc) {
257 // mflo $vr0, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000258 // copy dst_lo, $vr0
Akira Hatanaka16048332013-10-07 18:49:46 +0000259 // mfhi $vr1, src
Akira Hatanaka3b701452013-03-30 01:04:11 +0000260 // copy dst_hi, $vr1
261
Akira Hatanaka16048332013-10-07 18:49:46 +0000262 unsigned Dst = I->getOperand(0).getReg(), Src = I->getOperand(1).getReg();
Krzysztof Parzyszek44e25f32017-04-24 18:55:33 +0000263 const TargetRegisterClass *DstRC = RegInfo.getMinimalPhysRegClass(Dst);
264 unsigned VRegSize = RegInfo.getRegSizeInBits(*DstRC) / 16;
Akira Hatanaka16048332013-10-07 18:49:46 +0000265 const TargetRegisterClass *RC = RegInfo.intRegClass(VRegSize);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000266 unsigned VR0 = MRI.createVirtualRegister(RC);
267 unsigned VR1 = MRI.createVirtualRegister(RC);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000268 unsigned SrcKill = getKillRegState(I->getOperand(1).isKill());
269 unsigned DstLo = RegInfo.getSubReg(Dst, Mips::sub_lo);
270 unsigned DstHi = RegInfo.getSubReg(Dst, Mips::sub_hi);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000271 DebugLoc DL = I->getDebugLoc();
272
Akira Hatanaka16048332013-10-07 18:49:46 +0000273 BuildMI(MBB, I, DL, TII.get(MFLoOpc), VR0).addReg(Src);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000274 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), DstLo)
275 .addReg(VR0, RegState::Kill);
Akira Hatanaka16048332013-10-07 18:49:46 +0000276 BuildMI(MBB, I, DL, TII.get(MFHiOpc), VR1).addReg(Src, SrcKill);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000277 BuildMI(MBB, I, DL, TII.get(TargetOpcode::COPY), DstHi)
278 .addReg(VR1, RegState::Kill);
Akira Hatanaka42543192013-04-30 23:22:09 +0000279 return true;
Akira Hatanaka3b701452013-03-30 01:04:11 +0000280}
281
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000282/// This method expands the same instruction that MipsSEInstrInfo::
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000283/// expandBuildPairF64 does, for the case when ABI is fpxx and mthc1 is not
284/// available and the case where the ABI is FP64A. It is implemented here
285/// because frame indexes are eliminated before MipsSEInstrInfo::
286/// expandBuildPairF64 is called.
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000287bool ExpandPseudo::expandBuildPairF64(MachineBasicBlock &MBB,
288 MachineBasicBlock::iterator I,
289 bool FP64) const {
290 // For fpxx and when mthc1 is not available, use:
291 // spill + reload via ldc1
292 //
293 // The case where dmtc1 is available doesn't need to be handled here
294 // because it never creates a BuildPairF64 node.
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000295 //
296 // The FP64A ABI (fp64 with nooddspreg) must also use a spill/reload sequence
297 // for odd-numbered double precision values (because the lower 32-bits is
298 // transferred with mtc1 which is redirected to the upper half of the even
299 // register). Unfortunately, we have to make this decision before register
300 // allocation so for now we use a spill/reload sequence for all
301 // double-precision values in regardless of being an odd/even register.
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000302 if ((Subtarget.isABI_FPXX() && !Subtarget.hasMTHC1()) ||
303 (FP64 && !Subtarget.useOddSPReg())) {
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000304 unsigned DstReg = I->getOperand(0).getReg();
305 unsigned LoReg = I->getOperand(1).getReg();
306 unsigned HiReg = I->getOperand(2).getReg();
307
308 // It should be impossible to have FGR64 on MIPS-II or MIPS32r1 (which are
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000309 // the cases where mthc1 is not available). 64-bit architectures and
310 // MIPS32r2 or later can use FGR64 though.
311 assert(Subtarget.isGP64bit() || Subtarget.hasMTHC1() ||
312 !Subtarget.isFP64bit());
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000313
314 const TargetRegisterClass *RC = &Mips::GPR32RegClass;
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000315 const TargetRegisterClass *RC2 =
316 FP64 ? &Mips::FGR64RegClass : &Mips::AFGR64RegClass;
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000317
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000318 // We re-use the same spill slot each time so that the stack frame doesn't
319 // grow too much in functions with a large number of moves.
320 int FI = MF.getInfo<MipsFunctionInfo>()->getMoveF64ViaSpillFI(RC2);
Vasileios Kalintiris167c3722014-10-16 15:41:51 +0000321 if (!Subtarget.isLittle())
322 std::swap(LoReg, HiReg);
Eric Christopher96e72c62015-01-29 23:27:36 +0000323 TII.storeRegToStack(MBB, I, LoReg, I->getOperand(1).isKill(), FI, RC,
324 &RegInfo, 0);
325 TII.storeRegToStack(MBB, I, HiReg, I->getOperand(2).isKill(), FI, RC,
326 &RegInfo, 4);
327 TII.loadRegFromStack(MBB, I, DstReg, FI, RC2, &RegInfo, 0);
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000328 return true;
329 }
330
331 return false;
332}
333
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000334/// This method expands the same instruction that MipsSEInstrInfo::
335/// expandExtractElementF64 does, for the case when ABI is fpxx and mfhc1 is not
336/// available and the case where the ABI is FP64A. It is implemented here
337/// because frame indexes are eliminated before MipsSEInstrInfo::
338/// expandExtractElementF64 is called.
339bool ExpandPseudo::expandExtractElementF64(MachineBasicBlock &MBB,
340 MachineBasicBlock::iterator I,
341 bool FP64) const {
Daniel Sanders2fb85642015-10-12 13:55:44 +0000342 const MachineOperand &Op1 = I->getOperand(1);
343 const MachineOperand &Op2 = I->getOperand(2);
344
345 if ((Op1.isReg() && Op1.isUndef()) || (Op2.isReg() && Op2.isUndef())) {
346 unsigned DstReg = I->getOperand(0).getReg();
347 BuildMI(MBB, I, I->getDebugLoc(), TII.get(Mips::IMPLICIT_DEF), DstReg);
348 return true;
349 }
350
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000351 // For fpxx and when mfhc1 is not available, use:
352 // spill + reload via ldc1
353 //
354 // The case where dmfc1 is available doesn't need to be handled here
355 // because it never creates a ExtractElementF64 node.
356 //
357 // The FP64A ABI (fp64 with nooddspreg) must also use a spill/reload sequence
358 // for odd-numbered double precision values (because the lower 32-bits is
359 // transferred with mfc1 which is redirected to the upper half of the even
360 // register). Unfortunately, we have to make this decision before register
361 // allocation so for now we use a spill/reload sequence for all
362 // double-precision values in regardless of being an odd/even register.
363
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000364 if ((Subtarget.isABI_FPXX() && !Subtarget.hasMTHC1()) ||
365 (FP64 && !Subtarget.useOddSPReg())) {
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000366 unsigned DstReg = I->getOperand(0).getReg();
Daniel Sanders2fb85642015-10-12 13:55:44 +0000367 unsigned SrcReg = Op1.getReg();
368 unsigned N = Op2.getImm();
Vasileios Kalintiris167c3722014-10-16 15:41:51 +0000369 int64_t Offset = 4 * (Subtarget.isLittle() ? N : (1 - N));
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000370
371 // It should be impossible to have FGR64 on MIPS-II or MIPS32r1 (which are
372 // the cases where mfhc1 is not available). 64-bit architectures and
373 // MIPS32r2 or later can use FGR64 though.
374 assert(Subtarget.isGP64bit() || Subtarget.hasMTHC1() ||
375 !Subtarget.isFP64bit());
376
377 const TargetRegisterClass *RC =
378 FP64 ? &Mips::FGR64RegClass : &Mips::AFGR64RegClass;
379 const TargetRegisterClass *RC2 = &Mips::GPR32RegClass;
380
381 // We re-use the same spill slot each time so that the stack frame doesn't
382 // grow too much in functions with a large number of moves.
383 int FI = MF.getInfo<MipsFunctionInfo>()->getMoveF64ViaSpillFI(RC);
Daniel Sanders2fb85642015-10-12 13:55:44 +0000384 TII.storeRegToStack(MBB, I, SrcReg, Op1.isKill(), FI, RC, &RegInfo, 0);
Eric Christopher96e72c62015-01-29 23:27:36 +0000385 TII.loadRegFromStack(MBB, I, DstReg, FI, RC2, &RegInfo, Offset);
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000386 return true;
387 }
388
389 return false;
390}
391
Eric Christopher4cdb3f92014-07-02 23:29:55 +0000392MipsSEFrameLowering::MipsSEFrameLowering(const MipsSubtarget &STI)
John Baldwin1255b162017-08-14 21:49:38 +0000393 : MipsFrameLowering(STI, STI.getStackAlignment()) {}
Eric Christopher4cdb3f92014-07-02 23:29:55 +0000394
Quentin Colombet61b305e2015-05-05 17:38:16 +0000395void MipsSEFrameLowering::emitPrologue(MachineFunction &MF,
396 MachineBasicBlock &MBB) const {
Matthias Braun941a7052016-07-28 18:40:00 +0000397 MachineFrameInfo &MFI = MF.getFrameInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000398 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Bill Wendlingead89ef2013-06-07 07:04:14 +0000399
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000400 const MipsSEInstrInfo &TII =
Eric Christopher96e72c62015-01-29 23:27:36 +0000401 *static_cast<const MipsSEInstrInfo *>(STI.getInstrInfo());
402 const MipsRegisterInfo &RegInfo =
403 *static_cast<const MipsRegisterInfo *>(STI.getRegisterInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000404
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000405 MachineBasicBlock::iterator MBBI = MBB.begin();
Petar Jovanovic28e2b712015-08-28 17:53:26 +0000406 DebugLoc dl;
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000407 MipsABIInfo ABI = STI.getABI();
408 unsigned SP = ABI.GetStackPtr();
409 unsigned FP = ABI.GetFramePtr();
410 unsigned ZERO = ABI.GetNullPtr();
Vasileios Kalintiris1c78ca62015-08-11 08:56:25 +0000411 unsigned MOVE = ABI.GetGPRMoveOp();
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000412 unsigned ADDiu = ABI.GetPtrAddiuOp();
413 unsigned AND = ABI.IsN64() ? Mips::AND64 : Mips::AND;
414
415 const TargetRegisterClass *RC = ABI.ArePtrs64bit() ?
416 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000417
418 // First, compute final stack size.
Matthias Braun941a7052016-07-28 18:40:00 +0000419 uint64_t StackSize = MFI.getStackSize();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000420
421 // No need to allocate space on the stack.
Matthias Braun941a7052016-07-28 18:40:00 +0000422 if (StackSize == 0 && !MFI.adjustsStack()) return;
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000423
424 MachineModuleInfo &MMI = MF.getMMI();
Bill Wendlingbc07a892013-06-18 07:20:20 +0000425 const MCRegisterInfo *MRI = MMI.getContext().getRegisterInfo();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000426
427 // Adjust stack.
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000428 TII.adjustStackPtr(SP, -StackSize, MBB, MBBI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000429
430 // emit ".cfi_def_cfa_offset StackSize"
Matthias Braunf23ef432016-11-30 23:48:42 +0000431 unsigned CFIIndex = MF.addFrameInst(
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000432 MCCFIInstruction::createDefCfaOffset(nullptr, -StackSize));
433 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
434 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000435
Matthias Braunf1caa282017-12-15 22:22:58 +0000436 if (MF.getFunction().hasFnAttribute("interrupt"))
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000437 emitInterruptPrologueStub(MF, MBB);
438
Matthias Braun941a7052016-07-28 18:40:00 +0000439 const std::vector<CalleeSavedInfo> &CSI = MFI.getCalleeSavedInfo();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000440
Eugene Zelenko926883e2017-02-01 01:22:51 +0000441 if (!CSI.empty()) {
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000442 // Find the instruction past the last instruction that saves a callee-saved
443 // register to the stack.
444 for (unsigned i = 0; i < CSI.size(); ++i)
445 ++MBBI;
446
447 // Iterate over list of callee-saved registers and emit .cfi_offset
448 // directives.
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000449 for (std::vector<CalleeSavedInfo>::const_iterator I = CSI.begin(),
450 E = CSI.end(); I != E; ++I) {
Matthias Braun941a7052016-07-28 18:40:00 +0000451 int64_t Offset = MFI.getObjectOffset(I->getFrameIdx());
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000452 unsigned Reg = I->getReg();
453
454 // If Reg is a double precision register, emit two cfa_offsets,
455 // one for each of the paired single precision registers.
456 if (Mips::AFGR64RegClass.contains(Reg)) {
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000457 unsigned Reg0 =
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000458 MRI->getDwarfRegNum(RegInfo.getSubReg(Reg, Mips::sub_lo), true);
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000459 unsigned Reg1 =
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000460 MRI->getDwarfRegNum(RegInfo.getSubReg(Reg, Mips::sub_hi), true);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000461
462 if (!STI.isLittle())
Rafael Espindolab08d2c22013-05-16 21:02:15 +0000463 std::swap(Reg0, Reg1);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000464
Matthias Braunf23ef432016-11-30 23:48:42 +0000465 unsigned CFIIndex = MF.addFrameInst(
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000466 MCCFIInstruction::createOffset(nullptr, Reg0, Offset));
467 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
468 .addCFIIndex(CFIIndex);
469
Matthias Braunf23ef432016-11-30 23:48:42 +0000470 CFIIndex = MF.addFrameInst(
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000471 MCCFIInstruction::createOffset(nullptr, Reg1, Offset + 4));
472 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
473 .addCFIIndex(CFIIndex);
Zoran Jovanovicf34b4542014-07-10 22:23:30 +0000474 } else if (Mips::FGR64RegClass.contains(Reg)) {
475 unsigned Reg0 = MRI->getDwarfRegNum(Reg, true);
476 unsigned Reg1 = MRI->getDwarfRegNum(Reg, true) + 1;
477
478 if (!STI.isLittle())
479 std::swap(Reg0, Reg1);
480
Matthias Braunf23ef432016-11-30 23:48:42 +0000481 unsigned CFIIndex = MF.addFrameInst(
Zoran Jovanovicf34b4542014-07-10 22:23:30 +0000482 MCCFIInstruction::createOffset(nullptr, Reg0, Offset));
483 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
484 .addCFIIndex(CFIIndex);
485
Matthias Braunf23ef432016-11-30 23:48:42 +0000486 CFIIndex = MF.addFrameInst(
Zoran Jovanovicf34b4542014-07-10 22:23:30 +0000487 MCCFIInstruction::createOffset(nullptr, Reg1, Offset + 4));
488 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
489 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000490 } else {
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000491 // Reg is either in GPR32 or FGR32.
Matthias Braunf23ef432016-11-30 23:48:42 +0000492 unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createOffset(
Eugene Zelenko926883e2017-02-01 01:22:51 +0000493 nullptr, MRI->getDwarfRegNum(Reg, true), Offset));
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000494 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
495 .addCFIIndex(CFIIndex);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000496 }
497 }
498 }
499
Akira Hatanakac0b02062013-01-30 00:26:49 +0000500 if (MipsFI->callsEhReturn()) {
Akira Hatanakac0b02062013-01-30 00:26:49 +0000501 // Insert instructions that spill eh data registers.
502 for (int I = 0; I < 4; ++I) {
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000503 if (!MBB.isLiveIn(ABI.GetEhDataReg(I)))
504 MBB.addLiveIn(ABI.GetEhDataReg(I));
505 TII.storeRegToStackSlot(MBB, MBBI, ABI.GetEhDataReg(I), false,
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000506 MipsFI->getEhDataRegFI(I), RC, &RegInfo);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000507 }
508
509 // Emit .cfi_offset directives for eh data registers.
Akira Hatanakac0b02062013-01-30 00:26:49 +0000510 for (int I = 0; I < 4; ++I) {
Matthias Braun941a7052016-07-28 18:40:00 +0000511 int64_t Offset = MFI.getObjectOffset(MipsFI->getEhDataRegFI(I));
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000512 unsigned Reg = MRI->getDwarfRegNum(ABI.GetEhDataReg(I), true);
Matthias Braunf23ef432016-11-30 23:48:42 +0000513 unsigned CFIIndex = MF.addFrameInst(
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000514 MCCFIInstruction::createOffset(nullptr, Reg, Offset));
515 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
516 .addCFIIndex(CFIIndex);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000517 }
518 }
519
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000520 // if framepointer enabled, set it to point to the stack pointer.
521 if (hasFP(MF)) {
522 // Insert instruction "move $fp, $sp" at this location.
Vasileios Kalintiris1c78ca62015-08-11 08:56:25 +0000523 BuildMI(MBB, MBBI, dl, TII.get(MOVE), FP).addReg(SP).addReg(ZERO)
Eric Christopherb45b4812014-04-14 22:21:22 +0000524 .setMIFlag(MachineInstr::FrameSetup);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000525
526 // emit ".cfi_def_cfa_register $fp"
Matthias Braunf23ef432016-11-30 23:48:42 +0000527 unsigned CFIIndex = MF.addFrameInst(MCCFIInstruction::createDefCfaRegister(
Rafael Espindolab1f25f12014-03-07 06:08:31 +0000528 nullptr, MRI->getDwarfRegNum(FP, true)));
529 BuildMI(MBB, MBBI, dl, TII.get(TargetOpcode::CFI_INSTRUCTION))
530 .addCFIIndex(CFIIndex);
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000531
532 if (RegInfo.needsStackRealignment(MF)) {
533 // addiu $Reg, $zero, -MaxAlignment
534 // andi $sp, $sp, $Reg
535 unsigned VR = MF.getRegInfo().createVirtualRegister(RC);
Matthias Braun941a7052016-07-28 18:40:00 +0000536 assert(isInt<16>(MFI.getMaxAlignment()) &&
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000537 "Function's alignment size requirement is not supported.");
Matthias Braun941a7052016-07-28 18:40:00 +0000538 int MaxAlign = -(int)MFI.getMaxAlignment();
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000539
540 BuildMI(MBB, MBBI, dl, TII.get(ADDiu), VR).addReg(ZERO) .addImm(MaxAlign);
541 BuildMI(MBB, MBBI, dl, TII.get(AND), SP).addReg(SP).addReg(VR);
542
543 if (hasBP(MF)) {
544 // move $s7, $sp
545 unsigned BP = STI.isABI_N64() ? Mips::S7_64 : Mips::S7;
Vasileios Kalintiris1c78ca62015-08-11 08:56:25 +0000546 BuildMI(MBB, MBBI, dl, TII.get(MOVE), BP)
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000547 .addReg(SP)
548 .addReg(ZERO);
549 }
550 }
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000551 }
552}
553
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000554void MipsSEFrameLowering::emitInterruptPrologueStub(
555 MachineFunction &MF, MachineBasicBlock &MBB) const {
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000556 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
557 MachineBasicBlock::iterator MBBI = MBB.begin();
558 DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
559
560 // Report an error the target doesn't support Mips32r2 or later.
561 // The epilogue relies on the use of the "ehb" to clear execution
562 // hazards. Pre R2 Mips relies on an implementation defined number
563 // of "ssnop"s to clear the execution hazard. Support for ssnop hazard
564 // clearing is not provided so reject that configuration.
565 if (!STI.hasMips32r2())
566 report_fatal_error(
Vasileios Kalintiris165121f2015-10-26 14:24:30 +0000567 "\"interrupt\" attribute is not supported on pre-MIPS32R2 or "
568 "MIPS16 targets.");
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000569
570 // The GP register contains the "user" value, so we cannot perform
571 // any gp relative loads until we restore the "kernel" or "system" gp
572 // value. Until support is written we shall only accept the static
573 // relocation model.
574 if ((STI.getRelocationModel() != Reloc::Static))
575 report_fatal_error("\"interrupt\" attribute is only supported for the "
576 "static relocation model on MIPS at the present time.");
577
578 if (!STI.isABI_O32() || STI.hasMips64())
579 report_fatal_error("\"interrupt\" attribute is only supported for the "
Vasileios Kalintiris165121f2015-10-26 14:24:30 +0000580 "O32 ABI on MIPS32R2+ at the present time.");
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000581
582 // Perform ISR handling like GCC
583 StringRef IntKind =
Matthias Braunf1caa282017-12-15 22:22:58 +0000584 MF.getFunction().getFnAttribute("interrupt").getValueAsString();
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000585 const TargetRegisterClass *PtrRC = &Mips::GPR32RegClass;
586
587 // EIC interrupt handling needs to read the Cause register to disable
588 // interrupts.
589 if (IntKind == "eic") {
590 // Coprocessor registers are always live per se.
591 MBB.addLiveIn(Mips::COP013);
592 BuildMI(MBB, MBBI, DL, STI.getInstrInfo()->get(Mips::MFC0), Mips::K0)
593 .addReg(Mips::COP013)
594 .addImm(0)
595 .setMIFlag(MachineInstr::FrameSetup);
596
597 BuildMI(MBB, MBBI, DL, STI.getInstrInfo()->get(Mips::EXT), Mips::K0)
598 .addReg(Mips::K0)
599 .addImm(10)
600 .addImm(6)
601 .setMIFlag(MachineInstr::FrameSetup);
602 }
603
604 // Fetch and spill EPC
605 MBB.addLiveIn(Mips::COP014);
606 BuildMI(MBB, MBBI, DL, STI.getInstrInfo()->get(Mips::MFC0), Mips::K1)
607 .addReg(Mips::COP014)
608 .addImm(0)
609 .setMIFlag(MachineInstr::FrameSetup);
610
611 STI.getInstrInfo()->storeRegToStack(MBB, MBBI, Mips::K1, false,
612 MipsFI->getISRRegFI(0), PtrRC,
613 STI.getRegisterInfo(), 0);
614
615 // Fetch and Spill Status
616 MBB.addLiveIn(Mips::COP012);
617 BuildMI(MBB, MBBI, DL, STI.getInstrInfo()->get(Mips::MFC0), Mips::K1)
618 .addReg(Mips::COP012)
619 .addImm(0)
620 .setMIFlag(MachineInstr::FrameSetup);
621
622 STI.getInstrInfo()->storeRegToStack(MBB, MBBI, Mips::K1, false,
623 MipsFI->getISRRegFI(1), PtrRC,
624 STI.getRegisterInfo(), 0);
625
626 // Build the configuration for disabling lower priority interrupts. Non EIC
627 // interrupts need to be masked off with zero, EIC from the Cause register.
628 unsigned InsPosition = 8;
629 unsigned InsSize = 0;
630 unsigned SrcReg = Mips::ZERO;
631
632 // If the interrupt we're tied to is the EIC, switch the source for the
633 // masking off interrupts to the cause register.
634 if (IntKind == "eic") {
635 SrcReg = Mips::K0;
636 InsPosition = 10;
637 InsSize = 6;
638 } else
639 InsSize = StringSwitch<unsigned>(IntKind)
640 .Case("sw0", 1)
641 .Case("sw1", 2)
642 .Case("hw0", 3)
643 .Case("hw1", 4)
644 .Case("hw2", 5)
645 .Case("hw3", 6)
646 .Case("hw4", 7)
647 .Case("hw5", 8)
648 .Default(0);
649 assert(InsSize != 0 && "Unknown interrupt type!");
650
651 BuildMI(MBB, MBBI, DL, STI.getInstrInfo()->get(Mips::INS), Mips::K1)
652 .addReg(SrcReg)
653 .addImm(InsPosition)
654 .addImm(InsSize)
655 .addReg(Mips::K1)
656 .setMIFlag(MachineInstr::FrameSetup);
657
658 // Mask off KSU, ERL, EXL
659 BuildMI(MBB, MBBI, DL, STI.getInstrInfo()->get(Mips::INS), Mips::K1)
660 .addReg(Mips::ZERO)
661 .addImm(1)
662 .addImm(4)
663 .addReg(Mips::K1)
664 .setMIFlag(MachineInstr::FrameSetup);
665
666 // Disable the FPU as we are not spilling those register sets.
667 if (!STI.useSoftFloat())
668 BuildMI(MBB, MBBI, DL, STI.getInstrInfo()->get(Mips::INS), Mips::K1)
669 .addReg(Mips::ZERO)
670 .addImm(29)
671 .addImm(1)
672 .addReg(Mips::K1)
673 .setMIFlag(MachineInstr::FrameSetup);
674
675 // Set the new status
676 BuildMI(MBB, MBBI, DL, STI.getInstrInfo()->get(Mips::MTC0), Mips::COP012)
677 .addReg(Mips::K1)
678 .addImm(0)
679 .setMIFlag(MachineInstr::FrameSetup);
680}
681
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000682void MipsSEFrameLowering::emitEpilogue(MachineFunction &MF,
683 MachineBasicBlock &MBB) const {
Petar Jovanoviccccc2362018-06-29 16:37:16 +0000684 MachineBasicBlock::iterator MBBI = MBB.getFirstTerminator();
Matthias Braun941a7052016-07-28 18:40:00 +0000685 MachineFrameInfo &MFI = MF.getFrameInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000686 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Bill Wendlingead89ef2013-06-07 07:04:14 +0000687
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000688 const MipsSEInstrInfo &TII =
Eric Christopher96e72c62015-01-29 23:27:36 +0000689 *static_cast<const MipsSEInstrInfo *>(STI.getInstrInfo());
690 const MipsRegisterInfo &RegInfo =
691 *static_cast<const MipsRegisterInfo *>(STI.getRegisterInfo());
Bill Wendlingead89ef2013-06-07 07:04:14 +0000692
Petar Jovanoviccccc2362018-06-29 16:37:16 +0000693 DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000694 MipsABIInfo ABI = STI.getABI();
695 unsigned SP = ABI.GetStackPtr();
696 unsigned FP = ABI.GetFramePtr();
697 unsigned ZERO = ABI.GetNullPtr();
Vasileios Kalintiris1c78ca62015-08-11 08:56:25 +0000698 unsigned MOVE = ABI.GetGPRMoveOp();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000699
700 // if framepointer enabled, restore the stack pointer.
701 if (hasFP(MF)) {
702 // Find the first instruction that restores a callee-saved register.
703 MachineBasicBlock::iterator I = MBBI;
704
Matthias Braun941a7052016-07-28 18:40:00 +0000705 for (unsigned i = 0; i < MFI.getCalleeSavedInfo().size(); ++i)
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000706 --I;
707
708 // Insert instruction "move $sp, $fp" at this location.
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000709 BuildMI(MBB, I, DL, TII.get(MOVE), SP).addReg(FP).addReg(ZERO);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000710 }
711
Akira Hatanakac0b02062013-01-30 00:26:49 +0000712 if (MipsFI->callsEhReturn()) {
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000713 const TargetRegisterClass *RC =
714 ABI.ArePtrs64bit() ? &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanakac0b02062013-01-30 00:26:49 +0000715
716 // Find first instruction that restores a callee-saved register.
717 MachineBasicBlock::iterator I = MBBI;
Matthias Braun941a7052016-07-28 18:40:00 +0000718 for (unsigned i = 0; i < MFI.getCalleeSavedInfo().size(); ++i)
Akira Hatanakac0b02062013-01-30 00:26:49 +0000719 --I;
720
721 // Insert instructions that restore eh data registers.
722 for (int J = 0; J < 4; ++J) {
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000723 TII.loadRegFromStackSlot(MBB, I, ABI.GetEhDataReg(J),
724 MipsFI->getEhDataRegFI(J), RC, &RegInfo);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000725 }
726 }
727
Matthias Braunf1caa282017-12-15 22:22:58 +0000728 if (MF.getFunction().hasFnAttribute("interrupt"))
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000729 emitInterruptEpilogueStub(MF, MBB);
730
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000731 // Get the number of bytes from FrameInfo
Matthias Braun941a7052016-07-28 18:40:00 +0000732 uint64_t StackSize = MFI.getStackSize();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000733
734 if (!StackSize)
735 return;
736
737 // Adjust stack.
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000738 TII.adjustStackPtr(SP, StackSize, MBB, MBBI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000739}
740
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000741void MipsSEFrameLowering::emitInterruptEpilogueStub(
742 MachineFunction &MF, MachineBasicBlock &MBB) const {
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000743 MachineBasicBlock::iterator MBBI = MBB.getLastNonDebugInstr();
744 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
745 DebugLoc DL = MBBI != MBB.end() ? MBBI->getDebugLoc() : DebugLoc();
746
747 // Perform ISR handling like GCC
748 const TargetRegisterClass *PtrRC = &Mips::GPR32RegClass;
749
750 // Disable Interrupts.
751 BuildMI(MBB, MBBI, DL, STI.getInstrInfo()->get(Mips::DI), Mips::ZERO);
752 BuildMI(MBB, MBBI, DL, STI.getInstrInfo()->get(Mips::EHB));
753
754 // Restore EPC
755 STI.getInstrInfo()->loadRegFromStackSlot(MBB, MBBI, Mips::K1,
756 MipsFI->getISRRegFI(0), PtrRC,
757 STI.getRegisterInfo());
758 BuildMI(MBB, MBBI, DL, STI.getInstrInfo()->get(Mips::MTC0), Mips::COP014)
759 .addReg(Mips::K1)
760 .addImm(0);
761
762 // Restore Status
763 STI.getInstrInfo()->loadRegFromStackSlot(MBB, MBBI, Mips::K1,
764 MipsFI->getISRRegFI(1), PtrRC,
765 STI.getRegisterInfo());
766 BuildMI(MBB, MBBI, DL, STI.getInstrInfo()->get(Mips::MTC0), Mips::COP012)
767 .addReg(Mips::K1)
768 .addImm(0);
769}
770
Vasileios Kalintiris48e02562015-11-12 14:11:43 +0000771int MipsSEFrameLowering::getFrameIndexReference(const MachineFunction &MF,
772 int FI,
773 unsigned &FrameReg) const {
Matthias Braun941a7052016-07-28 18:40:00 +0000774 const MachineFrameInfo &MFI = MF.getFrameInfo();
Vasileios Kalintiris48e02562015-11-12 14:11:43 +0000775 MipsABIInfo ABI = STI.getABI();
776
Matthias Braun941a7052016-07-28 18:40:00 +0000777 if (MFI.isFixedObjectIndex(FI))
Vasileios Kalintiris48e02562015-11-12 14:11:43 +0000778 FrameReg = hasFP(MF) ? ABI.GetFramePtr() : ABI.GetStackPtr();
779 else
780 FrameReg = hasBP(MF) ? ABI.GetBasePtr() : ABI.GetStackPtr();
781
Matthias Braun941a7052016-07-28 18:40:00 +0000782 return MFI.getObjectOffset(FI) + MFI.getStackSize() -
783 getOffsetOfLocalArea() + MFI.getOffsetAdjustment();
Vasileios Kalintiris48e02562015-11-12 14:11:43 +0000784}
785
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000786bool MipsSEFrameLowering::
787spillCalleeSavedRegisters(MachineBasicBlock &MBB,
788 MachineBasicBlock::iterator MI,
789 const std::vector<CalleeSavedInfo> &CSI,
790 const TargetRegisterInfo *TRI) const {
791 MachineFunction *MF = MBB.getParent();
Eric Christopher96e72c62015-01-29 23:27:36 +0000792 const TargetInstrInfo &TII = *STI.getInstrInfo();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000793
794 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
795 // Add the callee-saved register as live-in. Do not add if the register is
796 // RA and return address is taken, because it has already been added in
Daniel Sanders94ed30a2016-07-26 14:46:11 +0000797 // method MipsTargetLowering::lowerRETURNADDR.
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000798 // It's killed at the spill, unless the register is RA and return address
799 // is taken.
800 unsigned Reg = CSI[i].getReg();
801 bool IsRAAndRetAddrIsTaken = (Reg == Mips::RA || Reg == Mips::RA_64)
Matthias Braun941a7052016-07-28 18:40:00 +0000802 && MF->getFrameInfo().isReturnAddressTaken();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000803 if (!IsRAAndRetAddrIsTaken)
Petar Jovanoviccccc2362018-06-29 16:37:16 +0000804 MBB.addLiveIn(Reg);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000805
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000806 // ISRs require HI/LO to be spilled into kernel registers to be then
807 // spilled to the stack frame.
808 bool IsLOHI = (Reg == Mips::LO0 || Reg == Mips::LO0_64 ||
809 Reg == Mips::HI0 || Reg == Mips::HI0_64);
Matthias Braunf1caa282017-12-15 22:22:58 +0000810 const Function &Func = MBB.getParent()->getFunction();
811 if (IsLOHI && Func.hasFnAttribute("interrupt")) {
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000812 DebugLoc DL = MI->getDebugLoc();
813
814 unsigned Op = 0;
815 if (!STI.getABI().ArePtrs64bit()) {
816 Op = (Reg == Mips::HI0) ? Mips::MFHI : Mips::MFLO;
817 Reg = Mips::K0;
818 } else {
819 Op = (Reg == Mips::HI0) ? Mips::MFHI64 : Mips::MFLO64;
820 Reg = Mips::K0_64;
821 }
822 BuildMI(MBB, MI, DL, TII.get(Op), Mips::K0)
823 .setMIFlag(MachineInstr::FrameSetup);
824 }
825
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000826 // Insert the spill to the stack frame.
827 bool IsKill = !IsRAAndRetAddrIsTaken;
828 const TargetRegisterClass *RC = TRI->getMinimalPhysRegClass(Reg);
Petar Jovanoviccccc2362018-06-29 16:37:16 +0000829 TII.storeRegToStackSlot(MBB, MI, Reg, IsKill,
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000830 CSI[i].getFrameIdx(), RC, TRI);
831 }
832
833 return true;
834}
835
836bool
837MipsSEFrameLowering::hasReservedCallFrame(const MachineFunction &MF) const {
Matthias Braun941a7052016-07-28 18:40:00 +0000838 const MachineFrameInfo &MFI = MF.getFrameInfo();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000839 // Reserve call frame if the size of the maximum call frame fits into 16-bit
840 // immediate field and there are no variable sized objects on the stack.
Akira Hatanaka3b701452013-03-30 01:04:11 +0000841 // Make sure the second register scavenger spill slot can be accessed with one
842 // instruction.
Matthias Braun941a7052016-07-28 18:40:00 +0000843 return isInt<16>(MFI.getMaxCallFrameSize() + getStackAlignment()) &&
844 !MFI.hasVarSizedObjects();
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000845}
846
Matthias Braun02564862015-07-14 17:17:13 +0000847/// Mark \p Reg and all registers aliasing it in the bitset.
Benjamin Kramer7d54fab2015-07-16 11:12:05 +0000848static void setAliasRegs(MachineFunction &MF, BitVector &SavedRegs,
849 unsigned Reg) {
Matthias Braun02564862015-07-14 17:17:13 +0000850 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
851 for (MCRegAliasIterator AI(Reg, TRI, true); AI.isValid(); ++AI)
852 SavedRegs.set(*AI);
853}
854
855void MipsSEFrameLowering::determineCalleeSaves(MachineFunction &MF,
856 BitVector &SavedRegs,
857 RegScavenger *RS) const {
858 TargetFrameLowering::determineCalleeSaves(MF, SavedRegs, RS);
Krzysztof Parzyszek44e25f32017-04-24 18:55:33 +0000859 const TargetRegisterInfo *TRI = MF.getSubtarget().getRegisterInfo();
Akira Hatanakac0b02062013-01-30 00:26:49 +0000860 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000861 MipsABIInfo ABI = STI.getABI();
862 unsigned FP = ABI.GetFramePtr();
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000863 unsigned BP = ABI.IsN64() ? Mips::S7_64 : Mips::S7;
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000864
865 // Mark $fp as used if function has dedicated frame pointer.
866 if (hasFP(MF))
Matthias Braun02564862015-07-14 17:17:13 +0000867 setAliasRegs(MF, SavedRegs, FP);
Vasileios Kalintirisbb698c72015-06-02 13:14:46 +0000868 // Mark $s7 as used if function has dedicated base pointer.
869 if (hasBP(MF))
Matthias Braun02564862015-07-14 17:17:13 +0000870 setAliasRegs(MF, SavedRegs, BP);
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000871
Akira Hatanakac0b02062013-01-30 00:26:49 +0000872 // Create spill slots for eh data registers if function calls eh_return.
873 if (MipsFI->callsEhReturn())
874 MipsFI->createEhDataRegsFI();
875
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000876 // Create spill slots for Coprocessor 0 registers if function is an ISR.
877 if (MipsFI->isISR())
878 MipsFI->createISRRegFI();
879
Akira Hatanaka3b701452013-03-30 01:04:11 +0000880 // Expand pseudo instructions which load, store or copy accumulators.
881 // Add an emergency spill slot if a pseudo was expanded.
Akira Hatanakaae4a5562013-05-01 23:41:31 +0000882 if (ExpandPseudo(MF).expand()) {
Aleksandar Beserminji62cf9d22018-06-11 16:50:28 +0000883 // The spill slot should be half the size of the accumulator. If target have
884 // general-purpose registers 64 bits wide, it should be 64-bit, otherwise
885 // it should be 32-bit.
886 const TargetRegisterClass &RC = STI.isGP64bit() ?
Krzysztof Parzyszek44e25f32017-04-24 18:55:33 +0000887 Mips::GPR64RegClass : Mips::GPR32RegClass;
888 int FI = MF.getFrameInfo().CreateStackObject(TRI->getSpillSize(RC),
889 TRI->getSpillAlignment(RC),
890 false);
Akira Hatanaka3b701452013-03-30 01:04:11 +0000891 RS->addScavengingFrameIndex(FI);
892 }
893
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000894 // Set scavenging frame index if necessary.
Simon Dardis725acb22017-11-02 12:47:22 +0000895 uint64_t MaxSPOffset = estimateStackSize(MF);
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000896
Simon Dardis725acb22017-11-02 12:47:22 +0000897 // MSA has a minimum offset of 10 bits signed. If there is a variable
898 // sized object on the stack, the estimation cannot account for it.
899 if (isIntN(STI.hasMSA() ? 10 : 16, MaxSPOffset) &&
900 !MF.getFrameInfo().hasVarSizedObjects())
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000901 return;
902
Krzysztof Parzyszek44e25f32017-04-24 18:55:33 +0000903 const TargetRegisterClass &RC =
904 ABI.ArePtrs64bit() ? Mips::GPR64RegClass : Mips::GPR32RegClass;
905 int FI = MF.getFrameInfo().CreateStackObject(TRI->getSpillSize(RC),
906 TRI->getSpillAlignment(RC),
907 false);
Hal Finkel9e331c22013-03-22 23:32:27 +0000908 RS->addScavengingFrameIndex(FI);
Akira Hatanakad1c43ce2012-07-31 22:50:19 +0000909}
Akira Hatanakafab89292012-08-02 18:21:47 +0000910
911const MipsFrameLowering *
912llvm::createMipsSEFrameLowering(const MipsSubtarget &ST) {
913 return new MipsSEFrameLowering(ST);
914}