blob: 6a4f44354b627e70b94d430670c5d87c26e61a04 [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 "MipsMachineFunction.h"
18#include "MipsRegisterInfo.h"
19#include "llvm/CodeGen/MachineConstantPool.h"
20#include "llvm/CodeGen/MachineFrameInfo.h"
21#include "llvm/CodeGen/MachineFunction.h"
22#include "llvm/CodeGen/MachineInstrBuilder.h"
23#include "llvm/CodeGen/MachineRegisterInfo.h"
24#include "llvm/CodeGen/SelectionDAGNodes.h"
Chandler Carruth1305dc32014-03-04 11:45:46 +000025#include "llvm/IR/CFG.h"
Akira Hatanaka30a84782013-03-14 18:27:31 +000026#include "llvm/IR/GlobalValue.h"
27#include "llvm/IR/Instructions.h"
28#include "llvm/IR/Intrinsics.h"
29#include "llvm/IR/Type.h"
Akira Hatanaka30a84782013-03-14 18:27:31 +000030#include "llvm/Support/Debug.h"
31#include "llvm/Support/ErrorHandling.h"
32#include "llvm/Support/raw_ostream.h"
33#include "llvm/Target/TargetMachine.h"
34using namespace llvm;
35
Chandler Carruth84e68b22014-04-22 02:41:26 +000036#define DEBUG_TYPE "mips-isel"
37
Reed Kotler1595f362013-04-09 19:46:01 +000038bool Mips16DAGToDAGISel::runOnMachineFunction(MachineFunction &MF) {
Eric Christopher96e72c62015-01-29 23:27:36 +000039 Subtarget = &static_cast<const MipsSubtarget &>(MF.getSubtarget());
Eric Christopher22405e42014-07-10 17:26:51 +000040 if (!Subtarget->inMips16Mode())
Reed Kotler1595f362013-04-09 19:46:01 +000041 return false;
42 return MipsDAGToDAGISel::runOnMachineFunction(MF);
43}
Akira Hatanaka30a84782013-03-14 18:27:31 +000044/// Select multiply instructions.
Benjamin Kramerbdc49562016-06-12 15:39:02 +000045std::pair<SDNode *, SDNode *>
46Mips16DAGToDAGISel::selectMULT(SDNode *N, unsigned Opc, const SDLoc &DL, EVT Ty,
Akira Hatanaka30a84782013-03-14 18:27:31 +000047 bool HasLo, bool HasHi) {
Craig Topper062a2ba2014-04-25 05:30:21 +000048 SDNode *Lo = nullptr, *Hi = nullptr;
Akira Hatanaka040d2252013-03-14 18:33:23 +000049 SDNode *Mul = CurDAG->getMachineNode(Opc, DL, MVT::Glue, N->getOperand(0),
Akira Hatanaka30a84782013-03-14 18:27:31 +000050 N->getOperand(1));
51 SDValue InFlag = SDValue(Mul, 0);
52
53 if (HasLo) {
54 unsigned Opcode = Mips::Mflo16;
Akira Hatanaka040d2252013-03-14 18:33:23 +000055 Lo = CurDAG->getMachineNode(Opcode, DL, Ty, MVT::Glue, InFlag);
Akira Hatanaka30a84782013-03-14 18:27:31 +000056 InFlag = SDValue(Lo, 1);
57 }
58 if (HasHi) {
59 unsigned Opcode = Mips::Mfhi16;
Akira Hatanaka040d2252013-03-14 18:33:23 +000060 Hi = CurDAG->getMachineNode(Opcode, DL, Ty, InFlag);
Akira Hatanaka30a84782013-03-14 18:27:31 +000061 }
62 return std::make_pair(Lo, Hi);
63}
64
Akira Hatanaka040d2252013-03-14 18:33:23 +000065void Mips16DAGToDAGISel::initGlobalBaseReg(MachineFunction &MF) {
Akira Hatanaka30a84782013-03-14 18:27:31 +000066 MipsFunctionInfo *MipsFI = MF.getInfo<MipsFunctionInfo>();
67
68 if (!MipsFI->globalBaseRegSet())
69 return;
70
71 MachineBasicBlock &MBB = MF.front();
Tim Northover775aaeb2015-11-05 21:54:58 +000072 MachineBasicBlock::iterator I = MBB.begin();
73 MachineRegisterInfo &RegInfo = MF.getRegInfo();
74 const TargetInstrInfo &TII = *Subtarget->getInstrInfo();
75 DebugLoc DL;
76 unsigned V0, V1, V2, GlobalBaseReg = MipsFI->getGlobalBaseReg();
77 const TargetRegisterClass *RC = &Mips::CPU16RegsRegClass;
78
Akira Hatanaka30a84782013-03-14 18:27:31 +000079 V0 = RegInfo.createVirtualRegister(RC);
80 V1 = RegInfo.createVirtualRegister(RC);
81 V2 = RegInfo.createVirtualRegister(RC);
82
Daniel Sanders8015c702016-06-15 09:44:22 +000083 BuildMI(MBB, I, DL, TII.get(Mips::GotPrologue16), V0)
84 .addReg(V1, RegState::Define)
85 .addExternalSymbol("_gp_disp", MipsII::MO_ABS_HI)
86 .addExternalSymbol("_gp_disp", MipsII::MO_ABS_LO);
Reed Kotlerd6aadc72013-09-18 22:46:09 +000087
Akira Hatanaka30a84782013-03-14 18:27:31 +000088 BuildMI(MBB, I, DL, TII.get(Mips::SllX16), V2).addReg(V0).addImm(16);
89 BuildMI(MBB, I, DL, TII.get(Mips::AdduRxRyRz16), GlobalBaseReg)
Daniel Sanders8015c702016-06-15 09:44:22 +000090 .addReg(V1)
91 .addReg(V2);
Akira Hatanaka30a84782013-03-14 18:27:31 +000092}
93
Akira Hatanaka040d2252013-03-14 18:33:23 +000094void Mips16DAGToDAGISel::processFunctionAfterISel(MachineFunction &MF) {
95 initGlobalBaseReg(MF);
Akira Hatanaka30a84782013-03-14 18:27:31 +000096}
97
Daniel Sandersde7816b2016-06-16 10:20:59 +000098bool Mips16DAGToDAGISel::selectAddr(bool SPAllowed, SDValue Addr, SDValue &Base,
99 SDValue &Offset) {
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000100 SDLoc DL(Addr);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000101 EVT ValTy = Addr.getValueType();
102
Akira Hatanaka30a84782013-03-14 18:27:31 +0000103 // if Address is FI, get the TargetFrameIndex.
Daniel Sandersde7816b2016-06-16 10:20:59 +0000104 if (SPAllowed) {
105 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
106 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), ValTy);
107 Offset = CurDAG->getTargetConstant(0, DL, ValTy);
108 return true;
109 }
Akira Hatanaka30a84782013-03-14 18:27:31 +0000110 }
111 // on PIC code Load GA
112 if (Addr.getOpcode() == MipsISD::Wrapper) {
Daniel Sanders8015c702016-06-15 09:44:22 +0000113 Base = Addr.getOperand(0);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000114 Offset = Addr.getOperand(1);
115 return true;
116 }
117 if (TM.getRelocationModel() != Reloc::PIC_) {
118 if ((Addr.getOpcode() == ISD::TargetExternalSymbol ||
Daniel Sanders8015c702016-06-15 09:44:22 +0000119 Addr.getOpcode() == ISD::TargetGlobalAddress))
Akira Hatanaka30a84782013-03-14 18:27:31 +0000120 return false;
121 }
122 // Addresses of the form FI+const or FI|const
123 if (CurDAG->isBaseWithConstantOffset(Addr)) {
124 ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr.getOperand(1));
125 if (isInt<16>(CN->getSExtValue())) {
Akira Hatanaka30a84782013-03-14 18:27:31 +0000126 // If the first operand is a FI, get the TargetFI Node
Daniel Sandersde7816b2016-06-16 10:20:59 +0000127 if (SPAllowed) {
128 if (FrameIndexSDNode *FIN =
129 dyn_cast<FrameIndexSDNode>(Addr.getOperand(0))) {
130 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), ValTy);
131 Offset = CurDAG->getTargetConstant(CN->getZExtValue(), DL, ValTy);
132 return true;
133 }
134 }
Akira Hatanaka30a84782013-03-14 18:27:31 +0000135
Daniel Sandersde7816b2016-06-16 10:20:59 +0000136 Base = Addr.getOperand(0);
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000137 Offset = CurDAG->getTargetConstant(CN->getZExtValue(), DL, ValTy);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000138 return true;
139 }
140 }
141 // Operand is a result from an ADD.
142 if (Addr.getOpcode() == ISD::ADD) {
143 // When loading from constant pools, load the lower address part in
144 // the instruction itself. Example, instead of:
145 // lui $2, %hi($CPI1_0)
146 // addiu $2, $2, %lo($CPI1_0)
147 // lwc1 $f0, 0($2)
148 // Generate:
149 // lui $2, %hi($CPI1_0)
150 // lwc1 $f0, %lo($CPI1_0)($2)
151 if (Addr.getOperand(1).getOpcode() == MipsISD::Lo ||
152 Addr.getOperand(1).getOpcode() == MipsISD::GPRel) {
153 SDValue Opnd0 = Addr.getOperand(1).getOperand(0);
154 if (isa<ConstantPoolSDNode>(Opnd0) || isa<GlobalAddressSDNode>(Opnd0) ||
155 isa<JumpTableSDNode>(Opnd0)) {
156 Base = Addr.getOperand(0);
157 Offset = Opnd0;
158 return true;
159 }
160 }
Akira Hatanaka30a84782013-03-14 18:27:31 +0000161 }
Daniel Sanders8015c702016-06-15 09:44:22 +0000162 Base = Addr;
Sergey Dmitrouk842a51b2015-04-28 14:05:47 +0000163 Offset = CurDAG->getTargetConstant(0, DL, ValTy);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000164 return true;
165}
166
Daniel Sandersde7816b2016-06-16 10:20:59 +0000167bool Mips16DAGToDAGISel::selectAddr16(SDValue Addr, SDValue &Base,
168 SDValue &Offset) {
169 return selectAddr(false, Addr, Base, Offset);
170}
171
172bool Mips16DAGToDAGISel::selectAddr16SP(SDValue Addr, SDValue &Base,
173 SDValue &Offset) {
174 return selectAddr(true, Addr, Base, Offset);
175}
176
Akira Hatanaka30a84782013-03-14 18:27:31 +0000177/// Select instructions not customized! Used for
178/// expanded, promoted and normal instructions
Justin Bognereeae7512016-05-13 23:55:59 +0000179bool Mips16DAGToDAGISel::trySelect(SDNode *Node) {
Akira Hatanaka30a84782013-03-14 18:27:31 +0000180 unsigned Opcode = Node->getOpcode();
Andrew Trickef9de2a2013-05-25 02:42:55 +0000181 SDLoc DL(Node);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000182
183 ///
184 // Instruction Selection not handled by the auto-generated
185 // tablegen selection should be handled here.
186 ///
187 EVT NodeTy = Node->getValueType(0);
188 unsigned MultOpc;
189
Daniel Sanders8015c702016-06-15 09:44:22 +0000190 switch (Opcode) {
191 default:
192 break;
Akira Hatanaka30a84782013-03-14 18:27:31 +0000193
194 case ISD::SUBE:
195 case ISD::ADDE: {
196 SDValue InFlag = Node->getOperand(2), CmpLHS;
Daniel Sanders8015c702016-06-15 09:44:22 +0000197 unsigned Opc = InFlag.getOpcode();
198 (void)Opc;
Akira Hatanaka30a84782013-03-14 18:27:31 +0000199 assert(((Opc == ISD::ADDC || Opc == ISD::ADDE) ||
200 (Opc == ISD::SUBC || Opc == ISD::SUBE)) &&
201 "(ADD|SUB)E flag operand must come from (ADD|SUB)C/E insn");
202
203 unsigned MOp;
204 if (Opcode == ISD::ADDE) {
205 CmpLHS = InFlag.getValue(0);
206 MOp = Mips::AdduRxRyRz16;
207 } else {
208 CmpLHS = InFlag.getOperand(0);
209 MOp = Mips::SubuRxRyRz16;
210 }
211
Daniel Sanders8015c702016-06-15 09:44:22 +0000212 SDValue Ops[] = {CmpLHS, InFlag.getOperand(1)};
Akira Hatanaka30a84782013-03-14 18:27:31 +0000213
214 SDValue LHS = Node->getOperand(0);
215 SDValue RHS = Node->getOperand(1);
216
217 EVT VT = LHS.getValueType();
218
219 unsigned Sltu_op = Mips::SltuRxRyRz16;
Michael Liaob53d8962013-04-19 22:22:57 +0000220 SDNode *Carry = CurDAG->getMachineNode(Sltu_op, DL, VT, Ops);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000221 unsigned Addu_op = Mips::AdduRxRyRz16;
Daniel Sanders8015c702016-06-15 09:44:22 +0000222 SDNode *AddCarry =
223 CurDAG->getMachineNode(Addu_op, DL, VT, SDValue(Carry, 0), RHS);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000224
Justin Bognereeae7512016-05-13 23:55:59 +0000225 CurDAG->SelectNodeTo(Node, MOp, VT, MVT::Glue, LHS, SDValue(AddCarry, 0));
226 return true;
Akira Hatanaka30a84782013-03-14 18:27:31 +0000227 }
228
229 /// Mul with two results
230 case ISD::SMUL_LOHI:
231 case ISD::UMUL_LOHI: {
232 MultOpc = (Opcode == ISD::UMUL_LOHI ? Mips::MultuRxRy16 : Mips::MultRxRy16);
Daniel Sanders8015c702016-06-15 09:44:22 +0000233 std::pair<SDNode *, SDNode *> LoHi =
234 selectMULT(Node, MultOpc, DL, NodeTy, true, true);
Akira Hatanaka30a84782013-03-14 18:27:31 +0000235 if (!SDValue(Node, 0).use_empty())
236 ReplaceUses(SDValue(Node, 0), SDValue(LoHi.first, 0));
237
238 if (!SDValue(Node, 1).use_empty())
239 ReplaceUses(SDValue(Node, 1), SDValue(LoHi.second, 0));
240
Justin Bognere58d6222016-05-13 06:30:15 +0000241 CurDAG->RemoveDeadNode(Node);
Justin Bognereeae7512016-05-13 23:55:59 +0000242 return true;
Akira Hatanaka30a84782013-03-14 18:27:31 +0000243 }
244
245 case ISD::MULHS:
246 case ISD::MULHU: {
247 MultOpc = (Opcode == ISD::MULHU ? Mips::MultuRxRy16 : Mips::MultRxRy16);
Justin Bognereeae7512016-05-13 23:55:59 +0000248 auto LoHi = selectMULT(Node, MultOpc, DL, NodeTy, false, true);
249 ReplaceNode(Node, LoHi.second);
250 return true;
Akira Hatanaka30a84782013-03-14 18:27:31 +0000251 }
252 }
253
Justin Bognereeae7512016-05-13 23:55:59 +0000254 return false;
Akira Hatanaka30a84782013-03-14 18:27:31 +0000255}
256
257FunctionPass *llvm::createMips16ISelDag(MipsTargetMachine &TM) {
258 return new Mips16DAGToDAGISel(TM);
259}