blob: 5f0c7e009f1806fe8b9505451526322538466720 [file] [log] [blame]
Akira Hatanaka4552c9a2011-04-15 21:51:11 +00001//===-- MipsISelDAGToDAG.cpp - A dag to dag inst selector for Mips --------===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner4ee451d2007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +00007//
Akira Hatanaka4552c9a2011-04-15 21:51:11 +00008//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +00009//
10// This file defines an instruction selector for the MIPS target.
11//
Akira Hatanaka4552c9a2011-04-15 21:51:11 +000012//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000013
14#define DEBUG_TYPE "mips-isel"
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000015#include "Mips.h"
Bruno Cardoso Lopesc7db5612007-11-05 03:02:32 +000016#include "MipsMachineFunction.h"
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000017#include "MipsRegisterInfo.h"
18#include "MipsSubtarget.h"
19#include "MipsTargetMachine.h"
20#include "llvm/GlobalValue.h"
21#include "llvm/Instructions.h"
22#include "llvm/Intrinsics.h"
23#include "llvm/Support/CFG.h"
24#include "llvm/Type.h"
25#include "llvm/CodeGen/MachineConstantPool.h"
26#include "llvm/CodeGen/MachineFunction.h"
27#include "llvm/CodeGen/MachineFrameInfo.h"
28#include "llvm/CodeGen/MachineInstrBuilder.h"
Chris Lattner84bc5422007-12-31 04:13:23 +000029#include "llvm/CodeGen/MachineRegisterInfo.h"
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000030#include "llvm/CodeGen/SelectionDAGISel.h"
31#include "llvm/Target/TargetMachine.h"
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000032#include "llvm/Support/Debug.h"
Torok Edwindac237e2009-07-08 20:53:28 +000033#include "llvm/Support/ErrorHandling.h"
34#include "llvm/Support/raw_ostream.h"
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000035using namespace llvm;
36
Akira Hatanaka4552c9a2011-04-15 21:51:11 +000037//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000038// Instruction Selector Implementation
Akira Hatanaka4552c9a2011-04-15 21:51:11 +000039//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000040
Akira Hatanaka4552c9a2011-04-15 21:51:11 +000041//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000042// MipsDAGToDAGISel - MIPS specific code to select MIPS machine
43// instructions for SelectionDAG operations.
Akira Hatanaka4552c9a2011-04-15 21:51:11 +000044//===----------------------------------------------------------------------===//
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000045namespace {
46
Nick Lewycky6726b6d2009-10-25 06:33:48 +000047class MipsDAGToDAGISel : public SelectionDAGISel {
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000048
49 /// TM - Keep a reference to MipsTargetMachine.
50 MipsTargetMachine &TM;
51
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000052 /// Subtarget - Keep a pointer to the MipsSubtarget around so that we can
53 /// make the right decision when generating code for different targets.
Bruno Cardoso Lopes225ca9c2008-07-05 19:05:21 +000054 const MipsSubtarget &Subtarget;
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +000055
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000056public:
Dan Gohman1002c022008-07-07 18:00:37 +000057 explicit MipsDAGToDAGISel(MipsTargetMachine &tm) :
Dan Gohman79ce2762009-01-15 19:20:50 +000058 SelectionDAGISel(tm),
Dan Gohmanda8ac5f2008-10-03 16:55:19 +000059 TM(tm), Subtarget(tm.getSubtarget<MipsSubtarget>()) {}
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +000060
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000061 // Pass Name
62 virtual const char *getPassName() const {
63 return "MIPS DAG->DAG Pattern Instruction Selection";
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +000064 }
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000065
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +000066
67private:
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000068 // Include the pieces autogenerated from the target description.
69 #include "MipsGenDAGISel.inc"
70
Dan Gohman99114052009-06-03 20:30:14 +000071 /// getTargetMachine - Return a reference to the TargetMachine, casted
72 /// to the target-specific type.
73 const MipsTargetMachine &getTargetMachine() {
74 return static_cast<const MipsTargetMachine &>(TM);
75 }
76
77 /// getInstrInfo - Return a reference to the TargetInstrInfo, casted
78 /// to the target-specific type.
79 const MipsInstrInfo *getInstrInfo() {
80 return getTargetMachine().getInstrInfo();
81 }
82
83 SDNode *getGlobalBaseReg();
Dan Gohmaneeb3a002010-01-05 01:24:18 +000084 SDNode *Select(SDNode *N);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000085
86 // Complex Pattern.
Chris Lattner52a261b2010-09-21 20:31:19 +000087 bool SelectAddr(SDValue N, SDValue &Base, SDValue &Offset);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000088
Dan Gohmaneeb3a002010-01-05 01:24:18 +000089 SDNode *SelectLoadFp64(SDNode *N);
90 SDNode *SelectStoreFp64(SDNode *N);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000091
92 // getI32Imm - Return a target constant with the specified
93 // value, of type i32.
Dan Gohman475871a2008-07-27 21:46:04 +000094 inline SDValue getI32Imm(unsigned Imm) {
Owen Anderson825b72b2009-08-11 20:47:22 +000095 return CurDAG->getTargetConstant(Imm, MVT::i32);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +000096 }
Akira Hatanaka21afc632011-06-21 00:40:49 +000097
98 virtual bool SelectInlineAsmMemoryOperand(const SDValue &Op,
99 char ConstraintCode,
100 std::vector<SDValue> &OutOps);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000101};
102
103}
104
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000105
Bruno Cardoso Lopes753a9872007-11-12 19:49:57 +0000106/// getGlobalBaseReg - Output the instructions required to put the
107/// GOT address into a register.
Dan Gohman99114052009-06-03 20:30:14 +0000108SDNode *MipsDAGToDAGISel::getGlobalBaseReg() {
Dan Gohman99114052009-06-03 20:30:14 +0000109 unsigned GlobalBaseReg = getInstrInfo()->getGlobalBaseReg(MF);
110 return CurDAG->getRegister(GlobalBaseReg, TLI.getPointerTy()).getNode();
Bruno Cardoso Lopes753a9872007-11-12 19:49:57 +0000111}
112
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000113/// ComplexPattern used on MipsInstrInfo
114/// Used on Mips Load/Store instructions
115bool MipsDAGToDAGISel::
Chris Lattner52a261b2010-09-21 20:31:19 +0000116SelectAddr(SDValue Addr, SDValue &Offset, SDValue &Base) {
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000117 // if Address is FI, get the TargetFrameIndex.
118 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Addr)) {
Owen Anderson825b72b2009-08-11 20:47:22 +0000119 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), MVT::i32);
120 Offset = CurDAG->getTargetConstant(0, MVT::i32);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000121 return true;
122 }
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000123
Bruno Cardoso Lopesc7db5612007-11-05 03:02:32 +0000124 // on PIC code Load GA
125 if (TM.getRelocationModel() == Reloc::PIC_) {
Akira Hatanaka342837d2011-05-28 01:07:07 +0000126 if (Addr.getOpcode() == MipsISD::WrapperPIC) {
Owen Anderson825b72b2009-08-11 20:47:22 +0000127 Base = CurDAG->getRegister(Mips::GP, MVT::i32);
Akira Hatanaka342837d2011-05-28 01:07:07 +0000128 Offset = Addr.getOperand(0);
Bruno Cardoso Lopesc7db5612007-11-05 03:02:32 +0000129 return true;
130 }
131 } else {
Bill Wendling056292f2008-09-16 21:48:12 +0000132 if ((Addr.getOpcode() == ISD::TargetExternalSymbol ||
Bruno Cardoso Lopesc7db5612007-11-05 03:02:32 +0000133 Addr.getOpcode() == ISD::TargetGlobalAddress))
134 return false;
Bruno Cardoso Lopesd9796862011-05-31 02:53:58 +0000135 else if (Addr.getOpcode() == ISD::TargetGlobalTLSAddress) {
136 Base = CurDAG->getRegister(Mips::GP, MVT::i32);
137 Offset = Addr;
138 return true;
139 }
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000140 }
141
Akira Hatanaka5e069032011-06-02 01:03:14 +0000142 // Addresses of the form FI+const or FI|const
143 if (CurDAG->isBaseWithConstantOffset(Addr)) {
144 ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Addr.getOperand(1));
145 if (isInt<16>(CN->getSExtValue())) {
146
147 // If the first operand is a FI, get the TargetFI Node
148 if (FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>
149 (Addr.getOperand(0)))
150 Base = CurDAG->getTargetFrameIndex(FIN->getIndex(), MVT::i32);
151 else
152 Base = Addr.getOperand(0);
153
154 Offset = CurDAG->getTargetConstant(CN->getZExtValue(), MVT::i32);
155 return true;
156 }
157 }
158
Bruno Cardoso Lopes7ff6fa22007-08-18 02:16:30 +0000159 // Operand is a result from an ADD.
Bruno Cardoso Lopesc7db5612007-11-05 03:02:32 +0000160 if (Addr.getOpcode() == ISD::ADD) {
Bruno Cardoso Lopes6e0b6582009-11-16 04:33:42 +0000161 // When loading from constant pools, load the lower address part in
Bruno Cardoso Lopesd71cebf2009-11-25 12:17:58 +0000162 // the instruction itself. Example, instead of:
Bruno Cardoso Lopes6e0b6582009-11-16 04:33:42 +0000163 // lui $2, %hi($CPI1_0)
164 // addiu $2, $2, %lo($CPI1_0)
165 // lwc1 $f0, 0($2)
166 // Generate:
167 // lui $2, %hi($CPI1_0)
168 // lwc1 $f0, %lo($CPI1_0)($2)
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000169 if ((Addr.getOperand(0).getOpcode() == MipsISD::Hi ||
Bruno Cardoso Lopesd71cebf2009-11-25 12:17:58 +0000170 Addr.getOperand(0).getOpcode() == ISD::LOAD) &&
Bruno Cardoso Lopes6e0b6582009-11-16 04:33:42 +0000171 Addr.getOperand(1).getOpcode() == MipsISD::Lo) {
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000172 SDValue LoVal = Addr.getOperand(1);
Akira Hatanaka8b2b7132011-06-24 17:55:19 +0000173 if (isa<ConstantPoolSDNode>(LoVal.getOperand(0)) ||
174 isa<GlobalAddressSDNode>(LoVal.getOperand(0))) {
Bruno Cardoso Lopesd71cebf2009-11-25 12:17:58 +0000175 Base = Addr.getOperand(0);
176 Offset = LoVal.getOperand(0);
177 return true;
Bruno Cardoso Lopes6e0b6582009-11-16 04:33:42 +0000178 }
179 }
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000180 }
181
Bruno Cardoso Lopesa4e82002007-07-11 23:24:41 +0000182 Base = Addr;
Owen Anderson825b72b2009-08-11 20:47:22 +0000183 Offset = CurDAG->getTargetConstant(0, MVT::i32);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000184 return true;
185}
186
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000187SDNode *MipsDAGToDAGISel::SelectLoadFp64(SDNode *N) {
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000188 MVT::SimpleValueType NVT =
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000189 N->getValueType(0).getSimpleVT().SimpleTy;
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000190
191 if (!Subtarget.isMips1() || NVT != MVT::f64)
192 return NULL;
193
Jakob Stoklund Olesen7fa846f2010-09-03 00:35:13 +0000194 LoadSDNode *LN = cast<LoadSDNode>(N);
195 if (LN->getExtensionType() != ISD::NON_EXTLOAD ||
196 LN->getAddressingMode() != ISD::UNINDEXED)
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000197 return NULL;
198
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000199 SDValue Chain = N->getOperand(0);
200 SDValue N1 = N->getOperand(1);
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000201 SDValue Offset0, Offset1, Base;
202
Chris Lattner52a261b2010-09-21 20:31:19 +0000203 if (!SelectAddr(N1, Offset0, Base) ||
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000204 N1.getValueType() != MVT::i32)
205 return NULL;
206
207 MachineSDNode::mmo_iterator MemRefs0 = MF->allocateMemRefsArray(1);
208 MemRefs0[0] = cast<MemSDNode>(N)->getMemOperand();
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000209 DebugLoc dl = N->getDebugLoc();
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000210
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000211 // The second load should start after for 4 bytes.
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000212 if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(Offset0))
213 Offset1 = CurDAG->getTargetConstant(C->getSExtValue()+4, MVT::i32);
214 else if (ConstantPoolSDNode *CP = dyn_cast<ConstantPoolSDNode>(Offset0))
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000215 Offset1 = CurDAG->getTargetConstantPool(CP->getConstVal(),
216 MVT::i32,
217 CP->getAlignment(),
218 CP->getOffset()+4,
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000219 CP->getTargetFlags());
220 else
221 return NULL;
222
Bruno Cardoso Lopes37fd5372009-11-25 01:05:25 +0000223 // Choose the offsets depending on the endianess
224 if (TM.getTargetData()->isBigEndian())
225 std::swap(Offset0, Offset1);
226
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000227 // Instead of:
228 // ldc $f0, X($3)
229 // Generate:
230 // lwc $f0, X($3)
231 // lwc $f1, X+4($3)
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000232 SDNode *LD0 = CurDAG->getMachineNode(Mips::LWC1, dl, MVT::f32,
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000233 MVT::Other, Offset0, Base, Chain);
Chris Lattner518bb532010-02-09 19:54:29 +0000234 SDValue Undef = SDValue(CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF,
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000235 dl, NVT), 0);
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000236 SDValue I0 = CurDAG->getTargetInsertSubreg(Mips::sub_fpeven, dl,
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000237 MVT::f64, Undef, SDValue(LD0, 0));
238
239 SDNode *LD1 = CurDAG->getMachineNode(Mips::LWC1, dl, MVT::f32,
240 MVT::Other, Offset1, Base, SDValue(LD0, 1));
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000241 SDValue I1 = CurDAG->getTargetInsertSubreg(Mips::sub_fpodd, dl,
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000242 MVT::f64, I0, SDValue(LD1, 0));
243
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000244 ReplaceUses(SDValue(N, 0), I1);
245 ReplaceUses(SDValue(N, 1), Chain);
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000246 cast<MachineSDNode>(LD0)->setMemRefs(MemRefs0, MemRefs0 + 1);
247 cast<MachineSDNode>(LD1)->setMemRefs(MemRefs0, MemRefs0 + 1);
248 return I1.getNode();
249}
250
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000251SDNode *MipsDAGToDAGISel::SelectStoreFp64(SDNode *N) {
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000252
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000253 if (!Subtarget.isMips1() ||
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000254 N->getOperand(1).getValueType() != MVT::f64)
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000255 return NULL;
256
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000257 SDValue Chain = N->getOperand(0);
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000258
Jakob Stoklund Olesen7552a3d2010-08-18 23:56:46 +0000259 StoreSDNode *SN = cast<StoreSDNode>(N);
260 if (SN->isTruncatingStore() || SN->getAddressingMode() != ISD::UNINDEXED)
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000261 return NULL;
262
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000263 SDValue N1 = N->getOperand(1);
264 SDValue N2 = N->getOperand(2);
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000265 SDValue Offset0, Offset1, Base;
266
Chris Lattner52a261b2010-09-21 20:31:19 +0000267 if (!SelectAddr(N2, Offset0, Base) ||
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000268 N1.getValueType() != MVT::f64 ||
269 N2.getValueType() != MVT::i32)
270 return NULL;
271
272 MachineSDNode::mmo_iterator MemRefs0 = MF->allocateMemRefsArray(1);
273 MemRefs0[0] = cast<MemSDNode>(N)->getMemOperand();
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000274 DebugLoc dl = N->getDebugLoc();
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000275
276 // Get the even and odd part from the f64 register
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000277 SDValue FPOdd = CurDAG->getTargetExtractSubreg(Mips::sub_fpodd,
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000278 dl, MVT::f32, N1);
Jakob Stoklund Olesenfff916a2010-05-24 17:42:58 +0000279 SDValue FPEven = CurDAG->getTargetExtractSubreg(Mips::sub_fpeven,
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000280 dl, MVT::f32, N1);
281
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000282 // The second store should start after for 4 bytes.
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000283 if (ConstantSDNode *C = dyn_cast<ConstantSDNode>(Offset0))
284 Offset1 = CurDAG->getTargetConstant(C->getSExtValue()+4, MVT::i32);
285 else
286 return NULL;
287
Bruno Cardoso Lopes37fd5372009-11-25 01:05:25 +0000288 // Choose the offsets depending on the endianess
289 if (TM.getTargetData()->isBigEndian())
290 std::swap(Offset0, Offset1);
291
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000292 // Instead of:
293 // sdc $f0, X($3)
294 // Generate:
295 // swc $f0, X($3)
296 // swc $f1, X+4($3)
297 SDValue Ops0[] = { FPEven, Offset0, Base, Chain };
298 Chain = SDValue(CurDAG->getMachineNode(Mips::SWC1, dl,
299 MVT::Other, Ops0, 4), 0);
300 cast<MachineSDNode>(Chain.getNode())->setMemRefs(MemRefs0, MemRefs0 + 1);
301
302 SDValue Ops1[] = { FPOdd, Offset1, Base, Chain };
303 Chain = SDValue(CurDAG->getMachineNode(Mips::SWC1, dl,
304 MVT::Other, Ops1, 4), 0);
305 cast<MachineSDNode>(Chain.getNode())->setMemRefs(MemRefs0, MemRefs0 + 1);
306
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000307 ReplaceUses(SDValue(N, 0), Chain);
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000308 return Chain.getNode();
309}
310
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000311/// Select instructions not customized! Used for
312/// expanded, promoted and normal instructions
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000313SDNode* MipsDAGToDAGISel::Select(SDNode *Node) {
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000314 unsigned Opcode = Node->getOpcode();
Dale Johannesena05dca42009-02-04 23:02:30 +0000315 DebugLoc dl = Node->getDebugLoc();
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000316
317 // Dump information about the Node being selected
Chris Lattner7c306da2010-03-02 06:34:30 +0000318 DEBUG(errs() << "Selecting: "; Node->dump(CurDAG); errs() << "\n");
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000319
320 // If we have a custom node, we already have selected!
Dan Gohmane8be6c62008-07-17 19:10:17 +0000321 if (Node->isMachineOpcode()) {
Chris Lattner7c306da2010-03-02 06:34:30 +0000322 DEBUG(errs() << "== "; Node->dump(CurDAG); errs() << "\n");
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000323 return NULL;
324 }
325
326 ///
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000327 // Instruction Selection not handled by the auto-generated
Bruno Cardoso Lopesb42abeb2007-09-24 20:15:11 +0000328 // tablegen selection should be handled here.
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000329 ///
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000330 switch(Opcode) {
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000331 default: break;
332
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000333 case ISD::SUBE:
Bruno Cardoso Lopes07cec752008-06-06 00:58:26 +0000334 case ISD::ADDE: {
Dan Gohman475871a2008-07-27 21:46:04 +0000335 SDValue InFlag = Node->getOperand(2), CmpLHS;
Jeffrey Yasskin8e68c382010-12-23 00:58:24 +0000336 unsigned Opc = InFlag.getOpcode(); (void)Opc;
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000337 assert(((Opc == ISD::ADDC || Opc == ISD::ADDE) ||
338 (Opc == ISD::SUBC || Opc == ISD::SUBE)) &&
Bruno Cardoso Lopes0af5e092008-06-06 06:37:31 +0000339 "(ADD|SUB)E flag operand must come from (ADD|SUB)C/E insn");
340
Chris Lattner30baa952008-12-14 21:38:24 +0000341 unsigned MOp;
Bruno Cardoso Lopes0af5e092008-06-06 06:37:31 +0000342 if (Opcode == ISD::ADDE) {
343 CmpLHS = InFlag.getValue(0);
344 MOp = Mips::ADDu;
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000345 } else {
Bruno Cardoso Lopes0af5e092008-06-06 06:37:31 +0000346 CmpLHS = InFlag.getOperand(0);
347 MOp = Mips::SUBu;
348 }
349
Dan Gohman475871a2008-07-27 21:46:04 +0000350 SDValue Ops[] = { CmpLHS, InFlag.getOperand(1) };
Bruno Cardoso Lopes07cec752008-06-06 00:58:26 +0000351
Dan Gohman475871a2008-07-27 21:46:04 +0000352 SDValue LHS = Node->getOperand(0);
353 SDValue RHS = Node->getOperand(1);
Bruno Cardoso Lopes07cec752008-06-06 00:58:26 +0000354
Owen Andersone50ed302009-08-10 22:56:29 +0000355 EVT VT = LHS.getValueType();
Dan Gohman602b0c82009-09-25 18:54:59 +0000356 SDNode *Carry = CurDAG->getMachineNode(Mips::SLTu, dl, VT, Ops, 2);
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000357 SDNode *AddCarry = CurDAG->getMachineNode(Mips::ADDu, dl, VT,
Dan Gohman602b0c82009-09-25 18:54:59 +0000358 SDValue(Carry,0), RHS);
Bruno Cardoso Lopes07cec752008-06-06 00:58:26 +0000359
Chris Lattnerf1b4eaf2010-12-21 02:38:05 +0000360 return CurDAG->SelectNodeTo(Node, MOp, VT, MVT::Glue,
Dan Gohman475871a2008-07-27 21:46:04 +0000361 LHS, SDValue(AddCarry,0));
Bruno Cardoso Lopes07cec752008-06-06 00:58:26 +0000362 }
363
Akira Hatanakac079ad02011-06-07 19:03:14 +0000364 /// Mul with two results
Bruno Cardoso Lopes0af5e092008-06-06 06:37:31 +0000365 case ISD::SMUL_LOHI:
366 case ISD::UMUL_LOHI: {
Dan Gohman475871a2008-07-27 21:46:04 +0000367 SDValue Op1 = Node->getOperand(0);
368 SDValue Op2 = Node->getOperand(1);
Bruno Cardoso Lopes07cec752008-06-06 00:58:26 +0000369
Bruno Cardoso Lopes0af5e092008-06-06 06:37:31 +0000370 unsigned Op;
Bruno Cardoso Lopes38b5e862011-03-04 21:03:24 +0000371 Op = (Opcode == ISD::UMUL_LOHI ? Mips::MULTu : Mips::MULT);
Bruno Cardoso Lopes07cec752008-06-06 00:58:26 +0000372
Bruno Cardoso Lopes38b5e862011-03-04 21:03:24 +0000373 SDNode *Mul = CurDAG->getMachineNode(Op, dl, MVT::Glue, Op1, Op2);
Bruno Cardoso Lopes07cec752008-06-06 00:58:26 +0000374
Bruno Cardoso Lopes38b5e862011-03-04 21:03:24 +0000375 SDValue InFlag = SDValue(Mul, 0);
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000376 SDNode *Lo = CurDAG->getMachineNode(Mips::MFLO, dl, MVT::i32,
Chris Lattnerf1b4eaf2010-12-21 02:38:05 +0000377 MVT::Glue, InFlag);
Dan Gohman475871a2008-07-27 21:46:04 +0000378 InFlag = SDValue(Lo,1);
Dan Gohman602b0c82009-09-25 18:54:59 +0000379 SDNode *Hi = CurDAG->getMachineNode(Mips::MFHI, dl, MVT::i32, InFlag);
Bruno Cardoso Lopes0af5e092008-06-06 06:37:31 +0000380
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000381 if (!SDValue(Node, 0).use_empty())
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000382 ReplaceUses(SDValue(Node, 0), SDValue(Lo,0));
Bruno Cardoso Lopes0af5e092008-06-06 06:37:31 +0000383
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000384 if (!SDValue(Node, 1).use_empty())
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000385 ReplaceUses(SDValue(Node, 1), SDValue(Hi,0));
Bruno Cardoso Lopes0af5e092008-06-06 06:37:31 +0000386
387 return NULL;
Bruno Cardoso Lopes07cec752008-06-06 00:58:26 +0000388 }
389
Bruno Cardoso Lopes0af5e092008-06-06 06:37:31 +0000390 /// Special Muls
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000391 case ISD::MUL:
Bruno Cardoso Lopes7d5652d2010-11-12 00:38:32 +0000392 if (Subtarget.isMips32())
393 break;
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000394 case ISD::MULHS:
395 case ISD::MULHU: {
Dan Gohman475871a2008-07-27 21:46:04 +0000396 SDValue MulOp1 = Node->getOperand(0);
397 SDValue MulOp2 = Node->getOperand(1);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000398
399 unsigned MulOp = (Opcode == ISD::MULHU ? Mips::MULTu : Mips::MULT);
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000400 SDNode *MulNode = CurDAG->getMachineNode(MulOp, dl,
Chris Lattnerf1b4eaf2010-12-21 02:38:05 +0000401 MVT::Glue, MulOp1, MulOp2);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000402
Dan Gohman475871a2008-07-27 21:46:04 +0000403 SDValue InFlag = SDValue(MulNode, 0);
Bruno Cardoso Lopes0af5e092008-06-06 06:37:31 +0000404
Bruno Cardoso Lopes9a720b02010-02-01 12:16:39 +0000405 if (Opcode == ISD::MUL)
Dan Gohman602b0c82009-09-25 18:54:59 +0000406 return CurDAG->getMachineNode(Mips::MFLO, dl, MVT::i32, InFlag);
Bruno Cardoso Lopes0af5e092008-06-06 06:37:31 +0000407 else
Dan Gohman602b0c82009-09-25 18:54:59 +0000408 return CurDAG->getMachineNode(Mips::MFHI, dl, MVT::i32, InFlag);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000409 }
410
Bruno Cardoso Lopes753a9872007-11-12 19:49:57 +0000411 // Get target GOT address.
Dan Gohman99114052009-06-03 20:30:14 +0000412 case ISD::GLOBAL_OFFSET_TABLE:
413 return getGlobalBaseReg();
Bruno Cardoso Lopes753a9872007-11-12 19:49:57 +0000414
Bruno Cardoso Lopesa8173b92009-11-13 18:49:59 +0000415 case ISD::ConstantFP: {
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000416 ConstantFPSDNode *CN = dyn_cast<ConstantFPSDNode>(Node);
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000417 if (Node->getValueType(0) == MVT::f64 && CN->isExactlyValue(+0.0)) {
418 SDValue Zero = CurDAG->getCopyFromReg(CurDAG->getEntryNode(), dl,
Bruno Cardoso Lopesea982782010-01-19 12:53:04 +0000419 Mips::ZERO, MVT::i32);
420 SDValue Undef = SDValue(
Chris Lattner518bb532010-02-09 19:54:29 +0000421 CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF, dl, MVT::f64), 0);
Bruno Cardoso Lopesea982782010-01-19 12:53:04 +0000422 SDNode *MTC = CurDAG->getMachineNode(Mips::MTC1, dl, MVT::f32, Zero);
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000423 SDValue I0 = CurDAG->getTargetInsertSubreg(Mips::sub_fpeven, dl,
Bruno Cardoso Lopesea982782010-01-19 12:53:04 +0000424 MVT::f64, Undef, SDValue(MTC, 0));
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000425 SDValue I1 = CurDAG->getTargetInsertSubreg(Mips::sub_fpodd, dl,
Bruno Cardoso Lopesea982782010-01-19 12:53:04 +0000426 MVT::f64, I0, SDValue(MTC, 0));
427 ReplaceUses(SDValue(Node, 0), I1);
428 return I1.getNode();
Bruno Cardoso Lopesa8173b92009-11-13 18:49:59 +0000429 }
430 break;
431 }
432
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000433 case ISD::LOAD:
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000434 if (SDNode *ResNode = SelectLoadFp64(Node))
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000435 return ResNode;
436 // Other cases are autogenerated.
437 break;
438
439 case ISD::STORE:
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000440 if (SDNode *ResNode = SelectStoreFp64(Node))
Bruno Cardoso Lopes2045c472009-11-19 06:06:13 +0000441 return ResNode;
442 // Other cases are autogenerated.
443 break;
Bruno Cardoso Lopesd9796862011-05-31 02:53:58 +0000444
445 case MipsISD::ThreadPointer: {
446 unsigned SrcReg = Mips::HWR29;
447 unsigned DestReg = Mips::V1;
448 SDNode *Rdhwr = CurDAG->getMachineNode(Mips::RDHWR, Node->getDebugLoc(),
449 Node->getValueType(0), CurDAG->getRegister(SrcReg, MVT::i32));
450 SDValue Chain = CurDAG->getCopyToReg(CurDAG->getEntryNode(), dl, DestReg,
451 SDValue(Rdhwr, 0));
452 SDValue ResNode = CurDAG->getCopyFromReg(Chain, dl, DestReg, MVT::i32);
453 ReplaceUses(SDValue(Node, 0), ResNode);
454 return ResNode.getNode();
455 }
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000456 }
457
458 // Select the default instruction
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000459 SDNode *ResNode = SelectCode(Node);
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000460
Chris Lattner7c306da2010-03-02 06:34:30 +0000461 DEBUG(errs() << "=> ");
Dan Gohmaneeb3a002010-01-05 01:24:18 +0000462 if (ResNode == NULL || ResNode == Node)
463 DEBUG(Node->dump(CurDAG));
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000464 else
465 DEBUG(ResNode->dump(CurDAG));
Chris Lattner893e1c92009-08-23 06:49:22 +0000466 DEBUG(errs() << "\n");
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000467 return ResNode;
468}
469
Akira Hatanaka21afc632011-06-21 00:40:49 +0000470bool MipsDAGToDAGISel::
471SelectInlineAsmMemoryOperand(const SDValue &Op, char ConstraintCode,
472 std::vector<SDValue> &OutOps) {
473 assert(ConstraintCode == 'm' && "unexpected asm memory constraint");
474 OutOps.push_back(Op);
475 return false;
476}
477
Bruno Cardoso Lopes81092dc2011-03-04 17:51:39 +0000478/// createMipsISelDag - This pass converts a legalized DAG into a
Bruno Cardoso Lopes972f5892007-06-06 07:42:06 +0000479/// MIPS-specific DAG, ready for instruction scheduling.
480FunctionPass *llvm::createMipsISelDag(MipsTargetMachine &TM) {
481 return new MipsDAGToDAGISel(TM);
482}