blob: 386a0cd3bd18d8132fe82d5989da6246a3e8d197 [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;
Krzysztof Parzyszekc8e8e2a2017-04-24 19:51:12 +0000210 else if (TRI->isTypeLegalForClass(*RC, MVT::v16i8))
Daniel Sandersb8bce4d2013-08-27 10:04:21 +0000211 Opc = Mips::ST_B;
Krzysztof Parzyszekc8e8e2a2017-04-24 19:51:12 +0000212 else if (TRI->isTypeLegalForClass(*RC, MVT::v8i16) ||
213 TRI->isTypeLegalForClass(*RC, MVT::v8f16))
Daniel Sandersb8bce4d2013-08-27 10:04:21 +0000214 Opc = Mips::ST_H;
Krzysztof Parzyszekc8e8e2a2017-04-24 19:51:12 +0000215 else if (TRI->isTypeLegalForClass(*RC, MVT::v4i32) ||
216 TRI->isTypeLegalForClass(*RC, MVT::v4f32))
Daniel Sandersb8bce4d2013-08-27 10:04:21 +0000217 Opc = Mips::ST_W;
Krzysztof Parzyszekc8e8e2a2017-04-24 19:51:12 +0000218 else if (TRI->isTypeLegalForClass(*RC, MVT::v2i64) ||
219 TRI->isTypeLegalForClass(*RC, MVT::v2f64))
Daniel Sandersb8bce4d2013-08-27 10:04:21 +0000220 Opc = Mips::ST_D;
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000221 else if (Mips::LO32RegClass.hasSubClassEq(RC))
222 Opc = Mips::SW;
223 else if (Mips::LO64RegClass.hasSubClassEq(RC))
224 Opc = Mips::SD;
225 else if (Mips::HI32RegClass.hasSubClassEq(RC))
226 Opc = Mips::SW;
227 else if (Mips::HI64RegClass.hasSubClassEq(RC))
228 Opc = Mips::SD;
Simon Dardis055192c2017-10-03 13:45:49 +0000229 else if (Mips::DSPRRegClass.hasSubClassEq(RC))
230 Opc = Mips::SWDSP;
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000231
232 // Hi, Lo are normally caller save but they are callee save
233 // for interrupt handling.
Matthias Braunf1caa282017-12-15 22:22:58 +0000234 const Function &Func = MBB.getParent()->getFunction();
235 if (Func.hasFnAttribute("interrupt")) {
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000236 if (Mips::HI32RegClass.hasSubClassEq(RC)) {
237 BuildMI(MBB, I, DL, get(Mips::MFHI), Mips::K0);
238 SrcReg = Mips::K0;
239 } else if (Mips::HI64RegClass.hasSubClassEq(RC)) {
240 BuildMI(MBB, I, DL, get(Mips::MFHI64), Mips::K0_64);
241 SrcReg = Mips::K0_64;
242 } else if (Mips::LO32RegClass.hasSubClassEq(RC)) {
243 BuildMI(MBB, I, DL, get(Mips::MFLO), Mips::K0);
244 SrcReg = Mips::K0;
245 } else if (Mips::LO64RegClass.hasSubClassEq(RC)) {
246 BuildMI(MBB, I, DL, get(Mips::MFLO64), Mips::K0_64);
247 SrcReg = Mips::K0_64;
248 }
249 }
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000250
251 assert(Opc && "Register class not handled!");
252 BuildMI(MBB, I, DL, get(Opc)).addReg(SrcReg, getKillRegState(isKill))
Akira Hatanaka465facca2013-03-29 02:14:12 +0000253 .addFrameIndex(FI).addImm(Offset).addMemOperand(MMO);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000254}
255
256void MipsSEInstrInfo::
Akira Hatanaka465facca2013-03-29 02:14:12 +0000257loadRegFromStack(MachineBasicBlock &MBB, MachineBasicBlock::iterator I,
258 unsigned DestReg, int FI, const TargetRegisterClass *RC,
259 const TargetRegisterInfo *TRI, int64_t Offset) const {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000260 DebugLoc DL;
261 if (I != MBB.end()) DL = I->getDebugLoc();
262 MachineMemOperand *MMO = GetMemOperand(MBB, FI, MachineMemOperand::MOLoad);
263 unsigned Opc = 0;
264
Matthias Braunf1caa282017-12-15 22:22:58 +0000265 const Function &Func = MBB.getParent()->getFunction();
266 bool ReqIndirectLoad = Func.hasFnAttribute("interrupt") &&
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000267 (DestReg == Mips::LO0 || DestReg == Mips::LO0_64 ||
268 DestReg == Mips::HI0 || DestReg == Mips::HI0_64);
269
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000270 if (Mips::GPR32RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000271 Opc = Mips::LW;
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000272 else if (Mips::GPR64RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000273 Opc = Mips::LD;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000274 else if (Mips::ACC64RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000275 Opc = Mips::LOAD_ACC64;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000276 else if (Mips::ACC64DSPRegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000277 Opc = Mips::LOAD_ACC64DSP;
Akira Hatanaka00fcf2e2013-08-08 21:54:26 +0000278 else if (Mips::ACC128RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000279 Opc = Mips::LOAD_ACC128;
Akira Hatanaka5705f542013-05-02 23:07:05 +0000280 else if (Mips::DSPCCRegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000281 Opc = Mips::LOAD_CCOND_DSP;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000282 else if (Mips::FGR32RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000283 Opc = Mips::LWC1;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000284 else if (Mips::AFGR64RegClass.hasSubClassEq(RC))
285 Opc = Mips::LDC1;
286 else if (Mips::FGR64RegClass.hasSubClassEq(RC))
Akira Hatanaka6781fc12013-08-20 21:08:22 +0000287 Opc = Mips::LDC164;
Krzysztof Parzyszekc8e8e2a2017-04-24 19:51:12 +0000288 else if (TRI->isTypeLegalForClass(*RC, MVT::v16i8))
Daniel Sandersb8bce4d2013-08-27 10:04:21 +0000289 Opc = Mips::LD_B;
Krzysztof Parzyszekc8e8e2a2017-04-24 19:51:12 +0000290 else if (TRI->isTypeLegalForClass(*RC, MVT::v8i16) ||
291 TRI->isTypeLegalForClass(*RC, MVT::v8f16))
Daniel Sandersb8bce4d2013-08-27 10:04:21 +0000292 Opc = Mips::LD_H;
Krzysztof Parzyszekc8e8e2a2017-04-24 19:51:12 +0000293 else if (TRI->isTypeLegalForClass(*RC, MVT::v4i32) ||
294 TRI->isTypeLegalForClass(*RC, MVT::v4f32))
Daniel Sandersb8bce4d2013-08-27 10:04:21 +0000295 Opc = Mips::LD_W;
Krzysztof Parzyszekc8e8e2a2017-04-24 19:51:12 +0000296 else if (TRI->isTypeLegalForClass(*RC, MVT::v2i64) ||
297 TRI->isTypeLegalForClass(*RC, MVT::v2f64))
Daniel Sandersb8bce4d2013-08-27 10:04:21 +0000298 Opc = Mips::LD_D;
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000299 else if (Mips::HI32RegClass.hasSubClassEq(RC))
300 Opc = Mips::LW;
301 else if (Mips::HI64RegClass.hasSubClassEq(RC))
302 Opc = Mips::LD;
303 else if (Mips::LO32RegClass.hasSubClassEq(RC))
304 Opc = Mips::LW;
305 else if (Mips::LO64RegClass.hasSubClassEq(RC))
306 Opc = Mips::LD;
Simon Dardis055192c2017-10-03 13:45:49 +0000307 else if (Mips::DSPRRegClass.hasSubClassEq(RC))
308 Opc = Mips::LWDSP;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000309
310 assert(Opc && "Register class not handled!");
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000311
312 if (!ReqIndirectLoad)
313 BuildMI(MBB, I, DL, get(Opc), DestReg)
314 .addFrameIndex(FI)
315 .addImm(Offset)
316 .addMemOperand(MMO);
317 else {
318 // Load HI/LO through K0. Notably the DestReg is encoded into the
319 // instruction itself.
320 unsigned Reg = Mips::K0;
321 unsigned LdOp = Mips::MTLO;
322 if (DestReg == Mips::HI0)
323 LdOp = Mips::MTHI;
324
325 if (Subtarget.getABI().ArePtrs64bit()) {
326 Reg = Mips::K0_64;
327 if (DestReg == Mips::HI0_64)
328 LdOp = Mips::MTHI64;
329 else
330 LdOp = Mips::MTLO64;
331 }
332
333 BuildMI(MBB, I, DL, get(Opc), Reg)
334 .addFrameIndex(FI)
335 .addImm(Offset)
336 .addMemOperand(MMO);
337 BuildMI(MBB, I, DL, get(LdOp)).addReg(Reg);
338 }
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000339}
340
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000341bool MipsSEInstrInfo::expandPostRAPseudo(MachineInstr &MI) const {
342 MachineBasicBlock &MBB = *MI.getParent();
Eric Christopher675cb4d2014-07-18 23:25:00 +0000343 bool isMicroMips = Subtarget.inMicroMipsMode();
Zoran Jovanoviccabf0f42014-04-03 12:47:34 +0000344 unsigned Opc;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000345
Duncan P. N. Exon Smith9cfc75c2016-06-30 00:01:54 +0000346 switch (MI.getDesc().getOpcode()) {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000347 default:
348 return false;
349 case Mips::RetRA:
Daniel Sanders338513b2014-07-09 10:16:07 +0000350 expandRetRA(MBB, MI);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000351 break;
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000352 case Mips::ERet:
353 expandERet(MBB, MI);
354 break;
Akira Hatanaka16048332013-10-07 18:49:46 +0000355 case Mips::PseudoMFHI:
Zoran Jovanoviccabf0f42014-04-03 12:47:34 +0000356 Opc = isMicroMips ? Mips::MFHI16_MM : Mips::MFHI;
357 expandPseudoMFHiLo(MBB, MI, Opc);
Akira Hatanaka16048332013-10-07 18:49:46 +0000358 break;
359 case Mips::PseudoMFLO:
Zoran Jovanoviccabf0f42014-04-03 12:47:34 +0000360 Opc = isMicroMips ? Mips::MFLO16_MM : Mips::MFLO;
361 expandPseudoMFHiLo(MBB, MI, Opc);
Akira Hatanaka16048332013-10-07 18:49:46 +0000362 break;
363 case Mips::PseudoMFHI64:
364 expandPseudoMFHiLo(MBB, MI, Mips::MFHI64);
365 break;
366 case Mips::PseudoMFLO64:
367 expandPseudoMFHiLo(MBB, MI, Mips::MFLO64);
368 break;
Akira Hatanaka06aff572013-10-15 01:48:30 +0000369 case Mips::PseudoMTLOHI:
370 expandPseudoMTLoHi(MBB, MI, Mips::MTLO, Mips::MTHI, false);
371 break;
372 case Mips::PseudoMTLOHI64:
373 expandPseudoMTLoHi(MBB, MI, Mips::MTLO64, Mips::MTHI64, false);
374 break;
375 case Mips::PseudoMTLOHI_DSP:
376 expandPseudoMTLoHi(MBB, MI, Mips::MTLO_DSP, Mips::MTHI_DSP, true);
377 break;
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000378 case Mips::PseudoCVT_S_W:
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000379 expandCvtFPInt(MBB, MI, Mips::CVT_S_W, Mips::MTC1, false);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000380 break;
381 case Mips::PseudoCVT_D32_W:
Stefan Maksimovicb3e7ed32018-02-08 09:25:17 +0000382 Opc = isMicroMips ? Mips::CVT_D32_W_MM : Mips::CVT_D32_W;
383 expandCvtFPInt(MBB, MI, Opc, Mips::MTC1, false);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000384 break;
385 case Mips::PseudoCVT_S_L:
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000386 expandCvtFPInt(MBB, MI, Mips::CVT_S_L, Mips::DMTC1, true);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000387 break;
388 case Mips::PseudoCVT_D64_W:
Stefan Maksimovicb3e7ed32018-02-08 09:25:17 +0000389 Opc = isMicroMips ? Mips::CVT_D64_W_MM : Mips::CVT_D64_W;
390 expandCvtFPInt(MBB, MI, Opc, Mips::MTC1, true);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000391 break;
392 case Mips::PseudoCVT_D64_L:
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000393 expandCvtFPInt(MBB, MI, Mips::CVT_D64_L, Mips::DMTC1, true);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000394 break;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000395 case Mips::BuildPairF64:
Stefan Maksimovicb3e7ed32018-02-08 09:25:17 +0000396 expandBuildPairF64(MBB, MI, isMicroMips, false);
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000397 break;
398 case Mips::BuildPairF64_64:
Stefan Maksimovicb3e7ed32018-02-08 09:25:17 +0000399 expandBuildPairF64(MBB, MI, isMicroMips, true);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000400 break;
401 case Mips::ExtractElementF64:
Stefan Maksimovicb3e7ed32018-02-08 09:25:17 +0000402 expandExtractElementF64(MBB, MI, isMicroMips, false);
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000403 break;
404 case Mips::ExtractElementF64_64:
Stefan Maksimovicb3e7ed32018-02-08 09:25:17 +0000405 expandExtractElementF64(MBB, MI, isMicroMips, true);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000406 break;
Akira Hatanakac0b02062013-01-30 00:26:49 +0000407 case Mips::MIPSeh_return32:
408 case Mips::MIPSeh_return64:
Akira Hatanaka067d8152013-05-13 17:43:19 +0000409 expandEhReturn(MBB, MI);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000410 break;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000411 }
412
413 MBB.erase(MI);
414 return true;
415}
416
Akira Hatanaka067d8152013-05-13 17:43:19 +0000417/// getOppositeBranchOpc - Return the inverse of the specified
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000418/// opcode, e.g. turning BEQ to BNE.
Akira Hatanaka067d8152013-05-13 17:43:19 +0000419unsigned MipsSEInstrInfo::getOppositeBranchOpc(unsigned Opc) const {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000420 switch (Opc) {
421 default: llvm_unreachable("Illegal opcode!");
422 case Mips::BEQ: return Mips::BNE;
Hrvoje Varga2db00ce2016-07-22 07:18:33 +0000423 case Mips::BEQ_MM: return Mips::BNE_MM;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000424 case Mips::BNE: return Mips::BEQ;
Hrvoje Varga2db00ce2016-07-22 07:18:33 +0000425 case Mips::BNE_MM: return Mips::BEQ_MM;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000426 case Mips::BGTZ: return Mips::BLEZ;
427 case Mips::BGEZ: return Mips::BLTZ;
428 case Mips::BLTZ: return Mips::BGEZ;
429 case Mips::BLEZ: return Mips::BGTZ;
Simon Dardis5cf9de42018-05-16 10:03:05 +0000430 case Mips::BGTZ_MM: return Mips::BLEZ_MM;
431 case Mips::BGEZ_MM: return Mips::BLTZ_MM;
432 case Mips::BLTZ_MM: return Mips::BGEZ_MM;
433 case Mips::BLEZ_MM: return Mips::BGTZ_MM;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000434 case Mips::BEQ64: return Mips::BNE64;
435 case Mips::BNE64: return Mips::BEQ64;
436 case Mips::BGTZ64: return Mips::BLEZ64;
437 case Mips::BGEZ64: return Mips::BLTZ64;
438 case Mips::BLTZ64: return Mips::BGEZ64;
439 case Mips::BLEZ64: return Mips::BGTZ64;
440 case Mips::BC1T: return Mips::BC1F;
441 case Mips::BC1F: return Mips::BC1T;
Simon Dardis5cf9de42018-05-16 10:03:05 +0000442 case Mips::BC1T_MM: return Mips::BC1F_MM;
443 case Mips::BC1F_MM: return Mips::BC1T_MM;
444 case Mips::BEQZ16_MM: return Mips::BNEZ16_MM;
445 case Mips::BNEZ16_MM: return Mips::BEQZ16_MM;
446 case Mips::BEQZC_MM: return Mips::BNEZC_MM;
447 case Mips::BNEZC_MM: return Mips::BEQZC_MM;
Daniel Sanderse8efff32016-03-14 16:24:05 +0000448 case Mips::BEQZC: return Mips::BNEZC;
449 case Mips::BNEZC: return Mips::BEQZC;
Simon Dardis5cf9de42018-05-16 10:03:05 +0000450 case Mips::BLEZC: return Mips::BGTZC;
451 case Mips::BGEZC: return Mips::BLTZC;
452 case Mips::BGEC: return Mips::BLTC;
453 case Mips::BGTZC: return Mips::BLEZC;
454 case Mips::BLTZC: return Mips::BGEZC;
455 case Mips::BLTC: return Mips::BGEC;
456 case Mips::BGEUC: return Mips::BLTUC;
457 case Mips::BLTUC: return Mips::BGEUC;
Daniel Sanderse8efff32016-03-14 16:24:05 +0000458 case Mips::BEQC: return Mips::BNEC;
459 case Mips::BNEC: return Mips::BEQC;
Simon Dardis5cf9de42018-05-16 10:03:05 +0000460 case Mips::BC1EQZ: return Mips::BC1NEZ;
461 case Mips::BC1NEZ: return Mips::BC1EQZ;
Simon Dardise3c3c5a2018-04-27 15:49:49 +0000462 case Mips::BEQZC_MMR6: return Mips::BNEZC_MMR6;
463 case Mips::BNEZC_MMR6: return Mips::BEQZC_MMR6;
Simon Dardis5cf9de42018-05-16 10:03:05 +0000464 case Mips::BLEZC_MMR6: return Mips::BGTZC_MMR6;
465 case Mips::BGEZC_MMR6: return Mips::BLTZC_MMR6;
466 case Mips::BGEC_MMR6: return Mips::BLTC_MMR6;
467 case Mips::BGTZC_MMR6: return Mips::BLEZC_MMR6;
468 case Mips::BLTZC_MMR6: return Mips::BGEZC_MMR6;
469 case Mips::BLTC_MMR6: return Mips::BGEC_MMR6;
470 case Mips::BGEUC_MMR6: return Mips::BLTUC_MMR6;
471 case Mips::BLTUC_MMR6: return Mips::BGEUC_MMR6;
Simon Dardise3c3c5a2018-04-27 15:49:49 +0000472 case Mips::BEQC_MMR6: return Mips::BNEC_MMR6;
473 case Mips::BNEC_MMR6: return Mips::BEQC_MMR6;
Simon Dardis5cf9de42018-05-16 10:03:05 +0000474 case Mips::BC1EQZC_MMR6: return Mips::BC1NEZC_MMR6;
475 case Mips::BC1NEZC_MMR6: return Mips::BC1EQZC_MMR6;
Simon Dardis68a204d2016-07-26 10:25:07 +0000476 case Mips::BEQZC64: return Mips::BNEZC64;
477 case Mips::BNEZC64: return Mips::BEQZC64;
478 case Mips::BEQC64: return Mips::BNEC64;
479 case Mips::BNEC64: return Mips::BEQC64;
480 case Mips::BGEC64: return Mips::BLTC64;
481 case Mips::BGEUC64: return Mips::BLTUC64;
482 case Mips::BLTC64: return Mips::BGEC64;
483 case Mips::BLTUC64: return Mips::BGEUC64;
484 case Mips::BGTZC64: return Mips::BLEZC64;
485 case Mips::BGEZC64: return Mips::BLTZC64;
486 case Mips::BLTZC64: return Mips::BGEZC64;
487 case Mips::BLEZC64: return Mips::BGTZC64;
Strahinja Petrovica2b47482017-08-01 13:42:45 +0000488 case Mips::BBIT0: return Mips::BBIT1;
489 case Mips::BBIT1: return Mips::BBIT0;
490 case Mips::BBIT032: return Mips::BBIT132;
491 case Mips::BBIT132: return Mips::BBIT032;
Simon Dardis5cf9de42018-05-16 10:03:05 +0000492 case Mips::BZ_B: return Mips::BNZ_B;
493 case Mips::BZ_H: return Mips::BNZ_H;
494 case Mips::BZ_W: return Mips::BNZ_W;
495 case Mips::BZ_D: return Mips::BNZ_D;
496 case Mips::BZ_V: return Mips::BNZ_V;
497 case Mips::BNZ_B: return Mips::BZ_B;
498 case Mips::BNZ_H: return Mips::BZ_H;
499 case Mips::BNZ_W: return Mips::BZ_W;
500 case Mips::BNZ_D: return Mips::BZ_D;
501 case Mips::BNZ_V: return Mips::BZ_V;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000502 }
503}
504
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000505/// Adjust SP by Amount bytes.
506void MipsSEInstrInfo::adjustStackPtr(unsigned SP, int64_t Amount,
507 MachineBasicBlock &MBB,
508 MachineBasicBlock::iterator I) const {
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000509 MipsABIInfo ABI = Subtarget.getABI();
Petar Jovanovic28e2b712015-08-28 17:53:26 +0000510 DebugLoc DL;
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000511 unsigned ADDiu = ABI.GetPtrAddiuOp();
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000512
Vasileios Kalintirisb3698a52015-04-02 10:14:54 +0000513 if (Amount == 0)
514 return;
515
Simon Dardis878c0b12016-06-14 13:39:43 +0000516 if (isInt<16>(Amount)) {
517 // addi sp, sp, amount
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000518 BuildMI(MBB, I, DL, get(ADDiu), SP).addReg(SP).addImm(Amount);
Simon Dardis878c0b12016-06-14 13:39:43 +0000519 } else {
520 // For numbers which are not 16bit integers we synthesize Amount inline
521 // then add or subtract it from sp.
522 unsigned Opc = ABI.GetPtrAdduOp();
523 if (Amount < 0) {
524 Opc = ABI.GetPtrSubuOp();
525 Amount = -Amount;
526 }
Craig Topper062a2ba2014-04-25 05:30:21 +0000527 unsigned Reg = loadImmediate(Amount, MBB, I, DL, nullptr);
Simon Dardis878c0b12016-06-14 13:39:43 +0000528 BuildMI(MBB, I, DL, get(Opc), SP).addReg(SP).addReg(Reg, RegState::Kill);
Akira Hatanaka88d76cf2012-07-31 23:52:55 +0000529 }
530}
531
Akira Hatanakabf493942012-08-23 00:21:05 +0000532/// This function generates the sequence of instructions needed to get the
533/// result of adding register REG and immediate IMM.
Benjamin Kramerbdc49562016-06-12 15:39:02 +0000534unsigned MipsSEInstrInfo::loadImmediate(int64_t Imm, MachineBasicBlock &MBB,
535 MachineBasicBlock::iterator II,
536 const DebugLoc &DL,
537 unsigned *NewImm) const {
Akira Hatanakabf493942012-08-23 00:21:05 +0000538 MipsAnalyzeImmediate AnalyzeImm;
Eric Christopher675cb4d2014-07-18 23:25:00 +0000539 const MipsSubtarget &STI = Subtarget;
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000540 MachineRegisterInfo &RegInfo = MBB.getParent()->getRegInfo();
Akira Hatanakabf493942012-08-23 00:21:05 +0000541 unsigned Size = STI.isABI_N64() ? 64 : 32;
542 unsigned LUi = STI.isABI_N64() ? Mips::LUi64 : Mips::LUi;
543 unsigned ZEROReg = STI.isABI_N64() ? Mips::ZERO_64 : Mips::ZERO;
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000544 const TargetRegisterClass *RC = STI.isABI_N64() ?
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +0000545 &Mips::GPR64RegClass : &Mips::GPR32RegClass;
Akira Hatanakabf493942012-08-23 00:21:05 +0000546 bool LastInstrIsADDiu = NewImm;
547
548 const MipsAnalyzeImmediate::InstSeq &Seq =
549 AnalyzeImm.Analyze(Imm, Size, LastInstrIsADDiu);
550 MipsAnalyzeImmediate::InstSeq::const_iterator Inst = Seq.begin();
551
552 assert(Seq.size() && (!LastInstrIsADDiu || (Seq.size() > 1)));
553
554 // The first instruction can be a LUi, which is different from other
555 // instructions (ADDiu, ORI and SLL) in that it does not have a register
556 // operand.
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000557 unsigned Reg = RegInfo.createVirtualRegister(RC);
558
Akira Hatanakabf493942012-08-23 00:21:05 +0000559 if (Inst->Opc == LUi)
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000560 BuildMI(MBB, II, DL, get(LUi), Reg).addImm(SignExtend64<16>(Inst->ImmOpnd));
Akira Hatanakabf493942012-08-23 00:21:05 +0000561 else
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000562 BuildMI(MBB, II, DL, get(Inst->Opc), Reg).addReg(ZEROReg)
Akira Hatanakabf493942012-08-23 00:21:05 +0000563 .addImm(SignExtend64<16>(Inst->ImmOpnd));
564
565 // Build the remaining instructions in Seq.
566 for (++Inst; Inst != Seq.end() - LastInstrIsADDiu; ++Inst)
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000567 BuildMI(MBB, II, DL, get(Inst->Opc), Reg).addReg(Reg, RegState::Kill)
Akira Hatanakabf493942012-08-23 00:21:05 +0000568 .addImm(SignExtend64<16>(Inst->ImmOpnd));
569
570 if (LastInstrIsADDiu)
571 *NewImm = Inst->ImmOpnd;
572
Akira Hatanaka5852e3b2012-11-03 00:05:43 +0000573 return Reg;
Akira Hatanakabf493942012-08-23 00:21:05 +0000574}
575
Akira Hatanaka067d8152013-05-13 17:43:19 +0000576unsigned MipsSEInstrInfo::getAnalyzableBrOpc(unsigned Opc) const {
Hrvoje Varga2db00ce2016-07-22 07:18:33 +0000577 return (Opc == Mips::BEQ || Opc == Mips::BEQ_MM || Opc == Mips::BNE ||
578 Opc == Mips::BNE_MM || Opc == Mips::BGTZ || Opc == Mips::BGEZ ||
579 Opc == Mips::BLTZ || Opc == Mips::BLEZ || Opc == Mips::BEQ64 ||
580 Opc == Mips::BNE64 || Opc == Mips::BGTZ64 || Opc == Mips::BGEZ64 ||
581 Opc == Mips::BLTZ64 || Opc == Mips::BLEZ64 || Opc == Mips::BC1T ||
582 Opc == Mips::BC1F || Opc == Mips::B || Opc == Mips::J ||
Simon Dardisc2d3e382017-11-09 16:02:18 +0000583 Opc == Mips::B_MM || Opc == Mips::BEQZC_MM ||
584 Opc == Mips::BNEZC_MM || Opc == Mips::BEQC || Opc == Mips::BNEC ||
585 Opc == Mips::BLTC || Opc == Mips::BGEC || Opc == Mips::BLTUC ||
586 Opc == Mips::BGEUC || Opc == Mips::BGTZC || Opc == Mips::BLEZC ||
587 Opc == Mips::BGEZC || Opc == Mips::BLTZC || Opc == Mips::BEQZC ||
588 Opc == Mips::BNEZC || Opc == Mips::BEQZC64 || Opc == Mips::BNEZC64 ||
589 Opc == Mips::BEQC64 || Opc == Mips::BNEC64 || Opc == Mips::BGEC64 ||
590 Opc == Mips::BGEUC64 || Opc == Mips::BLTC64 || Opc == Mips::BLTUC64 ||
591 Opc == Mips::BGTZC64 || Opc == Mips::BGEZC64 ||
592 Opc == Mips::BLTZC64 || Opc == Mips::BLEZC64 || Opc == Mips::BC ||
593 Opc == Mips::BBIT0 || Opc == Mips::BBIT1 || Opc == Mips::BBIT032 ||
Simon Dardise3c3c5a2018-04-27 15:49:49 +0000594 Opc == Mips::BBIT132 || Opc == Mips::BC_MMR6 ||
595 Opc == Mips::BEQC_MMR6 || Opc == Mips::BNEC_MMR6 ||
596 Opc == Mips::BLTC_MMR6 || Opc == Mips::BGEC_MMR6 ||
597 Opc == Mips::BLTUC_MMR6 || Opc == Mips::BGEUC_MMR6 ||
598 Opc == Mips::BGTZC_MMR6 || Opc == Mips::BLEZC_MMR6 ||
599 Opc == Mips::BGEZC_MMR6 || Opc == Mips::BLTZC_MMR6 ||
600 Opc == Mips::BEQZC_MMR6 || Opc == Mips::BNEZC_MMR6) ? Opc : 0;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000601}
602
Akira Hatanaka067d8152013-05-13 17:43:19 +0000603void MipsSEInstrInfo::expandRetRA(MachineBasicBlock &MBB,
Daniel Sanders338513b2014-07-09 10:16:07 +0000604 MachineBasicBlock::iterator I) const {
Simon Dardis158956c2017-03-09 11:19:48 +0000605
606 MachineInstrBuilder MIB;
Daniel Sanders338513b2014-07-09 10:16:07 +0000607 if (Subtarget.isGP64bit())
Simon Dardis158956c2017-03-09 11:19:48 +0000608 MIB = BuildMI(MBB, I, I->getDebugLoc(), get(Mips::PseudoReturn64))
609 .addReg(Mips::RA_64, RegState::Undef);
Daniel Sanders338513b2014-07-09 10:16:07 +0000610 else
Simon Dardis158956c2017-03-09 11:19:48 +0000611 MIB = BuildMI(MBB, I, I->getDebugLoc(), get(Mips::PseudoReturn))
612 .addReg(Mips::RA, RegState::Undef);
613
614 // Retain any imp-use flags.
615 for (auto & MO : I->operands()) {
616 if (MO.isImplicit())
617 MIB.add(MO);
618 }
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000619}
620
Vasileios Kalintiris43dff0c2015-10-26 12:38:43 +0000621void MipsSEInstrInfo::expandERet(MachineBasicBlock &MBB,
622 MachineBasicBlock::iterator I) const {
623 BuildMI(MBB, I, I->getDebugLoc(), get(Mips::ERET));
624}
625
Akira Hatanaka4be04b12013-06-11 18:48:16 +0000626std::pair<bool, bool>
627MipsSEInstrInfo::compareOpndSize(unsigned Opc,
628 const MachineFunction &MF) const {
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000629 const MCInstrDesc &Desc = get(Opc);
630 assert(Desc.NumOperands == 2 && "Unary instruction expected.");
Akira Hatanaka4be04b12013-06-11 18:48:16 +0000631 const MipsRegisterInfo *RI = &getRegisterInfo();
Krzysztof Parzyszek44e25f32017-04-24 18:55:33 +0000632 unsigned DstRegSize = RI->getRegSizeInBits(*getRegClass(Desc, 0, RI, MF));
633 unsigned SrcRegSize = RI->getRegSizeInBits(*getRegClass(Desc, 1, RI, MF));
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000634
635 return std::make_pair(DstRegSize > SrcRegSize, DstRegSize < SrcRegSize);
636}
637
Akira Hatanaka16048332013-10-07 18:49:46 +0000638void MipsSEInstrInfo::expandPseudoMFHiLo(MachineBasicBlock &MBB,
639 MachineBasicBlock::iterator I,
640 unsigned NewOpc) const {
641 BuildMI(MBB, I, I->getDebugLoc(), get(NewOpc), I->getOperand(0).getReg());
642}
643
Akira Hatanaka06aff572013-10-15 01:48:30 +0000644void MipsSEInstrInfo::expandPseudoMTLoHi(MachineBasicBlock &MBB,
645 MachineBasicBlock::iterator I,
646 unsigned LoOpc,
647 unsigned HiOpc,
648 bool HasExplicitDef) const {
649 // Expand
650 // lo_hi pseudomtlohi $gpr0, $gpr1
651 // to these two instructions:
652 // mtlo $gpr0
653 // mthi $gpr1
654
655 DebugLoc DL = I->getDebugLoc();
656 const MachineOperand &SrcLo = I->getOperand(1), &SrcHi = I->getOperand(2);
657 MachineInstrBuilder LoInst = BuildMI(MBB, I, DL, get(LoOpc));
658 MachineInstrBuilder HiInst = BuildMI(MBB, I, DL, get(HiOpc));
Akira Hatanaka06aff572013-10-15 01:48:30 +0000659
660 // Add lo/hi registers if the mtlo/hi instructions created have explicit
661 // def registers.
662 if (HasExplicitDef) {
663 unsigned DstReg = I->getOperand(0).getReg();
664 unsigned DstLo = getRegisterInfo().getSubReg(DstReg, Mips::sub_lo);
665 unsigned DstHi = getRegisterInfo().getSubReg(DstReg, Mips::sub_hi);
666 LoInst.addReg(DstLo, RegState::Define);
667 HiInst.addReg(DstHi, RegState::Define);
668 }
Daniel Sanders5e1d5a72016-01-12 15:15:14 +0000669
670 LoInst.addReg(SrcLo.getReg(), getKillRegState(SrcLo.isKill()));
671 HiInst.addReg(SrcHi.getReg(), getKillRegState(SrcHi.isKill()));
Akira Hatanaka06aff572013-10-15 01:48:30 +0000672}
673
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000674void MipsSEInstrInfo::expandCvtFPInt(MachineBasicBlock &MBB,
675 MachineBasicBlock::iterator I,
676 unsigned CvtOpc, unsigned MovOpc,
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000677 bool IsI64) const {
678 const MCInstrDesc &CvtDesc = get(CvtOpc), &MovDesc = get(MovOpc);
679 const MachineOperand &Dst = I->getOperand(0), &Src = I->getOperand(1);
680 unsigned DstReg = Dst.getReg(), SrcReg = Src.getReg(), TmpReg = DstReg;
681 unsigned KillSrc = getKillRegState(Src.isKill());
682 DebugLoc DL = I->getDebugLoc();
Akira Hatanakaae9d8e22013-06-08 00:14:54 +0000683 bool DstIsLarger, SrcIsLarger;
684
Benjamin Kramerd6f1f842014-03-02 13:30:33 +0000685 std::tie(DstIsLarger, SrcIsLarger) =
686 compareOpndSize(CvtOpc, *MBB.getParent());
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000687
688 if (DstIsLarger)
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000689 TmpReg = getRegisterInfo().getSubReg(DstReg, Mips::sub_lo);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000690
691 if (SrcIsLarger)
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000692 DstReg = getRegisterInfo().getSubReg(DstReg, Mips::sub_lo);
Akira Hatanaka39d40f72013-05-16 19:48:37 +0000693
694 BuildMI(MBB, I, DL, MovDesc, TmpReg).addReg(SrcReg, KillSrc);
695 BuildMI(MBB, I, DL, CvtDesc, DstReg).addReg(TmpReg, RegState::Kill);
696}
697
Akira Hatanaka067d8152013-05-13 17:43:19 +0000698void MipsSEInstrInfo::expandExtractElementF64(MachineBasicBlock &MBB,
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000699 MachineBasicBlock::iterator I,
Stefan Maksimovicb3e7ed32018-02-08 09:25:17 +0000700 bool isMicroMips,
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000701 bool FP64) const {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000702 unsigned DstReg = I->getOperand(0).getReg();
703 unsigned SrcReg = I->getOperand(1).getReg();
704 unsigned N = I->getOperand(2).getImm();
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000705 DebugLoc dl = I->getDebugLoc();
706
707 assert(N < 2 && "Invalid immediate");
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000708 unsigned SubIdx = N ? Mips::sub_hi : Mips::sub_lo;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000709 unsigned SubReg = getRegisterInfo().getSubReg(SrcReg, SubIdx);
710
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000711 // FPXX on MIPS-II or MIPS32r1 should have been handled with a spill/reload
712 // in MipsSEFrameLowering.cpp.
713 assert(!(Subtarget.isABI_FPXX() && !Subtarget.hasMips32r2()));
714
715 // FP64A (FP64 with nooddspreg) should have been handled with a spill/reload
716 // in MipsSEFrameLowering.cpp.
717 assert(!(Subtarget.isFP64bit() && !Subtarget.useOddSPReg()));
718
719 if (SubIdx == Mips::sub_hi && Subtarget.hasMTHC1()) {
Daniel Sanders24e08fd2014-07-14 12:41:31 +0000720 // FIXME: Strictly speaking MFHC1 only reads the top 32-bits however, we
721 // claim to read the whole 64-bits as part of a white lie used to
Daniel Sanders059e4b12014-03-10 15:01:57 +0000722 // temporarily work around a widespread bug in the -mfp64 support.
723 // The problem is that none of the 32-bit fpu ops mention the fact
724 // that they clobber the upper 32-bits of the 64-bit FPR. Fixing that
725 // requires a major overhaul of the FPU implementation which can't
726 // be done right now due to time constraints.
Daniel Sanders61c76cc2014-03-12 13:35:43 +0000727 // MFHC1 is one of two instructions that are affected since they are
728 // the only instructions that don't read the lower 32-bits.
729 // We therefore pretend that it reads the bottom 32-bits to
730 // artificially create a dependency and prevent the scheduler
731 // changing the behaviour of the code.
Stefan Maksimovicb3e7ed32018-02-08 09:25:17 +0000732 BuildMI(MBB, I, dl,
733 get(isMicroMips ? (FP64 ? Mips::MFHC1_D64_MM : Mips::MFHC1_D32_MM)
734 : (FP64 ? Mips::MFHC1_D64 : Mips::MFHC1_D32)),
735 DstReg)
Daniel Sanders24e08fd2014-07-14 12:41:31 +0000736 .addReg(SrcReg);
Daniel Sanders059e4b12014-03-10 15:01:57 +0000737 } else
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000738 BuildMI(MBB, I, dl, get(Mips::MFC1), DstReg).addReg(SubReg);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000739}
740
Akira Hatanaka067d8152013-05-13 17:43:19 +0000741void MipsSEInstrInfo::expandBuildPairF64(MachineBasicBlock &MBB,
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000742 MachineBasicBlock::iterator I,
Stefan Maksimovicb3e7ed32018-02-08 09:25:17 +0000743 bool isMicroMips, bool FP64) const {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000744 unsigned DstReg = I->getOperand(0).getReg();
745 unsigned LoReg = I->getOperand(1).getReg(), HiReg = I->getOperand(2).getReg();
746 const MCInstrDesc& Mtc1Tdd = get(Mips::MTC1);
747 DebugLoc dl = I->getDebugLoc();
748 const TargetRegisterInfo &TRI = getRegisterInfo();
749
Daniel Sanders1f6f0f42014-06-12 11:55:58 +0000750 // When mthc1 is available, use:
Daniel Sanders08d3cd12013-11-18 13:12:43 +0000751 // mtc1 Lo, $fp
752 // mthc1 Hi, $fp
Daniel Sanders1f6f0f42014-06-12 11:55:58 +0000753 //
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000754 // Otherwise, for O32 FPXX ABI:
Daniel Sanders1f6f0f42014-06-12 11:55:58 +0000755 // spill + reload via ldc1
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000756 // This case is handled by the frame lowering code.
Daniel Sanders1f6f0f42014-06-12 11:55:58 +0000757 //
758 // Otherwise, for FP32:
759 // mtc1 Lo, $fp
760 // mtc1 Hi, $fp + 1
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000761 //
762 // The case where dmtc1 is available doesn't need to be handled here
763 // because it never creates a BuildPairF64 node.
Daniel Sanders08d3cd12013-11-18 13:12:43 +0000764
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000765 // FPXX on MIPS-II or MIPS32r1 should have been handled with a spill/reload
766 // in MipsSEFrameLowering.cpp.
767 assert(!(Subtarget.isABI_FPXX() && !Subtarget.hasMips32r2()));
768
769 // FP64A (FP64 with nooddspreg) should have been handled with a spill/reload
770 // in MipsSEFrameLowering.cpp.
771 assert(!(Subtarget.isFP64bit() && !Subtarget.useOddSPReg()));
772
Akira Hatanaka14e31a22013-08-20 22:58:56 +0000773 BuildMI(MBB, I, dl, Mtc1Tdd, TRI.getSubReg(DstReg, Mips::sub_lo))
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000774 .addReg(LoReg);
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000775
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000776 if (Subtarget.hasMTHC1()) {
Daniel Sanders1f6f0f42014-06-12 11:55:58 +0000777 // FIXME: The .addReg(DstReg) is a white lie used to temporarily work
778 // around a widespread bug in the -mfp64 support.
Daniel Sanders61c76cc2014-03-12 13:35:43 +0000779 // The problem is that none of the 32-bit fpu ops mention the fact
780 // that they clobber the upper 32-bits of the 64-bit FPR. Fixing that
781 // requires a major overhaul of the FPU implementation which can't
782 // be done right now due to time constraints.
783 // MTHC1 is one of two instructions that are affected since they are
784 // the only instructions that don't read the lower 32-bits.
785 // We therefore pretend that it reads the bottom 32-bits to
786 // artificially create a dependency and prevent the scheduler
787 // changing the behaviour of the code.
Stefan Maksimovicb3e7ed32018-02-08 09:25:17 +0000788 BuildMI(MBB, I, dl,
789 get(isMicroMips ? (FP64 ? Mips::MTHC1_D64_MM : Mips::MTHC1_D32_MM)
790 : (FP64 ? Mips::MTHC1_D64 : Mips::MTHC1_D32)),
791 DstReg)
Daniel Sanders1f6f0f42014-06-12 11:55:58 +0000792 .addReg(DstReg)
793 .addReg(HiReg);
Daniel Sanders7ddb0ab2014-07-14 13:08:14 +0000794 } else if (Subtarget.isABI_FPXX())
Sasa Stankovicb976fee2014-07-14 09:40:29 +0000795 llvm_unreachable("BuildPairF64 not expanded in frame lowering code!");
796 else
Akira Hatanaka9a1fb6b2013-08-20 23:47:25 +0000797 BuildMI(MBB, I, dl, Mtc1Tdd, TRI.getSubReg(DstReg, Mips::sub_hi))
798 .addReg(HiReg);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000799}
Akira Hatanakafab89292012-08-02 18:21:47 +0000800
Akira Hatanaka067d8152013-05-13 17:43:19 +0000801void MipsSEInstrInfo::expandEhReturn(MachineBasicBlock &MBB,
Akira Hatanakac0b02062013-01-30 00:26:49 +0000802 MachineBasicBlock::iterator I) const {
803 // This pseudo instruction is generated as part of the lowering of
804 // ISD::EH_RETURN. We convert it to a stack increment by OffsetReg, and
805 // indirect jump to TargetReg
Daniel Sanders81eb66c2015-04-17 09:50:21 +0000806 MipsABIInfo ABI = Subtarget.getABI();
807 unsigned ADDU = ABI.GetPtrAdduOp();
Eric Christopher675cb4d2014-07-18 23:25:00 +0000808 unsigned SP = Subtarget.isGP64bit() ? Mips::SP_64 : Mips::SP;
809 unsigned RA = Subtarget.isGP64bit() ? Mips::RA_64 : Mips::RA;
810 unsigned T9 = Subtarget.isGP64bit() ? Mips::T9_64 : Mips::T9;
811 unsigned ZERO = Subtarget.isGP64bit() ? Mips::ZERO_64 : Mips::ZERO;
Akira Hatanakac0b02062013-01-30 00:26:49 +0000812 unsigned OffsetReg = I->getOperand(0).getReg();
813 unsigned TargetReg = I->getOperand(1).getReg();
814
Akira Hatanaka44ff81d2013-07-22 18:52:22 +0000815 // addu $ra, $v0, $zero
Akira Hatanakac0b02062013-01-30 00:26:49 +0000816 // addu $sp, $sp, $v1
Daniel Sanders338513b2014-07-09 10:16:07 +0000817 // jr $ra (via RetRA)
Eric Christopher675cb4d2014-07-18 23:25:00 +0000818 const TargetMachine &TM = MBB.getParent()->getTarget();
Rafael Espindolab30e66b2016-06-28 14:33:28 +0000819 if (TM.isPositionIndependent())
Eric Christopher09455d92015-01-08 18:18:50 +0000820 BuildMI(MBB, I, I->getDebugLoc(), get(ADDU), T9)
Eric Christopher675cb4d2014-07-18 23:25:00 +0000821 .addReg(TargetReg)
822 .addReg(ZERO);
Eric Christopher09455d92015-01-08 18:18:50 +0000823 BuildMI(MBB, I, I->getDebugLoc(), get(ADDU), RA)
Eric Christopher675cb4d2014-07-18 23:25:00 +0000824 .addReg(TargetReg)
825 .addReg(ZERO);
Eric Christopher09455d92015-01-08 18:18:50 +0000826 BuildMI(MBB, I, I->getDebugLoc(), get(ADDU), SP).addReg(SP).addReg(OffsetReg);
Daniel Sanders338513b2014-07-09 10:16:07 +0000827 expandRetRA(MBB, I);
Akira Hatanakac0b02062013-01-30 00:26:49 +0000828}
829
Eric Christopher675cb4d2014-07-18 23:25:00 +0000830const MipsInstrInfo *llvm::createMipsSEInstrInfo(const MipsSubtarget &STI) {
831 return new MipsSEInstrInfo(STI);
Akira Hatanakafab89292012-08-02 18:21:47 +0000832}