blob: 7b6a2a1544710f42fad8c6f9e0a1c5a5c3e30036 [file] [log] [blame]
Akira Hatanaka30a84782013-03-14 18:27:31 +00001//===-- Mips16ISelDAGToDAG.cpp - A Dag to Dag Inst Selector for Mips16 ----===//
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// Subclass of MipsDAGToDAGISel specialized for mips16.
11//
12//===----------------------------------------------------------------------===//
13
Akira Hatanaka30a84782013-03-14 18:27:31 +000014#include "Mips16ISelDAGToDAG.h"
Akira Hatanaka30a84782013-03-14 18:27:31 +000015#include "MCTargetDesc/MipsBaseInfo.h"
Chandler Carruth8a8cd2b2014-01-07 11:48:04 +000016#include "Mips.h"
Akira Hatanaka30a84782013-03-14 18:27:31 +000017#include "MipsAnalyzeImmediate.h"
18#include "MipsMachineFunction.h"
19#include "MipsRegisterInfo.h"
20#include "llvm/CodeGen/MachineConstantPool.h"
21#include "llvm/CodeGen/MachineFrameInfo.h"
22#include "llvm/CodeGen/MachineFunction.h"
23#include "llvm/CodeGen/MachineInstrBuilder.h"
24#include "llvm/CodeGen/MachineRegisterInfo.h"
25#include "llvm/CodeGen/SelectionDAGNodes.h"
Chandler Carruth1305dc32014-03-04 11:45:46 +000026#include "llvm/IR/CFG.h"
Akira Hatanaka30a84782013-03-14 18:27:31 +000027#include "llvm/IR/GlobalValue.h"
28#include "llvm/IR/Instructions.h"
29#include "llvm/IR/Intrinsics.h"
30#include "llvm/IR/Type.h"
Akira Hatanaka30a84782013-03-14 18:27:31 +000031#include "llvm/Support/Debug.h"
32#include "llvm/Support/ErrorHandling.h"
33#include "llvm/Support/raw_ostream.h"
34#include "llvm/Target/TargetMachine.h"
35using namespace llvm;
36
Chandler Carruth84e68b22014-04-22 02:41:26 +000037#define DEBUG_TYPE "mips-isel"
38
Reed Kotler1595f362013-04-09 19:46:01 +000039bool Mips16DAGToDAGISel::runOnMachineFunction(MachineFunction &MF) {
Eric Christopher96e72c62015-01-29 23:27:36 +000040 Subtarget = &static_cast<const MipsSubtarget &>(MF.getSubtarget());
Eric Christopher22405e42014-07-10 17:26:51 +000041 if (!Subtarget->inMips16Mode())
Reed Kotler1595f362013-04-09 19:46:01 +000042 return false;
43 return MipsDAGToDAGISel::runOnMachineFunction(MF);
44}
Akira Hatanaka30a84782013-03-14 18:27:31 +000045/// Select multiply instructions.
46std::pair<SDNode*, SDNode*>
Andrew Trickef9de2a2013-05-25 02:42:55 +000047Mips16DAGToDAGISel::selectMULT(SDNode *N, unsigned Opc, SDLoc DL, EVT Ty,
Akira Hatanaka30a84782013-03-14 18:27:31 +000048 bool HasLo, bool HasHi) {
Craig Topper062a2ba2014-04-25 05:30:21 +000049 SDNode *Lo = nullptr, *Hi = nullptr;
Akira Hatanaka040d2252013-03-14 18:33:23 +000050 SDNode *Mul = CurDAG->getMachineNode(Opc, DL, MVT::Glue, N->getOperand(0),
Akira Hatanaka30a84782013-03-14 18:27:31 +000051 N->getOperand(1));
52 SDValue InFlag = SDValue(Mul, 0);
53
54 if (HasLo) {
55 unsigned Opcode = Mips::Mflo16;
Akira Hatanaka040d2252013-03-14 18:33:23 +000056 Lo = CurDAG->getMachineNode(Opcode, DL, Ty, MVT::Glue, InFlag);
Akira Hatanaka30a84782013-03-14 18:27:31 +000057 InFlag = SDValue(Lo, 1);
58 }
59 if (HasHi) {
60 unsigned Opcode = Mips::Mfhi16;
Akira Hatanaka040d2252013-03-14 18:33:23 +000061 Hi = CurDAG->getMachineNode(Opcode, DL, Ty, InFlag);
Akira Hatanaka30a84782013-03-14 18:27:31 +000062 }
63 return std::make_pair(Lo, Hi);
64}
65
Akira Hatanaka040d2252013-03-14 18:33:23 +000066void Mips16DAGToDAGISel::initGlobalBaseReg(MachineFunction &MF) {
Akira Hatanaka30a84782013-03-14 18:27:31 +000067 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
68
69 if (!MipsFI->globalBaseRegSet())
70 return;
71
72 MachineBasicBlock &MBB = MF.front();
73 MachineBasicBlock::iterator I = MBB.begin();
74 MachineRegisterInfo &RegInfo = MF.getRegInfo();
Eric Christopher96e72c62015-01-29 23:27:36 +000075 const TargetInstrInfo &TII = *Subtarget->getInstrInfo();
Akira Hatanaka30a84782013-03-14 18:27:31 +000076 DebugLoc DL = I != MBB.end() ? I->getDebugLoc() : DebugLoc();
77 unsigned V0, V1, V2, GlobalBaseReg = MipsFI->getGlobalBaseReg();
Craig Topper61e88f42014-11-21 05:58:21 +000078 const TargetRegisterClass *RC = &Mips::CPU16RegsRegClass;
Akira Hatanaka30a84782013-03-14 18:27:31 +000079
80 V0 = RegInfo.createVirtualRegister(RC);
81 V1 = RegInfo.createVirtualRegister(RC);
82 V2 = RegInfo.createVirtualRegister(RC);
83
Reed Kotlerd6aadc72013-09-18 22:46:09 +000084 BuildMI(MBB, I, DL, TII.get(Mips::GotPrologue16), V0).
85 addReg(V1, RegState::Define).
86 addExternalSymbol("_gp_disp", MipsII::MO_ABS_HI).
87 addExternalSymbol("_gp_disp", MipsII::MO_ABS_LO);
88
Akira Hatanaka30a84782013-03-14 18:27:31 +000089 BuildMI(MBB, I, DL, TII.get(Mips::SllX16), V2).addReg(V0).addImm(16);
90 BuildMI(MBB, I, DL, TII.get(Mips::AdduRxRyRz16), GlobalBaseReg)
91 .addReg(V1).addReg(V2);
92}
93
94// Insert instructions to initialize the Mips16 SP Alias register in the
95// first MBB of the function.
96//
Akira Hatanaka040d2252013-03-14 18:33:23 +000097void Mips16DAGToDAGISel::initMips16SPAliasReg(MachineFunction &MF) {
Akira Hatanaka30a84782013-03-14 18:27:31 +000098 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
99
100 if (!MipsFI->mips16SPAliasRegSet())
101 return;
102
103 MachineBasicBlock &MBB = MF.front();
104 MachineBasicBlock::iterator I = MBB.begin();
Eric Christopher96e72c62015-01-29 23:27:36 +0000105 const TargetInstrInfo &TII = *Subtarget->getInstrInfo();
Akira Hatanaka30a84782013-03-14 18:27:31 +0000106 DebugLoc DL = I != MBB.end() ? I->getDebugLoc() : DebugLoc();
107 unsigned Mips16SPAliasReg = MipsFI->getMips16SPAliasReg();
108
109 BuildMI(MBB, I, DL, TII.get(Mips::MoveR3216), Mips16SPAliasReg)
110 .addReg(Mips::SP);
111}
112
Akira Hatanaka040d2252013-03-14 18:33:23 +0000113void Mips16DAGToDAGISel::processFunctionAfterISel(MachineFunction &MF) {
114 initGlobalBaseReg(MF);
115 initMips16SPAliasReg(MF);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000116}
117
118/// getMips16SPAliasReg - Output the instructions required to put the
119/// SP into a Mips16 accessible aliased register.
120SDValue Mips16DAGToDAGISel::getMips16SPAliasReg() {
121 unsigned Mips16SPAliasReg =
122 MF->getInfo<MipsFunctionInfo>()->getMips16SPAliasReg();
Bill Wendlinga3cd3502013-06-19 21:36:55 +0000123 return CurDAG->getRegister(Mips16SPAliasReg,
124 getTargetLowering()->getPointerTy());
Akira Hatanaka30a84782013-03-14 18:27:31 +0000125}
126
127void Mips16DAGToDAGISel::getMips16SPRefReg(SDNode *Parent, SDValue &AliasReg) {
Bill Wendlinga3cd3502013-06-19 21:36:55 +0000128 SDValue AliasFPReg = CurDAG->getRegister(Mips::S0,
129 getTargetLowering()->getPointerTy());
Akira Hatanaka30a84782013-03-14 18:27:31 +0000130 if (Parent) {
131 switch (Parent->getOpcode()) {
132 case ISD::LOAD: {
133 LoadSDNode *SD = dyn_cast<LoadSDNode>(Parent);
134 switch (SD->getMemoryVT().getSizeInBits()) {
135 case 8:
136 case 16:
Eric Christopher96e72c62015-01-29 23:27:36 +0000137 AliasReg = Subtarget->getFrameLowering()->hasFP(*MF)
Eric Christopherd9134482014-08-04 21:25:23 +0000138 ? AliasFPReg
139 : getMips16SPAliasReg();
Akira Hatanaka30a84782013-03-14 18:27:31 +0000140 return;
141 }
142 break;
143 }
144 case ISD::STORE: {
145 StoreSDNode *SD = dyn_cast<StoreSDNode>(Parent);
146 switch (SD->getMemoryVT().getSizeInBits()) {
147 case 8:
148 case 16:
Eric Christopher96e72c62015-01-29 23:27:36 +0000149 AliasReg = Subtarget->getFrameLowering()->hasFP(*MF)
Eric Christopherd9134482014-08-04 21:25:23 +0000150 ? AliasFPReg
151 : getMips16SPAliasReg();
Akira Hatanaka30a84782013-03-14 18:27:31 +0000152 return;
153 }
154 break;
155 }
156 }
157 }
Bill Wendlinga3cd3502013-06-19 21:36:55 +0000158 AliasReg = CurDAG->getRegister(Mips::SP, getTargetLowering()->getPointerTy());
Akira Hatanaka30a84782013-03-14 18:27:31 +0000159 return;
160
161}
162
Akira Hatanaka040d2252013-03-14 18:33:23 +0000163bool Mips16DAGToDAGISel::selectAddr16(
Akira Hatanaka30a84782013-03-14 18:27:31 +0000164 SDNode *Parent, SDValue Addr, SDValue &Base, SDValue &Offset,
165 SDValue &Alias) {
Sergey Dmitroukadb4c692015-04-28 11:56:37 +0000166 SDLoc DL(Addr);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000167 EVT ValTy = Addr.getValueType();
168
Sergey Dmitroukadb4c692015-04-28 11:56:37 +0000169 Alias = CurDAG->getTargetConstant(0, DL, ValTy);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000170
171 // if Address is FI, get the TargetFrameIndex.
172 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
173 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), ValTy);
Sergey Dmitroukadb4c692015-04-28 11:56:37 +0000174 Offset = CurDAG->getTargetConstant(0, DL, ValTy);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000175 getMips16SPRefReg(Parent, Alias);
176 return true;
177 }
178 // on PIC code Load GA
179 if (Addr.getOpcode() == MipsISD::Wrapper) {
180 Base = Addr.getOperand(0);
181 Offset = Addr.getOperand(1);
182 return true;
183 }
184 if (TM.getRelocationModel() != Reloc::PIC_) {
185 if ((Addr.getOpcode() == ISD::TargetExternalSymbol ||
186 Addr.getOpcode() == ISD::TargetGlobalAddress))
187 return false;
188 }
189 // Addresses of the form FI+const or FI|const
190 if (CurDAG->isBaseWithConstantOffset(Addr)) {
191 ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr.getOperand(1));
192 if (isInt<16>(CN->getSExtValue())) {
193
194 // If the first operand is a FI, get the TargetFI Node
195 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>
196 (Addr.getOperand(0))) {
197 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), ValTy);
198 getMips16SPRefReg(Parent, Alias);
199 }
200 else
201 Base = Addr.getOperand(0);
202
Sergey Dmitroukadb4c692015-04-28 11:56:37 +0000203 Offset = CurDAG->getTargetConstant(CN->getZExtValue(), DL, ValTy);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000204 return true;
205 }
206 }
207 // Operand is a result from an ADD.
208 if (Addr.getOpcode() == ISD::ADD) {
209 // When loading from constant pools, load the lower address part in
210 // the instruction itself. Example, instead of:
211 // lui $2, %hi($CPI1_0)
212 // addiu $2, $2, %lo($CPI1_0)
213 // lwc1 $f0, 0($2)
214 // Generate:
215 // lui $2, %hi($CPI1_0)
216 // lwc1 $f0, %lo($CPI1_0)($2)
217 if (Addr.getOperand(1).getOpcode() == MipsISD::Lo ||
218 Addr.getOperand(1).getOpcode() == MipsISD::GPRel) {
219 SDValue Opnd0 = Addr.getOperand(1).getOperand(0);
220 if (isa<ConstantPoolSDNode>(Opnd0) || isa<GlobalAddressSDNode>(Opnd0) ||
221 isa<JumpTableSDNode>(Opnd0)) {
222 Base = Addr.getOperand(0);
223 Offset = Opnd0;
224 return true;
225 }
226 }
227
228 // If an indexed floating point load/store can be emitted, return false.
229 const LSBaseSDNode *LS = dyn_cast<LSBaseSDNode>(Parent);
230
Daniel Sanders94eda2e2014-05-12 11:56:16 +0000231 if (LS) {
Eric Christopher22405e42014-07-10 17:26:51 +0000232 if (LS->getMemoryVT() == MVT::f32 && Subtarget->hasMips4_32r2())
Daniel Sanders94eda2e2014-05-12 11:56:16 +0000233 return false;
Eric Christopher22405e42014-07-10 17:26:51 +0000234 if (LS->getMemoryVT() == MVT::f64 && Subtarget->hasMips4_32r2())
Daniel Sanders94eda2e2014-05-12 11:56:16 +0000235 return false;
236 }
Akira Hatanaka30a84782013-03-14 18:27:31 +0000237 }
238 Base = Addr;
Sergey Dmitroukadb4c692015-04-28 11:56:37 +0000239 Offset = CurDAG->getTargetConstant(0, DL, ValTy);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000240 return true;
241}
242
243/// Select instructions not customized! Used for
244/// expanded, promoted and normal instructions
Akira Hatanaka040d2252013-03-14 18:33:23 +0000245std::pair<bool, SDNode*> Mips16DAGToDAGISel::selectNode(SDNode *Node) {
Akira Hatanaka30a84782013-03-14 18:27:31 +0000246 unsigned Opcode = Node->getOpcode();
Andrew Trickef9de2a2013-05-25 02:42:55 +0000247 SDLoc DL(Node);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000248
249 ///
250 // Instruction Selection not handled by the auto-generated
251 // tablegen selection should be handled here.
252 ///
253 EVT NodeTy = Node->getValueType(0);
254 unsigned MultOpc;
255
256 switch(Opcode) {
257 default: break;
258
259 case ISD::SUBE:
260 case ISD::ADDE: {
261 SDValue InFlag = Node->getOperand(2), CmpLHS;
262 unsigned Opc = InFlag.getOpcode(); (void)Opc;
263 assert(((Opc == ISD::ADDC || Opc == ISD::ADDE) ||
264 (Opc == ISD::SUBC || Opc == ISD::SUBE)) &&
265 "(ADD|SUB)E flag operand must come from (ADD|SUB)C/E insn");
266
267 unsigned MOp;
268 if (Opcode == ISD::ADDE) {
269 CmpLHS = InFlag.getValue(0);
270 MOp = Mips::AdduRxRyRz16;
271 } else {
272 CmpLHS = InFlag.getOperand(0);
273 MOp = Mips::SubuRxRyRz16;
274 }
275
276 SDValue Ops[] = { CmpLHS, InFlag.getOperand(1) };
277
278 SDValue LHS = Node->getOperand(0);
279 SDValue RHS = Node->getOperand(1);
280
281 EVT VT = LHS.getValueType();
282
283 unsigned Sltu_op = Mips::SltuRxRyRz16;
Michael Liaob53d8962013-04-19 22:22:57 +0000284 SDNode *Carry = CurDAG->getMachineNode(Sltu_op, DL, VT, Ops);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000285 unsigned Addu_op = Mips::AdduRxRyRz16;
Akira Hatanaka040d2252013-03-14 18:33:23 +0000286 SDNode *AddCarry = CurDAG->getMachineNode(Addu_op, DL, VT,
Akira Hatanaka30a84782013-03-14 18:27:31 +0000287 SDValue(Carry,0), RHS);
288
289 SDNode *Result = CurDAG->SelectNodeTo(Node, MOp, VT, MVT::Glue, LHS,
290 SDValue(AddCarry,0));
291 return std::make_pair(true, Result);
292 }
293
294 /// Mul with two results
295 case ISD::SMUL_LOHI:
296 case ISD::UMUL_LOHI: {
297 MultOpc = (Opcode == ISD::UMUL_LOHI ? Mips::MultuRxRy16 : Mips::MultRxRy16);
Akira Hatanaka040d2252013-03-14 18:33:23 +0000298 std::pair<SDNode*, SDNode*> LoHi = selectMULT(Node, MultOpc, DL, NodeTy,
Akira Hatanaka30a84782013-03-14 18:27:31 +0000299 true, true);
300 if (!SDValue(Node, 0).use_empty())
301 ReplaceUses(SDValue(Node, 0), SDValue(LoHi.first, 0));
302
303 if (!SDValue(Node, 1).use_empty())
304 ReplaceUses(SDValue(Node, 1), SDValue(LoHi.second, 0));
305
Craig Topper062a2ba2014-04-25 05:30:21 +0000306 return std::make_pair(true, nullptr);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000307 }
308
309 case ISD::MULHS:
310 case ISD::MULHU: {
311 MultOpc = (Opcode == ISD::MULHU ? Mips::MultuRxRy16 : Mips::MultRxRy16);
Akira Hatanaka040d2252013-03-14 18:33:23 +0000312 SDNode *Result = selectMULT(Node, MultOpc, DL, NodeTy, false, true).second;
Akira Hatanaka30a84782013-03-14 18:27:31 +0000313 return std::make_pair(true, Result);
314 }
315 }
316
Craig Topper062a2ba2014-04-25 05:30:21 +0000317 return std::make_pair(false, nullptr);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000318}
319
320FunctionPass *llvm::createMips16ISelDag(MipsTargetMachine &TM) {
321 return new Mips16DAGToDAGISel(TM);
322}