/3rd_party/llvm/lib/Target/CellSPU/SPUOperands.td

  1//===-- SPUOperands.td - Cell SPU Instruction Operands -----*- tablegen -*-===//
  2//
  3//                     The LLVM Compiler Infrastructure
  4//
  5// This file is distributed under the University of Illinois Open Source
  6// License. See LICENSE.TXT for details.
  7//
  8//===----------------------------------------------------------------------===//
  9// Cell SPU Instruction Operands:
 10//===----------------------------------------------------------------------===//
 11
 12// TO_IMM32 - Convert an i8/i16 to i32.
 13def TO_IMM32 : SDNodeXForm<imm, [{
 14  return getI32Imm(N->getZExtValue());
 15}]>;
 16
 17// TO_IMM16 - Convert an i8/i32 to i16.
 18def TO_IMM16 : SDNodeXForm<imm, [{
 19  return CurDAG->getTargetConstant(N->getZExtValue(), MVT::i16);
 20}]>;
 21
 22
 23def LO16 : SDNodeXForm<imm, [{
 24  unsigned val = N->getZExtValue();
 25  // Transformation function: get the low 16 bits.
 26  return getI32Imm(val & 0xffff);
 27}]>;
 28
 29def LO16_vec : SDNodeXForm<scalar_to_vector, [{
 30  SDValue OpVal(0, 0);
 31
 32  // Transformation function: get the low 16 bit immediate from a build_vector
 33  // node.
 34  assert(N->getOpcode() == ISD::BUILD_VECTOR
 35         && "LO16_vec got something other than a BUILD_VECTOR");
 36
 37  // Get first constant operand...
 38  for (unsigned i = 0, e = N->getNumOperands();
 39       OpVal.getNode() == 0 && i != e; ++i) {
 40    if (N->getOperand(i).getOpcode() == ISD::UNDEF) continue;
 41    if (OpVal.getNode() == 0)
 42      OpVal = N->getOperand(i);
 43  }
 44  
 45  assert(OpVal.getNode() != 0 && "LO16_vec did not locate a <defined> node");
 46  ConstantSDNode *CN = cast<ConstantSDNode>(OpVal);
 47  return getI32Imm((unsigned)CN->getZExtValue() & 0xffff);
 48}]>;
 49
 50// Transform an immediate, returning the high 16 bits shifted down:
 51def HI16 : SDNodeXForm<imm, [{
 52  return getI32Imm((unsigned)N->getZExtValue() >> 16);
 53}]>;
 54
 55// Transformation function: shift the high 16 bit immediate from a build_vector
 56// node into the low 16 bits, and return a 16-bit constant.
 57def HI16_vec : SDNodeXForm<scalar_to_vector, [{
 58  SDValue OpVal(0, 0);
 59
 60  assert(N->getOpcode() == ISD::BUILD_VECTOR
 61         && "HI16_vec got something other than a BUILD_VECTOR");
 62  
 63  // Get first constant operand...
 64  for (unsigned i = 0, e = N->getNumOperands();
 65       OpVal.getNode() == 0 && i != e; ++i) {
 66    if (N->getOperand(i).getOpcode() == ISD::UNDEF) continue;
 67    if (OpVal.getNode() == 0)
 68      OpVal = N->getOperand(i);
 69  }
 70  
 71  assert(OpVal.getNode() != 0 && "HI16_vec did not locate a <defined> node");
 72  ConstantSDNode *CN = cast<ConstantSDNode>(OpVal);
 73  return getI32Imm((unsigned)CN->getZExtValue() >> 16);
 74}]>;
 75
 76// simm7 predicate - True if the immediate fits in an 7-bit signed
 77// field.
 78def simm7: PatLeaf<(imm), [{
 79  int sextVal = int(N->getSExtValue());
 80  return (sextVal >= -64 && sextVal <= 63);
 81}]>;
 82
 83// uimm7 predicate - True if the immediate fits in an 7-bit unsigned
 84// field.
 85def uimm7: PatLeaf<(imm), [{
 86  return (N->getZExtValue() <= 0x7f);
 87}]>;
 88
 89// immSExt8 predicate - True if the immediate fits in an 8-bit sign extended
 90// field.
 91def immSExt8  : PatLeaf<(imm), [{
 92  int Value = int(N->getSExtValue());
 93  return (Value >= -(1 << 8) && Value <= (1 << 8) - 1);
 94}]>;
 95
 96// immU8: immediate, unsigned 8-bit quantity
 97def immU8 : PatLeaf<(imm), [{
 98  return (N->getZExtValue() <= 0xff);
 99}]>;
100
101// i32ImmSExt10 predicate - True if the i32 immediate fits in a 10-bit sign
102// extended field.  Used by RI10Form instructions like 'ldq'.
103def i32ImmSExt10  : PatLeaf<(imm), [{
104  return isI32IntS10Immediate(N);
105}]>;
106
107// i32ImmUns10 predicate - True if the i32 immediate fits in a 10-bit unsigned
108// field.  Used by RI10Form instructions like 'ldq'.
109def i32ImmUns10  : PatLeaf<(imm), [{
110  return isI32IntU10Immediate(N);
111}]>;
112
113// i16ImmSExt10 predicate - True if the i16 immediate fits in a 10-bit sign
114// extended field.  Used by RI10Form instructions like 'ldq'.
115def i16ImmSExt10  : PatLeaf<(imm), [{
116  return isI16IntS10Immediate(N);
117}]>;
118
119// i16ImmUns10 predicate - True if the i16 immediate fits into a 10-bit unsigned
120// value. Used by RI10Form instructions.
121def i16ImmUns10 : PatLeaf<(imm), [{
122  return isI16IntU10Immediate(N);
123}]>;
124
125def immSExt16  : PatLeaf<(imm), [{
126  // immSExt16 predicate - True if the immediate fits in a 16-bit sign extended
127  // field.
128  short Ignored;
129  return isIntS16Immediate(N, Ignored);
130}]>;
131
132def immZExt16  : PatLeaf<(imm), [{
133  // immZExt16 predicate - True if the immediate fits in a 16-bit zero extended
134  // field.
135  return (uint64_t)N->getZExtValue() == (unsigned short)N->getZExtValue();
136}], LO16>;
137
138def immU16 : PatLeaf<(imm), [{
139  // immU16 predicate- True if the immediate fits into a 16-bit unsigned field.
140  return (uint64_t)N->getZExtValue() == (N->getZExtValue() & 0xffff);
141}]>;
142
143def imm18  : PatLeaf<(imm), [{
144  // imm18 predicate: True if the immediate fits into an 18-bit unsigned field.
145  int Value = (int) N->getZExtValue();
146  return isUInt<18>(Value); 
147}]>;
148
149def lo16 : PatLeaf<(imm), [{
150  // lo16 predicate - returns true if the immediate has all zeros in the
151  // low order bits and is a 32-bit constant:
152  if (N->getValueType(0) == MVT::i32) {
153    uint32_t val = N->getZExtValue();
154    return ((val & 0x0000ffff) == val);
155  }
156
157  return false;
158}], LO16>;
159
160def hi16 : PatLeaf<(imm), [{
161  // hi16 predicate - returns true if the immediate has all zeros in the
162  // low order bits and is a 32-bit constant:
163  if (N->getValueType(0) == MVT::i32) {
164    uint32_t val = uint32_t(N->getZExtValue());
165    return ((val & 0xffff0000) == val);
166  } else if (N->getValueType(0) == MVT::i64) {
167    uint64_t val = N->getZExtValue();
168    return ((val & 0xffff0000ULL) == val);
169  }
170
171  return false;
172}], HI16>;
173
174def bitshift : PatLeaf<(imm), [{
175  // bitshift predicate - returns true if 0 < imm <= 7 for SHLQBII
176  // (shift left quadword by bits immediate)
177  int64_t Val = N->getZExtValue();
178  return (Val > 0 && Val <= 7);
179}]>;
180
181//===----------------------------------------------------------------------===//
182// Floating point operands:
183//===----------------------------------------------------------------------===//
184
185// Transform a float, returning the high 16 bits shifted down, as if
186// the float was really an unsigned integer:
187def HI16_f32 : SDNodeXForm<fpimm, [{
188  float fval = N->getValueAPF().convertToFloat();
189  return getI32Imm(FloatToBits(fval) >> 16);
190}]>;
191
192// Transformation function on floats: get the low 16 bits as if the float was
193// an unsigned integer.
194def LO16_f32 : SDNodeXForm<fpimm, [{
195  float fval = N->getValueAPF().convertToFloat();
196  return getI32Imm(FloatToBits(fval) & 0xffff);
197}]>;
198
199def FPimm_sext16 : SDNodeXForm<fpimm, [{
200  float fval = N->getValueAPF().convertToFloat();
201  return getI32Imm((int) ((FloatToBits(fval) << 16) >> 16));
202}]>;
203
204def FPimm_u18 : SDNodeXForm<fpimm, [{
205  float fval = N->getValueAPF().convertToFloat();
206  return getI32Imm(FloatToBits(fval) & ((1 << 18) - 1));
207}]>;
208
209def fpimmSExt16 : PatLeaf<(fpimm), [{
210  short Ignored;
211  return isFPS16Immediate(N, Ignored);  
212}], FPimm_sext16>;
213
214// Does the SFP constant only have upp 16 bits set?
215def hi16_f32 : PatLeaf<(fpimm), [{
216  if (N->getValueType(0) == MVT::f32) {
217    uint32_t val = FloatToBits(N->getValueAPF().convertToFloat());
218    return ((val & 0xffff0000) == val);
219  }
220
221  return false;
222}], HI16_f32>;
223
224// Does the SFP constant fit into 18 bits?
225def fpimm18  : PatLeaf<(fpimm), [{
226  if (N->getValueType(0) == MVT::f32) {
227    uint32_t Value = FloatToBits(N->getValueAPF().convertToFloat());
228    return isUInt<18>(Value);
229  }
230
231  return false;
232}], FPimm_u18>;
233
234//===----------------------------------------------------------------------===//
235// 64-bit operands (TODO):
236//===----------------------------------------------------------------------===//
237
238//===----------------------------------------------------------------------===//
239// build_vector operands:
240//===----------------------------------------------------------------------===//
241
242// v16i8SExt8Imm_xform function: convert build_vector to 8-bit sign extended
243// immediate constant load for v16i8 vectors. N.B.: The incoming constant has
244// to be a 16-bit quantity with the upper and lower bytes equal (e.g., 0x2a2a).
245def v16i8SExt8Imm_xform: SDNodeXForm<build_vector, [{
246  return SPU::get_vec_i8imm(N, *CurDAG, MVT::i8);
247}]>;
248
249// v16i8SExt8Imm: Predicate test for 8-bit sign extended immediate constant
250// load, works in conjunction with its transform function. N.B.: This relies the
251// incoming constant being a 16-bit quantity, where the upper and lower bytes
252// are EXACTLY the same (e.g., 0x2a2a)
253def v16i8SExt8Imm: PatLeaf<(build_vector), [{
254  return SPU::get_vec_i8imm(N, *CurDAG, MVT::i8).getNode() != 0;
255}], v16i8SExt8Imm_xform>;
256
257// v16i8U8Imm_xform function: convert build_vector to unsigned 8-bit
258// immediate constant load for v16i8 vectors. N.B.: The incoming constant has
259// to be a 16-bit quantity with the upper and lower bytes equal (e.g., 0x2a2a).
260def v16i8U8Imm_xform: SDNodeXForm<build_vector, [{
261  return SPU::get_vec_i8imm(N, *CurDAG, MVT::i8);
262}]>;
263
264// v16i8U8Imm: Predicate test for unsigned 8-bit immediate constant
265// load, works in conjunction with its transform function. N.B.: This relies the
266// incoming constant being a 16-bit quantity, where the upper and lower bytes
267// are EXACTLY the same (e.g., 0x2a2a)
268def v16i8U8Imm: PatLeaf<(build_vector), [{
269  return SPU::get_vec_i8imm(N, *CurDAG, MVT::i8).getNode() != 0;
270}], v16i8U8Imm_xform>;
271
272// v8i16SExt8Imm_xform function: convert build_vector to 8-bit sign extended
273// immediate constant load for v8i16 vectors.
274def v8i16SExt8Imm_xform: SDNodeXForm<build_vector, [{
275  return SPU::get_vec_i8imm(N, *CurDAG, MVT::i16);
276}]>;
277
278// v8i16SExt8Imm: Predicate test for 8-bit sign extended immediate constant
279// load, works in conjunction with its transform function.
280def v8i16SExt8Imm: PatLeaf<(build_vector), [{
281  return SPU::get_vec_i8imm(N, *CurDAG, MVT::i16).getNode() != 0;
282}], v8i16SExt8Imm_xform>;
283
284// v8i16SExt10Imm_xform function: convert build_vector to 16-bit sign extended
285// immediate constant load for v8i16 vectors.
286def v8i16SExt10Imm_xform: SDNodeXForm<build_vector, [{
287  return SPU::get_vec_i10imm(N, *CurDAG, MVT::i16);
288}]>;
289
290// v8i16SExt10Imm: Predicate test for 16-bit sign extended immediate constant
291// load, works in conjunction with its transform function.
292def v8i16SExt10Imm: PatLeaf<(build_vector), [{
293  return SPU::get_vec_i10imm(N, *CurDAG, MVT::i16).getNode() != 0;
294}], v8i16SExt10Imm_xform>;
295
296// v8i16Uns10Imm_xform function: convert build_vector to 16-bit unsigned
297// immediate constant load for v8i16 vectors.
298def v8i16Uns10Imm_xform: SDNodeXForm<build_vector, [{
299  return SPU::get_vec_i10imm(N, *CurDAG, MVT::i16);
300}]>;
301
302// v8i16Uns10Imm: Predicate test for 16-bit unsigned immediate constant
303// load, works in conjunction with its transform function.
304def v8i16Uns10Imm: PatLeaf<(build_vector), [{
305  return SPU::get_vec_i10imm(N, *CurDAG, MVT::i16).getNode() != 0;
306}], v8i16Uns10Imm_xform>;
307
308// v8i16SExt16Imm_xform function: convert build_vector to 16-bit sign extended
309// immediate constant load for v8i16 vectors.
310def v8i16Uns16Imm_xform: SDNodeXForm<build_vector, [{
311  return SPU::get_vec_i16imm(N, *CurDAG, MVT::i16);
312}]>;
313
314// v8i16SExt16Imm: Predicate test for 16-bit sign extended immediate constant
315// load, works in conjunction with its transform function.
316def v8i16SExt16Imm: PatLeaf<(build_vector), [{
317  return SPU::get_vec_i16imm(N, *CurDAG, MVT::i16).getNode() != 0;
318}], v8i16Uns16Imm_xform>;
319
320// v4i32SExt10Imm_xform function: convert build_vector to 10-bit sign extended
321// immediate constant load for v4i32 vectors.
322def v4i32SExt10Imm_xform: SDNodeXForm<build_vector, [{
323  return SPU::get_vec_i10imm(N, *CurDAG, MVT::i32);
324}]>;
325
326// v4i32SExt10Imm: Predicate test for 10-bit sign extended immediate constant
327// load, works in conjunction with its transform function.
328def v4i32SExt10Imm: PatLeaf<(build_vector), [{
329  return SPU::get_vec_i10imm(N, *CurDAG, MVT::i32).getNode() != 0;
330}], v4i32SExt10Imm_xform>;
331
332// v4i32Uns10Imm_xform function: convert build_vector to 10-bit unsigned
333// immediate constant load for v4i32 vectors.
334def v4i32Uns10Imm_xform: SDNodeXForm<build_vector, [{
335  return SPU::get_vec_i10imm(N, *CurDAG, MVT::i32);
336}]>;
337
338// v4i32Uns10Imm: Predicate test for 10-bit unsigned immediate constant
339// load, works in conjunction with its transform function.
340def v4i32Uns10Imm: PatLeaf<(build_vector), [{
341  return SPU::get_vec_i10imm(N, *CurDAG, MVT::i32).getNode() != 0;
342}], v4i32Uns10Imm_xform>;
343
344// v4i32SExt16Imm_xform function: convert build_vector to 16-bit sign extended
345// immediate constant load for v4i32 vectors.
346def v4i32SExt16Imm_xform: SDNodeXForm<build_vector, [{
347  return SPU::get_vec_i16imm(N, *CurDAG, MVT::i32);
348}]>;
349
350// v4i32SExt16Imm: Predicate test for 16-bit sign extended immediate constant
351// load, works in conjunction with its transform function.
352def v4i32SExt16Imm: PatLeaf<(build_vector), [{
353  return SPU::get_vec_i16imm(N, *CurDAG, MVT::i32).getNode() != 0;
354}], v4i32SExt16Imm_xform>;
355
356// v4i32Uns18Imm_xform function: convert build_vector to 18-bit unsigned
357// immediate constant load for v4i32 vectors.
358def v4i32Uns18Imm_xform: SDNodeXForm<build_vector, [{
359  return SPU::get_vec_u18imm(N, *CurDAG, MVT::i32);
360}]>;
361
362// v4i32Uns18Imm: Predicate test for 18-bit unsigned immediate constant load,
363// works in conjunction with its transform function.
364def v4i32Uns18Imm: PatLeaf<(build_vector), [{
365  return SPU::get_vec_u18imm(N, *CurDAG, MVT::i32).getNode() != 0;
366}], v4i32Uns18Imm_xform>;
367
368// ILHUvec_get_imm xform function: convert build_vector to ILHUvec imm constant
369// load.
370def ILHUvec_get_imm: SDNodeXForm<build_vector, [{
371  return SPU::get_ILHUvec_imm(N, *CurDAG, MVT::i32);
372}]>;
373
374/// immILHUvec: Predicate test for a ILHU constant vector.
375def immILHUvec: PatLeaf<(build_vector), [{
376  return SPU::get_ILHUvec_imm(N, *CurDAG, MVT::i32).getNode() != 0;
377}], ILHUvec_get_imm>;
378
379// Catch-all for any other i32 vector constants
380def v4i32_get_imm: SDNodeXForm<build_vector, [{
381  return SPU::get_v4i32_imm(N, *CurDAG);
382}]>;
383
384def v4i32Imm: PatLeaf<(build_vector), [{
385  return SPU::get_v4i32_imm(N, *CurDAG).getNode() != 0;
386}], v4i32_get_imm>;
387
388// v2i64SExt10Imm_xform function: convert build_vector to 10-bit sign extended
389// immediate constant load for v2i64 vectors.
390def v2i64SExt10Imm_xform: SDNodeXForm<build_vector, [{
391  return SPU::get_vec_i10imm(N, *CurDAG, MVT::i64);
392}]>;
393
394// v2i64SExt10Imm: Predicate test for 10-bit sign extended immediate constant
395// load, works in conjunction with its transform function.
396def v2i64SExt10Imm: PatLeaf<(build_vector), [{
397  return SPU::get_vec_i10imm(N, *CurDAG, MVT::i64).getNode() != 0;
398}], v2i64SExt10Imm_xform>;
399
400// v2i64SExt16Imm_xform function: convert build_vector to 16-bit sign extended
401// immediate constant load for v2i64 vectors.
402def v2i64SExt16Imm_xform: SDNodeXForm<build_vector, [{
403  return SPU::get_vec_i16imm(N, *CurDAG, MVT::i64);
404}]>;
405
406// v2i64SExt16Imm: Predicate test for 16-bit sign extended immediate constant
407// load, works in conjunction with its transform function.
408def v2i64SExt16Imm: PatLeaf<(build_vector), [{
409  return SPU::get_vec_i16imm(N, *CurDAG, MVT::i64).getNode() != 0;
410}], v2i64SExt16Imm_xform>;
411
412// v2i64Uns18Imm_xform function: convert build_vector to 18-bit unsigned
413// immediate constant load for v2i64 vectors.
414def v2i64Uns18Imm_xform: SDNodeXForm<build_vector, [{
415  return SPU::get_vec_u18imm(N, *CurDAG, MVT::i64);
416}]>;
417
418// v2i64Uns18Imm: Predicate test for 18-bit unsigned immediate constant load,
419// works in conjunction with its transform function.
420def v2i64Uns18Imm: PatLeaf<(build_vector), [{
421  return SPU::get_vec_u18imm(N, *CurDAG, MVT::i64).getNode() != 0;
422}], v2i64Uns18Imm_xform>;
423
424/// immILHUvec: Predicate test for a ILHU constant vector.
425def immILHUvec_i64: PatLeaf<(build_vector), [{
426  return SPU::get_ILHUvec_imm(N, *CurDAG, MVT::i64).getNode() != 0;
427}], ILHUvec_get_imm>;
428
429// Catch-all for any other i32 vector constants
430def v2i64_get_imm: SDNodeXForm<build_vector, [{
431  return SPU::get_v2i64_imm(N, *CurDAG);
432}]>;
433
434def v2i64Imm: PatLeaf<(build_vector), [{
435  return SPU::get_v2i64_imm(N, *CurDAG).getNode() != 0;
436}], v2i64_get_imm>;
437
438//===----------------------------------------------------------------------===//
439// Operand Definitions.
440
441def s7imm: Operand<i8> {
442  let PrintMethod = "printS7ImmOperand";
443}
444
445def s7imm_i8: Operand<i8> {
446  let PrintMethod = "printS7ImmOperand";
447}
448
449def u7imm: Operand<i16> {
450  let PrintMethod = "printU7ImmOperand";
451}
452
453def u7imm_i8: Operand<i8> {
454  let PrintMethod = "printU7ImmOperand";
455}
456
457def u7imm_i32: Operand<i32> {
458  let PrintMethod = "printU7ImmOperand";
459}
460
461// Halfword, signed 10-bit constant
462def s10imm : Operand<i16> {
463  let PrintMethod = "printS10ImmOperand";
464}
465
466def s10imm_i8: Operand<i8> {
467  let PrintMethod = "printS10ImmOperand";
468}
469
470def s10imm_i32: Operand<i32> {
471  let PrintMethod = "printS10ImmOperand";
472}
473
474def s10imm_i64: Operand<i64> {
475  let PrintMethod = "printS10ImmOperand";
476}
477
478// Unsigned 10-bit integers:
479def u10imm: Operand<i16> {
480  let PrintMethod = "printU10ImmOperand";
481}
482
483def u10imm_i8: Operand<i8> {
484  let PrintMethod = "printU10ImmOperand";
485}
486
487def u10imm_i32: Operand<i32> {
488  let PrintMethod = "printU10ImmOperand";
489}
490
491def s16imm  : Operand<i16> {
492  let PrintMethod = "printS16ImmOperand";
493}
494
495def s16imm_i8: Operand<i8> {
496  let PrintMethod = "printS16ImmOperand";
497}
498
499def s16imm_i32: Operand<i32> {
500  let PrintMethod = "printS16ImmOperand";
501}
502
503def s16imm_i64: Operand<i64> {
504  let PrintMethod = "printS16ImmOperand";
505}
506
507def s16imm_f32: Operand<f32> {
508  let PrintMethod = "printS16ImmOperand";
509}
510
511def s16imm_f64: Operand<f64> {
512  let PrintMethod = "printS16ImmOperand";
513}
514
515def u16imm_i64 : Operand<i64> {
516  let PrintMethod = "printU16ImmOperand";
517}
518
519def u16imm_i32 : Operand<i32> {
520  let PrintMethod = "printU16ImmOperand";
521}
522
523def u16imm : Operand<i16> {
524  let PrintMethod = "printU16ImmOperand";
525}
526
527def f16imm : Operand<f32> {
528  let PrintMethod = "printU16ImmOperand";
529}
530
531def s18imm  : Operand<i32> {
532  let PrintMethod = "printS18ImmOperand";
533}
534
535def u18imm : Operand<i32> {
536  let PrintMethod = "printU18ImmOperand";
537}
538
539def u18imm_i64 : Operand<i64> {
540  let PrintMethod = "printU18ImmOperand";
541}
542
543def f18imm : Operand<f32> {
544  let PrintMethod = "printU18ImmOperand";
545}
546
547def f18imm_f64 : Operand<f64> {
548  let PrintMethod = "printU18ImmOperand";
549}
550
551// Negated 7-bit halfword rotate immediate operands
552def rothNeg7imm : Operand<i32> {
553  let PrintMethod = "printROTHNeg7Imm";
554}
555
556def rothNeg7imm_i16 : Operand<i16> {
557  let PrintMethod = "printROTHNeg7Imm";
558}
559
560// Negated 7-bit word rotate immediate operands
561def rotNeg7imm : Operand<i32> {
562  let PrintMethod = "printROTNeg7Imm";
563}
564
565def rotNeg7imm_i16 : Operand<i16> {
566  let PrintMethod = "printROTNeg7Imm";
567}
568
569def rotNeg7imm_i8 : Operand<i8> {
570  let PrintMethod = "printROTNeg7Imm";
571}
572
573def target : Operand<OtherVT> {
574  let PrintMethod = "printBranchOperand";
575}
576
577// Absolute address call target
578def calltarget : Operand<iPTR> {
579  let PrintMethod = "printCallOperand";
580  let MIOperandInfo = (ops u18imm:$calldest);
581}
582
583// PC relative call target
584def relcalltarget : Operand<iPTR> {
585  let PrintMethod = "printPCRelativeOperand";
586  let MIOperandInfo = (ops s16imm:$calldest);
587}
588
589// Branch targets:
590def brtarget : Operand<OtherVT> {
591  let PrintMethod = "printPCRelativeOperand";
592}
593
594// Hint for branch target
595def hbrtarget : Operand<OtherVT> {
596  let PrintMethod = "printHBROperand";
597}
598
599// Indirect call target
600def indcalltarget : Operand<iPTR> {
601  let PrintMethod = "printCallOperand";
602  let MIOperandInfo = (ops ptr_rc:$calldest);
603}
604
605def symbolHi: Operand<i32> {
606  let PrintMethod = "printSymbolHi";
607}
608
609def symbolLo: Operand<i32> {
610  let PrintMethod = "printSymbolLo";
611}
612
613def symbolLSA: Operand<i32> {
614  let PrintMethod = "printSymbolLSA";
615}
616
617// Shuffle address memory operaand [s7imm(reg) d-format]
618def shufaddr : Operand<iPTR> {
619  let PrintMethod = "printShufAddr";
620  let MIOperandInfo = (ops s7imm:$imm, ptr_rc:$reg);
621}
622
623// memory s10imm(reg) operand
624def dformaddr : Operand<iPTR> {
625  let PrintMethod = "printDFormAddr";
626  let MIOperandInfo = (ops s10imm:$imm, ptr_rc:$reg);
627}
628
629// 256K local store address
630// N.B.: The tblgen code generator expects to have two operands, an offset
631// and a pointer. Of these, only the immediate is actually used.
632def addr256k : Operand<iPTR> {
633  let PrintMethod = "printAddr256K";
634  let MIOperandInfo = (ops s16imm:$imm, ptr_rc:$reg);
635}
636
637// memory s18imm(reg) operand
638def memri18 : Operand<iPTR> {
639  let PrintMethod = "printMemRegImmS18";
640  let MIOperandInfo = (ops s18imm:$imm, ptr_rc:$reg);
641}
642
643// memory register + register operand
644def memrr : Operand<iPTR> {
645  let PrintMethod = "printMemRegReg";
646  let MIOperandInfo = (ops ptr_rc:$reg_a, ptr_rc:$reg_b);
647}
648
649// Define SPU-specific addressing modes: These come in three basic
650// flavors:
651//
652// D-form   : [r+I10] (10-bit signed offset + reg)
653// X-form   : [r+r]   (reg+reg)
654// A-form   : abs     (256K LSA offset)
655// D-form(2): [r+I7]  (7-bit signed offset + reg)
656
657def dform_addr   : ComplexPattern<iPTR, 2, "SelectDFormAddr",
658                                  [], [SDNPWantRoot]>;
659def xform_addr   : ComplexPattern<iPTR, 2, "SelectXFormAddr",
660                                  [], [SDNPWantRoot]>;
661def aform_addr   : ComplexPattern<iPTR, 2, "SelectAFormAddr",
662                                  [], [SDNPWantRoot]>;
663def dform2_addr  : ComplexPattern<iPTR, 2, "SelectDForm2Addr",
664                                  [], [SDNPWantRoot]>;