blob: ca464a744d80a20a053850cef92c44c663c14303 [file] [log] [blame]
Chris Lattner081ce942007-12-29 20:36:04 +00001//===-- SPUISelDAGToDAG.cpp - CellSPU pattern matching inst selector ------===//
Scott Michel8efdca42007-12-04 22:23:35 +00002//
3// The LLVM Compiler Infrastructure
4//
Chris Lattner081ce942007-12-29 20:36:04 +00005// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
Scott Michel8efdca42007-12-04 22:23:35 +00007//
8//===----------------------------------------------------------------------===//
9//
10// This file defines a pattern matching instruction selector for the Cell SPU,
11// converting from a legalized dag to a SPU-target dag.
12//
13//===----------------------------------------------------------------------===//
14
15#include "SPU.h"
16#include "SPUTargetMachine.h"
17#include "SPUISelLowering.h"
18#include "SPUHazardRecognizers.h"
19#include "SPUFrameInfo.h"
Scott Michelbc5fbc12008-04-30 00:30:08 +000020#include "SPURegisterNames.h"
Scott Michel750b93f2009-01-15 04:41:47 +000021#include "SPUTargetMachine.h"
Scott Michel8efdca42007-12-04 22:23:35 +000022#include "llvm/CodeGen/MachineConstantPool.h"
23#include "llvm/CodeGen/MachineInstrBuilder.h"
24#include "llvm/CodeGen/MachineFunction.h"
Scott Michel8efdca42007-12-04 22:23:35 +000025#include "llvm/CodeGen/SelectionDAG.h"
26#include "llvm/CodeGen/SelectionDAGISel.h"
Scott Michel750b93f2009-01-15 04:41:47 +000027#include "llvm/CodeGen/PseudoSourceValue.h"
Scott Michel8efdca42007-12-04 22:23:35 +000028#include "llvm/Target/TargetOptions.h"
29#include "llvm/ADT/Statistic.h"
30#include "llvm/Constants.h"
31#include "llvm/GlobalValue.h"
32#include "llvm/Intrinsics.h"
Owen Anderson6361f972009-07-15 21:51:10 +000033#include "llvm/LLVMContext.h"
Scott Michel8efdca42007-12-04 22:23:35 +000034#include "llvm/Support/Debug.h"
Edwin Török4d9756a2009-07-08 20:53:28 +000035#include "llvm/Support/ErrorHandling.h"
Scott Michel8efdca42007-12-04 22:23:35 +000036#include "llvm/Support/MathExtras.h"
37#include "llvm/Support/Compiler.h"
Edwin Török4d9756a2009-07-08 20:53:28 +000038#include "llvm/Support/raw_ostream.h"
Scott Michel8efdca42007-12-04 22:23:35 +000039
40using namespace llvm;
41
42namespace {
43 //! ConstantSDNode predicate for i32 sign-extended, 10-bit immediates
44 bool
45 isI64IntS10Immediate(ConstantSDNode *CN)
46 {
Dan Gohman40686732008-09-26 21:54:37 +000047 return isS10Constant(CN->getSExtValue());
Scott Michel8efdca42007-12-04 22:23:35 +000048 }
49
50 //! ConstantSDNode predicate for i32 sign-extended, 10-bit immediates
51 bool
52 isI32IntS10Immediate(ConstantSDNode *CN)
53 {
Dan Gohman40686732008-09-26 21:54:37 +000054 return isS10Constant(CN->getSExtValue());
Scott Michel8efdca42007-12-04 22:23:35 +000055 }
56
Scott Michel438be252007-12-17 22:32:34 +000057 //! ConstantSDNode predicate for i32 unsigned 10-bit immediate values
58 bool
59 isI32IntU10Immediate(ConstantSDNode *CN)
60 {
Dan Gohman40686732008-09-26 21:54:37 +000061 return isU10Constant(CN->getSExtValue());
Scott Michel438be252007-12-17 22:32:34 +000062 }
63
Scott Michel8efdca42007-12-04 22:23:35 +000064 //! ConstantSDNode predicate for i16 sign-extended, 10-bit immediate values
65 bool
66 isI16IntS10Immediate(ConstantSDNode *CN)
67 {
Dan Gohman40686732008-09-26 21:54:37 +000068 return isS10Constant(CN->getSExtValue());
Scott Michel8efdca42007-12-04 22:23:35 +000069 }
70
71 //! SDNode predicate for i16 sign-extended, 10-bit immediate values
72 bool
73 isI16IntS10Immediate(SDNode *N)
74 {
Scott Michelc899a122009-01-26 22:33:37 +000075 ConstantSDNode *CN = dyn_cast<ConstantSDNode>(N);
76 return (CN != 0 && isI16IntS10Immediate(CN));
Scott Michel8efdca42007-12-04 22:23:35 +000077 }
78
Scott Michel7b5f7ed2007-12-15 00:38:50 +000079 //! ConstantSDNode predicate for i16 unsigned 10-bit immediate values
80 bool
81 isI16IntU10Immediate(ConstantSDNode *CN)
82 {
Dan Gohmanfaeb4a32008-09-12 16:56:44 +000083 return isU10Constant((short) CN->getZExtValue());
Scott Michel7b5f7ed2007-12-15 00:38:50 +000084 }
85
86 //! SDNode predicate for i16 sign-extended, 10-bit immediate values
87 bool
88 isI16IntU10Immediate(SDNode *N)
89 {
90 return (N->getOpcode() == ISD::Constant
91 && isI16IntU10Immediate(cast<ConstantSDNode>(N)));
92 }
93
Scott Michel8efdca42007-12-04 22:23:35 +000094 //! ConstantSDNode predicate for signed 16-bit values
95 /*!
96 \arg CN The constant SelectionDAG node holding the value
97 \arg Imm The returned 16-bit value, if returning true
98
99 This predicate tests the value in \a CN to see whether it can be
100 represented as a 16-bit, sign-extended quantity. Returns true if
101 this is the case.
102 */
103 bool
104 isIntS16Immediate(ConstantSDNode *CN, short &Imm)
105 {
Owen Andersonac9de032009-08-10 22:56:29 +0000106 EVT vt = CN->getValueType(0);
Dan Gohmanfaeb4a32008-09-12 16:56:44 +0000107 Imm = (short) CN->getZExtValue();
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000108 if (vt.getSimpleVT() >= MVT::i1 && vt.getSimpleVT() <= MVT::i16) {
Scott Michel8efdca42007-12-04 22:23:35 +0000109 return true;
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000110 } else if (vt == MVT::i32) {
Dan Gohmanfaeb4a32008-09-12 16:56:44 +0000111 int32_t i_val = (int32_t) CN->getZExtValue();
Scott Michel8efdca42007-12-04 22:23:35 +0000112 short s_val = (short) i_val;
113 return i_val == s_val;
114 } else {
Dan Gohmanfaeb4a32008-09-12 16:56:44 +0000115 int64_t i_val = (int64_t) CN->getZExtValue();
Scott Michel8efdca42007-12-04 22:23:35 +0000116 short s_val = (short) i_val;
117 return i_val == s_val;
118 }
119
120 return false;
121 }
122
123 //! SDNode predicate for signed 16-bit values.
124 bool
125 isIntS16Immediate(SDNode *N, short &Imm)
126 {
127 return (N->getOpcode() == ISD::Constant
128 && isIntS16Immediate(cast<ConstantSDNode>(N), Imm));
129 }
130
131 //! ConstantFPSDNode predicate for representing floats as 16-bit sign ext.
132 static bool
133 isFPS16Immediate(ConstantFPSDNode *FPN, short &Imm)
134 {
Owen Andersonac9de032009-08-10 22:56:29 +0000135 EVT vt = FPN->getValueType(0);
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000136 if (vt == MVT::f32) {
Chris Lattnera2ed7602007-12-22 22:45:38 +0000137 int val = FloatToBits(FPN->getValueAPF().convertToFloat());
Scott Michel8efdca42007-12-04 22:23:35 +0000138 int sval = (int) ((val << 16) >> 16);
139 Imm = (short) val;
140 return val == sval;
141 }
142
143 return false;
144 }
145
Scott Michelf9f42e62008-01-29 02:16:57 +0000146 bool
Scott Michel4d07fb72008-12-30 23:28:25 +0000147 isHighLow(const SDValue &Op)
Scott Michelf9f42e62008-01-29 02:16:57 +0000148 {
149 return (Op.getOpcode() == SPUISD::IndirectAddr
150 && ((Op.getOperand(0).getOpcode() == SPUISD::Hi
151 && Op.getOperand(1).getOpcode() == SPUISD::Lo)
152 || (Op.getOperand(0).getOpcode() == SPUISD::Lo
153 && Op.getOperand(1).getOpcode() == SPUISD::Hi)));
154 }
155
Scott Michel8efdca42007-12-04 22:23:35 +0000156 //===------------------------------------------------------------------===//
Owen Andersonac9de032009-08-10 22:56:29 +0000157 //! EVT to "useful stuff" mapping structure:
Scott Michel8efdca42007-12-04 22:23:35 +0000158
159 struct valtype_map_s {
Owen Andersonac9de032009-08-10 22:56:29 +0000160 EVT VT;
Scott Michel5a6f17b2008-01-30 02:55:46 +0000161 unsigned ldresult_ins; /// LDRESULT instruction (0 = undefined)
Scott Michel97872d32008-02-23 18:41:37 +0000162 bool ldresult_imm; /// LDRESULT instruction requires immediate?
Scott Michel06eabde2008-12-27 04:51:36 +0000163 unsigned lrinst; /// LR instruction
Scott Michel8efdca42007-12-04 22:23:35 +0000164 };
165
166 const valtype_map_s valtype_map[] = {
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000167 { MVT::i8, SPU::ORBIr8, true, SPU::LRr8 },
168 { MVT::i16, SPU::ORHIr16, true, SPU::LRr16 },
169 { MVT::i32, SPU::ORIr32, true, SPU::LRr32 },
170 { MVT::i64, SPU::ORr64, false, SPU::LRr64 },
171 { MVT::f32, SPU::ORf32, false, SPU::LRf32 },
172 { MVT::f64, SPU::ORf64, false, SPU::LRf64 },
Scott Michel394e26d2008-01-17 20:38:41 +0000173 // vector types... (sigh!)
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000174 { MVT::v16i8, 0, false, SPU::LRv16i8 },
175 { MVT::v8i16, 0, false, SPU::LRv8i16 },
176 { MVT::v4i32, 0, false, SPU::LRv4i32 },
177 { MVT::v2i64, 0, false, SPU::LRv2i64 },
178 { MVT::v4f32, 0, false, SPU::LRv4f32 },
179 { MVT::v2f64, 0, false, SPU::LRv2f64 }
Scott Michel8efdca42007-12-04 22:23:35 +0000180 };
181
182 const size_t n_valtype_map = sizeof(valtype_map) / sizeof(valtype_map[0]);
183
Owen Andersonac9de032009-08-10 22:56:29 +0000184 const valtype_map_s *getValueTypeMapEntry(EVT VT)
Scott Michel8efdca42007-12-04 22:23:35 +0000185 {
186 const valtype_map_s *retval = 0;
187 for (size_t i = 0; i < n_valtype_map; ++i) {
188 if (valtype_map[i].VT == VT) {
Scott Michel5a6f17b2008-01-30 02:55:46 +0000189 retval = valtype_map + i;
190 break;
Scott Michel8efdca42007-12-04 22:23:35 +0000191 }
192 }
193
194
195#ifndef NDEBUG
196 if (retval == 0) {
Edwin Török4d9756a2009-07-08 20:53:28 +0000197 std::string msg;
198 raw_string_ostream Msg(msg);
199 Msg << "SPUISelDAGToDAG.cpp: getValueTypeMapEntry returns NULL for "
Owen Andersonac9de032009-08-10 22:56:29 +0000200 << VT.getEVTString();
Edwin Török4d9756a2009-07-08 20:53:28 +0000201 llvm_report_error(Msg.str());
Scott Michel8efdca42007-12-04 22:23:35 +0000202 }
203#endif
204
205 return retval;
206 }
Scott Michel8efdca42007-12-04 22:23:35 +0000207
Scott Michel0d5eae02009-03-17 01:15:45 +0000208 //! Generate the carry-generate shuffle mask.
209 SDValue getCarryGenerateShufMask(SelectionDAG &DAG, DebugLoc dl) {
210 SmallVector<SDValue, 16 > ShufBytes;
Dan Gohman089efff2008-05-13 00:00:25 +0000211
Scott Michel0d5eae02009-03-17 01:15:45 +0000212 // Create the shuffle mask for "rotating" the borrow up one register slot
213 // once the borrow is generated.
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000214 ShufBytes.push_back(DAG.getConstant(0x04050607, MVT::i32));
215 ShufBytes.push_back(DAG.getConstant(0x80808080, MVT::i32));
216 ShufBytes.push_back(DAG.getConstant(0x0c0d0e0f, MVT::i32));
217 ShufBytes.push_back(DAG.getConstant(0x80808080, MVT::i32));
Scott Michel8efdca42007-12-04 22:23:35 +0000218
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000219 return DAG.getNode(ISD::BUILD_VECTOR, dl, MVT::v4i32,
Scott Michel0d5eae02009-03-17 01:15:45 +0000220 &ShufBytes[0], ShufBytes.size());
Scott Michel8efdca42007-12-04 22:23:35 +0000221 }
Scott Michel4d07fb72008-12-30 23:28:25 +0000222
Scott Michel0d5eae02009-03-17 01:15:45 +0000223 //! Generate the borrow-generate shuffle mask
224 SDValue getBorrowGenerateShufMask(SelectionDAG &DAG, DebugLoc dl) {
225 SmallVector<SDValue, 16 > ShufBytes;
226
227 // Create the shuffle mask for "rotating" the borrow up one register slot
228 // once the borrow is generated.
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000229 ShufBytes.push_back(DAG.getConstant(0x04050607, MVT::i32));
230 ShufBytes.push_back(DAG.getConstant(0xc0c0c0c0, MVT::i32));
231 ShufBytes.push_back(DAG.getConstant(0x0c0d0e0f, MVT::i32));
232 ShufBytes.push_back(DAG.getConstant(0xc0c0c0c0, MVT::i32));
Scott Michel0d5eae02009-03-17 01:15:45 +0000233
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000234 return DAG.getNode(ISD::BUILD_VECTOR, dl, MVT::v4i32,
Scott Michel0d5eae02009-03-17 01:15:45 +0000235 &ShufBytes[0], ShufBytes.size());
Scott Michel8efdca42007-12-04 22:23:35 +0000236 }
237
Scott Michel0d5eae02009-03-17 01:15:45 +0000238 //===------------------------------------------------------------------===//
239 /// SPUDAGToDAGISel - Cell SPU-specific code to select SPU machine
240 /// instructions for SelectionDAG operations.
241 ///
242 class SPUDAGToDAGISel :
243 public SelectionDAGISel
244 {
245 SPUTargetMachine &TM;
246 SPUTargetLowering &SPUtli;
247 unsigned GlobalBaseReg;
Scott Michel4d07fb72008-12-30 23:28:25 +0000248
Scott Michel0d5eae02009-03-17 01:15:45 +0000249 public:
250 explicit SPUDAGToDAGISel(SPUTargetMachine &tm) :
251 SelectionDAGISel(tm),
252 TM(tm),
253 SPUtli(*tm.getTargetLowering())
254 { }
255
Dan Gohmanfdf9ee22009-07-31 18:16:33 +0000256 virtual bool runOnMachineFunction(MachineFunction &MF) {
Scott Michel0d5eae02009-03-17 01:15:45 +0000257 // Make sure we re-emit a set of the global base reg if necessary
258 GlobalBaseReg = 0;
Dan Gohmanfdf9ee22009-07-31 18:16:33 +0000259 SelectionDAGISel::runOnMachineFunction(MF);
Scott Michel0d5eae02009-03-17 01:15:45 +0000260 return true;
pingbak2f387e82009-01-26 03:31:40 +0000261 }
Scott Michel8efdca42007-12-04 22:23:35 +0000262
Scott Michel0d5eae02009-03-17 01:15:45 +0000263 /// getI32Imm - Return a target constant with the specified value, of type
264 /// i32.
265 inline SDValue getI32Imm(uint32_t Imm) {
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000266 return CurDAG->getTargetConstant(Imm, MVT::i32);
Scott Michel750b93f2009-01-15 04:41:47 +0000267 }
268
Scott Michel0d5eae02009-03-17 01:15:45 +0000269 /// getI64Imm - Return a target constant with the specified value, of type
270 /// i64.
271 inline SDValue getI64Imm(uint64_t Imm) {
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000272 return CurDAG->getTargetConstant(Imm, MVT::i64);
Scott Michel0d5eae02009-03-17 01:15:45 +0000273 }
Scott Michel750b93f2009-01-15 04:41:47 +0000274
Scott Michel0d5eae02009-03-17 01:15:45 +0000275 /// getSmallIPtrImm - Return a target constant of pointer type.
276 inline SDValue getSmallIPtrImm(unsigned Imm) {
277 return CurDAG->getTargetConstant(Imm, SPUtli.getPointerTy());
Scott Michel8efdca42007-12-04 22:23:35 +0000278 }
Scott Michel0d5eae02009-03-17 01:15:45 +0000279
Dan Gohman5f082a72010-01-05 01:24:18 +0000280 SDNode *emitBuildVector(SDNode *bvNode) {
281 EVT vecVT = bvNode->getValueType(0);
Owen Andersonac9de032009-08-10 22:56:29 +0000282 EVT eltVT = vecVT.getVectorElementType();
Scott Michel0d5eae02009-03-17 01:15:45 +0000283 DebugLoc dl = bvNode->getDebugLoc();
284
285 // Check to see if this vector can be represented as a CellSPU immediate
286 // constant by invoking all of the instruction selection predicates:
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000287 if (((vecVT == MVT::v8i16) &&
288 (SPU::get_vec_i16imm(bvNode, *CurDAG, MVT::i16).getNode() != 0)) ||
289 ((vecVT == MVT::v4i32) &&
290 ((SPU::get_vec_i16imm(bvNode, *CurDAG, MVT::i32).getNode() != 0) ||
291 (SPU::get_ILHUvec_imm(bvNode, *CurDAG, MVT::i32).getNode() != 0) ||
292 (SPU::get_vec_u18imm(bvNode, *CurDAG, MVT::i32).getNode() != 0) ||
Scott Michel0d5eae02009-03-17 01:15:45 +0000293 (SPU::get_v4i32_imm(bvNode, *CurDAG).getNode() != 0))) ||
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000294 ((vecVT == MVT::v2i64) &&
295 ((SPU::get_vec_i16imm(bvNode, *CurDAG, MVT::i64).getNode() != 0) ||
296 (SPU::get_ILHUvec_imm(bvNode, *CurDAG, MVT::i64).getNode() != 0) ||
Chris Lattner15f92b92010-02-23 05:30:43 +0000297 (SPU::get_vec_u18imm(bvNode, *CurDAG, MVT::i64).getNode() != 0)))) {
298 HandleSDNode Dummy(SDValue(bvNode, 0));
299 if (SDNode *N = Select(bvNode))
300 return N;
301 return Dummy.getValue().getNode();
302 }
Scott Michel0d5eae02009-03-17 01:15:45 +0000303
304 // No, need to emit a constant pool spill:
305 std::vector<Constant*> CV;
306
Dan Gohman5f082a72010-01-05 01:24:18 +0000307 for (size_t i = 0; i < bvNode->getNumOperands(); ++i) {
308 ConstantSDNode *V = dyn_cast<ConstantSDNode > (bvNode->getOperand(i));
Chris Lattner15f92b92010-02-23 05:30:43 +0000309 CV.push_back(const_cast<ConstantInt *>(V->getConstantIntValue()));
Scott Michel0d5eae02009-03-17 01:15:45 +0000310 }
311
Owen Anderson2f422e02009-07-28 21:19:26 +0000312 Constant *CP = ConstantVector::get(CV);
Scott Michel0d5eae02009-03-17 01:15:45 +0000313 SDValue CPIdx = CurDAG->getConstantPool(CP, SPUtli.getPointerTy());
314 unsigned Alignment = cast<ConstantPoolSDNode>(CPIdx)->getAlignment();
315 SDValue CGPoolOffset =
316 SPU::LowerConstantPool(CPIdx, *CurDAG,
317 SPUtli.getSPUTargetMachine());
Chris Lattner15f92b92010-02-23 05:30:43 +0000318
319 HandleSDNode Dummy(CurDAG->getLoad(vecVT, dl,
320 CurDAG->getEntryNode(), CGPoolOffset,
321 PseudoSourceValue::getConstantPool(),0,
322 false, false, Alignment));
323 CurDAG->ReplaceAllUsesWith(SDValue(bvNode, 0), Dummy.getValue());
324 if (SDNode *N = SelectCode(Dummy.getValue().getNode()))
325 return N;
326 return Dummy.getValue().getNode();
Scott Michel8efdca42007-12-04 22:23:35 +0000327 }
Scott Michel4d07fb72008-12-30 23:28:25 +0000328
Scott Michel0d5eae02009-03-17 01:15:45 +0000329 /// Select - Convert the specified operand from a target-independent to a
330 /// target-specific node if it hasn't already been changed.
Dan Gohman5f082a72010-01-05 01:24:18 +0000331 SDNode *Select(SDNode *N);
Scott Michel8efdca42007-12-04 22:23:35 +0000332
Scott Michel0d5eae02009-03-17 01:15:45 +0000333 //! Emit the instruction sequence for i64 shl
Dan Gohman5f082a72010-01-05 01:24:18 +0000334 SDNode *SelectSHLi64(SDNode *N, EVT OpVT);
Scott Michel8efdca42007-12-04 22:23:35 +0000335
Scott Michel0d5eae02009-03-17 01:15:45 +0000336 //! Emit the instruction sequence for i64 srl
Dan Gohman5f082a72010-01-05 01:24:18 +0000337 SDNode *SelectSRLi64(SDNode *N, EVT OpVT);
Scott Michel4d07fb72008-12-30 23:28:25 +0000338
Scott Michel0d5eae02009-03-17 01:15:45 +0000339 //! Emit the instruction sequence for i64 sra
Dan Gohman5f082a72010-01-05 01:24:18 +0000340 SDNode *SelectSRAi64(SDNode *N, EVT OpVT);
Scott Michel8efdca42007-12-04 22:23:35 +0000341
Scott Michel0d5eae02009-03-17 01:15:45 +0000342 //! Emit the necessary sequence for loading i64 constants:
Dan Gohman5f082a72010-01-05 01:24:18 +0000343 SDNode *SelectI64Constant(SDNode *N, EVT OpVT, DebugLoc dl);
Scott Michel0d5eae02009-03-17 01:15:45 +0000344
345 //! Alternate instruction emit sequence for loading i64 constants
Owen Andersonac9de032009-08-10 22:56:29 +0000346 SDNode *SelectI64Constant(uint64_t i64const, EVT OpVT, DebugLoc dl);
Scott Michel0d5eae02009-03-17 01:15:45 +0000347
348 //! Returns true if the address N is an A-form (local store) address
Dan Gohman5f082a72010-01-05 01:24:18 +0000349 bool SelectAFormAddr(SDNode *Op, SDValue N, SDValue &Base,
Scott Michel0d5eae02009-03-17 01:15:45 +0000350 SDValue &Index);
351
352 //! D-form address predicate
Dan Gohman5f082a72010-01-05 01:24:18 +0000353 bool SelectDFormAddr(SDNode *Op, SDValue N, SDValue &Base,
Scott Michel0d5eae02009-03-17 01:15:45 +0000354 SDValue &Index);
355
356 /// Alternate D-form address using i7 offset predicate
Dan Gohman5f082a72010-01-05 01:24:18 +0000357 bool SelectDForm2Addr(SDNode *Op, SDValue N, SDValue &Disp,
Scott Michel0d5eae02009-03-17 01:15:45 +0000358 SDValue &Base);
359
360 /// D-form address selection workhorse
Dan Gohman5f082a72010-01-05 01:24:18 +0000361 bool DFormAddressPredicate(SDNode *Op, SDValue N, SDValue &Disp,
Scott Michel0d5eae02009-03-17 01:15:45 +0000362 SDValue &Base, int minOffset, int maxOffset);
363
364 //! Address predicate if N can be expressed as an indexed [r+r] operation.
Dan Gohman5f082a72010-01-05 01:24:18 +0000365 bool SelectXFormAddr(SDNode *Op, SDValue N, SDValue &Base,
Scott Michel0d5eae02009-03-17 01:15:45 +0000366 SDValue &Index);
367
368 /// SelectInlineAsmMemoryOperand - Implement addressing mode selection for
369 /// inline asm expressions.
370 virtual bool SelectInlineAsmMemoryOperand(const SDValue &Op,
371 char ConstraintCode,
372 std::vector<SDValue> &OutOps) {
373 SDValue Op0, Op1;
374 switch (ConstraintCode) {
375 default: return true;
376 case 'm': // memory
Dan Gohman5f082a72010-01-05 01:24:18 +0000377 if (!SelectDFormAddr(Op.getNode(), Op, Op0, Op1)
378 && !SelectAFormAddr(Op.getNode(), Op, Op0, Op1))
379 SelectXFormAddr(Op.getNode(), Op, Op0, Op1);
Scott Michel0d5eae02009-03-17 01:15:45 +0000380 break;
381 case 'o': // offsetable
Dan Gohman5f082a72010-01-05 01:24:18 +0000382 if (!SelectDFormAddr(Op.getNode(), Op, Op0, Op1)
383 && !SelectAFormAddr(Op.getNode(), Op, Op0, Op1)) {
Scott Michel0d5eae02009-03-17 01:15:45 +0000384 Op0 = Op;
385 Op1 = getSmallIPtrImm(0);
386 }
387 break;
388 case 'v': // not offsetable
389#if 1
Edwin Törökbd448e32009-07-14 16:55:14 +0000390 llvm_unreachable("InlineAsmMemoryOperand 'v' constraint not handled.");
Scott Michel0d5eae02009-03-17 01:15:45 +0000391#else
392 SelectAddrIdxOnly(Op, Op, Op0, Op1);
393#endif
394 break;
395 }
396
397 OutOps.push_back(Op0);
398 OutOps.push_back(Op1);
399 return false;
400 }
401
402 /// InstructionSelect - This callback is invoked by
403 /// SelectionDAGISel when it has created a SelectionDAG for us to codegen.
404 virtual void InstructionSelect();
405
406 virtual const char *getPassName() const {
407 return "Cell SPU DAG->DAG Pattern Instruction Selection";
408 }
409
410 /// CreateTargetHazardRecognizer - Return the hazard recognizer to use for
411 /// this target when scheduling the DAG.
412 virtual ScheduleHazardRecognizer *CreateTargetHazardRecognizer() {
413 const TargetInstrInfo *II = TM.getInstrInfo();
414 assert(II && "No InstrInfo?");
415 return new SPUHazardRecognizer(*II);
416 }
417
418 // Include the pieces autogenerated from the target description.
Scott Michel8efdca42007-12-04 22:23:35 +0000419#include "SPUGenDAGISel.inc"
Scott Michel0d5eae02009-03-17 01:15:45 +0000420 };
Dan Gohman089efff2008-05-13 00:00:25 +0000421}
422
Evan Cheng34fd4f32008-06-30 20:45:06 +0000423/// InstructionSelect - This callback is invoked by
Scott Michel8efdca42007-12-04 22:23:35 +0000424/// SelectionDAGISel when it has created a SelectionDAG for us to codegen.
425void
Dan Gohman14a66442008-08-23 02:25:05 +0000426SPUDAGToDAGISel::InstructionSelect()
Scott Michel8efdca42007-12-04 22:23:35 +0000427{
Scott Michel8efdca42007-12-04 22:23:35 +0000428 // Select target instructions for the DAG.
David Greene932618b2008-10-27 21:56:29 +0000429 SelectRoot(*CurDAG);
Dan Gohman14a66442008-08-23 02:25:05 +0000430 CurDAG->RemoveDeadNodes();
Scott Michel8efdca42007-12-04 22:23:35 +0000431}
432
Scott Michel8efdca42007-12-04 22:23:35 +0000433/*!
Scott Michelc899a122009-01-26 22:33:37 +0000434 \arg Op The ISD instruction operand
Scott Michel8efdca42007-12-04 22:23:35 +0000435 \arg N The address to be tested
436 \arg Base The base address
437 \arg Index The base address index
438 */
439bool
Dan Gohman5f082a72010-01-05 01:24:18 +0000440SPUDAGToDAGISel::SelectAFormAddr(SDNode *Op, SDValue N, SDValue &Base,
Dan Gohman8181bd12008-07-27 21:46:04 +0000441 SDValue &Index) {
Scott Michel8efdca42007-12-04 22:23:35 +0000442 // These match the addr256k operand type:
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000443 EVT OffsVT = MVT::i16;
Dan Gohman8181bd12008-07-27 21:46:04 +0000444 SDValue Zero = CurDAG->getTargetConstant(0, OffsVT);
Scott Michel8efdca42007-12-04 22:23:35 +0000445
446 switch (N.getOpcode()) {
447 case ISD::Constant:
Scott Micheldbac4cf2008-01-11 02:53:15 +0000448 case ISD::ConstantPool:
449 case ISD::GlobalAddress:
Edwin Török4d9756a2009-07-08 20:53:28 +0000450 llvm_report_error("SPU SelectAFormAddr: Constant/Pool/Global not lowered.");
Scott Micheldbac4cf2008-01-11 02:53:15 +0000451 /*NOTREACHED*/
452
Scott Michelf9f42e62008-01-29 02:16:57 +0000453 case ISD::TargetConstant:
Scott Micheldbac4cf2008-01-11 02:53:15 +0000454 case ISD::TargetGlobalAddress:
Scott Michelf9f42e62008-01-29 02:16:57 +0000455 case ISD::TargetJumpTable:
Edwin Török4d9756a2009-07-08 20:53:28 +0000456 llvm_report_error("SPUSelectAFormAddr: Target Constant/Pool/Global "
457 "not wrapped as A-form address.");
Scott Michelf9f42e62008-01-29 02:16:57 +0000458 /*NOTREACHED*/
Scott Michel8efdca42007-12-04 22:23:35 +0000459
Scott Michel4d07fb72008-12-30 23:28:25 +0000460 case SPUISD::AFormAddr:
Scott Michelf9f42e62008-01-29 02:16:57 +0000461 // Just load from memory if there's only a single use of the location,
462 // otherwise, this will get handled below with D-form offset addresses
463 if (N.hasOneUse()) {
Dan Gohman8181bd12008-07-27 21:46:04 +0000464 SDValue Op0 = N.getOperand(0);
Scott Michelf9f42e62008-01-29 02:16:57 +0000465 switch (Op0.getOpcode()) {
466 case ISD::TargetConstantPool:
467 case ISD::TargetJumpTable:
468 Base = Op0;
469 Index = Zero;
470 return true;
471
472 case ISD::TargetGlobalAddress: {
473 GlobalAddressSDNode *GSDN = cast<GlobalAddressSDNode>(Op0);
474 GlobalValue *GV = GSDN->getGlobal();
475 if (GV->getAlignment() == 16) {
476 Base = Op0;
477 Index = Zero;
478 return true;
479 }
480 break;
481 }
482 }
483 }
484 break;
485 }
Scott Michel8efdca42007-12-04 22:23:35 +0000486 return false;
487}
488
Scott Michel4d07fb72008-12-30 23:28:25 +0000489bool
Dan Gohman5f082a72010-01-05 01:24:18 +0000490SPUDAGToDAGISel::SelectDForm2Addr(SDNode *Op, SDValue N, SDValue &Disp,
Dan Gohman8181bd12008-07-27 21:46:04 +0000491 SDValue &Base) {
Scott Michelbc5fbc12008-04-30 00:30:08 +0000492 const int minDForm2Offset = -(1 << 7);
493 const int maxDForm2Offset = (1 << 7) - 1;
494 return DFormAddressPredicate(Op, N, Disp, Base, minDForm2Offset,
495 maxDForm2Offset);
Scott Michel5a6f17b2008-01-30 02:55:46 +0000496}
497
Scott Michel8efdca42007-12-04 22:23:35 +0000498/*!
499 \arg Op The ISD instruction (ignored)
500 \arg N The address to be tested
501 \arg Base Base address register/pointer
502 \arg Index Base address index
503
504 Examine the input address by a base register plus a signed 10-bit
505 displacement, [r+I10] (D-form address).
506
507 \return true if \a N is a D-form address with \a Base and \a Index set
Dan Gohman8181bd12008-07-27 21:46:04 +0000508 to non-empty SDValue instances.
Scott Michel8efdca42007-12-04 22:23:35 +0000509*/
510bool
Dan Gohman5f082a72010-01-05 01:24:18 +0000511SPUDAGToDAGISel::SelectDFormAddr(SDNode *Op, SDValue N, SDValue &Base,
Dan Gohman8181bd12008-07-27 21:46:04 +0000512 SDValue &Index) {
Scott Michel5a6f17b2008-01-30 02:55:46 +0000513 return DFormAddressPredicate(Op, N, Base, Index,
Scott Michel33d73eb2008-11-21 02:56:16 +0000514 SPUFrameInfo::minFrameOffset(),
515 SPUFrameInfo::maxFrameOffset());
Scott Michel5a6f17b2008-01-30 02:55:46 +0000516}
517
518bool
Dan Gohman5f082a72010-01-05 01:24:18 +0000519SPUDAGToDAGISel::DFormAddressPredicate(SDNode *Op, SDValue N, SDValue &Base,
Dan Gohman8181bd12008-07-27 21:46:04 +0000520 SDValue &Index, int minOffset,
Scott Michel5a6f17b2008-01-30 02:55:46 +0000521 int maxOffset) {
Scott Michel8efdca42007-12-04 22:23:35 +0000522 unsigned Opc = N.getOpcode();
Owen Andersonac9de032009-08-10 22:56:29 +0000523 EVT PtrTy = SPUtli.getPointerTy();
Scott Michel8efdca42007-12-04 22:23:35 +0000524
Scott Michelf9f42e62008-01-29 02:16:57 +0000525 if (Opc == ISD::FrameIndex) {
526 // Stack frame index must be less than 512 (divided by 16):
Scott Michelbc5fbc12008-04-30 00:30:08 +0000527 FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(N);
528 int FI = int(FIN->getIndex());
Chris Lattner36eef822009-08-23 07:05:07 +0000529 DEBUG(errs() << "SelectDFormAddr: ISD::FrameIndex = "
Scott Michelbc5fbc12008-04-30 00:30:08 +0000530 << FI << "\n");
531 if (SPUFrameInfo::FItoStackOffset(FI) < maxOffset) {
Scott Michel8efdca42007-12-04 22:23:35 +0000532 Base = CurDAG->getTargetConstant(0, PtrTy);
Scott Michelbc5fbc12008-04-30 00:30:08 +0000533 Index = CurDAG->getTargetFrameIndex(FI, PtrTy);
Scott Michel8efdca42007-12-04 22:23:35 +0000534 return true;
535 }
536 } else if (Opc == ISD::ADD) {
537 // Generated by getelementptr
Dan Gohman8181bd12008-07-27 21:46:04 +0000538 const SDValue Op0 = N.getOperand(0);
539 const SDValue Op1 = N.getOperand(1);
Scott Michel8efdca42007-12-04 22:23:35 +0000540
Scott Michelf9f42e62008-01-29 02:16:57 +0000541 if ((Op0.getOpcode() == SPUISD::Hi && Op1.getOpcode() == SPUISD::Lo)
542 || (Op1.getOpcode() == SPUISD::Hi && Op0.getOpcode() == SPUISD::Lo)) {
543 Base = CurDAG->getTargetConstant(0, PtrTy);
544 Index = N;
545 return true;
546 } else if (Op1.getOpcode() == ISD::Constant
547 || Op1.getOpcode() == ISD::TargetConstant) {
Scott Micheldbac4cf2008-01-11 02:53:15 +0000548 ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Op1);
Dan Gohman40686732008-09-26 21:54:37 +0000549 int32_t offset = int32_t(CN->getSExtValue());
Scott Micheldbac4cf2008-01-11 02:53:15 +0000550
Scott Michelf9f42e62008-01-29 02:16:57 +0000551 if (Op0.getOpcode() == ISD::FrameIndex) {
Scott Michelbc5fbc12008-04-30 00:30:08 +0000552 FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Op0);
553 int FI = int(FIN->getIndex());
Chris Lattner36eef822009-08-23 07:05:07 +0000554 DEBUG(errs() << "SelectDFormAddr: ISD::ADD offset = " << offset
Scott Michelbc5fbc12008-04-30 00:30:08 +0000555 << " frame index = " << FI << "\n");
Scott Micheldbac4cf2008-01-11 02:53:15 +0000556
Scott Michelbc5fbc12008-04-30 00:30:08 +0000557 if (SPUFrameInfo::FItoStackOffset(FI) < maxOffset) {
Scott Micheldbac4cf2008-01-11 02:53:15 +0000558 Base = CurDAG->getTargetConstant(offset, PtrTy);
Scott Michelbc5fbc12008-04-30 00:30:08 +0000559 Index = CurDAG->getTargetFrameIndex(FI, PtrTy);
Scott Micheldbac4cf2008-01-11 02:53:15 +0000560 return true;
561 }
Scott Michel5a6f17b2008-01-30 02:55:46 +0000562 } else if (offset > minOffset && offset < maxOffset) {
Scott Micheldbac4cf2008-01-11 02:53:15 +0000563 Base = CurDAG->getTargetConstant(offset, PtrTy);
Scott Michelf9f42e62008-01-29 02:16:57 +0000564 Index = Op0;
565 return true;
566 }
567 } else if (Op0.getOpcode() == ISD::Constant
568 || Op0.getOpcode() == ISD::TargetConstant) {
569 ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Op0);
Dan Gohman40686732008-09-26 21:54:37 +0000570 int32_t offset = int32_t(CN->getSExtValue());
Scott Michelf9f42e62008-01-29 02:16:57 +0000571
572 if (Op1.getOpcode() == ISD::FrameIndex) {
Scott Michelbc5fbc12008-04-30 00:30:08 +0000573 FrameIndexSDNode *FIN = dyn_cast<FrameIndexSDNode>(Op1);
574 int FI = int(FIN->getIndex());
Chris Lattner36eef822009-08-23 07:05:07 +0000575 DEBUG(errs() << "SelectDFormAddr: ISD::ADD offset = " << offset
Scott Michelbc5fbc12008-04-30 00:30:08 +0000576 << " frame index = " << FI << "\n");
Scott Michelf9f42e62008-01-29 02:16:57 +0000577
Scott Michelbc5fbc12008-04-30 00:30:08 +0000578 if (SPUFrameInfo::FItoStackOffset(FI) < maxOffset) {
Scott Michelf9f42e62008-01-29 02:16:57 +0000579 Base = CurDAG->getTargetConstant(offset, PtrTy);
Scott Michelbc5fbc12008-04-30 00:30:08 +0000580 Index = CurDAG->getTargetFrameIndex(FI, PtrTy);
Scott Micheldbac4cf2008-01-11 02:53:15 +0000581 return true;
582 }
Scott Michel5a6f17b2008-01-30 02:55:46 +0000583 } else if (offset > minOffset && offset < maxOffset) {
Scott Michelf9f42e62008-01-29 02:16:57 +0000584 Base = CurDAG->getTargetConstant(offset, PtrTy);
585 Index = Op1;
586 return true;
Scott Micheldbac4cf2008-01-11 02:53:15 +0000587 }
Scott Michelf9f42e62008-01-29 02:16:57 +0000588 }
589 } else if (Opc == SPUISD::IndirectAddr) {
590 // Indirect with constant offset -> D-Form address
Dan Gohman8181bd12008-07-27 21:46:04 +0000591 const SDValue Op0 = N.getOperand(0);
592 const SDValue Op1 = N.getOperand(1);
Scott Michelabc58242008-01-11 21:01:19 +0000593
Scott Michel5a6f17b2008-01-30 02:55:46 +0000594 if (Op0.getOpcode() == SPUISD::Hi
595 && Op1.getOpcode() == SPUISD::Lo) {
Scott Michelf9f42e62008-01-29 02:16:57 +0000596 // (SPUindirect (SPUhi <arg>, 0), (SPUlo <arg>, 0))
Scott Micheldbac4cf2008-01-11 02:53:15 +0000597 Base = CurDAG->getTargetConstant(0, PtrTy);
Scott Michelf9f42e62008-01-29 02:16:57 +0000598 Index = N;
Scott Micheldbac4cf2008-01-11 02:53:15 +0000599 return true;
Scott Michel5a6f17b2008-01-30 02:55:46 +0000600 } else if (isa<ConstantSDNode>(Op0) || isa<ConstantSDNode>(Op1)) {
601 int32_t offset = 0;
Dan Gohman8181bd12008-07-27 21:46:04 +0000602 SDValue idxOp;
Scott Michel5a6f17b2008-01-30 02:55:46 +0000603
604 if (isa<ConstantSDNode>(Op1)) {
605 ConstantSDNode *CN = cast<ConstantSDNode>(Op1);
Dan Gohman40686732008-09-26 21:54:37 +0000606 offset = int32_t(CN->getSExtValue());
Scott Michel5a6f17b2008-01-30 02:55:46 +0000607 idxOp = Op0;
608 } else if (isa<ConstantSDNode>(Op0)) {
609 ConstantSDNode *CN = cast<ConstantSDNode>(Op0);
Dan Gohman40686732008-09-26 21:54:37 +0000610 offset = int32_t(CN->getSExtValue());
Scott Michel5a6f17b2008-01-30 02:55:46 +0000611 idxOp = Op1;
Scott Michel4d07fb72008-12-30 23:28:25 +0000612 }
Scott Michel5a6f17b2008-01-30 02:55:46 +0000613
614 if (offset >= minOffset && offset <= maxOffset) {
615 Base = CurDAG->getTargetConstant(offset, PtrTy);
616 Index = idxOp;
617 return true;
618 }
Scott Micheldbac4cf2008-01-11 02:53:15 +0000619 }
Scott Michelf9f42e62008-01-29 02:16:57 +0000620 } else if (Opc == SPUISD::AFormAddr) {
621 Base = CurDAG->getTargetConstant(0, N.getValueType());
622 Index = N;
Scott Michel394e26d2008-01-17 20:38:41 +0000623 return true;
Scott Michel5a6f17b2008-01-30 02:55:46 +0000624 } else if (Opc == SPUISD::LDRESULT) {
625 Base = CurDAG->getTargetConstant(0, N.getValueType());
626 Index = N;
627 return true;
Scott Michel33d73eb2008-11-21 02:56:16 +0000628 } else if (Opc == ISD::Register || Opc == ISD::CopyFromReg) {
Dan Gohman5f082a72010-01-05 01:24:18 +0000629 unsigned OpOpc = Op->getOpcode();
Scott Michel33d73eb2008-11-21 02:56:16 +0000630
631 if (OpOpc == ISD::STORE || OpOpc == ISD::LOAD) {
632 // Direct load/store without getelementptr
633 SDValue Addr, Offs;
634
635 // Get the register from CopyFromReg
636 if (Opc == ISD::CopyFromReg)
637 Addr = N.getOperand(1);
638 else
639 Addr = N; // Register
640
Dan Gohman5f082a72010-01-05 01:24:18 +0000641 Offs = ((OpOpc == ISD::STORE) ? Op->getOperand(3) : Op->getOperand(2));
Scott Michel33d73eb2008-11-21 02:56:16 +0000642
643 if (Offs.getOpcode() == ISD::Constant || Offs.getOpcode() == ISD::UNDEF) {
644 if (Offs.getOpcode() == ISD::UNDEF)
645 Offs = CurDAG->getTargetConstant(0, Offs.getValueType());
646
647 Base = Offs;
648 Index = Addr;
649 return true;
650 }
Scott Michel61895fe2008-12-10 00:15:19 +0000651 } else {
652 /* If otherwise unadorned, default to D-form address with 0 offset: */
653 if (Opc == ISD::CopyFromReg) {
pingbakb8913342009-01-26 03:37:41 +0000654 Index = N.getOperand(1);
Scott Michel61895fe2008-12-10 00:15:19 +0000655 } else {
pingbakb8913342009-01-26 03:37:41 +0000656 Index = N;
Scott Michel61895fe2008-12-10 00:15:19 +0000657 }
658
659 Base = CurDAG->getTargetConstant(0, Index.getValueType());
660 return true;
Scott Michel33d73eb2008-11-21 02:56:16 +0000661 }
Scott Michel8efdca42007-12-04 22:23:35 +0000662 }
Scott Michel33d73eb2008-11-21 02:56:16 +0000663
Scott Michel8efdca42007-12-04 22:23:35 +0000664 return false;
665}
666
667/*!
668 \arg Op The ISD instruction operand
669 \arg N The address operand
670 \arg Base The base pointer operand
671 \arg Index The offset/index operand
672
Scott Michel33d73eb2008-11-21 02:56:16 +0000673 If the address \a N can be expressed as an A-form or D-form address, returns
674 false. Otherwise, creates two operands, Base and Index that will become the
675 (r)(r) X-form address.
Scott Michel8efdca42007-12-04 22:23:35 +0000676*/
677bool
Dan Gohman5f082a72010-01-05 01:24:18 +0000678SPUDAGToDAGISel::SelectXFormAddr(SDNode *Op, SDValue N, SDValue &Base,
Dan Gohman8181bd12008-07-27 21:46:04 +0000679 SDValue &Index) {
Scott Michel33d73eb2008-11-21 02:56:16 +0000680 if (!SelectAFormAddr(Op, N, Base, Index)
681 && !SelectDFormAddr(Op, N, Base, Index)) {
Scott Michel3573be32008-11-25 17:29:43 +0000682 // If the address is neither A-form or D-form, punt and use an X-form
683 // address:
Scott Michel0718cd82008-12-01 17:56:02 +0000684 Base = N.getOperand(1);
685 Index = N.getOperand(0);
Scott Michelb6c32352008-11-25 04:03:47 +0000686 return true;
Scott Michel33d73eb2008-11-21 02:56:16 +0000687 }
688
689 return false;
Scott Michel394e26d2008-01-17 20:38:41 +0000690}
691
Scott Michel8efdca42007-12-04 22:23:35 +0000692//! Convert the operand from a target-independent to a target-specific node
693/*!
694 */
695SDNode *
Dan Gohman5f082a72010-01-05 01:24:18 +0000696SPUDAGToDAGISel::Select(SDNode *N) {
Scott Michel8efdca42007-12-04 22:23:35 +0000697 unsigned Opc = N->getOpcode();
Scott Michel394e26d2008-01-17 20:38:41 +0000698 int n_ops = -1;
699 unsigned NewOpc;
Dan Gohman5f082a72010-01-05 01:24:18 +0000700 EVT OpVT = N->getValueType(0);
Dan Gohman8181bd12008-07-27 21:46:04 +0000701 SDValue Ops[8];
Dale Johannesen913ba762009-02-06 01:31:28 +0000702 DebugLoc dl = N->getDebugLoc();
Scott Michel8efdca42007-12-04 22:23:35 +0000703
Chris Lattner15f92b92010-02-23 05:30:43 +0000704 if (N->isMachineOpcode())
Scott Michel8efdca42007-12-04 22:23:35 +0000705 return NULL; // Already selected.
pingbak2f387e82009-01-26 03:31:40 +0000706
707 if (Opc == ISD::FrameIndex) {
Scott Michel4d07fb72008-12-30 23:28:25 +0000708 int FI = cast<FrameIndexSDNode>(N)->getIndex();
Dan Gohman5f082a72010-01-05 01:24:18 +0000709 SDValue TFI = CurDAG->getTargetFrameIndex(FI, N->getValueType(0));
710 SDValue Imm0 = CurDAG->getTargetConstant(0, N->getValueType(0));
Scott Michel8efdca42007-12-04 22:23:35 +0000711
Scott Michel4d07fb72008-12-30 23:28:25 +0000712 if (FI < 128) {
Scott Michelbc5fbc12008-04-30 00:30:08 +0000713 NewOpc = SPU::AIr32;
Scott Michel4d07fb72008-12-30 23:28:25 +0000714 Ops[0] = TFI;
715 Ops[1] = Imm0;
Scott Michelbc5fbc12008-04-30 00:30:08 +0000716 n_ops = 2;
717 } else {
Scott Michelbc5fbc12008-04-30 00:30:08 +0000718 NewOpc = SPU::Ar32;
Dan Gohman5f082a72010-01-05 01:24:18 +0000719 Ops[0] = CurDAG->getRegister(SPU::R1, N->getValueType(0));
Dan Gohman61fda0d2009-09-25 18:54:59 +0000720 Ops[1] = SDValue(CurDAG->getMachineNode(SPU::ILAr32, dl,
Dan Gohman5f082a72010-01-05 01:24:18 +0000721 N->getValueType(0), TFI, Imm0),
Dan Gohman61fda0d2009-09-25 18:54:59 +0000722 0);
Scott Michelbc5fbc12008-04-30 00:30:08 +0000723 n_ops = 2;
Scott Michelbc5fbc12008-04-30 00:30:08 +0000724 }
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000725 } else if (Opc == ISD::Constant && OpVT == MVT::i64) {
pingbak2f387e82009-01-26 03:31:40 +0000726 // Catch the i64 constants that end up here. Note: The backend doesn't
727 // attempt to legalize the constant (it's useless because DAGCombiner
728 // will insert 64-bit constants and we can't stop it).
Dan Gohman5f082a72010-01-05 01:24:18 +0000729 return SelectI64Constant(N, OpVT, N->getDebugLoc());
Scott Michel750b93f2009-01-15 04:41:47 +0000730 } else if ((Opc == ISD::ZERO_EXTEND || Opc == ISD::ANY_EXTEND)
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000731 && OpVT == MVT::i64) {
Dan Gohman5f082a72010-01-05 01:24:18 +0000732 SDValue Op0 = N->getOperand(0);
Owen Andersonac9de032009-08-10 22:56:29 +0000733 EVT Op0VT = Op0.getValueType();
Owen Anderson77f4eb52009-08-12 00:36:31 +0000734 EVT Op0VecVT = EVT::getVectorVT(*CurDAG->getContext(),
735 Op0VT, (128 / Op0VT.getSizeInBits()));
736 EVT OpVecVT = EVT::getVectorVT(*CurDAG->getContext(),
737 OpVT, (128 / OpVT.getSizeInBits()));
Scott Michel750b93f2009-01-15 04:41:47 +0000738 SDValue shufMask;
Scott Michel394e26d2008-01-17 20:38:41 +0000739
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000740 switch (Op0VT.getSimpleVT().SimpleTy) {
Scott Michel750b93f2009-01-15 04:41:47 +0000741 default:
Owen Andersonac9de032009-08-10 22:56:29 +0000742 llvm_report_error("CellSPU Select: Unhandled zero/any extend EVT");
Scott Michel750b93f2009-01-15 04:41:47 +0000743 /*NOTREACHED*/
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000744 case MVT::i32:
745 shufMask = CurDAG->getNode(ISD::BUILD_VECTOR, dl, MVT::v4i32,
746 CurDAG->getConstant(0x80808080, MVT::i32),
747 CurDAG->getConstant(0x00010203, MVT::i32),
748 CurDAG->getConstant(0x80808080, MVT::i32),
749 CurDAG->getConstant(0x08090a0b, MVT::i32));
Scott Michel750b93f2009-01-15 04:41:47 +0000750 break;
751
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000752 case MVT::i16:
753 shufMask = CurDAG->getNode(ISD::BUILD_VECTOR, dl, MVT::v4i32,
754 CurDAG->getConstant(0x80808080, MVT::i32),
755 CurDAG->getConstant(0x80800203, MVT::i32),
756 CurDAG->getConstant(0x80808080, MVT::i32),
757 CurDAG->getConstant(0x80800a0b, MVT::i32));
Scott Michel750b93f2009-01-15 04:41:47 +0000758 break;
759
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000760 case MVT::i8:
761 shufMask = CurDAG->getNode(ISD::BUILD_VECTOR, dl, MVT::v4i32,
762 CurDAG->getConstant(0x80808080, MVT::i32),
763 CurDAG->getConstant(0x80808003, MVT::i32),
764 CurDAG->getConstant(0x80808080, MVT::i32),
765 CurDAG->getConstant(0x8080800b, MVT::i32));
Scott Michel750b93f2009-01-15 04:41:47 +0000766 break;
Scott Michel394e26d2008-01-17 20:38:41 +0000767 }
Scott Michel750b93f2009-01-15 04:41:47 +0000768
Dan Gohman5f082a72010-01-05 01:24:18 +0000769 SDNode *shufMaskLoad = emitBuildVector(shufMask.getNode());
Chris Lattner15f92b92010-02-23 05:30:43 +0000770
771 HandleSDNode PromoteScalar(CurDAG->getNode(SPUISD::PREFSLOT2VEC, dl,
772 Op0VecVT, Op0));
773
774 SDValue PromScalar;
775 if (SDNode *N = SelectCode(PromoteScalar.getValue().getNode()))
776 PromScalar = SDValue(N, 0);
777 else
778 PromScalar = PromoteScalar.getValue();
779
Scott Michel750b93f2009-01-15 04:41:47 +0000780 SDValue zextShuffle =
Dale Johannesen913ba762009-02-06 01:31:28 +0000781 CurDAG->getNode(SPUISD::SHUFB, dl, OpVecVT,
Chris Lattner15f92b92010-02-23 05:30:43 +0000782 PromScalar, PromScalar,
Scott Michel8c67fa42009-01-21 04:58:48 +0000783 SDValue(shufMaskLoad, 0));
Scott Michel750b93f2009-01-15 04:41:47 +0000784
Chris Lattner15f92b92010-02-23 05:30:43 +0000785 HandleSDNode Dummy2(zextShuffle);
786 if (SDNode *N = SelectCode(Dummy2.getValue().getNode()))
787 zextShuffle = SDValue(N, 0);
788 else
789 zextShuffle = Dummy2.getValue();
790 HandleSDNode Dummy(CurDAG->getNode(SPUISD::VEC2PREFSLOT, dl, OpVT,
791 zextShuffle));
792
793 CurDAG->ReplaceAllUsesWith(N, Dummy.getValue().getNode());
794 SelectCode(Dummy.getValue().getNode());
795 return Dummy.getValue().getNode();
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000796 } else if (Opc == ISD::ADD && (OpVT == MVT::i64 || OpVT == MVT::v2i64)) {
Scott Michel750b93f2009-01-15 04:41:47 +0000797 SDNode *CGLoad =
Dan Gohman5f082a72010-01-05 01:24:18 +0000798 emitBuildVector(getCarryGenerateShufMask(*CurDAG, dl).getNode());
Scott Michel750b93f2009-01-15 04:41:47 +0000799
Chris Lattner15f92b92010-02-23 05:30:43 +0000800 HandleSDNode Dummy(CurDAG->getNode(SPUISD::ADD64_MARKER, dl, OpVT,
801 N->getOperand(0), N->getOperand(1),
802 SDValue(CGLoad, 0)));
803
804 CurDAG->ReplaceAllUsesWith(N, Dummy.getValue().getNode());
805 if (SDNode *N = SelectCode(Dummy.getValue().getNode()))
806 return N;
807 return Dummy.getValue().getNode();
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000808 } else if (Opc == ISD::SUB && (OpVT == MVT::i64 || OpVT == MVT::v2i64)) {
Scott Michel750b93f2009-01-15 04:41:47 +0000809 SDNode *CGLoad =
Dan Gohman5f082a72010-01-05 01:24:18 +0000810 emitBuildVector(getBorrowGenerateShufMask(*CurDAG, dl).getNode());
Scott Michel750b93f2009-01-15 04:41:47 +0000811
Chris Lattner15f92b92010-02-23 05:30:43 +0000812 HandleSDNode Dummy(CurDAG->getNode(SPUISD::SUB64_MARKER, dl, OpVT,
813 N->getOperand(0), N->getOperand(1),
814 SDValue(CGLoad, 0)));
815
816 CurDAG->ReplaceAllUsesWith(N, Dummy.getValue().getNode());
817 if (SDNode *N = SelectCode(Dummy.getValue().getNode()))
818 return N;
819 return Dummy.getValue().getNode();
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000820 } else if (Opc == ISD::MUL && (OpVT == MVT::i64 || OpVT == MVT::v2i64)) {
Scott Michel750b93f2009-01-15 04:41:47 +0000821 SDNode *CGLoad =
Dan Gohman5f082a72010-01-05 01:24:18 +0000822 emitBuildVector(getCarryGenerateShufMask(*CurDAG, dl).getNode());
Scott Michel750b93f2009-01-15 04:41:47 +0000823
Chris Lattner15f92b92010-02-23 05:30:43 +0000824 HandleSDNode Dummy(CurDAG->getNode(SPUISD::MUL64_MARKER, dl, OpVT,
825 N->getOperand(0), N->getOperand(1),
826 SDValue(CGLoad, 0)));
827 CurDAG->ReplaceAllUsesWith(N, Dummy.getValue().getNode());
828 if (SDNode *N = SelectCode(Dummy.getValue().getNode()))
829 return N;
830 return Dummy.getValue().getNode();
pingbak2f387e82009-01-26 03:31:40 +0000831 } else if (Opc == ISD::TRUNCATE) {
Dan Gohman5f082a72010-01-05 01:24:18 +0000832 SDValue Op0 = N->getOperand(0);
pingbak2f387e82009-01-26 03:31:40 +0000833 if ((Op0.getOpcode() == ISD::SRA || Op0.getOpcode() == ISD::SRL)
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000834 && OpVT == MVT::i32
835 && Op0.getValueType() == MVT::i64) {
Scott Michelc899a122009-01-26 22:33:37 +0000836 // Catch (truncate:i32 ([sra|srl]:i64 arg, c), where c >= 32
837 //
838 // Take advantage of the fact that the upper 32 bits are in the
839 // i32 preferred slot and avoid shuffle gymnastics:
pingbak2f387e82009-01-26 03:31:40 +0000840 ConstantSDNode *CN = dyn_cast<ConstantSDNode>(Op0.getOperand(1));
841 if (CN != 0) {
842 unsigned shift_amt = unsigned(CN->getZExtValue());
Scott Michel8c67fa42009-01-21 04:58:48 +0000843
pingbak2f387e82009-01-26 03:31:40 +0000844 if (shift_amt >= 32) {
845 SDNode *hi32 =
Dan Gohman61fda0d2009-09-25 18:54:59 +0000846 CurDAG->getMachineNode(SPU::ORr32_r64, dl, OpVT,
847 Op0.getOperand(0));
Scott Michel8c67fa42009-01-21 04:58:48 +0000848
pingbak2f387e82009-01-26 03:31:40 +0000849 shift_amt -= 32;
850 if (shift_amt > 0) {
851 // Take care of the additional shift, if present:
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000852 SDValue shift = CurDAG->getTargetConstant(shift_amt, MVT::i32);
pingbak2f387e82009-01-26 03:31:40 +0000853 unsigned Opc = SPU::ROTMAIr32_i32;
Scott Michelc899a122009-01-26 22:33:37 +0000854
pingbak2f387e82009-01-26 03:31:40 +0000855 if (Op0.getOpcode() == ISD::SRL)
856 Opc = SPU::ROTMr32;
Scott Michel8c67fa42009-01-21 04:58:48 +0000857
Dan Gohman61fda0d2009-09-25 18:54:59 +0000858 hi32 = CurDAG->getMachineNode(Opc, dl, OpVT, SDValue(hi32, 0),
859 shift);
pingbak2f387e82009-01-26 03:31:40 +0000860 }
861
862 return hi32;
863 }
864 }
865 }
Scott Michel4d07fb72008-12-30 23:28:25 +0000866 } else if (Opc == ISD::SHL) {
Chris Lattner15f92b92010-02-23 05:30:43 +0000867 if (OpVT == MVT::i64)
Dan Gohman5f082a72010-01-05 01:24:18 +0000868 return SelectSHLi64(N, OpVT);
Scott Michel4d07fb72008-12-30 23:28:25 +0000869 } else if (Opc == ISD::SRL) {
Chris Lattner15f92b92010-02-23 05:30:43 +0000870 if (OpVT == MVT::i64)
Dan Gohman5f082a72010-01-05 01:24:18 +0000871 return SelectSRLi64(N, OpVT);
Scott Michel4d07fb72008-12-30 23:28:25 +0000872 } else if (Opc == ISD::SRA) {
Chris Lattner15f92b92010-02-23 05:30:43 +0000873 if (OpVT == MVT::i64)
Dan Gohman5f082a72010-01-05 01:24:18 +0000874 return SelectSRAi64(N, OpVT);
Scott Michel0d5eae02009-03-17 01:15:45 +0000875 } else if (Opc == ISD::FNEG
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000876 && (OpVT == MVT::f64 || OpVT == MVT::v2f64)) {
Dan Gohman5f082a72010-01-05 01:24:18 +0000877 DebugLoc dl = N->getDebugLoc();
Scott Michel0d5eae02009-03-17 01:15:45 +0000878 // Check if the pattern is a special form of DFNMS:
879 // (fneg (fsub (fmul R64FP:$rA, R64FP:$rB), R64FP:$rC))
Dan Gohman5f082a72010-01-05 01:24:18 +0000880 SDValue Op0 = N->getOperand(0);
Scott Michel0d5eae02009-03-17 01:15:45 +0000881 if (Op0.getOpcode() == ISD::FSUB) {
882 SDValue Op00 = Op0.getOperand(0);
883 if (Op00.getOpcode() == ISD::FMUL) {
884 unsigned Opc = SPU::DFNMSf64;
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000885 if (OpVT == MVT::v2f64)
Scott Michel0d5eae02009-03-17 01:15:45 +0000886 Opc = SPU::DFNMSv2f64;
887
Dan Gohman61fda0d2009-09-25 18:54:59 +0000888 return CurDAG->getMachineNode(Opc, dl, OpVT,
889 Op00.getOperand(0),
890 Op00.getOperand(1),
891 Op0.getOperand(1));
Scott Michel0d5eae02009-03-17 01:15:45 +0000892 }
893 }
894
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000895 SDValue negConst = CurDAG->getConstant(0x8000000000000000ULL, MVT::i64);
Scott Michel0d5eae02009-03-17 01:15:45 +0000896 SDNode *signMask = 0;
Scott Michele13d8392009-03-17 16:45:16 +0000897 unsigned Opc = SPU::XORfneg64;
Scott Michel0d5eae02009-03-17 01:15:45 +0000898
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000899 if (OpVT == MVT::f64) {
Dan Gohman5f082a72010-01-05 01:24:18 +0000900 signMask = SelectI64Constant(negConst.getNode(), MVT::i64, dl);
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000901 } else if (OpVT == MVT::v2f64) {
Scott Michele13d8392009-03-17 16:45:16 +0000902 Opc = SPU::XORfnegvec;
Scott Michel0d5eae02009-03-17 01:15:45 +0000903 signMask = emitBuildVector(CurDAG->getNode(ISD::BUILD_VECTOR, dl,
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000904 MVT::v2i64,
Dan Gohman5f082a72010-01-05 01:24:18 +0000905 negConst, negConst).getNode());
Scott Michel0d5eae02009-03-17 01:15:45 +0000906 }
907
Dan Gohman61fda0d2009-09-25 18:54:59 +0000908 return CurDAG->getMachineNode(Opc, dl, OpVT,
Dan Gohman5f082a72010-01-05 01:24:18 +0000909 N->getOperand(0), SDValue(signMask, 0));
Scott Michel0d5eae02009-03-17 01:15:45 +0000910 } else if (Opc == ISD::FABS) {
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000911 if (OpVT == MVT::f64) {
912 SDNode *signMask = SelectI64Constant(0x7fffffffffffffffULL, MVT::i64, dl);
Dan Gohman61fda0d2009-09-25 18:54:59 +0000913 return CurDAG->getMachineNode(SPU::ANDfabs64, dl, OpVT,
Dan Gohman5f082a72010-01-05 01:24:18 +0000914 N->getOperand(0), SDValue(signMask, 0));
Owen Anderson36e3a6e2009-08-11 20:47:22 +0000915 } else if (OpVT == MVT::v2f64) {
916 SDValue absConst = CurDAG->getConstant(0x7fffffffffffffffULL, MVT::i64);
917 SDValue absVec = CurDAG->getNode(ISD::BUILD_VECTOR, dl, MVT::v2i64,
Scott Michel0d5eae02009-03-17 01:15:45 +0000918 absConst, absConst);
Dan Gohman5f082a72010-01-05 01:24:18 +0000919 SDNode *signMask = emitBuildVector(absVec.getNode());
Dan Gohman61fda0d2009-09-25 18:54:59 +0000920 return CurDAG->getMachineNode(SPU::ANDfabsvec, dl, OpVT,
Dan Gohman5f082a72010-01-05 01:24:18 +0000921 N->getOperand(0), SDValue(signMask, 0));
Scott Michel0d5eae02009-03-17 01:15:45 +0000922 }
Scott Michel8efdca42007-12-04 22:23:35 +0000923 } else if (Opc == SPUISD::LDRESULT) {
924 // Custom select instructions for LDRESULT
Owen Andersonac9de032009-08-10 22:56:29 +0000925 EVT VT = N->getValueType(0);
Dan Gohman8181bd12008-07-27 21:46:04 +0000926 SDValue Arg = N->getOperand(0);
927 SDValue Chain = N->getOperand(1);
Scott Michel8efdca42007-12-04 22:23:35 +0000928 SDNode *Result;
Scott Michel97872d32008-02-23 18:41:37 +0000929 const valtype_map_s *vtm = getValueTypeMapEntry(VT);
930
931 if (vtm->ldresult_ins == 0) {
Edwin Török4d9756a2009-07-08 20:53:28 +0000932 std::string msg;
933 raw_string_ostream Msg(msg);
934 Msg << "LDRESULT for unsupported type: "
Owen Andersonac9de032009-08-10 22:56:29 +0000935 << VT.getEVTString();
Edwin Török4d9756a2009-07-08 20:53:28 +0000936 llvm_report_error(Msg.str());
Scott Michel97872d32008-02-23 18:41:37 +0000937 }
Scott Michel8efdca42007-12-04 22:23:35 +0000938
Scott Michel97872d32008-02-23 18:41:37 +0000939 Opc = vtm->ldresult_ins;
940 if (vtm->ldresult_imm) {
Dan Gohman8181bd12008-07-27 21:46:04 +0000941 SDValue Zero = CurDAG->getTargetConstant(0, VT);
Scott Michel754d8662007-12-20 00:44:13 +0000942
Dan Gohman61fda0d2009-09-25 18:54:59 +0000943 Result = CurDAG->getMachineNode(Opc, dl, VT, MVT::Other, Arg, Zero, Chain);
Scott Michel754d8662007-12-20 00:44:13 +0000944 } else {
Dan Gohman61fda0d2009-09-25 18:54:59 +0000945 Result = CurDAG->getMachineNode(Opc, dl, VT, MVT::Other, Arg, Arg, Chain);
Scott Michel754d8662007-12-20 00:44:13 +0000946 }
947
Scott Michel8efdca42007-12-04 22:23:35 +0000948 return Result;
Scott Michelf9f42e62008-01-29 02:16:57 +0000949 } else if (Opc == SPUISD::IndirectAddr) {
Scott Michel06eabde2008-12-27 04:51:36 +0000950 // Look at the operands: SelectCode() will catch the cases that aren't
951 // specifically handled here.
952 //
953 // SPUInstrInfo catches the following patterns:
954 // (SPUindirect (SPUhi ...), (SPUlo ...))
955 // (SPUindirect $sp, imm)
Dan Gohman5f082a72010-01-05 01:24:18 +0000956 EVT VT = N->getValueType(0);
Scott Michel06eabde2008-12-27 04:51:36 +0000957 SDValue Op0 = N->getOperand(0);
958 SDValue Op1 = N->getOperand(1);
959 RegisterSDNode *RN;
Scott Michel394e26d2008-01-17 20:38:41 +0000960
Scott Michel06eabde2008-12-27 04:51:36 +0000961 if ((Op0.getOpcode() != SPUISD::Hi && Op1.getOpcode() != SPUISD::Lo)
962 || (Op0.getOpcode() == ISD::Register
963 && ((RN = dyn_cast<RegisterSDNode>(Op0.getNode())) != 0
964 && RN->getReg() != SPU::R1))) {
965 NewOpc = SPU::Ar32;
Scott Michel394e26d2008-01-17 20:38:41 +0000966 if (Op1.getOpcode() == ISD::Constant) {
967 ConstantSDNode *CN = cast<ConstantSDNode>(Op1);
Scott Michel06eabde2008-12-27 04:51:36 +0000968 Op1 = CurDAG->getTargetConstant(CN->getSExtValue(), VT);
Scott Michel5a6f17b2008-01-30 02:55:46 +0000969 NewOpc = (isI32IntS10Immediate(CN) ? SPU::AIr32 : SPU::Ar32);
Scott Michel394e26d2008-01-17 20:38:41 +0000970 }
Scott Michel06eabde2008-12-27 04:51:36 +0000971 Ops[0] = Op0;
972 Ops[1] = Op1;
973 n_ops = 2;
Scott Michel394e26d2008-01-17 20:38:41 +0000974 }
Scott Michel8efdca42007-12-04 22:23:35 +0000975 }
Scott Michel4d07fb72008-12-30 23:28:25 +0000976
Scott Michel394e26d2008-01-17 20:38:41 +0000977 if (n_ops > 0) {
978 if (N->hasOneUse())
979 return CurDAG->SelectNodeTo(N, NewOpc, OpVT, Ops, n_ops);
980 else
Dan Gohman61fda0d2009-09-25 18:54:59 +0000981 return CurDAG->getMachineNode(NewOpc, dl, OpVT, Ops, n_ops);
Scott Michel394e26d2008-01-17 20:38:41 +0000982 } else
Dan Gohman5f082a72010-01-05 01:24:18 +0000983 return SelectCode(N);
Scott Michel8efdca42007-12-04 22:23:35 +0000984}
985
Scott Michel4d07fb72008-12-30 23:28:25 +0000986/*!
987 * Emit the instruction sequence for i64 left shifts. The basic algorithm
988 * is to fill the bottom two word slots with zeros so that zeros are shifted
989 * in as the entire quadword is shifted left.
990 *
991 * \note This code could also be used to implement v2i64 shl.
992 *
993 * @param Op The shl operand
994 * @param OpVT Op's machine value value type (doesn't need to be passed, but
995 * makes life easier.)
996 * @return The SDNode with the entire instruction sequence
997 */
998SDNode *
Dan Gohman5f082a72010-01-05 01:24:18 +0000999SPUDAGToDAGISel::SelectSHLi64(SDNode *N, EVT OpVT) {
1000 SDValue Op0 = N->getOperand(0);
Owen Anderson77f4eb52009-08-12 00:36:31 +00001001 EVT VecVT = EVT::getVectorVT(*CurDAG->getContext(),
1002 OpVT, (128 / OpVT.getSizeInBits()));
Dan Gohman5f082a72010-01-05 01:24:18 +00001003 SDValue ShiftAmt = N->getOperand(1);
Owen Andersonac9de032009-08-10 22:56:29 +00001004 EVT ShiftAmtVT = ShiftAmt.getValueType();
Scott Michel4d07fb72008-12-30 23:28:25 +00001005 SDNode *VecOp0, *SelMask, *ZeroFill, *Shift = 0;
1006 SDValue SelMaskVal;
Dan Gohman5f082a72010-01-05 01:24:18 +00001007 DebugLoc dl = N->getDebugLoc();
Scott Michel4d07fb72008-12-30 23:28:25 +00001008
Dan Gohman61fda0d2009-09-25 18:54:59 +00001009 VecOp0 = CurDAG->getMachineNode(SPU::ORv2i64_i64, dl, VecVT, Op0);
Owen Anderson36e3a6e2009-08-11 20:47:22 +00001010 SelMaskVal = CurDAG->getTargetConstant(0xff00ULL, MVT::i16);
Dan Gohman61fda0d2009-09-25 18:54:59 +00001011 SelMask = CurDAG->getMachineNode(SPU::FSMBIv2i64, dl, VecVT, SelMaskVal);
1012 ZeroFill = CurDAG->getMachineNode(SPU::ILv2i64, dl, VecVT,
1013 CurDAG->getTargetConstant(0, OpVT));
1014 VecOp0 = CurDAG->getMachineNode(SPU::SELBv2i64, dl, VecVT,
1015 SDValue(ZeroFill, 0),
1016 SDValue(VecOp0, 0),
1017 SDValue(SelMask, 0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001018
1019 if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(ShiftAmt)) {
1020 unsigned bytes = unsigned(CN->getZExtValue()) >> 3;
1021 unsigned bits = unsigned(CN->getZExtValue()) & 7;
1022
1023 if (bytes > 0) {
1024 Shift =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001025 CurDAG->getMachineNode(SPU::SHLQBYIv2i64, dl, VecVT,
1026 SDValue(VecOp0, 0),
1027 CurDAG->getTargetConstant(bytes, ShiftAmtVT));
Scott Michel4d07fb72008-12-30 23:28:25 +00001028 }
1029
1030 if (bits > 0) {
1031 Shift =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001032 CurDAG->getMachineNode(SPU::SHLQBIIv2i64, dl, VecVT,
1033 SDValue((Shift != 0 ? Shift : VecOp0), 0),
1034 CurDAG->getTargetConstant(bits, ShiftAmtVT));
Scott Michel4d07fb72008-12-30 23:28:25 +00001035 }
1036 } else {
1037 SDNode *Bytes =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001038 CurDAG->getMachineNode(SPU::ROTMIr32, dl, ShiftAmtVT,
1039 ShiftAmt,
1040 CurDAG->getTargetConstant(3, ShiftAmtVT));
Scott Michel4d07fb72008-12-30 23:28:25 +00001041 SDNode *Bits =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001042 CurDAG->getMachineNode(SPU::ANDIr32, dl, ShiftAmtVT,
1043 ShiftAmt,
1044 CurDAG->getTargetConstant(7, ShiftAmtVT));
Scott Michel4d07fb72008-12-30 23:28:25 +00001045 Shift =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001046 CurDAG->getMachineNode(SPU::SHLQBYv2i64, dl, VecVT,
1047 SDValue(VecOp0, 0), SDValue(Bytes, 0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001048 Shift =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001049 CurDAG->getMachineNode(SPU::SHLQBIv2i64, dl, VecVT,
1050 SDValue(Shift, 0), SDValue(Bits, 0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001051 }
1052
Dan Gohman61fda0d2009-09-25 18:54:59 +00001053 return CurDAG->getMachineNode(SPU::ORi64_v2i64, dl, OpVT, SDValue(Shift, 0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001054}
1055
1056/*!
1057 * Emit the instruction sequence for i64 logical right shifts.
1058 *
1059 * @param Op The shl operand
1060 * @param OpVT Op's machine value value type (doesn't need to be passed, but
1061 * makes life easier.)
1062 * @return The SDNode with the entire instruction sequence
1063 */
1064SDNode *
Dan Gohman5f082a72010-01-05 01:24:18 +00001065SPUDAGToDAGISel::SelectSRLi64(SDNode *N, EVT OpVT) {
1066 SDValue Op0 = N->getOperand(0);
Owen Anderson77f4eb52009-08-12 00:36:31 +00001067 EVT VecVT = EVT::getVectorVT(*CurDAG->getContext(),
1068 OpVT, (128 / OpVT.getSizeInBits()));
Dan Gohman5f082a72010-01-05 01:24:18 +00001069 SDValue ShiftAmt = N->getOperand(1);
Owen Andersonac9de032009-08-10 22:56:29 +00001070 EVT ShiftAmtVT = ShiftAmt.getValueType();
Scott Michel4d07fb72008-12-30 23:28:25 +00001071 SDNode *VecOp0, *Shift = 0;
Dan Gohman5f082a72010-01-05 01:24:18 +00001072 DebugLoc dl = N->getDebugLoc();
Scott Michel4d07fb72008-12-30 23:28:25 +00001073
Dan Gohman61fda0d2009-09-25 18:54:59 +00001074 VecOp0 = CurDAG->getMachineNode(SPU::ORv2i64_i64, dl, VecVT, Op0);
Scott Michel4d07fb72008-12-30 23:28:25 +00001075
1076 if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(ShiftAmt)) {
1077 unsigned bytes = unsigned(CN->getZExtValue()) >> 3;
1078 unsigned bits = unsigned(CN->getZExtValue()) & 7;
1079
1080 if (bytes > 0) {
1081 Shift =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001082 CurDAG->getMachineNode(SPU::ROTQMBYIv2i64, dl, VecVT,
1083 SDValue(VecOp0, 0),
1084 CurDAG->getTargetConstant(bytes, ShiftAmtVT));
Scott Michel4d07fb72008-12-30 23:28:25 +00001085 }
1086
1087 if (bits > 0) {
1088 Shift =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001089 CurDAG->getMachineNode(SPU::ROTQMBIIv2i64, dl, VecVT,
1090 SDValue((Shift != 0 ? Shift : VecOp0), 0),
1091 CurDAG->getTargetConstant(bits, ShiftAmtVT));
Scott Michel4d07fb72008-12-30 23:28:25 +00001092 }
1093 } else {
1094 SDNode *Bytes =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001095 CurDAG->getMachineNode(SPU::ROTMIr32, dl, ShiftAmtVT,
1096 ShiftAmt,
1097 CurDAG->getTargetConstant(3, ShiftAmtVT));
Scott Michel4d07fb72008-12-30 23:28:25 +00001098 SDNode *Bits =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001099 CurDAG->getMachineNode(SPU::ANDIr32, dl, ShiftAmtVT,
1100 ShiftAmt,
1101 CurDAG->getTargetConstant(7, ShiftAmtVT));
Scott Michel4d07fb72008-12-30 23:28:25 +00001102
1103 // Ensure that the shift amounts are negated!
Dan Gohman61fda0d2009-09-25 18:54:59 +00001104 Bytes = CurDAG->getMachineNode(SPU::SFIr32, dl, ShiftAmtVT,
1105 SDValue(Bytes, 0),
1106 CurDAG->getTargetConstant(0, ShiftAmtVT));
1107
1108 Bits = CurDAG->getMachineNode(SPU::SFIr32, dl, ShiftAmtVT,
1109 SDValue(Bits, 0),
Scott Michel4d07fb72008-12-30 23:28:25 +00001110 CurDAG->getTargetConstant(0, ShiftAmtVT));
1111
Scott Michel4d07fb72008-12-30 23:28:25 +00001112 Shift =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001113 CurDAG->getMachineNode(SPU::ROTQMBYv2i64, dl, VecVT,
1114 SDValue(VecOp0, 0), SDValue(Bytes, 0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001115 Shift =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001116 CurDAG->getMachineNode(SPU::ROTQMBIv2i64, dl, VecVT,
1117 SDValue(Shift, 0), SDValue(Bits, 0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001118 }
1119
Dan Gohman61fda0d2009-09-25 18:54:59 +00001120 return CurDAG->getMachineNode(SPU::ORi64_v2i64, dl, OpVT, SDValue(Shift, 0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001121}
1122
1123/*!
1124 * Emit the instruction sequence for i64 arithmetic right shifts.
1125 *
1126 * @param Op The shl operand
1127 * @param OpVT Op's machine value value type (doesn't need to be passed, but
1128 * makes life easier.)
1129 * @return The SDNode with the entire instruction sequence
1130 */
1131SDNode *
Dan Gohman5f082a72010-01-05 01:24:18 +00001132SPUDAGToDAGISel::SelectSRAi64(SDNode *N, EVT OpVT) {
Scott Michel4d07fb72008-12-30 23:28:25 +00001133 // Promote Op0 to vector
Owen Anderson77f4eb52009-08-12 00:36:31 +00001134 EVT VecVT = EVT::getVectorVT(*CurDAG->getContext(),
1135 OpVT, (128 / OpVT.getSizeInBits()));
Dan Gohman5f082a72010-01-05 01:24:18 +00001136 SDValue ShiftAmt = N->getOperand(1);
Owen Andersonac9de032009-08-10 22:56:29 +00001137 EVT ShiftAmtVT = ShiftAmt.getValueType();
Dan Gohman5f082a72010-01-05 01:24:18 +00001138 DebugLoc dl = N->getDebugLoc();
Scott Michel4d07fb72008-12-30 23:28:25 +00001139
1140 SDNode *VecOp0 =
Dan Gohman5f082a72010-01-05 01:24:18 +00001141 CurDAG->getMachineNode(SPU::ORv2i64_i64, dl, VecVT, N->getOperand(0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001142
1143 SDValue SignRotAmt = CurDAG->getTargetConstant(31, ShiftAmtVT);
1144 SDNode *SignRot =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001145 CurDAG->getMachineNode(SPU::ROTMAIv2i64_i32, dl, MVT::v2i64,
1146 SDValue(VecOp0, 0), SignRotAmt);
Scott Michel4d07fb72008-12-30 23:28:25 +00001147 SDNode *UpperHalfSign =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001148 CurDAG->getMachineNode(SPU::ORi32_v4i32, dl, MVT::i32, SDValue(SignRot, 0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001149
1150 SDNode *UpperHalfSignMask =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001151 CurDAG->getMachineNode(SPU::FSM64r32, dl, VecVT, SDValue(UpperHalfSign, 0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001152 SDNode *UpperLowerMask =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001153 CurDAG->getMachineNode(SPU::FSMBIv2i64, dl, VecVT,
1154 CurDAG->getTargetConstant(0xff00ULL, MVT::i16));
Scott Michel4d07fb72008-12-30 23:28:25 +00001155 SDNode *UpperLowerSelect =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001156 CurDAG->getMachineNode(SPU::SELBv2i64, dl, VecVT,
1157 SDValue(UpperHalfSignMask, 0),
1158 SDValue(VecOp0, 0),
1159 SDValue(UpperLowerMask, 0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001160
1161 SDNode *Shift = 0;
1162
1163 if (ConstantSDNode *CN = dyn_cast<ConstantSDNode>(ShiftAmt)) {
1164 unsigned bytes = unsigned(CN->getZExtValue()) >> 3;
1165 unsigned bits = unsigned(CN->getZExtValue()) & 7;
1166
1167 if (bytes > 0) {
1168 bytes = 31 - bytes;
1169 Shift =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001170 CurDAG->getMachineNode(SPU::ROTQBYIv2i64, dl, VecVT,
1171 SDValue(UpperLowerSelect, 0),
1172 CurDAG->getTargetConstant(bytes, ShiftAmtVT));
Scott Michel4d07fb72008-12-30 23:28:25 +00001173 }
1174
1175 if (bits > 0) {
1176 bits = 8 - bits;
1177 Shift =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001178 CurDAG->getMachineNode(SPU::ROTQBIIv2i64, dl, VecVT,
1179 SDValue((Shift != 0 ? Shift : UpperLowerSelect), 0),
1180 CurDAG->getTargetConstant(bits, ShiftAmtVT));
Scott Michel4d07fb72008-12-30 23:28:25 +00001181 }
1182 } else {
1183 SDNode *NegShift =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001184 CurDAG->getMachineNode(SPU::SFIr32, dl, ShiftAmtVT,
1185 ShiftAmt, CurDAG->getTargetConstant(0, ShiftAmtVT));
Scott Michel4d07fb72008-12-30 23:28:25 +00001186
1187 Shift =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001188 CurDAG->getMachineNode(SPU::ROTQBYBIv2i64_r32, dl, VecVT,
1189 SDValue(UpperLowerSelect, 0), SDValue(NegShift, 0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001190 Shift =
Dan Gohman61fda0d2009-09-25 18:54:59 +00001191 CurDAG->getMachineNode(SPU::ROTQBIv2i64, dl, VecVT,
1192 SDValue(Shift, 0), SDValue(NegShift, 0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001193 }
1194
Dan Gohman61fda0d2009-09-25 18:54:59 +00001195 return CurDAG->getMachineNode(SPU::ORi64_v2i64, dl, OpVT, SDValue(Shift, 0));
Scott Michel4d07fb72008-12-30 23:28:25 +00001196}
1197
pingbak2f387e82009-01-26 03:31:40 +00001198/*!
1199 Do the necessary magic necessary to load a i64 constant
1200 */
Dan Gohman5f082a72010-01-05 01:24:18 +00001201SDNode *SPUDAGToDAGISel::SelectI64Constant(SDNode *N, EVT OpVT,
Scott Michel0d5eae02009-03-17 01:15:45 +00001202 DebugLoc dl) {
Dan Gohman5f082a72010-01-05 01:24:18 +00001203 ConstantSDNode *CN = cast<ConstantSDNode>(N);
Scott Michel0d5eae02009-03-17 01:15:45 +00001204 return SelectI64Constant(CN->getZExtValue(), OpVT, dl);
1205}
1206
Owen Andersonac9de032009-08-10 22:56:29 +00001207SDNode *SPUDAGToDAGISel::SelectI64Constant(uint64_t Value64, EVT OpVT,
Scott Michel0d5eae02009-03-17 01:15:45 +00001208 DebugLoc dl) {
Owen Anderson77f4eb52009-08-12 00:36:31 +00001209 EVT OpVecVT = EVT::getVectorVT(*CurDAG->getContext(), OpVT, 2);
pingbak2f387e82009-01-26 03:31:40 +00001210 SDValue i64vec =
Scott Michel0d5eae02009-03-17 01:15:45 +00001211 SPU::LowerV2I64Splat(OpVecVT, *CurDAG, Value64, dl);
pingbak2f387e82009-01-26 03:31:40 +00001212
1213 // Here's where it gets interesting, because we have to parse out the
1214 // subtree handed back in i64vec:
1215
1216 if (i64vec.getOpcode() == ISD::BIT_CONVERT) {
1217 // The degenerate case where the upper and lower bits in the splat are
1218 // identical:
1219 SDValue Op0 = i64vec.getOperand(0);
pingbak2f387e82009-01-26 03:31:40 +00001220
Scott Michelc899a122009-01-26 22:33:37 +00001221 ReplaceUses(i64vec, Op0);
Dan Gohman61fda0d2009-09-25 18:54:59 +00001222 return CurDAG->getMachineNode(SPU::ORi64_v2i64, dl, OpVT,
Dan Gohman5f082a72010-01-05 01:24:18 +00001223 SDValue(emitBuildVector(Op0.getNode()), 0));
pingbak2f387e82009-01-26 03:31:40 +00001224 } else if (i64vec.getOpcode() == SPUISD::SHUFB) {
1225 SDValue lhs = i64vec.getOperand(0);
1226 SDValue rhs = i64vec.getOperand(1);
1227 SDValue shufmask = i64vec.getOperand(2);
1228
1229 if (lhs.getOpcode() == ISD::BIT_CONVERT) {
1230 ReplaceUses(lhs, lhs.getOperand(0));
1231 lhs = lhs.getOperand(0);
1232 }
1233
1234 SDNode *lhsNode = (lhs.getNode()->isMachineOpcode()
1235 ? lhs.getNode()
Dan Gohman5f082a72010-01-05 01:24:18 +00001236 : emitBuildVector(lhs.getNode()));
pingbak2f387e82009-01-26 03:31:40 +00001237
1238 if (rhs.getOpcode() == ISD::BIT_CONVERT) {
1239 ReplaceUses(rhs, rhs.getOperand(0));
1240 rhs = rhs.getOperand(0);
1241 }
1242
1243 SDNode *rhsNode = (rhs.getNode()->isMachineOpcode()
1244 ? rhs.getNode()
Dan Gohman5f082a72010-01-05 01:24:18 +00001245 : emitBuildVector(rhs.getNode()));
Scott Michelc899a122009-01-26 22:33:37 +00001246
pingbak2f387e82009-01-26 03:31:40 +00001247 if (shufmask.getOpcode() == ISD::BIT_CONVERT) {
1248 ReplaceUses(shufmask, shufmask.getOperand(0));
1249 shufmask = shufmask.getOperand(0);
1250 }
1251
1252 SDNode *shufMaskNode = (shufmask.getNode()->isMachineOpcode()
1253 ? shufmask.getNode()
Dan Gohman5f082a72010-01-05 01:24:18 +00001254 : emitBuildVector(shufmask.getNode()));
pingbak2f387e82009-01-26 03:31:40 +00001255
Chris Lattner15f92b92010-02-23 05:30:43 +00001256 SDValue shufNode =
1257 CurDAG->getNode(SPUISD::SHUFB, dl, OpVecVT,
pingbak2f387e82009-01-26 03:31:40 +00001258 SDValue(lhsNode, 0), SDValue(rhsNode, 0),
Chris Lattner15f92b92010-02-23 05:30:43 +00001259 SDValue(shufMaskNode, 0));
1260 HandleSDNode Dummy(shufNode);
1261 SDNode *SN = SelectCode(Dummy.getValue().getNode());
1262 if (SN == 0) SN = Dummy.getValue().getNode();
1263
1264 return CurDAG->getMachineNode(SPU::ORi64_v2i64, dl, OpVT, SDValue(SN, 0));
Scott Michel0d5eae02009-03-17 01:15:45 +00001265 } else if (i64vec.getOpcode() == ISD::BUILD_VECTOR) {
Dan Gohman61fda0d2009-09-25 18:54:59 +00001266 return CurDAG->getMachineNode(SPU::ORi64_v2i64, dl, OpVT,
Dan Gohman5f082a72010-01-05 01:24:18 +00001267 SDValue(emitBuildVector(i64vec.getNode()), 0));
pingbak2f387e82009-01-26 03:31:40 +00001268 } else {
Edwin Török4d9756a2009-07-08 20:53:28 +00001269 llvm_report_error("SPUDAGToDAGISel::SelectI64Constant: Unhandled i64vec"
1270 "condition");
pingbak2f387e82009-01-26 03:31:40 +00001271 }
1272}
1273
Scott Michel4d07fb72008-12-30 23:28:25 +00001274/// createSPUISelDag - This pass converts a legalized DAG into a
Scott Michel8efdca42007-12-04 22:23:35 +00001275/// SPU-specific DAG, ready for instruction scheduling.
1276///
1277FunctionPass *llvm::createSPUISelDag(SPUTargetMachine &TM) {
1278 return new SPUDAGToDAGISel(TM);
1279}