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