blob: da8ada4e53917f793257ee94a942f5564d0c7b16 [file] [log] [blame]
Akira Hatanakab7fa3c92012-07-31 21:49:49 +00001//===-- Mips16InstrInfo.cpp - Mips16 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 Mips16 implementation of the TargetInstrInfo class.
11//
12//===----------------------------------------------------------------------===//
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000013#include "Mips16InstrInfo.h"
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000014#include "InstPrinter/MipsInstPrinter.h"
Chandler Carruthed0881b2012-12-03 16:50:05 +000015#include "MipsMachineFunction.h"
16#include "MipsTargetMachine.h"
17#include "llvm/ADT/STLExtras.h"
18#include "llvm/ADT/StringRef.h"
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000019#include "llvm/CodeGen/MachineInstrBuilder.h"
20#include "llvm/CodeGen/MachineRegisterInfo.h"
Reed Kotler66165c82013-02-08 03:57:41 +000021#include "llvm/CodeGen/RegisterScavenging.h"
Reed Kotler5c8ae092013-11-13 04:37:52 +000022#include "llvm/MC/MCAsmInfo.h"
Reed Kotlerd019dbf2012-12-20 04:07:42 +000023#include "llvm/Support/CommandLine.h"
Reed Kotlercb374092013-02-18 00:59:04 +000024#include "llvm/Support/Debug.h"
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000025#include "llvm/Support/ErrorHandling.h"
26#include "llvm/Support/TargetRegistry.h"
Benjamin Kramer799003b2015-03-23 19:32:43 +000027#include "llvm/Support/raw_ostream.h"
NAKAMURA Takumi435f62a2013-11-13 06:27:53 +000028#include <cctype>
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000029
30using namespace llvm;
31
Chandler Carruthe96dd892014-04-21 22:55:11 +000032#define DEBUG_TYPE "mips16-instrinfo"
Reed Kotlerd019dbf2012-12-20 04:07:42 +000033
Eric Christopher675cb4d2014-07-18 23:25:00 +000034Mips16InstrInfo::Mips16InstrInfo(const MipsSubtarget &STI)
Eric Christophera20c3cf2015-03-12 05:43:57 +000035 : MipsInstrInfo(STI, Mips::Bimm16), RI() {}
Akira Hatanakacb37e132012-07-31 23:41:32 +000036
37const MipsRegisterInfo &Mips16InstrInfo::getRegisterInfo() const {
38 return RI;
39}
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000040
41/// isLoadFromStackSlot - If the specified machine instruction is a direct
42/// load from a stack slot, return the virtual or physical register number of
43/// the destination along with the FrameIndex of the loaded stack slot. If
44/// not, return 0. This predicate must return 0 if the instruction has
45/// any side effects other than loading from the stack slot.
Eric Christopher66b70692014-07-18 22:34:14 +000046unsigned Mips16InstrInfo::isLoadFromStackSlot(const MachineInstr *MI,
47 int &FrameIndex) const {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000048 return 0;
49}
50
51/// isStoreToStackSlot - If the specified machine instruction is a direct
52/// store to a stack slot, return the virtual or physical register number of
53/// the source reg along with the FrameIndex of the loaded stack slot. If
54/// not, return 0. This predicate must return 0 if the instruction has
55/// any side effects other than storing to the stack slot.
Eric Christopher66b70692014-07-18 22:34:14 +000056unsigned Mips16InstrInfo::isStoreToStackSlot(const MachineInstr *MI,
57 int &FrameIndex) const {
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000058 return 0;
59}
60
61void Mips16InstrInfo::copyPhysReg(MachineBasicBlock &MBB,
62 MachineBasicBlock::iterator I, DebugLoc DL,
63 unsigned DestReg, unsigned SrcReg,
64 bool KillSrc) const {
Reed Kotlercf11c592012-10-12 02:01:09 +000065 unsigned Opc = 0;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000066
Reed Kotlercf11c592012-10-12 02:01:09 +000067 if (Mips::CPU16RegsRegClass.contains(DestReg) &&
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +000068 Mips::GPR32RegClass.contains(SrcReg))
Reed Kotlercf11c592012-10-12 02:01:09 +000069 Opc = Mips::MoveR3216;
Akira Hatanaka13e6ccf2013-08-06 23:08:38 +000070 else if (Mips::GPR32RegClass.contains(DestReg) &&
Reed Kotlercf11c592012-10-12 02:01:09 +000071 Mips::CPU16RegsRegClass.contains(SrcReg))
72 Opc = Mips::Move32R16;
Akira Hatanaka8002a3f2013-08-14 00:47:08 +000073 else if ((SrcReg == Mips::HI0) &&
Reed Kotlercf11c592012-10-12 02:01:09 +000074 (Mips::CPU16RegsRegClass.contains(DestReg)))
75 Opc = Mips::Mfhi16, SrcReg = 0;
76
Akira Hatanaka8002a3f2013-08-14 00:47:08 +000077 else if ((SrcReg == Mips::LO0) &&
Reed Kotlercf11c592012-10-12 02:01:09 +000078 (Mips::CPU16RegsRegClass.contains(DestReg)))
79 Opc = Mips::Mflo16, SrcReg = 0;
80
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000081
82 assert(Opc && "Cannot copy registers");
83
84 MachineInstrBuilder MIB = BuildMI(MBB, I, DL, get(Opc));
85
86 if (DestReg)
87 MIB.addReg(DestReg, RegState::Define);
88
Akira Hatanakab7fa3c92012-07-31 21:49:49 +000089 if (SrcReg)
90 MIB.addReg(SrcReg, getKillRegState(KillSrc));
91}
92
Eric Christopher66b70692014-07-18 22:34:14 +000093void Mips16InstrInfo::storeRegToStack(MachineBasicBlock &MBB,
94 MachineBasicBlock::iterator I,
95 unsigned SrcReg, bool isKill, int FI,
96 const TargetRegisterClass *RC,
97 const TargetRegisterInfo *TRI,
98 int64_t Offset) const {
Reed Kotler210ebe92012-09-28 02:26:24 +000099 DebugLoc DL;
100 if (I != MBB.end()) DL = I->getDebugLoc();
101 MachineMemOperand *MMO = GetMemOperand(MBB, FI, MachineMemOperand::MOStore);
102 unsigned Opc = 0;
103 if (Mips::CPU16RegsRegClass.hasSubClassEq(RC))
104 Opc = Mips::SwRxSpImmX16;
105 assert(Opc && "Register class not handled!");
Reed Kotler30cedf62013-08-04 01:13:25 +0000106 BuildMI(MBB, I, DL, get(Opc)).addReg(SrcReg, getKillRegState(isKill)).
107 addFrameIndex(FI).addImm(Offset)
108 .addMemOperand(MMO);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000109}
110
Eric Christopher66b70692014-07-18 22:34:14 +0000111void Mips16InstrInfo::loadRegFromStack(MachineBasicBlock &MBB,
112 MachineBasicBlock::iterator I,
113 unsigned DestReg, int FI,
114 const TargetRegisterClass *RC,
115 const TargetRegisterInfo *TRI,
116 int64_t Offset) const {
Reed Kotler210ebe92012-09-28 02:26:24 +0000117 DebugLoc DL;
118 if (I != MBB.end()) DL = I->getDebugLoc();
119 MachineMemOperand *MMO = GetMemOperand(MBB, FI, MachineMemOperand::MOLoad);
120 unsigned Opc = 0;
121
122 if (Mips::CPU16RegsRegClass.hasSubClassEq(RC))
123 Opc = Mips::LwRxSpImmX16;
124 assert(Opc && "Register class not handled!");
Akira Hatanaka465facca2013-03-29 02:14:12 +0000125 BuildMI(MBB, I, DL, get(Opc), DestReg).addFrameIndex(FI).addImm(Offset)
Reed Kotler210ebe92012-09-28 02:26:24 +0000126 .addMemOperand(MMO);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000127}
128
129bool Mips16InstrInfo::expandPostRAPseudo(MachineBasicBlock::iterator MI) const {
130 MachineBasicBlock &MBB = *MI->getParent();
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000131 switch(MI->getDesc().getOpcode()) {
132 default:
133 return false;
134 case Mips::RetRA16:
Reed Kotlera8117532012-10-30 00:54:49 +0000135 ExpandRetRA16(MBB, MI, Mips::JrcRa16);
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000136 break;
137 }
138
139 MBB.erase(MI);
140 return true;
141}
142
143/// GetOppositeBranchOpc - Return the inverse of the specified
144/// opcode, e.g. turning BEQ to BNE.
Akira Hatanaka067d8152013-05-13 17:43:19 +0000145unsigned Mips16InstrInfo::getOppositeBranchOpc(unsigned Opc) const {
Reed Kotler67439242012-10-17 22:29:54 +0000146 switch (Opc) {
Reed Kotler67439242012-10-17 22:29:54 +0000147 case Mips::BeqzRxImmX16: return Mips::BnezRxImmX16;
148 case Mips::BnezRxImmX16: return Mips::BeqzRxImmX16;
Reed Kotler09e59152013-11-15 02:21:52 +0000149 case Mips::BeqzRxImm16: return Mips::BnezRxImm16;
150 case Mips::BnezRxImm16: return Mips::BeqzRxImm16;
Reed Kotler67439242012-10-17 22:29:54 +0000151 case Mips::BteqzT8CmpX16: return Mips::BtnezT8CmpX16;
152 case Mips::BteqzT8SltX16: return Mips::BtnezT8SltX16;
153 case Mips::BteqzT8SltiX16: return Mips::BtnezT8SltiX16;
Reed Kotler09e59152013-11-15 02:21:52 +0000154 case Mips::Btnez16: return Mips::Bteqz16;
Reed Kotler67439242012-10-17 22:29:54 +0000155 case Mips::BtnezX16: return Mips::BteqzX16;
156 case Mips::BtnezT8CmpiX16: return Mips::BteqzT8CmpiX16;
157 case Mips::BtnezT8SltuX16: return Mips::BteqzT8SltuX16;
158 case Mips::BtnezT8SltiuX16: return Mips::BteqzT8SltiuX16;
Reed Kotler09e59152013-11-15 02:21:52 +0000159 case Mips::Bteqz16: return Mips::Btnez16;
Reed Kotler67439242012-10-17 22:29:54 +0000160 case Mips::BteqzX16: return Mips::BtnezX16;
161 case Mips::BteqzT8CmpiX16: return Mips::BtnezT8CmpiX16;
162 case Mips::BteqzT8SltuX16: return Mips::BtnezT8SltuX16;
163 case Mips::BteqzT8SltiuX16: return Mips::BtnezT8SltiuX16;
164 case Mips::BtnezT8CmpX16: return Mips::BteqzT8CmpX16;
165 case Mips::BtnezT8SltX16: return Mips::BteqzT8SltX16;
166 case Mips::BtnezT8SltiX16: return Mips::BteqzT8SltiX16;
167 }
Craig Topperd3c02f12015-01-05 10:15:49 +0000168 llvm_unreachable("Illegal opcode!");
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000169}
170
Reed Kotler5c29d632013-12-15 20:49:30 +0000171static void addSaveRestoreRegs(MachineInstrBuilder &MIB,
Eric Christopher66b70692014-07-18 22:34:14 +0000172 const std::vector<CalleeSavedInfo> &CSI,
173 unsigned Flags = 0) {
Reed Kotler5c29d632013-12-15 20:49:30 +0000174 for (unsigned i = 0, e = CSI.size(); i != e; ++i) {
175 // Add the callee-saved register as live-in. Do not add if the register is
176 // RA and return address is taken, because it has already been added in
177 // method MipsTargetLowering::LowerRETURNADDR.
178 // It's killed at the spill, unless the register is RA and return address
179 // is taken.
180 unsigned Reg = CSI[e-i-1].getReg();
181 switch (Reg) {
182 case Mips::RA:
183 case Mips::S0:
184 case Mips::S1:
185 MIB.addReg(Reg, Flags);
186 break;
187 case Mips::S2:
188 break;
189 default:
190 llvm_unreachable("unexpected mips16 callee saved register");
191
192 }
193 }
Reed Kotler5c29d632013-12-15 20:49:30 +0000194}
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000195// Adjust SP by FrameSize bytes. Save RA, S0, S1
Tim Northover775aaeb2015-11-05 21:54:58 +0000196void Mips16InstrInfo::makeFrame(unsigned SP, int64_t FrameSize,
197 MachineBasicBlock &MBB,
198 MachineBasicBlock::iterator I) const {
199 DebugLoc DL;
200 MachineFunction &MF = *MBB.getParent();
201 MachineFrameInfo *MFI = MF.getFrameInfo();
202 const BitVector Reserved = RI.getReservedRegs(MF);
Reed Kotler0ff40012013-12-10 14:29:38 +0000203 bool SaveS2 = Reserved[Mips::S2];
204 MachineInstrBuilder MIB;
Reed Kotler5bde5c32013-12-11 03:32:44 +0000205 unsigned Opc = ((FrameSize <= 128) && !SaveS2)? Mips::Save16:Mips::SaveX16;
Reed Kotler5c29d632013-12-15 20:49:30 +0000206 MIB = BuildMI(MBB, I, DL, get(Opc));
207 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
208 addSaveRestoreRegs(MIB, CSI);
209 if (SaveS2)
210 MIB.addReg(Mips::S2);
Reed Kotler2e362b32013-12-09 21:19:51 +0000211 if (isUInt<11>(FrameSize))
Reed Kotler5c29d632013-12-15 20:49:30 +0000212 MIB.addImm(FrameSize);
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000213 else {
Reed Kotler2e362b32013-12-09 21:19:51 +0000214 int Base = 2040; // should create template function like isUInt that
215 // returns largest possible n bit unsigned integer
216 int64_t Remainder = FrameSize - Base;
Reed Kotler5c29d632013-12-15 20:49:30 +0000217 MIB.addImm(Base);
Reed Kotler2e362b32013-12-09 21:19:51 +0000218 if (isInt<16>(-Remainder))
219 BuildAddiuSpImm(MBB, I, -Remainder);
220 else
221 adjustStackPtrBig(SP, -Remainder, MBB, I, Mips::V0, Mips::V1);
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000222 }
223}
224
225// Adjust SP by FrameSize bytes. Restore RA, S0, S1
Jack Carter7ab15fa2013-01-19 02:00:40 +0000226void Mips16InstrInfo::restoreFrame(unsigned SP, int64_t FrameSize,
227 MachineBasicBlock &MBB,
228 MachineBasicBlock::iterator I) const {
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000229 DebugLoc DL = I != MBB.end() ? I->getDebugLoc() : DebugLoc();
Reed Kotler5c29d632013-12-15 20:49:30 +0000230 MachineFunction *MF = MBB.getParent();
231 MachineFrameInfo *MFI = MF->getFrameInfo();
232 const BitVector Reserved = RI.getReservedRegs(*MF);
Reed Kotler0ff40012013-12-10 14:29:38 +0000233 bool SaveS2 = Reserved[Mips::S2];
234 MachineInstrBuilder MIB;
Reed Kotler5bde5c32013-12-11 03:32:44 +0000235 unsigned Opc = ((FrameSize <= 128) && !SaveS2)?
236 Mips::Restore16:Mips::RestoreX16;
Reed Kotler5c29d632013-12-15 20:49:30 +0000237
238 if (!isUInt<11>(FrameSize)) {
239 unsigned Base = 2040;
Reed Kotler2e362b32013-12-09 21:19:51 +0000240 int64_t Remainder = FrameSize - Base;
Reed Kotler5c29d632013-12-15 20:49:30 +0000241 FrameSize = Base; // should create template function like isUInt that
242 // returns largest possible n bit unsigned integer
243
Reed Kotler2e362b32013-12-09 21:19:51 +0000244 if (isInt<16>(Remainder))
245 BuildAddiuSpImm(MBB, I, Remainder);
246 else
247 adjustStackPtrBig(SP, Remainder, MBB, I, Mips::A0, Mips::A1);
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000248 }
Reed Kotler5c29d632013-12-15 20:49:30 +0000249 MIB = BuildMI(MBB, I, DL, get(Opc));
250 const std::vector<CalleeSavedInfo> &CSI = MFI->getCalleeSavedInfo();
251 addSaveRestoreRegs(MIB, CSI, RegState::Define);
Reed Kotler0ff40012013-12-10 14:29:38 +0000252 if (SaveS2)
253 MIB.addReg(Mips::S2, RegState::Define);
Reed Kotler5c29d632013-12-15 20:49:30 +0000254 MIB.addImm(FrameSize);
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000255}
256
257// Adjust SP by Amount bytes where bytes can be up to 32bit number.
Jack Carter7ab15fa2013-01-19 02:00:40 +0000258// This can only be called at times that we know that there is at least one free
259// register.
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000260// This is clearly safe at prologue and epilogue.
261//
Jack Carter7ab15fa2013-01-19 02:00:40 +0000262void Mips16InstrInfo::adjustStackPtrBig(unsigned SP, int64_t Amount,
Tim Northover775aaeb2015-11-05 21:54:58 +0000263 MachineBasicBlock &MBB,
264 MachineBasicBlock::iterator I,
265 unsigned Reg1, unsigned Reg2) const {
266 DebugLoc DL;
267 //
268 // li reg1, constant
269 // move reg2, sp
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000270 // add reg1, reg1, reg2
271 // move sp, reg1
272 //
273 //
274 MachineInstrBuilder MIB1 = BuildMI(MBB, I, DL, get(Mips::LwConstant32), Reg1);
Reed Kotlera787aa22013-11-24 06:18:50 +0000275 MIB1.addImm(Amount).addImm(-1);
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000276 MachineInstrBuilder MIB2 = BuildMI(MBB, I, DL, get(Mips::MoveR3216), Reg2);
277 MIB2.addReg(Mips::SP, RegState::Kill);
278 MachineInstrBuilder MIB3 = BuildMI(MBB, I, DL, get(Mips::AdduRxRyRz16), Reg1);
279 MIB3.addReg(Reg1);
280 MIB3.addReg(Reg2, RegState::Kill);
Jack Carter7ab15fa2013-01-19 02:00:40 +0000281 MachineInstrBuilder MIB4 = BuildMI(MBB, I, DL, get(Mips::Move32R16),
282 Mips::SP);
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000283 MIB4.addReg(Reg1, RegState::Kill);
284}
285
Eric Christopher66b70692014-07-18 22:34:14 +0000286void Mips16InstrInfo::adjustStackPtrBigUnrestricted(
287 unsigned SP, int64_t Amount, MachineBasicBlock &MBB,
288 MachineBasicBlock::iterator I) const {
Craig Topperd3c02f12015-01-05 10:15:49 +0000289 llvm_unreachable("adjust stack pointer amount exceeded");
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000290}
291
Reed Kotler27a72292012-10-31 05:21:10 +0000292/// Adjust SP by Amount bytes.
293void Mips16InstrInfo::adjustStackPtr(unsigned SP, int64_t Amount,
294 MachineBasicBlock &MBB,
295 MachineBasicBlock::iterator I) const {
Vasileios Kalintirisb3698a52015-04-02 10:14:54 +0000296 if (Amount == 0)
297 return;
298
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000299 if (isInt<16>(Amount)) // need to change to addiu sp, ....and isInt<16>
Reed Kotler188dad02013-02-16 19:04:29 +0000300 BuildAddiuSpImm(MBB, I, Amount);
Reed Kotler27a72292012-10-31 05:21:10 +0000301 else
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000302 adjustStackPtrBigUnrestricted(SP, Amount, MBB, I);
303}
304
305/// This function generates the sequence of instructions needed to get the
306/// result of adding register REG and immediate IMM.
Eric Christopher66b70692014-07-18 22:34:14 +0000307unsigned Mips16InstrInfo::loadImmediate(unsigned FrameReg, int64_t Imm,
308 MachineBasicBlock &MBB,
309 MachineBasicBlock::iterator II,
310 DebugLoc DL, unsigned &NewImm) const {
Reed Kotler66165c82013-02-08 03:57:41 +0000311 //
312 // given original instruction is:
313 // Instr rx, T[offset] where offset is too big.
314 //
315 // lo = offset & 0xFFFF
316 // hi = ((offset >> 16) + (lo >> 15)) & 0xFFFF;
317 //
318 // let T = temporary register
319 // li T, hi
320 // shl T, 16
321 // add T, Rx, T
322 //
323 RegScavenger rs;
324 int32_t lo = Imm & 0xFFFF;
Reed Kotler66165c82013-02-08 03:57:41 +0000325 NewImm = lo;
Reed Kotler30cedf62013-08-04 01:13:25 +0000326 int Reg =0;
327 int SpReg = 0;
328
Reed Kotler66165c82013-02-08 03:57:41 +0000329 rs.enterBasicBlock(&MBB);
330 rs.forward(II);
331 //
Reed Kotler30cedf62013-08-04 01:13:25 +0000332 // We need to know which registers can be used, in the case where there
333 // are not enough free registers. We exclude all registers that
334 // are used in the instruction that we are helping.
335 // // Consider all allocatable registers in the register class initially
336 BitVector Candidates =
337 RI.getAllocatableSet
338 (*II->getParent()->getParent(), &Mips::CPU16RegsRegClass);
339 // Exclude all the registers being used by the instruction.
340 for (unsigned i = 0, e = II->getNumOperands(); i != e; ++i) {
341 MachineOperand &MO = II->getOperand(i);
342 if (MO.isReg() && MO.getReg() != 0 && !MO.isDef() &&
343 !TargetRegisterInfo::isVirtualRegister(MO.getReg()))
344 Candidates.reset(MO.getReg());
345 }
Eric Christopher66b70692014-07-18 22:34:14 +0000346
Reed Kotler30cedf62013-08-04 01:13:25 +0000347 // If the same register was used and defined in an instruction, then
348 // it will not be in the list of candidates.
349 //
350 // we need to analyze the instruction that we are helping.
351 // we need to know if it defines register x but register x is not
352 // present as an operand of the instruction. this tells
353 // whether the register is live before the instruction. if it's not
354 // then we don't need to save it in case there are no free registers.
Reed Kotler30cedf62013-08-04 01:13:25 +0000355 int DefReg = 0;
356 for (unsigned i = 0, e = II->getNumOperands(); i != e; ++i) {
357 MachineOperand &MO = II->getOperand(i);
358 if (MO.isReg() && MO.isDef()) {
359 DefReg = MO.getReg();
360 break;
361 }
362 }
Reed Kotler30cedf62013-08-04 01:13:25 +0000363
Eric Christopher66b70692014-07-18 22:34:14 +0000364 BitVector Available = rs.getRegsAvailable(&Mips::CPU16RegsRegClass);
Reed Kotler30cedf62013-08-04 01:13:25 +0000365 Available &= Candidates;
366 //
Reed Kotler66165c82013-02-08 03:57:41 +0000367 // we use T0 for the first register, if we need to save something away.
368 // we use T1 for the second register, if we need to save something away.
369 //
370 unsigned FirstRegSaved =0, SecondRegSaved=0;
371 unsigned FirstRegSavedTo = 0, SecondRegSavedTo = 0;
Reed Kotlerd019dbf2012-12-20 04:07:42 +0000372
Reed Kotler30cedf62013-08-04 01:13:25 +0000373 Reg = Available.find_first();
374
375 if (Reg == -1) {
376 Reg = Candidates.find_first();
377 Candidates.reset(Reg);
378 if (DefReg != Reg) {
379 FirstRegSaved = Reg;
380 FirstRegSavedTo = Mips::T0;
381 copyPhysReg(MBB, II, DL, FirstRegSavedTo, FirstRegSaved, true);
382 }
Reed Kotler66165c82013-02-08 03:57:41 +0000383 }
384 else
Reed Kotler30cedf62013-08-04 01:13:25 +0000385 Available.reset(Reg);
Reed Kotlera787aa22013-11-24 06:18:50 +0000386 BuildMI(MBB, II, DL, get(Mips::LwConstant32), Reg).addImm(Imm).addImm(-1);
Reed Kotler30cedf62013-08-04 01:13:25 +0000387 NewImm = 0;
Reed Kotler66165c82013-02-08 03:57:41 +0000388 if (FrameReg == Mips::SP) {
Reed Kotler30cedf62013-08-04 01:13:25 +0000389 SpReg = Available.find_first();
390 if (SpReg == -1) {
391 SpReg = Candidates.find_first();
392 // Candidates.reset(SpReg); // not really needed
393 if (DefReg!= SpReg) {
394 SecondRegSaved = SpReg;
Reed Kotler66165c82013-02-08 03:57:41 +0000395 SecondRegSavedTo = Mips::T1;
396 }
Reed Kotler30cedf62013-08-04 01:13:25 +0000397 if (SecondRegSaved)
398 copyPhysReg(MBB, II, DL, SecondRegSavedTo, SecondRegSaved, true);
Reed Kotler66165c82013-02-08 03:57:41 +0000399 }
Reed Kotler30cedf62013-08-04 01:13:25 +0000400 else
401 Available.reset(SpReg);
Reed Kotler66165c82013-02-08 03:57:41 +0000402 copyPhysReg(MBB, II, DL, SpReg, Mips::SP, false);
Reed Kotler30cedf62013-08-04 01:13:25 +0000403 BuildMI(MBB, II, DL, get(Mips:: AdduRxRyRz16), Reg).addReg(SpReg, RegState::Kill)
Reed Kotler66165c82013-02-08 03:57:41 +0000404 .addReg(Reg);
405 }
406 else
407 BuildMI(MBB, II, DL, get(Mips:: AdduRxRyRz16), Reg).addReg(FrameReg)
408 .addReg(Reg, RegState::Kill);
409 if (FirstRegSaved || SecondRegSaved) {
Benjamin Kramerb6d0bd42014-03-02 12:27:27 +0000410 II = std::next(II);
Reed Kotler66165c82013-02-08 03:57:41 +0000411 if (FirstRegSaved)
412 copyPhysReg(MBB, II, DL, FirstRegSaved, FirstRegSavedTo, true);
413 if (SecondRegSaved)
414 copyPhysReg(MBB, II, DL, SecondRegSaved, SecondRegSavedTo, true);
415 }
416 return Reg;
Reed Kotler27a72292012-10-31 05:21:10 +0000417}
418
Akira Hatanaka067d8152013-05-13 17:43:19 +0000419unsigned Mips16InstrInfo::getAnalyzableBrOpc(unsigned Opc) const {
Reed Kotler67439242012-10-17 22:29:54 +0000420 return (Opc == Mips::BeqzRxImmX16 || Opc == Mips::BimmX16 ||
Reed Kotlerf0e69682013-11-12 02:27:12 +0000421 Opc == Mips::Bimm16 ||
Reed Kotler09e59152013-11-15 02:21:52 +0000422 Opc == Mips::Bteqz16 || Opc == Mips::Btnez16 ||
423 Opc == Mips::BeqzRxImm16 || Opc == Mips::BnezRxImm16 ||
Reed Kotler67439242012-10-17 22:29:54 +0000424 Opc == Mips::BnezRxImmX16 || Opc == Mips::BteqzX16 ||
425 Opc == Mips::BteqzT8CmpX16 || Opc == Mips::BteqzT8CmpiX16 ||
426 Opc == Mips::BteqzT8SltX16 || Opc == Mips::BteqzT8SltuX16 ||
427 Opc == Mips::BteqzT8SltiX16 || Opc == Mips::BteqzT8SltiuX16 ||
428 Opc == Mips::BtnezX16 || Opc == Mips::BtnezT8CmpX16 ||
429 Opc == Mips::BtnezT8CmpiX16 || Opc == Mips::BtnezT8SltX16 ||
430 Opc == Mips::BtnezT8SltuX16 || Opc == Mips::BtnezT8SltiX16 ||
431 Opc == Mips::BtnezT8SltiuX16 ) ? Opc : 0;
Akira Hatanakab7fa3c92012-07-31 21:49:49 +0000432}
433
434void Mips16InstrInfo::ExpandRetRA16(MachineBasicBlock &MBB,
435 MachineBasicBlock::iterator I,
436 unsigned Opc) const {
437 BuildMI(MBB, I, I->getDebugLoc(), get(Opc));
438}
Akira Hatanakafab89292012-08-02 18:21:47 +0000439
Reed Kotler8cf51032013-02-16 09:47:57 +0000440const MCInstrDesc &Mips16InstrInfo::AddiuSpImm(int64_t Imm) const {
Reed Kotlerf662cff2013-02-13 20:28:27 +0000441 if (validSpImm8(Imm))
Reed Kotler8cf51032013-02-16 09:47:57 +0000442 return get(Mips::AddiuSpImm16);
Reed Kotlerf662cff2013-02-13 20:28:27 +0000443 else
Reed Kotler8cf51032013-02-16 09:47:57 +0000444 return get(Mips::AddiuSpImmX16);
Reed Kotlerf662cff2013-02-13 20:28:27 +0000445}
Tim Northover775aaeb2015-11-05 21:54:58 +0000446
447void Mips16InstrInfo::BuildAddiuSpImm
448 (MachineBasicBlock &MBB, MachineBasicBlock::iterator I, int64_t Imm) const {
449 DebugLoc DL;
450 BuildMI(MBB, I, DL, AddiuSpImm(Imm)).addImm(Imm);
451}
452
Eric Christopher675cb4d2014-07-18 23:25:00 +0000453const MipsInstrInfo *llvm::createMips16InstrInfo(const MipsSubtarget &STI) {
454 return new Mips16InstrInfo(STI);
Akira Hatanakafab89292012-08-02 18:21:47 +0000455}
Reed Kotler30cedf62013-08-04 01:13:25 +0000456
Reed Kotler30cedf62013-08-04 01:13:25 +0000457bool Mips16InstrInfo::validImmediate(unsigned Opcode, unsigned Reg,
458 int64_t Amount) {
459 switch (Opcode) {
460 case Mips::LbRxRyOffMemX16:
461 case Mips::LbuRxRyOffMemX16:
462 case Mips::LhRxRyOffMemX16:
463 case Mips::LhuRxRyOffMemX16:
464 case Mips::SbRxRyOffMemX16:
465 case Mips::ShRxRyOffMemX16:
466 case Mips::LwRxRyOffMemX16:
467 case Mips::SwRxRyOffMemX16:
468 case Mips::SwRxSpImmX16:
469 case Mips::LwRxSpImmX16:
470 return isInt<16>(Amount);
471 case Mips::AddiuRxRyOffMemX16:
472 if ((Reg == Mips::PC) || (Reg == Mips::SP))
473 return isInt<16>(Amount);
474 return isInt<15>(Amount);
475 }
Reed Kotler30cedf62013-08-04 01:13:25 +0000476 llvm_unreachable("unexpected Opcode in validImmediate");
477}
Reed Kotler5c8ae092013-11-13 04:37:52 +0000478
479/// Measure the specified inline asm to determine an approximation of its
480/// length.
481/// Comments (which run till the next SeparatorString or newline) do not
482/// count as an instruction.
483/// Any other non-whitespace text is considered an instruction, with
484/// multiple instructions separated by SeparatorString or newlines.
485/// Variable-length instructions are not handled here; this function
486/// may be overloaded in the target code to do that.
487/// We implement the special case of the .space directive taking only an
488/// integer argument, which is the size in bytes. This is used for creating
489/// inline code spacing for testing purposes using inline assembly.
490///
491unsigned Mips16InstrInfo::getInlineAsmLength(const char *Str,
492 const MCAsmInfo &MAI) const {
493
Reed Kotler5c8ae092013-11-13 04:37:52 +0000494 // Count the number of instructions in the asm.
495 bool atInsnStart = true;
496 unsigned Length = 0;
497 for (; *Str; ++Str) {
498 if (*Str == '\n' || strncmp(Str, MAI.getSeparatorString(),
499 strlen(MAI.getSeparatorString())) == 0)
500 atInsnStart = true;
501 if (atInsnStart && !std::isspace(static_cast<unsigned char>(*Str))) {
502 if (strncmp(Str, ".space", 6)==0) {
503 char *EStr; int Sz;
504 Sz = strtol(Str+6, &EStr, 10);
505 while (isspace(*EStr)) ++EStr;
506 if (*EStr=='\0') {
507 DEBUG(dbgs() << "parsed .space " << Sz << '\n');
508 return Sz;
509 }
510 }
511 Length += MAI.getMaxInstLength();
512 atInsnStart = false;
513 }
514 if (atInsnStart && strncmp(Str, MAI.getCommentString(),
515 strlen(MAI.getCommentString())) == 0)
516 atInsnStart = false;
517 }
518
519 return Length;
520}