blob: 90354354367917e21b7fe661065af795fb6cc0fc [file] [log] [blame]
Jia Liue1d61962012-02-19 02:03:36 +00001//===-- X86InstrFragmentsSIMD.td - x86 SIMD ISA ------------*- tablegen -*-===//
David Greene509be1f2010-02-09 23:52:19 +00002//
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.
Jia Liub22310f2012-02-18 12:03:15 +00007//
David Greene509be1f2010-02-09 23:52:19 +00008//===----------------------------------------------------------------------===//
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>;
Nadav Rotem178250a2012-08-19 13:06:16 +000032
33// Commutative and Associative FMIN and FMAX.
34def X86fminc : SDNode<"X86ISD::FMINC", SDTFPBinOp,
35 [SDNPCommutative, SDNPAssociative]>;
36def X86fmaxc : SDNode<"X86ISD::FMAXC", SDTFPBinOp,
37 [SDNPCommutative, SDNPAssociative]>;
38
David Greene03264ef2010-07-12 23:41:28 +000039def X86fand : SDNode<"X86ISD::FAND", SDTFPBinOp,
40 [SDNPCommutative, SDNPAssociative]>;
41def X86for : SDNode<"X86ISD::FOR", SDTFPBinOp,
42 [SDNPCommutative, SDNPAssociative]>;
43def X86fxor : SDNode<"X86ISD::FXOR", SDTFPBinOp,
44 [SDNPCommutative, SDNPAssociative]>;
45def X86frsqrt : SDNode<"X86ISD::FRSQRT", SDTFPUnaryOp>;
46def X86frcp : SDNode<"X86ISD::FRCP", SDTFPUnaryOp>;
47def X86fsrl : SDNode<"X86ISD::FSRL", SDTX86FPShiftOp>;
Stuart Hastings9f208042011-06-01 04:39:42 +000048def X86fgetsign: SDNode<"X86ISD::FGETSIGNx86",SDTFPToIntOp>;
Duncan Sands0e4fcb82011-09-22 20:15:48 +000049def X86fhadd : SDNode<"X86ISD::FHADD", SDTFPBinOp>;
50def X86fhsub : SDNode<"X86ISD::FHSUB", SDTFPBinOp>;
Craig Topperf984efb2011-11-19 09:02:40 +000051def X86hadd : SDNode<"X86ISD::HADD", SDTIntBinOp>;
52def X86hsub : SDNode<"X86ISD::HSUB", SDTIntBinOp>;
David Greene03264ef2010-07-12 23:41:28 +000053def X86comi : SDNode<"X86ISD::COMI", SDTX86CmpTest>;
54def X86ucomi : SDNode<"X86ISD::UCOMI", SDTX86CmpTest>;
Stuart Hastingsbe605492011-06-03 23:53:54 +000055def X86cmpss : SDNode<"X86ISD::FSETCCss", SDTX86Cmpss>;
56def X86cmpsd : SDNode<"X86ISD::FSETCCsd", SDTX86Cmpsd>;
David Greene03264ef2010-07-12 23:41:28 +000057def X86pshufb : SDNode<"X86ISD::PSHUFB",
Craig Topper78349002012-01-25 06:43:11 +000058 SDTypeProfile<1, 2, [SDTCisVec<0>, SDTCisSameAs<0,1>,
David Greene03264ef2010-07-12 23:41:28 +000059 SDTCisSameAs<0,2>]>>;
Bruno Cardoso Lopes7ba479d2011-07-13 21:36:47 +000060def X86andnp : SDNode<"X86ISD::ANDNP",
Bruno Cardoso Lopes9613b642011-07-13 21:36:51 +000061 SDTypeProfile<1, 2, [SDTCisVec<0>, SDTCisSameAs<0,1>,
Nate Begeman97b72c92010-12-17 22:55:37 +000062 SDTCisSameAs<0,2>]>>;
Craig Topper81390be2011-11-19 07:33:10 +000063def X86psign : SDNode<"X86ISD::PSIGN",
Craig Topperde6b73b2011-11-19 07:07:26 +000064 SDTypeProfile<1, 2, [SDTCisVec<0>, SDTCisSameAs<0,1>,
Nate Begeman97b72c92010-12-17 22:55:37 +000065 SDTCisSameAs<0,2>]>>;
David Greene03264ef2010-07-12 23:41:28 +000066def X86pextrb : SDNode<"X86ISD::PEXTRB",
67 SDTypeProfile<1, 2, [SDTCisVT<0, i32>, SDTCisPtrTy<2>]>>;
68def X86pextrw : SDNode<"X86ISD::PEXTRW",
69 SDTypeProfile<1, 2, [SDTCisVT<0, i32>, SDTCisPtrTy<2>]>>;
70def X86pinsrb : SDNode<"X86ISD::PINSRB",
71 SDTypeProfile<1, 3, [SDTCisVT<0, v16i8>, SDTCisSameAs<0,1>,
72 SDTCisVT<2, i32>, SDTCisPtrTy<3>]>>;
73def X86pinsrw : SDNode<"X86ISD::PINSRW",
74 SDTypeProfile<1, 3, [SDTCisVT<0, v8i16>, SDTCisSameAs<0,1>,
75 SDTCisVT<2, i32>, SDTCisPtrTy<3>]>>;
76def X86insrtps : SDNode<"X86ISD::INSERTPS",
77 SDTypeProfile<1, 3, [SDTCisVT<0, v4f32>, SDTCisSameAs<0,1>,
78 SDTCisVT<2, v4f32>, SDTCisPtrTy<3>]>>;
79def X86vzmovl : SDNode<"X86ISD::VZEXT_MOVL",
80 SDTypeProfile<1, 1, [SDTCisSameAs<0,1>]>>;
Elena Demikhovsky8d7e56c2012-04-22 09:39:03 +000081
82def X86vzmovly : SDNode<"X86ISD::VZEXT_MOVL",
Nadav Rotem178250a2012-08-19 13:06:16 +000083 SDTypeProfile<1, 1, [SDTCisVec<0>, SDTCisVec<1>,
Elena Demikhovsky8d7e56c2012-04-22 09:39:03 +000084 SDTCisOpSmallerThanOp<1, 0> ]>>;
85
Elena Demikhovskyfb449802012-02-02 09:10:43 +000086def X86vsmovl : SDNode<"X86ISD::VSEXT_MOVL",
Nadav Rotem178250a2012-08-19 13:06:16 +000087 SDTypeProfile<1, 1,
88 [SDTCisVec<0>, SDTCisInt<1>, SDTCisInt<0>]>>;
Elena Demikhovsky8d7e56c2012-04-22 09:39:03 +000089
David Greene03264ef2010-07-12 23:41:28 +000090def X86vzload : SDNode<"X86ISD::VZEXT_LOAD", SDTLoad,
Chris Lattner54e53292010-09-22 00:34:38 +000091 [SDNPHasChain, SDNPMayLoad, SDNPMemOperand]>;
Michael Liao34107b92012-08-14 21:24:47 +000092
93def X86vfpext : SDNode<"X86ISD::VFPEXT",
94 SDTypeProfile<1, 1, [SDTCisVec<0>, SDTCisVec<1>,
95 SDTCisFP<0>, SDTCisFP<1>]>>;
96
Craig Topper09462642012-01-22 19:15:14 +000097def X86vshldq : SDNode<"X86ISD::VSHLDQ", SDTIntShiftOp>;
98def X86vshrdq : SDNode<"X86ISD::VSRLDQ", SDTIntShiftOp>;
Craig Topper0b7ad762012-01-22 23:36:02 +000099def X86cmpp : SDNode<"X86ISD::CMPP", SDTX86VFCMP>;
Craig Topperbd4884372012-01-22 22:42:16 +0000100def X86pcmpeq : SDNode<"X86ISD::PCMPEQ", SDTIntBinOp, [SDNPCommutative]>;
101def X86pcmpgt : SDNode<"X86ISD::PCMPGT", SDTIntBinOp>;
David Greene03264ef2010-07-12 23:41:28 +0000102
Craig Topper09462642012-01-22 19:15:14 +0000103def X86vshl : SDNode<"X86ISD::VSHL",
104 SDTypeProfile<1, 2, [SDTCisVec<0>, SDTCisSameAs<0,1>,
105 SDTCisVec<2>]>>;
106def X86vsrl : SDNode<"X86ISD::VSRL",
107 SDTypeProfile<1, 2, [SDTCisVec<0>, SDTCisSameAs<0,1>,
108 SDTCisVec<2>]>>;
109def X86vsra : SDNode<"X86ISD::VSRA",
110 SDTypeProfile<1, 2, [SDTCisVec<0>, SDTCisSameAs<0,1>,
111 SDTCisVec<2>]>>;
112
113def X86vshli : SDNode<"X86ISD::VSHLI", SDTIntShiftOp>;
114def X86vsrli : SDNode<"X86ISD::VSRLI", SDTIntShiftOp>;
115def X86vsrai : SDNode<"X86ISD::VSRAI", SDTIntShiftOp>;
116
David Greene03264ef2010-07-12 23:41:28 +0000117def SDTX86CmpPTest : SDTypeProfile<1, 2, [SDTCisVT<0, i32>,
Bruno Cardoso Lopes91d61df2010-08-10 23:25:42 +0000118 SDTCisVec<1>,
119 SDTCisSameAs<2, 1>]>;
David Greene03264ef2010-07-12 23:41:28 +0000120def X86ptest : SDNode<"X86ISD::PTEST", SDTX86CmpPTest>;
Bruno Cardoso Lopes91d61df2010-08-10 23:25:42 +0000121def X86testp : SDNode<"X86ISD::TESTP", SDTX86CmpPTest>;
David Greene03264ef2010-07-12 23:41:28 +0000122
Craig Topper1d471e32012-02-05 03:14:49 +0000123def X86pmuludq : SDNode<"X86ISD::PMULUDQ",
124 SDTypeProfile<1, 2, [SDTCisVec<0>, SDTCisVec<1>,
125 SDTCisSameAs<1,2>]>>;
126
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000127// Specific shuffle nodes - At some point ISD::VECTOR_SHUFFLE will always get
128// translated into one of the target nodes below during lowering.
129// Note: this is a work in progress...
130def SDTShuff1Op : SDTypeProfile<1, 1, [SDTCisVec<0>, SDTCisSameAs<0,1>]>;
131def SDTShuff2Op : SDTypeProfile<1, 2, [SDTCisVec<0>, SDTCisSameAs<0,1>,
132 SDTCisSameAs<0,2>]>;
133
134def SDTShuff2OpI : SDTypeProfile<1, 2, [SDTCisVec<0>,
135 SDTCisSameAs<0,1>, SDTCisInt<2>]>;
136def SDTShuff3OpI : SDTypeProfile<1, 3, [SDTCisVec<0>, SDTCisSameAs<0,1>,
137 SDTCisSameAs<0,2>, SDTCisInt<3>]>;
138
Bruno Cardoso Lopesbe5e9872011-08-17 02:29:19 +0000139def SDTVBroadcast : SDTypeProfile<1, 1, [SDTCisVec<0>]>;
Nadav Rotem9bc178a2012-04-11 06:40:27 +0000140def SDTBlend : SDTypeProfile<1, 3, [SDTCisVec<0>, SDTCisSameAs<0,1>,
Elena Demikhovsky3cb3b002012-08-01 12:06:00 +0000141 SDTCisSameAs<1,2>, SDTCisVT<3, i32>]>;
142
143def SDTFma : SDTypeProfile<1, 3, [SDTCisSameAs<0,1>,
144 SDTCisSameAs<1,2>, SDTCisSameAs<1,3>]>;
Bruno Cardoso Lopesbe5e9872011-08-17 02:29:19 +0000145
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000146def X86PAlign : SDNode<"X86ISD::PALIGN", SDTShuff3OpI>;
147
148def X86PShufd : SDNode<"X86ISD::PSHUFD", SDTShuff2OpI>;
149def X86PShufhw : SDNode<"X86ISD::PSHUFHW", SDTShuff2OpI>;
150def X86PShuflw : SDNode<"X86ISD::PSHUFLW", SDTShuff2OpI>;
151
Craig Topper6e54ba72011-12-31 23:50:21 +0000152def X86Shufp : SDNode<"X86ISD::SHUFP", SDTShuff3OpI>;
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000153
154def X86Movddup : SDNode<"X86ISD::MOVDDUP", SDTShuff1Op>;
155def X86Movshdup : SDNode<"X86ISD::MOVSHDUP", SDTShuff1Op>;
156def X86Movsldup : SDNode<"X86ISD::MOVSLDUP", SDTShuff1Op>;
157
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000158def X86Movsd : SDNode<"X86ISD::MOVSD", SDTShuff2Op>;
159def X86Movss : SDNode<"X86ISD::MOVSS", SDTShuff2Op>;
160
161def X86Movlhps : SDNode<"X86ISD::MOVLHPS", SDTShuff2Op>;
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000162def X86Movlhpd : SDNode<"X86ISD::MOVLHPD", SDTShuff2Op>;
Bruno Cardoso Lopes03e4c352010-08-31 21:15:21 +0000163def X86Movhlps : SDNode<"X86ISD::MOVHLPS", SDTShuff2Op>;
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000164
Bruno Cardoso Lopesb3825212010-09-01 05:08:25 +0000165def X86Movlps : SDNode<"X86ISD::MOVLPS", SDTShuff2Op>;
166def X86Movlpd : SDNode<"X86ISD::MOVLPD", SDTShuff2Op>;
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000167
Craig Topper8d4ba192011-12-06 08:21:25 +0000168def X86Unpckl : SDNode<"X86ISD::UNPCKL", SDTShuff2Op>;
169def X86Unpckh : SDNode<"X86ISD::UNPCKH", SDTShuff2Op>;
Bruno Cardoso Lopes6f3b38a2010-08-20 22:55:05 +0000170
Craig Topperbafd2242011-11-30 06:25:25 +0000171def X86VPermilp : SDNode<"X86ISD::VPERMILP", SDTShuff2OpI>;
Craig Topper26d7a942012-04-16 06:43:40 +0000172def X86VPermv : SDNode<"X86ISD::VPERMV", SDTShuff2Op>;
Craig Topperb86fa402012-04-16 00:41:45 +0000173def X86VPermi : SDNode<"X86ISD::VPERMI", SDTShuff2OpI>;
Bruno Cardoso Lopesb878caa2011-07-21 01:55:47 +0000174
Craig Topper0a672ea2011-11-30 07:47:51 +0000175def X86VPerm2x128 : SDNode<"X86ISD::VPERM2X128", SDTShuff3OpI>;
Bruno Cardoso Lopesf15dfe52011-08-12 21:48:26 +0000176
Bruno Cardoso Lopesbe5e9872011-08-17 02:29:19 +0000177def X86VBroadcast : SDNode<"X86ISD::VBROADCAST", SDTVBroadcast>;
178
Elena Demikhovsky3cb3b002012-08-01 12:06:00 +0000179def X86Blendpw : SDNode<"X86ISD::BLENDPW", SDTBlend>;
180def X86Blendps : SDNode<"X86ISD::BLENDPS", SDTBlend>;
181def X86Blendpd : SDNode<"X86ISD::BLENDPD", SDTBlend>;
182def X86Fmadd : SDNode<"X86ISD::FMADD", SDTFma>;
183def X86Fnmadd : SDNode<"X86ISD::FNMADD", SDTFma>;
184def X86Fmsub : SDNode<"X86ISD::FMSUB", SDTFma>;
185def X86Fnmsub : SDNode<"X86ISD::FNMSUB", SDTFma>;
Craig Toppera999c662012-08-29 07:18:25 +0000186def X86Fmaddsub : SDNode<"X86ISD::FMADDSUB", SDTFma>;
187def X86Fmsubadd : SDNode<"X86ISD::FMSUBADD", SDTFma>;
Nadav Rotem9bc178a2012-04-11 06:40:27 +0000188
Craig Topperab47fe42012-08-06 06:22:36 +0000189def SDT_PCMPISTRI : SDTypeProfile<2, 3, [SDTCisVT<0, i32>, SDTCisVT<1, i32>,
190 SDTCisVT<2, v16i8>, SDTCisVT<3, v16i8>,
191 SDTCisVT<4, i8>]>;
192def SDT_PCMPESTRI : SDTypeProfile<2, 5, [SDTCisVT<0, i32>, SDTCisVT<1, i32>,
193 SDTCisVT<2, v16i8>, SDTCisVT<3, i32>,
194 SDTCisVT<4, v16i8>, SDTCisVT<5, i32>,
195 SDTCisVT<6, i8>]>;
196
197def X86pcmpistri : SDNode<"X86ISD::PCMPISTRI", SDT_PCMPISTRI>;
198def X86pcmpestri : SDNode<"X86ISD::PCMPESTRI", SDT_PCMPESTRI>;
199
David Greene03264ef2010-07-12 23:41:28 +0000200//===----------------------------------------------------------------------===//
201// SSE Complex Patterns
202//===----------------------------------------------------------------------===//
203
204// These are 'extloads' from a scalar to the low element of a vector, zeroing
205// the top elements. These are used for the SSE 'ss' and 'sd' instruction
206// forms.
207def sse_load_f32 : ComplexPattern<v4f32, 5, "SelectScalarSSELoad", [],
Chris Lattner0e023ea2010-09-21 20:31:19 +0000208 [SDNPHasChain, SDNPMayLoad, SDNPMemOperand,
209 SDNPWantRoot]>;
David Greene03264ef2010-07-12 23:41:28 +0000210def sse_load_f64 : ComplexPattern<v2f64, 5, "SelectScalarSSELoad", [],
Chris Lattner0e023ea2010-09-21 20:31:19 +0000211 [SDNPHasChain, SDNPMayLoad, SDNPMemOperand,
212 SDNPWantRoot]>;
David Greene03264ef2010-07-12 23:41:28 +0000213
214def ssmem : Operand<v4f32> {
215 let PrintMethod = "printf32mem";
216 let MIOperandInfo = (ops ptr_rc, i8imm, ptr_rc_nosp, i32imm, i8imm);
217 let ParserMatchClass = X86MemAsmOperand;
Benjamin Kramer9654eef2011-07-14 21:47:22 +0000218 let OperandType = "OPERAND_MEMORY";
David Greene03264ef2010-07-12 23:41:28 +0000219}
220def sdmem : Operand<v2f64> {
221 let PrintMethod = "printf64mem";
222 let MIOperandInfo = (ops ptr_rc, i8imm, ptr_rc_nosp, i32imm, i8imm);
223 let ParserMatchClass = X86MemAsmOperand;
Benjamin Kramer9654eef2011-07-14 21:47:22 +0000224 let OperandType = "OPERAND_MEMORY";
David Greene03264ef2010-07-12 23:41:28 +0000225}
226
227//===----------------------------------------------------------------------===//
228// SSE pattern fragments
229//===----------------------------------------------------------------------===//
230
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000231// 128-bit load pattern fragments
Craig Topper0d8e67a2012-01-24 03:03:17 +0000232// NOTE: all 128-bit integer vector loads are promoted to v2i64
David Greene03264ef2010-07-12 23:41:28 +0000233def loadv4f32 : PatFrag<(ops node:$ptr), (v4f32 (load node:$ptr))>;
234def loadv2f64 : PatFrag<(ops node:$ptr), (v2f64 (load node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000235def loadv2i64 : PatFrag<(ops node:$ptr), (v2i64 (load node:$ptr))>;
236
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000237// 256-bit load pattern fragments
Craig Topper0d8e67a2012-01-24 03:03:17 +0000238// NOTE: all 256-bit integer vector loads are promoted to v4i64
David Greene03264ef2010-07-12 23:41:28 +0000239def loadv8f32 : PatFrag<(ops node:$ptr), (v8f32 (load node:$ptr))>;
240def loadv4f64 : PatFrag<(ops node:$ptr), (v4f64 (load node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000241def loadv4i64 : PatFrag<(ops node:$ptr), (v4i64 (load node:$ptr))>;
242
Michael Liao400f7ef2012-09-10 18:33:51 +0000243// 128-/256-bit extload pattern fragments
244def extloadv2f32 : PatFrag<(ops node:$ptr), (v2f64 (extloadvf32 node:$ptr))>;
245def extloadv4f32 : PatFrag<(ops node:$ptr), (v4f64 (extloadvf32 node:$ptr))>;
246
Bruno Cardoso Lopes03d60022011-09-13 19:33:03 +0000247// Like 'store', but always requires 128-bit vector alignment.
David Greene03264ef2010-07-12 23:41:28 +0000248def alignedstore : PatFrag<(ops node:$val, node:$ptr),
249 (store node:$val, node:$ptr), [{
250 return cast<StoreSDNode>(N)->getAlignment() >= 16;
251}]>;
252
Bruno Cardoso Lopes03d60022011-09-13 19:33:03 +0000253// Like 'store', but always requires 256-bit vector alignment.
254def alignedstore256 : PatFrag<(ops node:$val, node:$ptr),
255 (store node:$val, node:$ptr), [{
256 return cast<StoreSDNode>(N)->getAlignment() >= 32;
257}]>;
258
259// Like 'load', but always requires 128-bit vector alignment.
David Greene03264ef2010-07-12 23:41:28 +0000260def alignedload : PatFrag<(ops node:$ptr), (load node:$ptr), [{
261 return cast<LoadSDNode>(N)->getAlignment() >= 16;
262}]>;
263
Chad Rosiera281afc2012-03-09 02:00:48 +0000264// Like 'X86vzload', but always requires 128-bit vector alignment.
265def alignedX86vzload : PatFrag<(ops node:$ptr), (X86vzload node:$ptr), [{
266 return cast<MemSDNode>(N)->getAlignment() >= 16;
267}]>;
268
Bruno Cardoso Lopes03d60022011-09-13 19:33:03 +0000269// Like 'load', but always requires 256-bit vector alignment.
270def alignedload256 : PatFrag<(ops node:$ptr), (load node:$ptr), [{
271 return cast<LoadSDNode>(N)->getAlignment() >= 32;
272}]>;
273
David Greene03264ef2010-07-12 23:41:28 +0000274def alignedloadfsf32 : PatFrag<(ops node:$ptr),
275 (f32 (alignedload node:$ptr))>;
276def alignedloadfsf64 : PatFrag<(ops node:$ptr),
277 (f64 (alignedload node:$ptr))>;
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000278
279// 128-bit aligned load pattern fragments
Craig Topper0d8e67a2012-01-24 03:03:17 +0000280// NOTE: all 128-bit integer vector loads are promoted to v2i64
David Greene03264ef2010-07-12 23:41:28 +0000281def alignedloadv4f32 : PatFrag<(ops node:$ptr),
282 (v4f32 (alignedload node:$ptr))>;
283def alignedloadv2f64 : PatFrag<(ops node:$ptr),
284 (v2f64 (alignedload node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000285def alignedloadv2i64 : PatFrag<(ops node:$ptr),
286 (v2i64 (alignedload node:$ptr))>;
287
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000288// 256-bit aligned load pattern fragments
Craig Topper0d8e67a2012-01-24 03:03:17 +0000289// NOTE: all 256-bit integer vector loads are promoted to v4i64
David Greene03264ef2010-07-12 23:41:28 +0000290def alignedloadv8f32 : PatFrag<(ops node:$ptr),
Bruno Cardoso Lopes03d60022011-09-13 19:33:03 +0000291 (v8f32 (alignedload256 node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000292def alignedloadv4f64 : PatFrag<(ops node:$ptr),
Bruno Cardoso Lopes03d60022011-09-13 19:33:03 +0000293 (v4f64 (alignedload256 node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000294def alignedloadv4i64 : PatFrag<(ops node:$ptr),
Bruno Cardoso Lopes03d60022011-09-13 19:33:03 +0000295 (v4i64 (alignedload256 node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000296
297// Like 'load', but uses special alignment checks suitable for use in
298// memory operands in most SSE instructions, which are required to
299// be naturally aligned on some targets but not on others. If the subtarget
300// allows unaligned accesses, match any load, though this may require
301// setting a feature bit in the processor (on startup, for example).
302// Opteron 10h and later implement such a feature.
303def memop : PatFrag<(ops node:$ptr), (load node:$ptr), [{
304 return Subtarget->hasVectorUAMem()
305 || cast<LoadSDNode>(N)->getAlignment() >= 16;
306}]>;
307
308def memopfsf32 : PatFrag<(ops node:$ptr), (f32 (memop node:$ptr))>;
309def memopfsf64 : PatFrag<(ops node:$ptr), (f64 (memop node:$ptr))>;
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000310
311// 128-bit memop pattern fragments
Craig Topper0d8e67a2012-01-24 03:03:17 +0000312// NOTE: all 128-bit integer vector loads are promoted to v2i64
David Greene03264ef2010-07-12 23:41:28 +0000313def memopv4f32 : PatFrag<(ops node:$ptr), (v4f32 (memop node:$ptr))>;
314def memopv2f64 : PatFrag<(ops node:$ptr), (v2f64 (memop node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000315def memopv2i64 : PatFrag<(ops node:$ptr), (v2i64 (memop node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000316
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000317// 256-bit memop pattern fragments
Craig Topper0d8e67a2012-01-24 03:03:17 +0000318// NOTE: all 256-bit integer vector loads are promoted to v4i64
David Greene03264ef2010-07-12 23:41:28 +0000319def memopv8f32 : PatFrag<(ops node:$ptr), (v8f32 (memop node:$ptr))>;
320def memopv4f64 : PatFrag<(ops node:$ptr), (v4f64 (memop node:$ptr))>;
Bruno Cardoso Lopes3d6a3a02010-08-06 20:03:27 +0000321def memopv4i64 : PatFrag<(ops node:$ptr), (v4i64 (memop node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000322
323// SSSE3 uses MMX registers for some instructions. They aren't aligned on a
324// 16-byte boundary.
325// FIXME: 8 byte alignment for mmx reads is not required
326def memop64 : PatFrag<(ops node:$ptr), (load node:$ptr), [{
327 return cast<LoadSDNode>(N)->getAlignment() >= 8;
328}]>;
329
Dale Johannesendd224d22010-09-30 23:57:10 +0000330def memopmmx : PatFrag<(ops node:$ptr), (x86mmx (memop64 node:$ptr))>;
David Greene03264ef2010-07-12 23:41:28 +0000331
332// MOVNT Support
333// Like 'store', but requires the non-temporal bit to be set
334def nontemporalstore : PatFrag<(ops node:$val, node:$ptr),
335 (st node:$val, node:$ptr), [{
336 if (StoreSDNode *ST = dyn_cast<StoreSDNode>(N))
337 return ST->isNonTemporal();
338 return false;
339}]>;
340
341def alignednontemporalstore : PatFrag<(ops node:$val, node:$ptr),
Bill Wendlingea6397f2012-07-19 00:11:40 +0000342 (st node:$val, node:$ptr), [{
David Greene03264ef2010-07-12 23:41:28 +0000343 if (StoreSDNode *ST = dyn_cast<StoreSDNode>(N))
344 return ST->isNonTemporal() && !ST->isTruncatingStore() &&
345 ST->getAddressingMode() == ISD::UNINDEXED &&
346 ST->getAlignment() >= 16;
347 return false;
348}]>;
349
350def unalignednontemporalstore : PatFrag<(ops node:$val, node:$ptr),
Bill Wendlingea6397f2012-07-19 00:11:40 +0000351 (st node:$val, node:$ptr), [{
David Greene03264ef2010-07-12 23:41:28 +0000352 if (StoreSDNode *ST = dyn_cast<StoreSDNode>(N))
353 return ST->isNonTemporal() &&
354 ST->getAlignment() < 16;
355 return false;
356}]>;
357
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000358// 128-bit bitconvert pattern fragments
David Greene03264ef2010-07-12 23:41:28 +0000359def bc_v4f32 : PatFrag<(ops node:$in), (v4f32 (bitconvert node:$in))>;
360def bc_v2f64 : PatFrag<(ops node:$in), (v2f64 (bitconvert node:$in))>;
361def bc_v16i8 : PatFrag<(ops node:$in), (v16i8 (bitconvert node:$in))>;
362def bc_v8i16 : PatFrag<(ops node:$in), (v8i16 (bitconvert node:$in))>;
363def bc_v4i32 : PatFrag<(ops node:$in), (v4i32 (bitconvert node:$in))>;
364def bc_v2i64 : PatFrag<(ops node:$in), (v2i64 (bitconvert node:$in))>;
365
Bruno Cardoso Lopes160be292010-08-13 20:39:01 +0000366// 256-bit bitconvert pattern fragments
Craig Topper682b8502011-11-02 04:42:13 +0000367def bc_v32i8 : PatFrag<(ops node:$in), (v32i8 (bitconvert node:$in))>;
368def bc_v16i16 : PatFrag<(ops node:$in), (v16i16 (bitconvert node:$in))>;
Bruno Cardoso Lopese3acfd42010-07-21 23:53:50 +0000369def bc_v8i32 : PatFrag<(ops node:$in), (v8i32 (bitconvert node:$in))>;
Bruno Cardoso Lopes1021b4a2011-07-13 01:15:33 +0000370def bc_v4i64 : PatFrag<(ops node:$in), (v4i64 (bitconvert node:$in))>;
Bruno Cardoso Lopese3acfd42010-07-21 23:53:50 +0000371
David Greene03264ef2010-07-12 23:41:28 +0000372def vzmovl_v2i64 : PatFrag<(ops node:$src),
373 (bitconvert (v2i64 (X86vzmovl
374 (v2i64 (scalar_to_vector (loadi64 node:$src))))))>;
375def vzmovl_v4i32 : PatFrag<(ops node:$src),
376 (bitconvert (v4i32 (X86vzmovl
377 (v4i32 (scalar_to_vector (loadi32 node:$src))))))>;
378
379def vzload_v2i64 : PatFrag<(ops node:$src),
380 (bitconvert (v2i64 (X86vzload node:$src)))>;
381
382
383def fp32imm0 : PatLeaf<(f32 fpimm), [{
384 return N->isExactlyValue(+0.0);
385}]>;
386
387// BYTE_imm - Transform bit immediates into byte immediates.
388def BYTE_imm : SDNodeXForm<imm, [{
389 // Transformation function: imm >> 3
390 return getI32Imm(N->getZExtValue() >> 3);
391}]>;
392
David Greenec4da1102011-02-03 15:50:00 +0000393// EXTRACT_get_vextractf128_imm xform function: convert extract_subvector index
394// to VEXTRACTF128 imm.
395def EXTRACT_get_vextractf128_imm : SDNodeXForm<extract_subvector, [{
396 return getI8Imm(X86::getExtractVEXTRACTF128Immediate(N));
397}]>;
398
Bruno Cardoso Lopesdb5fb912011-07-27 00:56:27 +0000399// INSERT_get_vinsertf128_imm xform function: convert insert_subvector index to
David Greene653f1ee2011-02-04 16:08:29 +0000400// VINSERTF128 imm.
401def INSERT_get_vinsertf128_imm : SDNodeXForm<insert_subvector, [{
402 return getI8Imm(X86::getInsertVINSERTF128Immediate(N));
403}]>;
404
David Greenec4da1102011-02-03 15:50:00 +0000405def vextractf128_extract : PatFrag<(ops node:$bigvec, node:$index),
406 (extract_subvector node:$bigvec,
407 node:$index), [{
408 return X86::isVEXTRACTF128Index(N);
409}], EXTRACT_get_vextractf128_imm>;
David Greene653f1ee2011-02-04 16:08:29 +0000410
411def vinsertf128_insert : PatFrag<(ops node:$bigvec, node:$smallvec,
412 node:$index),
413 (insert_subvector node:$bigvec, node:$smallvec,
414 node:$index), [{
415 return X86::isVINSERTF128Index(N);
416}], INSERT_get_vinsertf128_imm>;
Bruno Cardoso Lopes123dff02011-07-25 23:05:25 +0000417