blob: 651469430acf4eef50fb876df991ceed5f3cdc88 [file] [log] [blame]
David Greene509be1f2010-02-09 23:52:19 +00001//======- X86InstrFragmentsSIMD.td - x86 ISA -------------*- 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//
10// This file provides pattern fragments useful for SIMD instructions.
11//
12//===----------------------------------------------------------------------===//
13
14//===----------------------------------------------------------------------===//
15// MMX Pattern Fragments
16//===----------------------------------------------------------------------===//
17
Dale Johannesendd224d22010-09-30 23:57:10 +000018def load_mmx : PatFrag<(ops node:$ptr), (x86mmx (load node:$ptr))>;
19def bc_mmx : PatFrag<(ops node:$in), (x86mmx (bitconvert node:$in))>;
David Greene03264ef2010-07-12 23:41:28 +000020
21//===----------------------------------------------------------------------===//
22// SSE specific DAG Nodes.
23//===----------------------------------------------------------------------===//
24
25def SDTX86FPShiftOp : SDTypeProfile<1, 2, [ SDTCisSameAs<0, 1>,
26 SDTCisFP<0>, SDTCisInt<2> ]>;
27def SDTX86VFCMP : SDTypeProfile<1, 3, [SDTCisInt<0>, SDTCisSameAs<1, 2>,
28 SDTCisFP<1>, SDTCisVT<3, i8>]>;
29
30def X86fmin : SDNode<"X86ISD::FMIN", SDTFPBinOp>;
31def X86fmax : SDNode<"X86ISD::FMAX", SDTFPBinOp>;
32def X86fand : SDNode<"X86ISD::FAND", SDTFPBinOp,
33 [SDNPCommutative, SDNPAssociative]>;
34def X86for : SDNode<"X86ISD::FOR", SDTFPBinOp,
35 [SDNPCommutative, SDNPAssociative]>;
36def X86fxor : SDNode<"X86ISD::FXOR", SDTFPBinOp,
37 [SDNPCommutative, SDNPAssociative]>;
38def X86frsqrt : SDNode<"X86ISD::FRSQRT", SDTFPUnaryOp>;
39def X86frcp : SDNode<"X86ISD::FRCP", SDTFPUnaryOp>;
40def X86fsrl : SDNode<"X86ISD::FSRL", SDTX86FPShiftOp>;
Stuart Hastings9f208042011-06-01 04:39:42 +000041def X86fgetsign: SDNode<"X86ISD::FGETSIGNx86",SDTFPToIntOp>;
Duncan Sands0e4fcb82011-09-22 20:15:48 +000042def X86fhadd : SDNode<"X86ISD::FHADD", SDTFPBinOp>;
43def X86fhsub : SDNode<"X86ISD::FHSUB", SDTFPBinOp>;
Craig Topperf984efb2011-11-19 09:02:40 +000044def X86hadd : SDNode<"X86ISD::HADD", SDTIntBinOp>;
45def X86hsub : SDNode<"X86ISD::HSUB", SDTIntBinOp>;
David Greene03264ef2010-07-12 23:41:28 +000046def X86comi : SDNode<"X86ISD::COMI", SDTX86CmpTest>;
47def X86ucomi : SDNode<"X86ISD::UCOMI", SDTX86CmpTest>;
Stuart Hastingsbe605492011-06-03 23:53:54 +000048def X86cmpss : SDNode<"X86ISD::FSETCCss", SDTX86Cmpss>;
49def X86cmpsd : SDNode<"X86ISD::FSETCCsd", SDTX86Cmpsd>;
David Greene03264ef2010-07-12 23:41:28 +000050def X86pshufb : SDNode<"X86ISD::PSHUFB",
51 SDTypeProfile<1, 2, [SDTCisVT<0, v16i8>, SDTCisSameAs<0,1>,
52 SDTCisSameAs<0,2>]>>;
Bruno Cardoso Lopes7ba479d2011-07-13 21:36:47 +000053def X86andnp : SDNode<"X86ISD::ANDNP",
Bruno Cardoso Lopes9613b642011-07-13 21:36:51 +000054 SDTypeProfile<1, 2, [SDTCisVec<0>, SDTCisSameAs<0,1>,
Nate Begeman97b72c92010-12-17 22:55:37 +000055 SDTCisSameAs<0,2>]>>;
Craig Topper81390be2011-11-19 07:33:10 +000056def X86psign : SDNode<"X86ISD::PSIGN",
Craig Topperde6b73b2011-11-19 07:07:26 +000057 SDTypeProfile<1, 2, [SDTCisVec<0>, SDTCisSameAs<0,1>,
Nate Begeman97b72c92010-12-17 22:55:37 +000058 SDTCisSameAs<0,2>]>>;
David Greene03264ef2010-07-12 23:41:28 +000059def X86pextrb : SDNode<"X86ISD::PEXTRB",
60 SDTypeProfile<1, 2, [SDTCisVT<0, i32>, SDTCisPtrTy<2>]>>;
61def X86pextrw : SDNode<"X86ISD::PEXTRW",
62 SDTypeProfile<1, 2, [SDTCisVT<0, i32>, SDTCisPtrTy<2>]>>;
63def X86pinsrb : SDNode<"X86ISD::PINSRB",
64 SDTypeProfile<1, 3, [SDTCisVT<0, v16i8>, SDTCisSameAs<0,1>,
65 SDTCisVT<2, i32>, SDTCisPtrTy<3>]>>;
66def X86pinsrw : SDNode<"X86ISD::PINSRW",
67 SDTypeProfile<1, 3, [SDTCisVT<0, v8i16>, SDTCisSameAs<0,1>,
68 SDTCisVT<2, i32>, SDTCisPtrTy<3>]>>;
69def X86insrtps : SDNode<"X86ISD::INSERTPS",
70 SDTypeProfile<1, 3, [SDTCisVT<0, v4f32>, SDTCisSameAs<0,1>,
71 SDTCisVT<2, v4f32>, SDTCisPtrTy<3>]>>;
72def X86vzmovl : SDNode<"X86ISD::VZEXT_MOVL",
73 SDTypeProfile<1, 1, [SDTCisSameAs<0,1>]>>;
74def X86vzload : SDNode<"X86ISD::VZEXT_LOAD", SDTLoad,
Chris Lattner54e53292010-09-22 00:34:38 +000075 [SDNPHasChain, SDNPMayLoad, SDNPMemOperand]>;
David Greene03264ef2010-07-12 23:41:28 +000076def X86vshl : SDNode<"X86ISD::VSHL", SDTIntShiftOp>;
77def X86vshr : SDNode<"X86ISD::VSRL", SDTIntShiftOp>;
78def X86cmpps : SDNode<"X86ISD::CMPPS", SDTX86VFCMP>;
79def X86cmppd : SDNode<"X86ISD::CMPPD", SDTX86VFCMP>;
80def X86pcmpeqb : SDNode<"X86ISD::PCMPEQB", SDTIntBinOp, [SDNPCommutative]>;
81def X86pcmpeqw : SDNode<"X86ISD::PCMPEQW", SDTIntBinOp, [SDNPCommutative]>;
82def X86pcmpeqd : SDNode<"X86ISD::PCMPEQD", SDTIntBinOp, [SDNPCommutative]>;
83def X86pcmpeqq : SDNode<"X86ISD::PCMPEQQ", SDTIntBinOp, [SDNPCommutative]>;
84def X86pcmpgtb : SDNode<"X86ISD::PCMPGTB", SDTIntBinOp>;
85def X86pcmpgtw : SDNode<"X86ISD::PCMPGTW", SDTIntBinOp>;
86def X86pcmpgtd : SDNode<"X86ISD::PCMPGTD", SDTIntBinOp>;
87def X86pcmpgtq : SDNode<"X86ISD::PCMPGTQ", SDTIntBinOp>;
88
89def SDTX86CmpPTest : SDTypeProfile<1, 2, [SDTCisVT<0, i32>,
Bruno Cardoso Lopes91d61df2010-08-10 23:25:42 +000090 SDTCisVec<1>,
91 SDTCisSameAs<2, 1>]>;
David Greene03264ef2010-07-12 23:41:28 +000092def X86ptest : SDNode<"X86ISD::PTEST", SDTX86CmpPTest>;
Bruno Cardoso Lopes91d61df2010-08-10 23:25:42 +000093def X86testp : SDNode<"X86ISD::TESTP", SDTX86CmpPTest>;
David Greene03264ef2010-07-12 23:41:28 +000094
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +000095// Specific shuffle nodes - At some point ISD::VECTOR_SHUFFLE will always get
96// translated into one of the target nodes below during lowering.
97// Note: this is a work in progress...
98def SDTShuff1Op : SDTypeProfile<1, 1, [SDTCisVec<0>, SDTCisSameAs<0,1>]>;
99def SDTShuff2Op : SDTypeProfile<1, 2, [SDTCisVec<0>, SDTCisSameAs<0,1>,
100 SDTCisSameAs<0,2>]>;
101
102def SDTShuff2OpI : SDTypeProfile<1, 2, [SDTCisVec<0>,
103 SDTCisSameAs<0,1>, SDTCisInt<2>]>;
104def SDTShuff3OpI : SDTypeProfile<1, 3, [SDTCisVec<0>, SDTCisSameAs<0,1>,
105 SDTCisSameAs<0,2>, SDTCisInt<3>]>;
106
Bruno Cardoso Lopesbe5e9872011-08-17 02:29:19 +0000107def SDTVBroadcast : SDTypeProfile<1, 1, [SDTCisVec<0>]>;
108
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000109def X86PAlign : SDNode<"X86ISD::PALIGN", SDTShuff3OpI>;
110
111def X86PShufd : SDNode<"X86ISD::PSHUFD", SDTShuff2OpI>;
112def X86PShufhw : SDNode<"X86ISD::PSHUFHW", SDTShuff2OpI>;
113def X86PShuflw : SDNode<"X86ISD::PSHUFLW", SDTShuff2OpI>;
114
Craig Topper6e54ba72011-12-31 23:50:21 +0000115def X86Shufp : SDNode<"X86ISD::SHUFP", SDTShuff3OpI>;
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000116
117def X86Movddup : SDNode<"X86ISD::MOVDDUP", SDTShuff1Op>;
118def X86Movshdup : SDNode<"X86ISD::MOVSHDUP", SDTShuff1Op>;
119def X86Movsldup : SDNode<"X86ISD::MOVSLDUP", SDTShuff1Op>;
120
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000121def X86Movsd : SDNode<"X86ISD::MOVSD", SDTShuff2Op>;
122def X86Movss : SDNode<"X86ISD::MOVSS", SDTShuff2Op>;
123
124def X86Movlhps : SDNode<"X86ISD::MOVLHPS", SDTShuff2Op>;
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000125def X86Movlhpd : SDNode<"X86ISD::MOVLHPD", SDTShuff2Op>;
Bruno Cardoso Lopes03e4c352010-08-31 21:15:21 +0000126def X86Movhlps : SDNode<"X86ISD::MOVHLPS", SDTShuff2Op>;
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000127
Bruno Cardoso Lopesb3825212010-09-01 05:08:25 +0000128def X86Movlps : SDNode<"X86ISD::MOVLPS", SDTShuff2Op>;
129def X86Movlpd : SDNode<"X86ISD::MOVLPD", SDTShuff2Op>;
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000130
Craig Topper8d4ba192011-12-06 08:21:25 +0000131def X86Unpckl : SDNode<"X86ISD::UNPCKL", SDTShuff2Op>;
132def X86Unpckh : SDNode<"X86ISD::UNPCKH", SDTShuff2Op>;
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000133
Craig Topperbafd2242011-11-30 06:25:25 +0000134def X86VPermilp : SDNode<"X86ISD::VPERMILP", SDTShuff2OpI>;
Bruno Cardoso Lopesb878caa2011-07-21 01:55:47 +0000135
Craig Topper0a672ea2011-11-30 07:47:51 +0000136def X86VPerm2x128 : SDNode<"X86ISD::VPERM2X128", SDTShuff3OpI>;
Bruno Cardoso Lopesf15dfe52011-08-12 21:48:26 +0000137
Bruno Cardoso Lopesbe5e9872011-08-17 02:29:19 +0000138def X86VBroadcast : SDNode<"X86ISD::VBROADCAST", SDTVBroadcast>;
139
David Greene03264ef2010-07-12 23:41:28 +0000140//===----------------------------------------------------------------------===//
141// SSE Complex Patterns
142//===----------------------------------------------------------------------===//
143
144// These are 'extloads' from a scalar to the low element of a vector, zeroing
145// the top elements. These are used for the SSE 'ss' and 'sd' instruction
146// forms.
147def sse_load_f32 : ComplexPattern<v4f32, 5, "SelectScalarSSELoad", [],
Chris Lattner0e023ea2010-09-21 20:31:19 +0000148 [SDNPHasChain, SDNPMayLoad, SDNPMemOperand,
149 SDNPWantRoot]>;
David Greene03264ef2010-07-12 23:41:28 +0000150def sse_load_f64 : ComplexPattern<v2f64, 5, "SelectScalarSSELoad", [],
Chris Lattner0e023ea2010-09-21 20:31:19 +0000151 [SDNPHasChain, SDNPMayLoad, SDNPMemOperand,
152 SDNPWantRoot]>;
David Greene03264ef2010-07-12 23:41:28 +0000153
154def ssmem : Operand<v4f32> {
155 let PrintMethod = "printf32mem";
156 let MIOperandInfo = (ops ptr_rc, i8imm, ptr_rc_nosp, i32imm, i8imm);
157 let ParserMatchClass = X86MemAsmOperand;
Benjamin Kramer9654eef2011-07-14 21:47:22 +0000158 let OperandType = "OPERAND_MEMORY";
David Greene03264ef2010-07-12 23:41:28 +0000159}
160def sdmem : Operand<v2f64> {
161 let PrintMethod = "printf64mem";
162 let MIOperandInfo = (ops ptr_rc, i8imm, ptr_rc_nosp, i32imm, i8imm);
163 let ParserMatchClass = X86MemAsmOperand;
Benjamin Kramer9654eef2011-07-14 21:47:22 +0000164 let OperandType = "OPERAND_MEMORY";
David Greene03264ef2010-07-12 23:41:28 +0000165}
166
167//===----------------------------------------------------------------------===//
168// SSE pattern fragments
169//===----------------------------------------------------------------------===//
170
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000171// 128-bit load pattern fragments
David Greene03264ef2010-07-12 23:41:28 +0000172def loadv4f32 : PatFrag<(ops node:$ptr), (v4f32 (load node:$ptr))>;
173def loadv2f64 : PatFrag<(ops node:$ptr), (v2f64 (load node:$ptr))>;
174def loadv4i32 : PatFrag<(ops node:$ptr), (v4i32 (load node:$ptr))>;
175def loadv2i64 : PatFrag<(ops node:$ptr), (v2i64 (load node:$ptr))>;
176
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000177// 256-bit load pattern fragments
David Greene03264ef2010-07-12 23:41:28 +0000178def loadv8f32 : PatFrag<(ops node:$ptr), (v8f32 (load node:$ptr))>;
179def loadv4f64 : PatFrag<(ops node:$ptr), (v4f64 (load node:$ptr))>;
180def loadv8i32 : PatFrag<(ops node:$ptr), (v8i32 (load node:$ptr))>;
181def loadv4i64 : PatFrag<(ops node:$ptr), (v4i64 (load node:$ptr))>;
182
Bruno Cardoso Lopes03d60022011-09-13 19:33:03 +0000183// Like 'store', but always requires 128-bit vector alignment.
David Greene03264ef2010-07-12 23:41:28 +0000184def alignedstore : PatFrag<(ops node:$val, node:$ptr),
185 (store node:$val, node:$ptr), [{
186 return cast<StoreSDNode>(N)->getAlignment() >= 16;
187}]>;
188
Bruno Cardoso Lopes03d60022011-09-13 19:33:03 +0000189// Like 'store', but always requires 256-bit vector alignment.
190def alignedstore256 : PatFrag<(ops node:$val, node:$ptr),
191 (store node:$val, node:$ptr), [{
192 return cast<StoreSDNode>(N)->getAlignment() >= 32;
193}]>;
194
195// Like 'load', but always requires 128-bit vector alignment.
David Greene03264ef2010-07-12 23:41:28 +0000196def alignedload : PatFrag<(ops node:$ptr), (load node:$ptr), [{
197 return cast<LoadSDNode>(N)->getAlignment() >= 16;
198}]>;
199
Bruno Cardoso Lopes03d60022011-09-13 19:33:03 +0000200// Like 'load', but always requires 256-bit vector alignment.
201def alignedload256 : PatFrag<(ops node:$ptr), (load node:$ptr), [{
202 return cast<LoadSDNode>(N)->getAlignment() >= 32;
203}]>;
204
David Greene03264ef2010-07-12 23:41:28 +0000205def alignedloadfsf32 : PatFrag<(ops node:$ptr),
206 (f32 (alignedload node:$ptr))>;
207def alignedloadfsf64 : PatFrag<(ops node:$ptr),
208 (f64 (alignedload node:$ptr))>;
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000209
210// 128-bit aligned load pattern fragments
David Greene03264ef2010-07-12 23:41:28 +0000211def alignedloadv4f32 : PatFrag<(ops node:$ptr),
212 (v4f32 (alignedload node:$ptr))>;
213def alignedloadv2f64 : PatFrag<(ops node:$ptr),
214 (v2f64 (alignedload node:$ptr))>;
215def alignedloadv4i32 : PatFrag<(ops node:$ptr),
216 (v4i32 (alignedload node:$ptr))>;
217def alignedloadv2i64 : PatFrag<(ops node:$ptr),
218 (v2i64 (alignedload node:$ptr))>;
219
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000220// 256-bit aligned load pattern fragments
David Greene03264ef2010-07-12 23:41:28 +0000221def alignedloadv8f32 : PatFrag<(ops node:$ptr),
Bruno Cardoso Lopes03d60022011-09-13 19:33:03 +0000222 (v8f32 (alignedload256 node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000223def alignedloadv4f64 : PatFrag<(ops node:$ptr),
Bruno Cardoso Lopes03d60022011-09-13 19:33:03 +0000224 (v4f64 (alignedload256 node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000225def alignedloadv8i32 : PatFrag<(ops node:$ptr),
Bruno Cardoso Lopes03d60022011-09-13 19:33:03 +0000226 (v8i32 (alignedload256 node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000227def alignedloadv4i64 : PatFrag<(ops node:$ptr),
Bruno Cardoso Lopes03d60022011-09-13 19:33:03 +0000228 (v4i64 (alignedload256 node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000229
230// Like 'load', but uses special alignment checks suitable for use in
231// memory operands in most SSE instructions, which are required to
232// be naturally aligned on some targets but not on others. If the subtarget
233// allows unaligned accesses, match any load, though this may require
234// setting a feature bit in the processor (on startup, for example).
235// Opteron 10h and later implement such a feature.
236def memop : PatFrag<(ops node:$ptr), (load node:$ptr), [{
237 return Subtarget->hasVectorUAMem()
238 || cast<LoadSDNode>(N)->getAlignment() >= 16;
239}]>;
240
241def memopfsf32 : PatFrag<(ops node:$ptr), (f32 (memop node:$ptr))>;
242def memopfsf64 : PatFrag<(ops node:$ptr), (f64 (memop node:$ptr))>;
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000243
244// 128-bit memop pattern fragments
David Greene03264ef2010-07-12 23:41:28 +0000245def memopv4f32 : PatFrag<(ops node:$ptr), (v4f32 (memop node:$ptr))>;
246def memopv2f64 : PatFrag<(ops node:$ptr), (v2f64 (memop node:$ptr))>;
247def memopv4i32 : PatFrag<(ops node:$ptr), (v4i32 (memop node:$ptr))>;
248def memopv2i64 : PatFrag<(ops node:$ptr), (v2i64 (memop node:$ptr))>;
Dale Johannesen1eea3512010-09-13 21:15:43 +0000249def memopv8i16 : PatFrag<(ops node:$ptr), (v8i16 (memop node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000250def memopv16i8 : PatFrag<(ops node:$ptr), (v16i8 (memop node:$ptr))>;
251
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000252// 256-bit memop pattern fragments
David Greene03264ef2010-07-12 23:41:28 +0000253def memopv8f32 : PatFrag<(ops node:$ptr), (v8f32 (memop node:$ptr))>;
254def memopv4f64 : PatFrag<(ops node:$ptr), (v4f64 (memop node:$ptr))>;
Bruno Cardoso Lopes3d6a3a02010-08-06 20:03:27 +0000255def memopv4i64 : PatFrag<(ops node:$ptr), (v4i64 (memop node:$ptr))>;
256def memopv8i32 : PatFrag<(ops node:$ptr), (v8i32 (memop node:$ptr))>;
Craig Topper682b8502011-11-02 04:42:13 +0000257def memopv16i16 : PatFrag<(ops node:$ptr), (v16i16 (memop node:$ptr))>;
258def memopv32i8 : PatFrag<(ops node:$ptr), (v32i8 (memop node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000259
260// SSSE3 uses MMX registers for some instructions. They aren't aligned on a
261// 16-byte boundary.
262// FIXME: 8 byte alignment for mmx reads is not required
263def memop64 : PatFrag<(ops node:$ptr), (load node:$ptr), [{
264 return cast<LoadSDNode>(N)->getAlignment() >= 8;
265}]>;
266
Dale Johannesendd224d22010-09-30 23:57:10 +0000267def memopmmx : PatFrag<(ops node:$ptr), (x86mmx (memop64 node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000268
269// MOVNT Support
270// Like 'store', but requires the non-temporal bit to be set
271def nontemporalstore : PatFrag<(ops node:$val, node:$ptr),
272 (st node:$val, node:$ptr), [{
273 if (StoreSDNode *ST = dyn_cast<StoreSDNode>(N))
274 return ST->isNonTemporal();
275 return false;
276}]>;
277
278def alignednontemporalstore : PatFrag<(ops node:$val, node:$ptr),
279 (st node:$val, node:$ptr), [{
280 if (StoreSDNode *ST = dyn_cast<StoreSDNode>(N))
281 return ST->isNonTemporal() && !ST->isTruncatingStore() &&
282 ST->getAddressingMode() == ISD::UNINDEXED &&
283 ST->getAlignment() >= 16;
284 return false;
285}]>;
286
287def unalignednontemporalstore : PatFrag<(ops node:$val, node:$ptr),
288 (st node:$val, node:$ptr), [{
289 if (StoreSDNode *ST = dyn_cast<StoreSDNode>(N))
290 return ST->isNonTemporal() &&
291 ST->getAlignment() < 16;
292 return false;
293}]>;
294
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000295// 128-bit bitconvert pattern fragments
David Greene03264ef2010-07-12 23:41:28 +0000296def bc_v4f32 : PatFrag<(ops node:$in), (v4f32 (bitconvert node:$in))>;
297def bc_v2f64 : PatFrag<(ops node:$in), (v2f64 (bitconvert node:$in))>;
298def bc_v16i8 : PatFrag<(ops node:$in), (v16i8 (bitconvert node:$in))>;
299def bc_v8i16 : PatFrag<(ops node:$in), (v8i16 (bitconvert node:$in))>;
300def bc_v4i32 : PatFrag<(ops node:$in), (v4i32 (bitconvert node:$in))>;
301def bc_v2i64 : PatFrag<(ops node:$in), (v2i64 (bitconvert node:$in))>;
302
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000303// 256-bit bitconvert pattern fragments
Craig Topper682b8502011-11-02 04:42:13 +0000304def bc_v32i8 : PatFrag<(ops node:$in), (v32i8 (bitconvert node:$in))>;
305def bc_v16i16 : PatFrag<(ops node:$in), (v16i16 (bitconvert node:$in))>;
Bruno Cardoso Lopese3acfd42010-07-21 23:53:50 +0000306def bc_v8i32 : PatFrag<(ops node:$in), (v8i32 (bitconvert node:$in))>;
Bruno Cardoso Lopes1021b4a2011-07-13 01:15:33 +0000307def bc_v4i64 : PatFrag<(ops node:$in), (v4i64 (bitconvert node:$in))>;
Bruno Cardoso Lopese3acfd42010-07-21 23:53:50 +0000308
David Greene03264ef2010-07-12 23:41:28 +0000309def vzmovl_v2i64 : PatFrag<(ops node:$src),
310 (bitconvert (v2i64 (X86vzmovl
311 (v2i64 (scalar_to_vector (loadi64 node:$src))))))>;
312def vzmovl_v4i32 : PatFrag<(ops node:$src),
313 (bitconvert (v4i32 (X86vzmovl
314 (v4i32 (scalar_to_vector (loadi32 node:$src))))))>;
315
316def vzload_v2i64 : PatFrag<(ops node:$src),
317 (bitconvert (v2i64 (X86vzload node:$src)))>;
318
319
320def fp32imm0 : PatLeaf<(f32 fpimm), [{
321 return N->isExactlyValue(+0.0);
322}]>;
323
324// BYTE_imm - Transform bit immediates into byte immediates.
325def BYTE_imm : SDNodeXForm<imm, [{
326 // Transformation function: imm >> 3
327 return getI32Imm(N->getZExtValue() >> 3);
328}]>;
329
330// SHUFFLE_get_shuf_imm xform function: convert vector_shuffle mask to PSHUF*,
331// SHUFP* etc. imm.
332def SHUFFLE_get_shuf_imm : SDNodeXForm<vector_shuffle, [{
Craig Topper80576e82012-01-19 08:19:12 +0000333 return getI8Imm(X86::getShuffleSHUFImmediate(cast<ShuffleVectorSDNode>(N)));
David Greene03264ef2010-07-12 23:41:28 +0000334}]>;
335
336// SHUFFLE_get_pshufhw_imm xform function: convert vector_shuffle mask to
337// PSHUFHW imm.
338def SHUFFLE_get_pshufhw_imm : SDNodeXForm<vector_shuffle, [{
339 return getI8Imm(X86::getShufflePSHUFHWImmediate(N));
340}]>;
341
342// SHUFFLE_get_pshuflw_imm xform function: convert vector_shuffle mask to
343// PSHUFLW imm.
344def SHUFFLE_get_pshuflw_imm : SDNodeXForm<vector_shuffle, [{
345 return getI8Imm(X86::getShufflePSHUFLWImmediate(N));
346}]>;
347
David Greenec4da1102011-02-03 15:50:00 +0000348// EXTRACT_get_vextractf128_imm xform function: convert extract_subvector index
349// to VEXTRACTF128 imm.
350def EXTRACT_get_vextractf128_imm : SDNodeXForm<extract_subvector, [{
351 return getI8Imm(X86::getExtractVEXTRACTF128Immediate(N));
352}]>;
353
Bruno Cardoso Lopesdb5fb912011-07-27 00:56:27 +0000354// INSERT_get_vinsertf128_imm xform function: convert insert_subvector index to
David Greene653f1ee2011-02-04 16:08:29 +0000355// VINSERTF128 imm.
356def INSERT_get_vinsertf128_imm : SDNodeXForm<insert_subvector, [{
357 return getI8Imm(X86::getInsertVINSERTF128Immediate(N));
358}]>;
359
David Greene03264ef2010-07-12 23:41:28 +0000360def splat_lo : PatFrag<(ops node:$lhs, node:$rhs),
361 (vector_shuffle node:$lhs, node:$rhs), [{
362 ShuffleVectorSDNode *SVOp = cast<ShuffleVectorSDNode>(N);
363 return SVOp->isSplat() && SVOp->getSplatIndex() == 0;
364}]>;
365
366def movddup : PatFrag<(ops node:$lhs, node:$rhs),
367 (vector_shuffle node:$lhs, node:$rhs), [{
368 return X86::isMOVDDUPMask(cast<ShuffleVectorSDNode>(N));
369}]>;
370
371def movhlps : PatFrag<(ops node:$lhs, node:$rhs),
372 (vector_shuffle node:$lhs, node:$rhs), [{
373 return X86::isMOVHLPSMask(cast<ShuffleVectorSDNode>(N));
374}]>;
375
376def movhlps_undef : PatFrag<(ops node:$lhs, node:$rhs),
377 (vector_shuffle node:$lhs, node:$rhs), [{
378 return X86::isMOVHLPS_v_undef_Mask(cast<ShuffleVectorSDNode>(N));
379}]>;
380
381def movlhps : PatFrag<(ops node:$lhs, node:$rhs),
382 (vector_shuffle node:$lhs, node:$rhs), [{
383 return X86::isMOVLHPSMask(cast<ShuffleVectorSDNode>(N));
384}]>;
385
386def movlp : PatFrag<(ops node:$lhs, node:$rhs),
387 (vector_shuffle node:$lhs, node:$rhs), [{
388 return X86::isMOVLPMask(cast<ShuffleVectorSDNode>(N));
389}]>;
390
391def movl : PatFrag<(ops node:$lhs, node:$rhs),
392 (vector_shuffle node:$lhs, node:$rhs), [{
393 return X86::isMOVLMask(cast<ShuffleVectorSDNode>(N));
394}]>;
395
David Greene03264ef2010-07-12 23:41:28 +0000396def unpckl : PatFrag<(ops node:$lhs, node:$rhs),
397 (vector_shuffle node:$lhs, node:$rhs), [{
Craig Topper669199c2011-11-21 06:57:39 +0000398 return X86::isUNPCKLMask(cast<ShuffleVectorSDNode>(N), Subtarget->hasAVX2());
David Greene03264ef2010-07-12 23:41:28 +0000399}]>;
400
401def unpckh : PatFrag<(ops node:$lhs, node:$rhs),
402 (vector_shuffle node:$lhs, node:$rhs), [{
Craig Topper669199c2011-11-21 06:57:39 +0000403 return X86::isUNPCKHMask(cast<ShuffleVectorSDNode>(N), Subtarget->hasAVX2());
David Greene03264ef2010-07-12 23:41:28 +0000404}]>;
405
David Greene03264ef2010-07-12 23:41:28 +0000406def pshufd : PatFrag<(ops node:$lhs, node:$rhs),
407 (vector_shuffle node:$lhs, node:$rhs), [{
408 return X86::isPSHUFDMask(cast<ShuffleVectorSDNode>(N));
409}], SHUFFLE_get_shuf_imm>;
410
411def shufp : PatFrag<(ops node:$lhs, node:$rhs),
412 (vector_shuffle node:$lhs, node:$rhs), [{
Craig Topper80576e82012-01-19 08:19:12 +0000413 return X86::isSHUFPMask(cast<ShuffleVectorSDNode>(N), Subtarget->hasAVX());
David Greene03264ef2010-07-12 23:41:28 +0000414}], SHUFFLE_get_shuf_imm>;
415
416def pshufhw : PatFrag<(ops node:$lhs, node:$rhs),
417 (vector_shuffle node:$lhs, node:$rhs), [{
418 return X86::isPSHUFHWMask(cast<ShuffleVectorSDNode>(N));
419}], SHUFFLE_get_pshufhw_imm>;
420
421def pshuflw : PatFrag<(ops node:$lhs, node:$rhs),
422 (vector_shuffle node:$lhs, node:$rhs), [{
423 return X86::isPSHUFLWMask(cast<ShuffleVectorSDNode>(N));
424}], SHUFFLE_get_pshuflw_imm>;
425
David Greenec4da1102011-02-03 15:50:00 +0000426def vextractf128_extract : PatFrag<(ops node:$bigvec, node:$index),
427 (extract_subvector node:$bigvec,
428 node:$index), [{
429 return X86::isVEXTRACTF128Index(N);
430}], EXTRACT_get_vextractf128_imm>;
David Greene653f1ee2011-02-04 16:08:29 +0000431
432def vinsertf128_insert : PatFrag<(ops node:$bigvec, node:$smallvec,
433 node:$index),
434 (insert_subvector node:$bigvec, node:$smallvec,
435 node:$index), [{
436 return X86::isVINSERTF128Index(N);
437}], INSERT_get_vinsertf128_imm>;
Bruno Cardoso Lopes123dff02011-07-25 23:05:25 +0000438