blob: ea703d0edd9638a764293257b922f8059eb6bb8a [file] [log] [blame]
Akira Hatanakab7fa3c92012-07-31 21:49:49 +00001//===-- MipsSEInstrInfo.cpp - Mips32/64 Instruction 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 the TargetInstrInfo class.
11//
12//===----------------------------------------------------------------------===//
13
14#include "MipsSEInstrInfo.h"
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000015#include "InstPrinter/MipsInstPrinter.h"
Mehdi Aminib550cb12016-04-18 09:17:29 +000016#include "MipsAnalyzeImmediate.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000017#include "MipsMachineFunction.h"
18#include "MipsTargetMachine.h"
19#include "llvm/ADT/STLExtras.h"
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000020#include "llvm/CodeGen/MachineInstrBuilder.h"
21#include "llvm/CodeGen/MachineRegisterInfo.h"
22#include "llvm/Support/ErrorHandling.h"
Simon Dardis878c0b12016-06-14 13:39:43 +000023#include "llvm/Support/MathExtras.h"
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000024#include "llvm/Support/TargetRegistry.h"
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000025
26using namespace llvm;
27
Eric Christopher675cb4d2014-07-18 23:25:00 +000028MipsSEInstrInfo::MipsSEInstrInfo(const MipsSubtarget &STI)
Rafael Espindolab30e66b2016-06-28 14:33:28 +000029 : MipsInstrInfo(STI, STI.isPositionIndependent() ? Mips::B : Mips::J),
Eric Christophera20c3cf2015-03-12 05:43:57 +000030 RI() {}
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000031
Akira Hatanakacb37e132012-07-31 23:41:32 +000032const MipsRegisterInfo &MipsSEInstrInfo::getRegisterInfo() const {
33 return RI;
34}
35
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000036/// isLoadFromStackSlot - If the specified machine instruction is a direct
37/// load from a stack slot, return the virtual or physical register number of
38/// the destination along with the FrameIndex of the loaded stack slot. If
39/// not, return 0. This predicate must return 0 if the instruction has
40/// any side effects other than loading from the stack slot.
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000041unsigned MipsSEInstrInfo::isLoadFromStackSlot(const MachineInstr &MI,
Eric Christopher1933f202015-01-08 18:18:53 +000042 int &FrameIndex) const {
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000043 unsigned Opc = MI.getOpcode();
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000044
Akira Hatanaka6781fc12013-08-20 21:08:22 +000045 if ((Opc == Mips::LW) || (Opc == Mips::LD) ||
46 (Opc == Mips::LWC1) || (Opc == Mips::LDC1) || (Opc == Mips::LDC164)) {
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000047 if ((MI.getOperand(1).isFI()) && // is a stack slot
48 (MI.getOperand(2).isImm()) && // the imm is zero
49 (isZeroImm(MI.getOperand(2)))) {
50 FrameIndex = MI.getOperand(1).getIndex();
51 return MI.getOperand(0).getReg();
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000052 }
53 }
54
55 return 0;
56}
57
58/// isStoreToStackSlot - If the specified machine instruction is a direct
59/// store to a stack slot, return the virtual or physical register number of
60/// the source reg along with the FrameIndex of the loaded stack slot. If
61/// not, return 0. This predicate must return 0 if the instruction has
62/// any side effects other than storing to the stack slot.
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000063unsigned MipsSEInstrInfo::isStoreToStackSlot(const MachineInstr &MI,
Eric Christopher1933f202015-01-08 18:18:53 +000064 int &FrameIndex) const {
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000065 unsigned Opc = MI.getOpcode();
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000066
Akira Hatanaka6781fc12013-08-20 21:08:22 +000067 if ((Opc == Mips::SW) || (Opc == Mips::SD) ||
68 (Opc == Mips::SWC1) || (Opc == Mips::SDC1) || (Opc == Mips::SDC164)) {
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +000069 if ((MI.getOperand(1).isFI()) && // is a stack slot
70 (MI.getOperand(2).isImm()) && // the imm is zero
71 (isZeroImm(MI.getOperand(2)))) {
72 FrameIndex = MI.getOperand(1).getIndex();
73 return MI.getOperand(0).getReg();
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000074 }
75 }
76 return 0;
77}
78
79void MipsSEInstrInfo::copyPhysReg(MachineBasicBlock &MBB,
Benjamin Kramerbdc49562016-06-12 15:39:02 +000080 MachineBasicBlock::iterator I,
81 const DebugLoc &DL, unsigned DestReg,
82 unsigned SrcReg, bool KillSrc) const {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000083 unsigned Opc = 0, ZeroReg = 0;
Eric Christopher675cb4d2014-07-18 23:25:00 +000084 bool isMicroMips = Subtarget.inMicroMipsMode();
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000085
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +000086 if (Mips::GPR32RegClass.contains(DestReg)) { // Copy to CPU Reg.
Zoran Jovanovic87d13e52014-03-20 10:18:24 +000087 if (Mips::GPR32RegClass.contains(SrcReg)) {
88 if (isMicroMips)
89 Opc = Mips::MOVE16_MM;
90 else
Vasileios Kalintiris1c78ca62015-08-11 08:56:25 +000091 Opc = Mips::OR, ZeroReg = Mips::ZERO;
Zoran Jovanovic87d13e52014-03-20 10:18:24 +000092 } else if (Mips::CCRRegClass.contains(SrcReg))
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000093 Opc = Mips::CFC1;
94 else if (Mips::FGR32RegClass.contains(SrcReg))
95 Opc = Mips::MFC1;
Zoran Jovanoviccabf0f42014-04-03 12:47:34 +000096 else if (Mips::HI32RegClass.contains(SrcReg)) {
97 Opc = isMicroMips ? Mips::MFHI16_MM : Mips::MFHI;
98 SrcReg = 0;
99 } else if (Mips::LO32RegClass.contains(SrcReg)) {
100 Opc = isMicroMips ? Mips::MFLO16_MM : Mips::MFLO;
101 SrcReg = 0;
102 } else if (Mips::HI32DSPRegClass.contains(SrcReg))
Akira Hatanaka42543192013-04-30 23:22:09 +0000103 Opc = Mips::MFHI_DSP;
Akira Hatanaka8002a3f2013-08-14 00:47:08 +0000104 else if (Mips::LO32DSPRegClass.contains(SrcReg))
Akira Hatanaka42543192013-04-30 23:22:09 +0000105 Opc = Mips::MFLO_DSP;
Akira Hatanaka5705f542013-05-02 23:07:05 +0000106 else if (Mips::DSPCCRegClass.contains(SrcReg)) {
107 BuildMI(MBB, I, DL, get(Mips::RDDSP), DestReg).addImm(1 << 4)
108 .addReg(SrcReg, RegState::Implicit | getKillRegState(KillSrc));
109 return;
110 }
Daniel Sandersf9aa1d12013-08-28 10:26:24 +0000111 else if (Mips::MSACtrlRegClass.contains(SrcReg))
112 Opc = Mips::CFCMSA;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000113 }
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000114 else if (Mips::GPR32RegClass.contains(SrcReg)) { // Copy from CPU Reg.
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000115 if (Mips::CCRRegClass.contains(DestReg))
116 Opc = Mips::CTC1;
117 else if (Mips::FGR32RegClass.contains(DestReg))
118 Opc = Mips::MTC1;
Akira Hatanaka8002a3f2013-08-14 00:47:08 +0000119 else if (Mips::HI32RegClass.contains(DestReg))
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000120 Opc = Mips::MTHI, DestReg = 0;
Akira Hatanaka8002a3f2013-08-14 00:47:08 +0000121 else if (Mips::LO32RegClass.contains(DestReg))
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000122 Opc = Mips::MTLO, DestReg = 0;
Akira Hatanaka8002a3f2013-08-14 00:47:08 +0000123 else if (Mips::HI32DSPRegClass.contains(DestReg))
Akira Hatanaka42543192013-04-30 23:22:09 +0000124 Opc = Mips::MTHI_DSP;
Akira Hatanaka8002a3f2013-08-14 00:47:08 +0000125 else if (Mips::LO32DSPRegClass.contains(DestReg))
Akira Hatanaka42543192013-04-30 23:22:09 +0000126 Opc = Mips::MTLO_DSP;
Akira Hatanaka5705f542013-05-02 23:07:05 +0000127 else if (Mips::DSPCCRegClass.contains(DestReg)) {
128 BuildMI(MBB, I, DL, get(Mips::WRDSP))
129 .addReg(SrcReg, getKillRegState(KillSrc)).addImm(1 << 4)
130 .addReg(DestReg, RegState::ImplicitDefine);
131 return;
Daniel Sandersd2a49ec2016-06-14 09:11:33 +0000132 } else if (Mips::MSACtrlRegClass.contains(DestReg)) {
133 BuildMI(MBB, I, DL, get(Mips::CTCMSA))
134 .addReg(DestReg)
135 .addReg(SrcReg, getKillRegState(KillSrc));
136 return;
Akira Hatanaka5705f542013-05-02 23:07:05 +0000137 }
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000138 }
139 else if (Mips::FGR32RegClass.contains(DestReg, SrcReg))
140 Opc = Mips::FMOV_S;
141 else if (Mips::AFGR64RegClass.contains(DestReg, SrcReg))
142 Opc = Mips::FMOV_D32;
143 else if (Mips::FGR64RegClass.contains(DestReg, SrcReg))
144 Opc = Mips::FMOV_D64;
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000145 else if (Mips::GPR64RegClass.contains(DestReg)) { // Copy to CPU64 Reg.
146 if (Mips::GPR64RegClass.contains(SrcReg))
Vasileios Kalintiris1c78ca62015-08-11 08:56:25 +0000147 Opc = Mips::OR64, ZeroReg = Mips::ZERO_64;
Akira Hatanaka8002a3f2013-08-14 00:47:08 +0000148 else if (Mips::HI64RegClass.contains(SrcReg))
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000149 Opc = Mips::MFHI64, SrcReg = 0;
Akira Hatanaka8002a3f2013-08-14 00:47:08 +0000150 else if (Mips::LO64RegClass.contains(SrcReg))
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000151 Opc = Mips::MFLO64, SrcReg = 0;
152 else if (Mips::FGR64RegClass.contains(SrcReg))
153 Opc = Mips::DMFC1;
154 }
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000155 else if (Mips::GPR64RegClass.contains(SrcReg)) { // Copy from CPU64 Reg.
Akira Hatanaka8002a3f2013-08-14 00:47:08 +0000156 if (Mips::HI64RegClass.contains(DestReg))
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000157 Opc = Mips::MTHI64, DestReg = 0;
Akira Hatanaka8002a3f2013-08-14 00:47:08 +0000158 else if (Mips::LO64RegClass.contains(DestReg))
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000159 Opc = Mips::MTLO64, DestReg = 0;
160 else if (Mips::FGR64RegClass.contains(DestReg))
161 Opc = Mips::DMTC1;
162 }
Daniel Sanders9ea9ff22013-09-27 12:03:51 +0000163 else if (Mips::MSA128BRegClass.contains(DestReg)) { // Copy to MSA reg
164 if (Mips::MSA128BRegClass.contains(SrcReg))
165 Opc = Mips::MOVE_V;
166 }
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000167
168 assert(Opc && "Cannot copy registers");
169
170 MachineInstrBuilder MIB = BuildMI(MBB, I, DL, get(Opc));
171
172 if (DestReg)
173 MIB.addReg(DestReg, RegState::Define);
174
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000175 if (SrcReg)
176 MIB.addReg(SrcReg, getKillRegState(KillSrc));
Akira Hatanakaf42367212012-12-20 04:06:06 +0000177
178 if (ZeroReg)
179 MIB.addReg(ZeroReg);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000180}
181
182void MipsSEInstrInfo::
Akira Hatanaka465facca2013-03-29 02:14:12 +0000183storeRegToStack(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
184 unsigned SrcReg, bool isKill, int FI,
185 const TargetRegisterClass *RC, const TargetRegisterInfo *TRI,
186 int64_t Offset) const {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000187 DebugLoc DL;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000188 MachineMemOperand *MMO = GetMemOperand(MBB, FI, MachineMemOperand::MOStore);
189
190 unsigned Opc = 0;
191
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000192 if (Mips::GPR32RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000193 Opc = Mips::SW;
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000194 else if (Mips::GPR64RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000195 Opc = Mips::SD;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000196 else if (Mips::ACC64RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000197 Opc = Mips::STORE_ACC64;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000198 else if (Mips::ACC64DSPRegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000199 Opc = Mips::STORE_ACC64DSP;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000200 else if (Mips::ACC128RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000201 Opc = Mips::STORE_ACC128;
Akira Hatanaka5705f542013-05-02 23:07:05 +0000202 else if (Mips::DSPCCRegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000203 Opc = Mips::STORE_CCOND_DSP;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000204 else if (Mips::FGR32RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000205 Opc = Mips::SWC1;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000206 else if (Mips::AFGR64RegClass.hasSubClassEq(RC))
207 Opc = Mips::SDC1;
208 else if (Mips::FGR64RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000209 Opc = Mips::SDC164;
Daniel Sandersb8bce4d2013-08-27 10:04:21 +0000210 else if (RC->hasType(MVT::v16i8))
211 Opc = Mips::ST_B;
212 else if (RC->hasType(MVT::v8i16) || RC->hasType(MVT::v8f16))
213 Opc = Mips::ST_H;
214 else if (RC->hasType(MVT::v4i32) || RC->hasType(MVT::v4f32))
215 Opc = Mips::ST_W;
216 else if (RC->hasType(MVT::v2i64) || RC->hasType(MVT::v2f64))
217 Opc = Mips::ST_D;
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000218 else if (Mips::LO32RegClass.hasSubClassEq(RC))
219 Opc = Mips::SW;
220 else if (Mips::LO64RegClass.hasSubClassEq(RC))
221 Opc = Mips::SD;
222 else if (Mips::HI32RegClass.hasSubClassEq(RC))
223 Opc = Mips::SW;
224 else if (Mips::HI64RegClass.hasSubClassEq(RC))
225 Opc = Mips::SD;
226
227 // Hi, Lo are normally caller save but they are callee save
228 // for interrupt handling.
229 const Function *Func = MBB.getParent()->getFunction();
230 if (Func->hasFnAttribute("interrupt")) {
231 if (Mips::HI32RegClass.hasSubClassEq(RC)) {
232 BuildMI(MBB, I, DL, get(Mips::MFHI), Mips::K0);
233 SrcReg = Mips::K0;
234 } else if (Mips::HI64RegClass.hasSubClassEq(RC)) {
235 BuildMI(MBB, I, DL, get(Mips::MFHI64), Mips::K0_64);
236 SrcReg = Mips::K0_64;
237 } else if (Mips::LO32RegClass.hasSubClassEq(RC)) {
238 BuildMI(MBB, I, DL, get(Mips::MFLO), Mips::K0);
239 SrcReg = Mips::K0;
240 } else if (Mips::LO64RegClass.hasSubClassEq(RC)) {
241 BuildMI(MBB, I, DL, get(Mips::MFLO64), Mips::K0_64);
242 SrcReg = Mips::K0_64;
243 }
244 }
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000245
246 assert(Opc && "Register class not handled!");
247 BuildMI(MBB, I, DL, get(Opc)).addReg(SrcReg, getKillRegState(isKill))
Akira Hatanaka465facca2013-03-29 02:14:12 +0000248 .addFrameIndex(FI).addImm(Offset).addMemOperand(MMO);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000249}
250
251void MipsSEInstrInfo::
Akira Hatanaka465facca2013-03-29 02:14:12 +0000252loadRegFromStack(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
253 unsigned DestReg, int FI, const TargetRegisterClass *RC,
254 const TargetRegisterInfo *TRI, int64_t Offset) const {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000255 DebugLoc DL;
256 if (I != MBB.end()) DL = I->getDebugLoc();
257 MachineMemOperand *MMO = GetMemOperand(MBB, FI, MachineMemOperand::MOLoad);
258 unsigned Opc = 0;
259
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000260 const Function *Func = MBB.getParent()->getFunction();
261 bool ReqIndirectLoad = Func->hasFnAttribute("interrupt") &&
262 (DestReg == Mips::LO0 || DestReg == Mips::LO0_64 ||
263 DestReg == Mips::HI0 || DestReg == Mips::HI0_64);
264
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000265 if (Mips::GPR32RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000266 Opc = Mips::LW;
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000267 else if (Mips::GPR64RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000268 Opc = Mips::LD;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000269 else if (Mips::ACC64RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000270 Opc = Mips::LOAD_ACC64;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000271 else if (Mips::ACC64DSPRegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000272 Opc = Mips::LOAD_ACC64DSP;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000273 else if (Mips::ACC128RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000274 Opc = Mips::LOAD_ACC128;
Akira Hatanaka5705f542013-05-02 23:07:05 +0000275 else if (Mips::DSPCCRegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000276 Opc = Mips::LOAD_CCOND_DSP;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000277 else if (Mips::FGR32RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000278 Opc = Mips::LWC1;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000279 else if (Mips::AFGR64RegClass.hasSubClassEq(RC))
280 Opc = Mips::LDC1;
281 else if (Mips::FGR64RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000282 Opc = Mips::LDC164;
Daniel Sandersb8bce4d2013-08-27 10:04:21 +0000283 else if (RC->hasType(MVT::v16i8))
284 Opc = Mips::LD_B;
285 else if (RC->hasType(MVT::v8i16) || RC->hasType(MVT::v8f16))
286 Opc = Mips::LD_H;
287 else if (RC->hasType(MVT::v4i32) || RC->hasType(MVT::v4f32))
288 Opc = Mips::LD_W;
289 else if (RC->hasType(MVT::v2i64) || RC->hasType(MVT::v2f64))
290 Opc = Mips::LD_D;
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000291 else if (Mips::HI32RegClass.hasSubClassEq(RC))
292 Opc = Mips::LW;
293 else if (Mips::HI64RegClass.hasSubClassEq(RC))
294 Opc = Mips::LD;
295 else if (Mips::LO32RegClass.hasSubClassEq(RC))
296 Opc = Mips::LW;
297 else if (Mips::LO64RegClass.hasSubClassEq(RC))
298 Opc = Mips::LD;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000299
300 assert(Opc && "Register class not handled!");
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000301
302 if (!ReqIndirectLoad)
303 BuildMI(MBB, I, DL, get(Opc), DestReg)
304 .addFrameIndex(FI)
305 .addImm(Offset)
306 .addMemOperand(MMO);
307 else {
308 // Load HI/LO through K0. Notably the DestReg is encoded into the
309 // instruction itself.
310 unsigned Reg = Mips::K0;
311 unsigned LdOp = Mips::MTLO;
312 if (DestReg == Mips::HI0)
313 LdOp = Mips::MTHI;
314
315 if (Subtarget.getABI().ArePtrs64bit()) {
316 Reg = Mips::K0_64;
317 if (DestReg == Mips::HI0_64)
318 LdOp = Mips::MTHI64;
319 else
320 LdOp = Mips::MTLO64;
321 }
322
323 BuildMI(MBB, I, DL, get(Opc), Reg)
324 .addFrameIndex(FI)
325 .addImm(Offset)
326 .addMemOperand(MMO);
327 BuildMI(MBB, I, DL, get(LdOp)).addReg(Reg);
328 }
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000329}
330
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000331bool MipsSEInstrInfo::expandPostRAPseudo(MachineInstr &MI) const {
332 MachineBasicBlock &MBB = *MI.getParent();
Eric Christopher675cb4d2014-07-18 23:25:00 +0000333 bool isMicroMips = Subtarget.inMicroMipsMode();
Zoran Jovanoviccabf0f42014-04-03 12:47:34 +0000334 unsigned Opc;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000335
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000336 switch (MI.getDesc().getOpcode()) {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000337 default:
338 return false;
339 case Mips::RetRA:
Daniel Sanders338513b2014-07-09 10:16:07 +0000340 expandRetRA(MBB, MI);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000341 break;
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000342 case Mips::ERet:
343 expandERet(MBB, MI);
344 break;
Akira Hatanaka16048332013-10-07 18:49:46 +0000345 case Mips::PseudoMFHI:
Zoran Jovanoviccabf0f42014-04-03 12:47:34 +0000346 Opc = isMicroMips ? Mips::MFHI16_MM : Mips::MFHI;
347 expandPseudoMFHiLo(MBB, MI, Opc);
Akira Hatanaka16048332013-10-07 18:49:46 +0000348 break;
349 case Mips::PseudoMFLO:
Zoran Jovanoviccabf0f42014-04-03 12:47:34 +0000350 Opc = isMicroMips ? Mips::MFLO16_MM : Mips::MFLO;
351 expandPseudoMFHiLo(MBB, MI, Opc);
Akira Hatanaka16048332013-10-07 18:49:46 +0000352 break;
353 case Mips::PseudoMFHI64:
354 expandPseudoMFHiLo(MBB, MI, Mips::MFHI64);
355 break;
356 case Mips::PseudoMFLO64:
357 expandPseudoMFHiLo(MBB, MI, Mips::MFLO64);
358 break;
Akira Hatanaka06aff572013-10-15 01:48:30 +0000359 case Mips::PseudoMTLOHI:
360 expandPseudoMTLoHi(MBB, MI, Mips::MTLO, Mips::MTHI, false);
361 break;
362 case Mips::PseudoMTLOHI64:
363 expandPseudoMTLoHi(MBB, MI, Mips::MTLO64, Mips::MTHI64, false);
364 break;
365 case Mips::PseudoMTLOHI_DSP:
366 expandPseudoMTLoHi(MBB, MI, Mips::MTLO_DSP, Mips::MTHI_DSP, true);
367 break;
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000368 case Mips::PseudoCVT_S_W:
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000369 expandCvtFPInt(MBB, MI, Mips::CVT_S_W, Mips::MTC1, false);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000370 break;
371 case Mips::PseudoCVT_D32_W:
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000372 expandCvtFPInt(MBB, MI, Mips::CVT_D32_W, Mips::MTC1, false);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000373 break;
374 case Mips::PseudoCVT_S_L:
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000375 expandCvtFPInt(MBB, MI, Mips::CVT_S_L, Mips::DMTC1, true);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000376 break;
377 case Mips::PseudoCVT_D64_W:
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000378 expandCvtFPInt(MBB, MI, Mips::CVT_D64_W, Mips::MTC1, true);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000379 break;
380 case Mips::PseudoCVT_D64_L:
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000381 expandCvtFPInt(MBB, MI, Mips::CVT_D64_L, Mips::DMTC1, true);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000382 break;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000383 case Mips::BuildPairF64:
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000384 expandBuildPairF64(MBB, MI, false);
385 break;
386 case Mips::BuildPairF64_64:
387 expandBuildPairF64(MBB, MI, true);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000388 break;
389 case Mips::ExtractElementF64:
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000390 expandExtractElementF64(MBB, MI, false);
391 break;
392 case Mips::ExtractElementF64_64:
393 expandExtractElementF64(MBB, MI, true);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000394 break;
Akira Hatanakac0b02062013-01-30 00:26:49 +0000395 case Mips::MIPSeh_return32:
396 case Mips::MIPSeh_return64:
Akira Hatanaka067d8152013-05-13 17:43:19 +0000397 expandEhReturn(MBB, MI);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000398 break;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000399 }
400
401 MBB.erase(MI);
402 return true;
403}
404
Akira Hatanaka067d8152013-05-13 17:43:19 +0000405/// getOppositeBranchOpc - Return the inverse of the specified
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000406/// opcode, e.g. turning BEQ to BNE.
Akira Hatanaka067d8152013-05-13 17:43:19 +0000407unsigned MipsSEInstrInfo::getOppositeBranchOpc(unsigned Opc) const {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000408 switch (Opc) {
409 default: llvm_unreachable("Illegal opcode!");
410 case Mips::BEQ: return Mips::BNE;
Hrvoje Varga2db00ce2016-07-22 07:18:33 +0000411 case Mips::BEQ_MM: return Mips::BNE_MM;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000412 case Mips::BNE: return Mips::BEQ;
Hrvoje Varga2db00ce2016-07-22 07:18:33 +0000413 case Mips::BNE_MM: return Mips::BEQ_MM;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000414 case Mips::BGTZ: return Mips::BLEZ;
415 case Mips::BGEZ: return Mips::BLTZ;
416 case Mips::BLTZ: return Mips::BGEZ;
417 case Mips::BLEZ: return Mips::BGTZ;
418 case Mips::BEQ64: return Mips::BNE64;
419 case Mips::BNE64: return Mips::BEQ64;
420 case Mips::BGTZ64: return Mips::BLEZ64;
421 case Mips::BGEZ64: return Mips::BLTZ64;
422 case Mips::BLTZ64: return Mips::BGEZ64;
423 case Mips::BLEZ64: return Mips::BGTZ64;
424 case Mips::BC1T: return Mips::BC1F;
425 case Mips::BC1F: return Mips::BC1T;
Jozef Kolek3b8ddb62014-11-21 22:04:35 +0000426 case Mips::BEQZC_MM: return Mips::BNEZC_MM;
427 case Mips::BNEZC_MM: return Mips::BEQZC_MM;
Daniel Sanderse8efff32016-03-14 16:24:05 +0000428 case Mips::BEQZC: return Mips::BNEZC;
429 case Mips::BNEZC: return Mips::BEQZC;
430 case Mips::BEQC: return Mips::BNEC;
431 case Mips::BNEC: return Mips::BEQC;
432 case Mips::BGTZC: return Mips::BLEZC;
433 case Mips::BGEZC: return Mips::BLTZC;
434 case Mips::BLTZC: return Mips::BGEZC;
435 case Mips::BLEZC: return Mips::BGTZC;
Simon Dardis68a204d2016-07-26 10:25:07 +0000436 case Mips::BEQZC64: return Mips::BNEZC64;
437 case Mips::BNEZC64: return Mips::BEQZC64;
438 case Mips::BEQC64: return Mips::BNEC64;
439 case Mips::BNEC64: return Mips::BEQC64;
440 case Mips::BGEC64: return Mips::BLTC64;
441 case Mips::BGEUC64: return Mips::BLTUC64;
442 case Mips::BLTC64: return Mips::BGEC64;
443 case Mips::BLTUC64: return Mips::BGEUC64;
444 case Mips::BGTZC64: return Mips::BLEZC64;
445 case Mips::BGEZC64: return Mips::BLTZC64;
446 case Mips::BLTZC64: return Mips::BGEZC64;
447 case Mips::BLEZC64: return Mips::BGTZC64;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000448 }
449}
450
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000451/// Adjust SP by Amount bytes.
452void MipsSEInstrInfo::adjustStackPtr(unsigned SP, int64_t Amount,
453 MachineBasicBlock &MBB,
454 MachineBasicBlock::iterator I) const {
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000455 MipsABIInfo ABI = Subtarget.getABI();
Petar Jovanovic28e2b712015-08-28 17:53:26 +0000456 DebugLoc DL;
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000457 unsigned ADDiu = ABI.GetPtrAddiuOp();
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000458
Vasileios Kalintirisb3698a52015-04-02 10:14:54 +0000459 if (Amount == 0)
460 return;
461
Simon Dardis878c0b12016-06-14 13:39:43 +0000462 if (isInt<16>(Amount)) {
463 // addi sp, sp, amount
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000464 BuildMI(MBB, I, DL, get(ADDiu), SP).addReg(SP).addImm(Amount);
Simon Dardis878c0b12016-06-14 13:39:43 +0000465 } else {
466 // For numbers which are not 16bit integers we synthesize Amount inline
467 // then add or subtract it from sp.
468 unsigned Opc = ABI.GetPtrAdduOp();
469 if (Amount < 0) {
470 Opc = ABI.GetPtrSubuOp();
471 Amount = -Amount;
472 }
Craig Topper062a2ba2014-04-25 05:30:21 +0000473 unsigned Reg = loadImmediate(Amount, MBB, I, DL, nullptr);
Simon Dardis878c0b12016-06-14 13:39:43 +0000474 BuildMI(MBB, I, DL, get(Opc), SP).addReg(SP).addReg(Reg, RegState::Kill);
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000475 }
476}
477
Akira Hatanakabf493942012-08-23 00:21:05 +0000478/// This function generates the sequence of instructions needed to get the
479/// result of adding register REG and immediate IMM.
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000480unsigned MipsSEInstrInfo::loadImmediate(int64_t Imm, MachineBasicBlock &MBB,
481 MachineBasicBlock::iterator II,
482 const DebugLoc &DL,
483 unsigned *NewImm) const {
Akira Hatanakabf493942012-08-23 00:21:05 +0000484 MipsAnalyzeImmediate AnalyzeImm;
Eric Christopher675cb4d2014-07-18 23:25:00 +0000485 const MipsSubtarget &STI = Subtarget;
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000486 MachineRegisterInfo &RegInfo = MBB.getParent()->getRegInfo();
Akira Hatanakabf493942012-08-23 00:21:05 +0000487 unsigned Size = STI.isABI_N64() ? 64 : 32;
488 unsigned LUi = STI.isABI_N64() ? Mips::LUi64 : Mips::LUi;
489 unsigned ZEROReg = STI.isABI_N64() ? Mips::ZERO_64 : Mips::ZERO;
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000490 const TargetRegisterClass *RC = STI.isABI_N64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000491 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanakabf493942012-08-23 00:21:05 +0000492 bool LastInstrIsADDiu = NewImm;
493
494 const MipsAnalyzeImmediate::InstSeq &Seq =
495 AnalyzeImm.Analyze(Imm, Size, LastInstrIsADDiu);
496 MipsAnalyzeImmediate::InstSeq::const_iterator Inst = Seq.begin();
497
498 assert(Seq.size() && (!LastInstrIsADDiu || (Seq.size() > 1)));
499
500 // The first instruction can be a LUi, which is different from other
501 // instructions (ADDiu, ORI and SLL) in that it does not have a register
502 // operand.
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000503 unsigned Reg = RegInfo.createVirtualRegister(RC);
504
Akira Hatanakabf493942012-08-23 00:21:05 +0000505 if (Inst->Opc == LUi)
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000506 BuildMI(MBB, II, DL, get(LUi), Reg).addImm(SignExtend64<16>(Inst->ImmOpnd));
Akira Hatanakabf493942012-08-23 00:21:05 +0000507 else
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000508 BuildMI(MBB, II, DL, get(Inst->Opc), Reg).addReg(ZEROReg)
Akira Hatanakabf493942012-08-23 00:21:05 +0000509 .addImm(SignExtend64<16>(Inst->ImmOpnd));
510
511 // Build the remaining instructions in Seq.
512 for (++Inst; Inst != Seq.end() - LastInstrIsADDiu; ++Inst)
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000513 BuildMI(MBB, II, DL, get(Inst->Opc), Reg).addReg(Reg, RegState::Kill)
Akira Hatanakabf493942012-08-23 00:21:05 +0000514 .addImm(SignExtend64<16>(Inst->ImmOpnd));
515
516 if (LastInstrIsADDiu)
517 *NewImm = Inst->ImmOpnd;
518
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000519 return Reg;
Akira Hatanakabf493942012-08-23 00:21:05 +0000520}
521
Akira Hatanaka067d8152013-05-13 17:43:19 +0000522unsigned MipsSEInstrInfo::getAnalyzableBrOpc(unsigned Opc) const {
Hrvoje Varga2db00ce2016-07-22 07:18:33 +0000523 return (Opc == Mips::BEQ || Opc == Mips::BEQ_MM || Opc == Mips::BNE ||
524 Opc == Mips::BNE_MM || Opc == Mips::BGTZ || Opc == Mips::BGEZ ||
525 Opc == Mips::BLTZ || Opc == Mips::BLEZ || Opc == Mips::BEQ64 ||
526 Opc == Mips::BNE64 || Opc == Mips::BGTZ64 || Opc == Mips::BGEZ64 ||
527 Opc == Mips::BLTZ64 || Opc == Mips::BLEZ64 || Opc == Mips::BC1T ||
528 Opc == Mips::BC1F || Opc == Mips::B || Opc == Mips::J ||
529 Opc == Mips::BEQZC_MM || Opc == Mips::BNEZC_MM || Opc == Mips::BEQC ||
530 Opc == Mips::BNEC || Opc == Mips::BLTC || Opc == Mips::BGEC ||
531 Opc == Mips::BLTUC || Opc == Mips::BGEUC || Opc == Mips::BGTZC ||
532 Opc == Mips::BLEZC || Opc == Mips::BGEZC || Opc == Mips::BLTZC ||
Simon Dardis68a204d2016-07-26 10:25:07 +0000533 Opc == Mips::BEQZC || Opc == Mips::BNEZC || Opc == Mips::BEQZC64 ||
534 Opc == Mips::BNEZC64 || Opc == Mips::BEQC64 || Opc == Mips::BNEC64 ||
535 Opc == Mips::BGEC64 || Opc == Mips::BGEUC64 || Opc == Mips::BLTC64 ||
536 Opc == Mips::BLTUC64 || Opc == Mips::BGTZC64 ||
537 Opc == Mips::BGEZC64 || Opc == Mips::BLTZC64 ||
538 Opc == Mips::BLEZC64 || Opc == Mips::BC) ? Opc : 0;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000539}
540
Akira Hatanaka067d8152013-05-13 17:43:19 +0000541void MipsSEInstrInfo::expandRetRA(MachineBasicBlock &MBB,
Daniel Sanders338513b2014-07-09 10:16:07 +0000542 MachineBasicBlock::iterator I) const {
Daniel Sanders338513b2014-07-09 10:16:07 +0000543 if (Subtarget.isGP64bit())
544 BuildMI(MBB, I, I->getDebugLoc(), get(Mips::PseudoReturn64))
545 .addReg(Mips::RA_64);
546 else
547 BuildMI(MBB, I, I->getDebugLoc(), get(Mips::PseudoReturn)).addReg(Mips::RA);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000548}
549
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000550void MipsSEInstrInfo::expandERet(MachineBasicBlock &MBB,
551 MachineBasicBlock::iterator I) const {
552 BuildMI(MBB, I, I->getDebugLoc(), get(Mips::ERET));
553}
554
Akira Hatanaka4be04b12013-06-11 18:48:16 +0000555std::pair<bool, bool>
556MipsSEInstrInfo::compareOpndSize(unsigned Opc,
557 const MachineFunction &MF) const {
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000558 const MCInstrDesc &Desc = get(Opc);
559 assert(Desc.NumOperands == 2 && "Unary instruction expected.");
Akira Hatanaka4be04b12013-06-11 18:48:16 +0000560 const MipsRegisterInfo *RI = &getRegisterInfo();
561 unsigned DstRegSize = getRegClass(Desc, 0, RI, MF)->getSize();
562 unsigned SrcRegSize = getRegClass(Desc, 1, RI, MF)->getSize();
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000563
564 return std::make_pair(DstRegSize > SrcRegSize, DstRegSize < SrcRegSize);
565}
566
Akira Hatanaka16048332013-10-07 18:49:46 +0000567void MipsSEInstrInfo::expandPseudoMFHiLo(MachineBasicBlock &MBB,
568 MachineBasicBlock::iterator I,
569 unsigned NewOpc) const {
570 BuildMI(MBB, I, I->getDebugLoc(), get(NewOpc), I->getOperand(0).getReg());
571}
572
Akira Hatanaka06aff572013-10-15 01:48:30 +0000573void MipsSEInstrInfo::expandPseudoMTLoHi(MachineBasicBlock &MBB,
574 MachineBasicBlock::iterator I,
575 unsigned LoOpc,
576 unsigned HiOpc,
577 bool HasExplicitDef) const {
578 // Expand
579 // lo_hi pseudomtlohi $gpr0, $gpr1
580 // to these two instructions:
581 // mtlo $gpr0
582 // mthi $gpr1
583
584 DebugLoc DL = I->getDebugLoc();
585 const MachineOperand &SrcLo = I->getOperand(1), &SrcHi = I->getOperand(2);
586 MachineInstrBuilder LoInst = BuildMI(MBB, I, DL, get(LoOpc));
587 MachineInstrBuilder HiInst = BuildMI(MBB, I, DL, get(HiOpc));
Akira Hatanaka06aff572013-10-15 01:48:30 +0000588
589 // Add lo/hi registers if the mtlo/hi instructions created have explicit
590 // def registers.
591 if (HasExplicitDef) {
592 unsigned DstReg = I->getOperand(0).getReg();
593 unsigned DstLo = getRegisterInfo().getSubReg(DstReg, Mips::sub_lo);
594 unsigned DstHi = getRegisterInfo().getSubReg(DstReg, Mips::sub_hi);
595 LoInst.addReg(DstLo, RegState::Define);
596 HiInst.addReg(DstHi, RegState::Define);
597 }
Daniel Sanders5e1d5a72016-01-12 15:15:14 +0000598
599 LoInst.addReg(SrcLo.getReg(), getKillRegState(SrcLo.isKill()));
600 HiInst.addReg(SrcHi.getReg(), getKillRegState(SrcHi.isKill()));
Akira Hatanaka06aff572013-10-15 01:48:30 +0000601}
602
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000603void MipsSEInstrInfo::expandCvtFPInt(MachineBasicBlock &MBB,
604 MachineBasicBlock::iterator I,
605 unsigned CvtOpc, unsigned MovOpc,
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000606 bool IsI64) const {
607 const MCInstrDesc &CvtDesc = get(CvtOpc), &MovDesc = get(MovOpc);
608 const MachineOperand &Dst = I->getOperand(0), &Src = I->getOperand(1);
609 unsigned DstReg = Dst.getReg(), SrcReg = Src.getReg(), TmpReg = DstReg;
610 unsigned KillSrc = getKillRegState(Src.isKill());
611 DebugLoc DL = I->getDebugLoc();
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000612 bool DstIsLarger, SrcIsLarger;
613
Benjamin Kramerd6f1f842014-03-02 13:30:33 +0000614 std::tie(DstIsLarger, SrcIsLarger) =
615 compareOpndSize(CvtOpc, *MBB.getParent());
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000616
617 if (DstIsLarger)
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000618 TmpReg = getRegisterInfo().getSubReg(DstReg, Mips::sub_lo);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000619
620 if (SrcIsLarger)
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000621 DstReg = getRegisterInfo().getSubReg(DstReg, Mips::sub_lo);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000622
623 BuildMI(MBB, I, DL, MovDesc, TmpReg).addReg(SrcReg, KillSrc);
624 BuildMI(MBB, I, DL, CvtDesc, DstReg).addReg(TmpReg, RegState::Kill);
625}
626
Akira Hatanaka067d8152013-05-13 17:43:19 +0000627void MipsSEInstrInfo::expandExtractElementF64(MachineBasicBlock &MBB,
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000628 MachineBasicBlock::iterator I,
629 bool FP64) const {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000630 unsigned DstReg = I->getOperand(0).getReg();
631 unsigned SrcReg = I->getOperand(1).getReg();
632 unsigned N = I->getOperand(2).getImm();
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000633 DebugLoc dl = I->getDebugLoc();
634
635 assert(N < 2 && "Invalid immediate");
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000636 unsigned SubIdx = N ? Mips::sub_hi : Mips::sub_lo;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000637 unsigned SubReg = getRegisterInfo().getSubReg(SrcReg, SubIdx);
638
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000639 // FPXX on MIPS-II or MIPS32r1 should have been handled with a spill/reload
640 // in MipsSEFrameLowering.cpp.
641 assert(!(Subtarget.isABI_FPXX() && !Subtarget.hasMips32r2()));
642
643 // FP64A (FP64 with nooddspreg) should have been handled with a spill/reload
644 // in MipsSEFrameLowering.cpp.
645 assert(!(Subtarget.isFP64bit() && !Subtarget.useOddSPReg()));
646
647 if (SubIdx == Mips::sub_hi && Subtarget.hasMTHC1()) {
Daniel Sanders24e08fd2014-07-14 12:41:31 +0000648 // FIXME: Strictly speaking MFHC1 only reads the top 32-bits however, we
649 // claim to read the whole 64-bits as part of a white lie used to
Daniel Sanders059e4b12014-03-10 15:01:57 +0000650 // temporarily work around a widespread bug in the -mfp64 support.
651 // The problem is that none of the 32-bit fpu ops mention the fact
652 // that they clobber the upper 32-bits of the 64-bit FPR. Fixing that
653 // requires a major overhaul of the FPU implementation which can't
654 // be done right now due to time constraints.
Daniel Sanders61c76cc2014-03-12 13:35:43 +0000655 // MFHC1 is one of two instructions that are affected since they are
656 // the only instructions that don't read the lower 32-bits.
657 // We therefore pretend that it reads the bottom 32-bits to
658 // artificially create a dependency and prevent the scheduler
659 // changing the behaviour of the code.
Daniel Sanders24e08fd2014-07-14 12:41:31 +0000660 BuildMI(MBB, I, dl, get(FP64 ? Mips::MFHC1_D64 : Mips::MFHC1_D32), DstReg)
661 .addReg(SrcReg);
Daniel Sanders059e4b12014-03-10 15:01:57 +0000662 } else
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000663 BuildMI(MBB, I, dl, get(Mips::MFC1), DstReg).addReg(SubReg);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000664}
665
Akira Hatanaka067d8152013-05-13 17:43:19 +0000666void MipsSEInstrInfo::expandBuildPairF64(MachineBasicBlock &MBB,
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000667 MachineBasicBlock::iterator I,
668 bool FP64) const {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000669 unsigned DstReg = I->getOperand(0).getReg();
670 unsigned LoReg = I->getOperand(1).getReg(), HiReg = I->getOperand(2).getReg();
671 const MCInstrDesc& Mtc1Tdd = get(Mips::MTC1);
672 DebugLoc dl = I->getDebugLoc();
673 const TargetRegisterInfo &TRI = getRegisterInfo();
674
Daniel Sanders1f6f0f42014-06-12 11:55:58 +0000675 // When mthc1 is available, use:
Daniel Sanders08d3cd12013-11-18 13:12:43 +0000676 // mtc1 Lo, $fp
677 // mthc1 Hi, $fp
Daniel Sanders1f6f0f42014-06-12 11:55:58 +0000678 //
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000679 // Otherwise, for O32 FPXX ABI:
Daniel Sanders1f6f0f42014-06-12 11:55:58 +0000680 // spill + reload via ldc1
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000681 // This case is handled by the frame lowering code.
Daniel Sanders1f6f0f42014-06-12 11:55:58 +0000682 //
683 // Otherwise, for FP32:
684 // mtc1 Lo, $fp
685 // mtc1 Hi, $fp + 1
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000686 //
687 // The case where dmtc1 is available doesn't need to be handled here
688 // because it never creates a BuildPairF64 node.
Daniel Sanders08d3cd12013-11-18 13:12:43 +0000689
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000690 // FPXX on MIPS-II or MIPS32r1 should have been handled with a spill/reload
691 // in MipsSEFrameLowering.cpp.
692 assert(!(Subtarget.isABI_FPXX() && !Subtarget.hasMips32r2()));
693
694 // FP64A (FP64 with nooddspreg) should have been handled with a spill/reload
695 // in MipsSEFrameLowering.cpp.
696 assert(!(Subtarget.isFP64bit() && !Subtarget.useOddSPReg()));
697
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000698 BuildMI(MBB, I, dl, Mtc1Tdd, TRI.getSubReg(DstReg, Mips::sub_lo))
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000699 .addReg(LoReg);
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000700
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000701 if (Subtarget.hasMTHC1()) {
Daniel Sanders1f6f0f42014-06-12 11:55:58 +0000702 // FIXME: The .addReg(DstReg) is a white lie used to temporarily work
703 // around a widespread bug in the -mfp64 support.
Daniel Sanders61c76cc2014-03-12 13:35:43 +0000704 // The problem is that none of the 32-bit fpu ops mention the fact
705 // that they clobber the upper 32-bits of the 64-bit FPR. Fixing that
706 // requires a major overhaul of the FPU implementation which can't
707 // be done right now due to time constraints.
708 // MTHC1 is one of two instructions that are affected since they are
709 // the only instructions that don't read the lower 32-bits.
710 // We therefore pretend that it reads the bottom 32-bits to
711 // artificially create a dependency and prevent the scheduler
712 // changing the behaviour of the code.
Daniel Sanders1f6f0f42014-06-12 11:55:58 +0000713 BuildMI(MBB, I, dl, get(FP64 ? Mips::MTHC1_D64 : Mips::MTHC1_D32), DstReg)
714 .addReg(DstReg)
715 .addReg(HiReg);
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000716 } else if (Subtarget.isABI_FPXX())
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000717 llvm_unreachable("BuildPairF64 not expanded in frame lowering code!");
718 else
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000719 BuildMI(MBB, I, dl, Mtc1Tdd, TRI.getSubReg(DstReg, Mips::sub_hi))
720 .addReg(HiReg);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000721}
Akira Hatanakafab89292012-08-02 18:21:47 +0000722
Akira Hatanaka067d8152013-05-13 17:43:19 +0000723void MipsSEInstrInfo::expandEhReturn(MachineBasicBlock &MBB,
Akira Hatanakac0b02062013-01-30 00:26:49 +0000724 MachineBasicBlock::iterator I) const {
725 // This pseudo instruction is generated as part of the lowering of
726 // ISD::EH_RETURN. We convert it to a stack increment by OffsetReg, and
727 // indirect jump to TargetReg
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000728 MipsABIInfo ABI = Subtarget.getABI();
729 unsigned ADDU = ABI.GetPtrAdduOp();
Eric Christopher675cb4d2014-07-18 23:25:00 +0000730 unsigned SP = Subtarget.isGP64bit() ? Mips::SP_64 : Mips::SP;
731 unsigned RA = Subtarget.isGP64bit() ? Mips::RA_64 : Mips::RA;
732 unsigned T9 = Subtarget.isGP64bit() ? Mips::T9_64 : Mips::T9;
733 unsigned ZERO = Subtarget.isGP64bit() ? Mips::ZERO_64 : Mips::ZERO;
Akira Hatanakac0b02062013-01-30 00:26:49 +0000734 unsigned OffsetReg = I->getOperand(0).getReg();
735 unsigned TargetReg = I->getOperand(1).getReg();
736
Akira Hatanaka44ff81d2013-07-22 18:52:22 +0000737 // addu $ra, $v0, $zero
Akira Hatanakac0b02062013-01-30 00:26:49 +0000738 // addu $sp, $sp, $v1
Daniel Sanders338513b2014-07-09 10:16:07 +0000739 // jr $ra (via RetRA)
Eric Christopher675cb4d2014-07-18 23:25:00 +0000740 const TargetMachine &TM = MBB.getParent()->getTarget();
Rafael Espindolab30e66b2016-06-28 14:33:28 +0000741 if (TM.isPositionIndependent())
Eric Christopher09455d92015-01-08 18:18:50 +0000742 BuildMI(MBB, I, I->getDebugLoc(), get(ADDU), T9)
Eric Christopher675cb4d2014-07-18 23:25:00 +0000743 .addReg(TargetReg)
744 .addReg(ZERO);
Eric Christopher09455d92015-01-08 18:18:50 +0000745 BuildMI(MBB, I, I->getDebugLoc(), get(ADDU), RA)
Eric Christopher675cb4d2014-07-18 23:25:00 +0000746 .addReg(TargetReg)
747 .addReg(ZERO);
Eric Christopher09455d92015-01-08 18:18:50 +0000748 BuildMI(MBB, I, I->getDebugLoc(), get(ADDU), SP).addReg(SP).addReg(OffsetReg);
Daniel Sanders338513b2014-07-09 10:16:07 +0000749 expandRetRA(MBB, I);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000750}
751
Eric Christopher675cb4d2014-07-18 23:25:00 +0000752const MipsInstrInfo *llvm::createMipsSEInstrInfo(const MipsSubtarget &STI) {
753 return new MipsSEInstrInfo(STI);
Akira Hatanakafab89292012-08-02 18:21:47 +0000754}