1//===- IntrinsicsSystemZ.td - Defines SystemZ intrinsics ---*- 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 defines all of the SystemZ-specific intrinsics.
11//
12//===----------------------------------------------------------------------===//
13
14class SystemZUnaryConv<string name, LLVMType result, LLVMType arg>
15  : GCCBuiltin<"__builtin_s390_" ## name>,
16    Intrinsic<[result], [arg], [IntrNoMem]>;
17
18class SystemZUnary<string name, LLVMType type>
19  : SystemZUnaryConv<name, type, type>;
20
21class SystemZUnaryConvCC<LLVMType result, LLVMType arg>
22  : Intrinsic<[result, llvm_i32_ty], [arg], [IntrNoMem]>;
23
24class SystemZUnaryCC<LLVMType type>
25  : SystemZUnaryConvCC<type, type>;
26
27class SystemZBinaryConv<string name, LLVMType result, LLVMType arg>
28  : GCCBuiltin<"__builtin_s390_" ## name>,
29    Intrinsic<[result], [arg, arg], [IntrNoMem]>;
30
31class SystemZBinary<string name, LLVMType type>
32  : SystemZBinaryConv<name, type, type>;
33
34class SystemZBinaryInt<string name, LLVMType type>
35  : GCCBuiltin<"__builtin_s390_" ## name>,
36    Intrinsic<[type], [type, llvm_i32_ty], [IntrNoMem]>;
37
38class SystemZBinaryConvCC<LLVMType result, LLVMType arg>
39  : Intrinsic<[result, llvm_i32_ty], [arg, arg], [IntrNoMem]>;
40
41class SystemZBinaryConvIntCC<LLVMType result, LLVMType arg>
42  : Intrinsic<[result, llvm_i32_ty], [arg, llvm_i32_ty], [IntrNoMem]>;
43
44class SystemZBinaryCC<LLVMType type>
45  : SystemZBinaryConvCC<type, type>;
46
47class SystemZTernaryConv<string name, LLVMType result, LLVMType arg>
48  : GCCBuiltin<"__builtin_s390_" ## name>,
49    Intrinsic<[result], [arg, arg, result], [IntrNoMem]>;
50
51class SystemZTernary<string name, LLVMType type>
52  : SystemZTernaryConv<name, type, type>;
53
54class SystemZTernaryInt<string name, LLVMType type>
55  : GCCBuiltin<"__builtin_s390_" ## name>,
56    Intrinsic<[type], [type, type, llvm_i32_ty], [IntrNoMem]>;
57
58class SystemZTernaryIntCC<LLVMType type>
59  : Intrinsic<[type, llvm_i32_ty], [type, type, llvm_i32_ty], [IntrNoMem]>;
60
61class SystemZQuaternaryInt<string name, LLVMType type>
62  : GCCBuiltin<"__builtin_s390_" ## name>,
63    Intrinsic<[type], [type, type, type, llvm_i32_ty], [IntrNoMem]>;
64
65class SystemZQuaternaryIntCC<LLVMType type>
66  : Intrinsic<[type, llvm_i32_ty], [type, type, type, llvm_i32_ty],
67              [IntrNoMem]>;
68
69multiclass SystemZUnaryExtBHF<string name> {
70  def b : SystemZUnaryConv<name##"b", llvm_v8i16_ty, llvm_v16i8_ty>;
71  def h : SystemZUnaryConv<name##"h", llvm_v4i32_ty, llvm_v8i16_ty>;
72  def f : SystemZUnaryConv<name##"f", llvm_v2i64_ty, llvm_v4i32_ty>;
73}
74
75multiclass SystemZUnaryExtBHWF<string name> {
76  def b  : SystemZUnaryConv<name##"b",  llvm_v8i16_ty, llvm_v16i8_ty>;
77  def hw : SystemZUnaryConv<name##"hw", llvm_v4i32_ty, llvm_v8i16_ty>;
78  def f  : SystemZUnaryConv<name##"f",  llvm_v2i64_ty, llvm_v4i32_ty>;
79}
80
81multiclass SystemZUnaryBHF<string name> {
82  def b : SystemZUnary<name##"b", llvm_v16i8_ty>;
83  def h : SystemZUnary<name##"h", llvm_v8i16_ty>;
84  def f : SystemZUnary<name##"f", llvm_v4i32_ty>;
85}
86
87multiclass SystemZUnaryBHFG<string name> : SystemZUnaryBHF<name> {
88  def g : SystemZUnary<name##"g", llvm_v2i64_ty>;
89}
90
91multiclass SystemZUnaryCCBHF {
92  def bs : SystemZUnaryCC<llvm_v16i8_ty>;
93  def hs : SystemZUnaryCC<llvm_v8i16_ty>;
94  def fs : SystemZUnaryCC<llvm_v4i32_ty>;
95}
96
97multiclass SystemZBinaryTruncHFG<string name> {
98  def h : SystemZBinaryConv<name##"h", llvm_v16i8_ty, llvm_v8i16_ty>;
99  def f : SystemZBinaryConv<name##"f", llvm_v8i16_ty, llvm_v4i32_ty>;
100  def g : SystemZBinaryConv<name##"g", llvm_v4i32_ty, llvm_v2i64_ty>;
101}
102
103multiclass SystemZBinaryTruncCCHFG {
104  def hs : SystemZBinaryConvCC<llvm_v16i8_ty, llvm_v8i16_ty>;
105  def fs : SystemZBinaryConvCC<llvm_v8i16_ty, llvm_v4i32_ty>;
106  def gs : SystemZBinaryConvCC<llvm_v4i32_ty, llvm_v2i64_ty>;
107}
108
109multiclass SystemZBinaryExtBHF<string name> {
110  def b : SystemZBinaryConv<name##"b", llvm_v8i16_ty, llvm_v16i8_ty>;
111  def h : SystemZBinaryConv<name##"h", llvm_v4i32_ty, llvm_v8i16_ty>;
112  def f : SystemZBinaryConv<name##"f", llvm_v2i64_ty, llvm_v4i32_ty>;
113}
114
115multiclass SystemZBinaryExtBHFG<string name> : SystemZBinaryExtBHF<name> {
116  def g : SystemZBinaryConv<name##"g", llvm_v16i8_ty, llvm_v2i64_ty>;
117}
118
119multiclass SystemZBinaryBHF<string name> {
120  def b : SystemZBinary<name##"b", llvm_v16i8_ty>;
121  def h : SystemZBinary<name##"h", llvm_v8i16_ty>;
122  def f : SystemZBinary<name##"f", llvm_v4i32_ty>;
123}
124
125multiclass SystemZBinaryBHFG<string name> : SystemZBinaryBHF<name> {
126  def g : SystemZBinary<name##"g", llvm_v2i64_ty>;
127}
128
129multiclass SystemZBinaryIntBHFG<string name> {
130  def b : SystemZBinaryInt<name##"b", llvm_v16i8_ty>;
131  def h : SystemZBinaryInt<name##"h", llvm_v8i16_ty>;
132  def f : SystemZBinaryInt<name##"f", llvm_v4i32_ty>;
133  def g : SystemZBinaryInt<name##"g", llvm_v2i64_ty>;
134}
135
136multiclass SystemZBinaryCCBHF {
137  def bs : SystemZBinaryCC<llvm_v16i8_ty>;
138  def hs : SystemZBinaryCC<llvm_v8i16_ty>;
139  def fs : SystemZBinaryCC<llvm_v4i32_ty>;
140}
141
142multiclass SystemZCompareBHFG<string name> {
143  def bs : SystemZBinaryCC<llvm_v16i8_ty>;
144  def hs : SystemZBinaryCC<llvm_v8i16_ty>;
145  def fs : SystemZBinaryCC<llvm_v4i32_ty>;
146  def gs : SystemZBinaryCC<llvm_v2i64_ty>;
147}
148
149multiclass SystemZTernaryExtBHF<string name> {
150  def b : SystemZTernaryConv<name##"b", llvm_v8i16_ty, llvm_v16i8_ty>;
151  def h : SystemZTernaryConv<name##"h", llvm_v4i32_ty, llvm_v8i16_ty>;
152  def f : SystemZTernaryConv<name##"f", llvm_v2i64_ty, llvm_v4i32_ty>;
153}
154
155multiclass SystemZTernaryExtBHFG<string name> : SystemZTernaryExtBHF<name> {
156  def g : SystemZTernaryConv<name##"g", llvm_v16i8_ty, llvm_v2i64_ty>;
157}
158
159multiclass SystemZTernaryBHF<string name> {
160  def b : SystemZTernary<name##"b", llvm_v16i8_ty>;
161  def h : SystemZTernary<name##"h", llvm_v8i16_ty>;
162  def f : SystemZTernary<name##"f", llvm_v4i32_ty>;
163}
164
165multiclass SystemZTernaryIntBHF<string name> {
166  def b : SystemZTernaryInt<name##"b", llvm_v16i8_ty>;
167  def h : SystemZTernaryInt<name##"h", llvm_v8i16_ty>;
168  def f : SystemZTernaryInt<name##"f", llvm_v4i32_ty>;
169}
170
171multiclass SystemZTernaryIntCCBHF {
172  def bs : SystemZTernaryIntCC<llvm_v16i8_ty>;
173  def hs : SystemZTernaryIntCC<llvm_v8i16_ty>;
174  def fs : SystemZTernaryIntCC<llvm_v4i32_ty>;
175}
176
177multiclass SystemZQuaternaryIntBHF<string name> {
178  def b : SystemZQuaternaryInt<name##"b", llvm_v16i8_ty>;
179  def h : SystemZQuaternaryInt<name##"h", llvm_v8i16_ty>;
180  def f : SystemZQuaternaryInt<name##"f", llvm_v4i32_ty>;
181}
182
183multiclass SystemZQuaternaryIntBHFG<string name> : SystemZQuaternaryIntBHF<name> {
184  def g : SystemZQuaternaryInt<name##"g", llvm_v2i64_ty>;
185}
186
187multiclass SystemZQuaternaryIntCCBHF {
188  def bs : SystemZQuaternaryIntCC<llvm_v16i8_ty>;
189  def hs : SystemZQuaternaryIntCC<llvm_v8i16_ty>;
190  def fs : SystemZQuaternaryIntCC<llvm_v4i32_ty>;
191}
192
193//===----------------------------------------------------------------------===//
194//
195// Transactional-execution intrinsics
196//
197//===----------------------------------------------------------------------===//
198
199let TargetPrefix = "s390" in {
200  def int_s390_tbegin : Intrinsic<[llvm_i32_ty], [llvm_ptr_ty, llvm_i32_ty],
201                                  [IntrNoDuplicate]>;
202
203  def int_s390_tbegin_nofloat : Intrinsic<[llvm_i32_ty],
204                                          [llvm_ptr_ty, llvm_i32_ty],
205                                          [IntrNoDuplicate]>;
206
207  def int_s390_tbeginc : Intrinsic<[], [llvm_ptr_ty, llvm_i32_ty],
208                                   [IntrNoDuplicate]>;
209
210  def int_s390_tabort : Intrinsic<[], [llvm_i64_ty],
211                                  [IntrNoReturn, Throws]>;
212
213  def int_s390_tend : GCCBuiltin<"__builtin_tend">,
214                      Intrinsic<[llvm_i32_ty], []>;
215
216  def int_s390_etnd : GCCBuiltin<"__builtin_tx_nesting_depth">,
217                      Intrinsic<[llvm_i32_ty], [], [IntrNoMem]>;
218
219  def int_s390_ntstg : Intrinsic<[], [llvm_i64_ty, llvm_ptr64_ty],
220                                 [IntrReadWriteArgMem]>;
221
222  def int_s390_ppa_txassist : GCCBuiltin<"__builtin_tx_assist">,
223                              Intrinsic<[], [llvm_i32_ty]>;
224}
225
226//===----------------------------------------------------------------------===//
227//
228// Vector intrinsics
229//
230//===----------------------------------------------------------------------===//
231
232let TargetPrefix = "s390" in {
233  def int_s390_lcbb : GCCBuiltin<"__builtin_s390_lcbb">,
234                      Intrinsic<[llvm_i32_ty], [llvm_ptr_ty, llvm_i32_ty],
235                                [IntrNoMem]>;
236
237  def int_s390_vlbb : GCCBuiltin<"__builtin_s390_vlbb">,
238                      Intrinsic<[llvm_v16i8_ty], [llvm_ptr_ty, llvm_i32_ty],
239                                [IntrReadArgMem]>;
240
241  def int_s390_vll : GCCBuiltin<"__builtin_s390_vll">,
242                     Intrinsic<[llvm_v16i8_ty], [llvm_i32_ty, llvm_ptr_ty],
243                               [IntrReadArgMem]>;
244
245  def int_s390_vpdi : GCCBuiltin<"__builtin_s390_vpdi">,
246                      Intrinsic<[llvm_v2i64_ty],
247                                [llvm_v2i64_ty, llvm_v2i64_ty, llvm_i32_ty],
248                                [IntrNoMem]>;
249
250  def int_s390_vperm : GCCBuiltin<"__builtin_s390_vperm">,
251                       Intrinsic<[llvm_v16i8_ty],
252                                 [llvm_v16i8_ty, llvm_v16i8_ty, llvm_v16i8_ty],
253                                 [IntrNoMem]>;
254
255  defm int_s390_vpks : SystemZBinaryTruncHFG<"vpks">;
256  defm int_s390_vpks : SystemZBinaryTruncCCHFG;
257
258  defm int_s390_vpkls : SystemZBinaryTruncHFG<"vpkls">;
259  defm int_s390_vpkls : SystemZBinaryTruncCCHFG;
260
261  def int_s390_vstl : GCCBuiltin<"__builtin_s390_vstl">,
262                      Intrinsic<[], [llvm_v16i8_ty, llvm_i32_ty, llvm_ptr_ty],
263                                // In fact write-only but there's no property
264                                // for that.
265                                [IntrReadWriteArgMem]>;
266
267  defm int_s390_vupl  : SystemZUnaryExtBHWF<"vupl">;
268  defm int_s390_vupll : SystemZUnaryExtBHF<"vupll">;
269
270  defm int_s390_vuph  : SystemZUnaryExtBHF<"vuph">;
271  defm int_s390_vuplh : SystemZUnaryExtBHF<"vuplh">;
272
273  defm int_s390_vacc : SystemZBinaryBHFG<"vacc">;
274
275  def int_s390_vaq    : SystemZBinary<"vaq",     llvm_v16i8_ty>;
276  def int_s390_vacq   : SystemZTernary<"vacq",   llvm_v16i8_ty>;
277  def int_s390_vaccq  : SystemZBinary<"vaccq",   llvm_v16i8_ty>;
278  def int_s390_vacccq : SystemZTernary<"vacccq", llvm_v16i8_ty>;
279
280  defm int_s390_vavg  : SystemZBinaryBHFG<"vavg">;
281  defm int_s390_vavgl : SystemZBinaryBHFG<"vavgl">;
282
283  def int_s390_vcksm : SystemZBinary<"vcksm", llvm_v4i32_ty>;
284
285  defm int_s390_vgfm  : SystemZBinaryExtBHFG<"vgfm">;
286  defm int_s390_vgfma : SystemZTernaryExtBHFG<"vgfma">;
287
288  defm int_s390_vmah  : SystemZTernaryBHF<"vmah">;
289  defm int_s390_vmalh : SystemZTernaryBHF<"vmalh">;
290  defm int_s390_vmae  : SystemZTernaryExtBHF<"vmae">;
291  defm int_s390_vmale : SystemZTernaryExtBHF<"vmale">;
292  defm int_s390_vmao  : SystemZTernaryExtBHF<"vmao">;
293  defm int_s390_vmalo : SystemZTernaryExtBHF<"vmalo">;
294
295  defm int_s390_vmh  : SystemZBinaryBHF<"vmh">;
296  defm int_s390_vmlh : SystemZBinaryBHF<"vmlh">;
297  defm int_s390_vme  : SystemZBinaryExtBHF<"vme">;
298  defm int_s390_vmle : SystemZBinaryExtBHF<"vmle">;
299  defm int_s390_vmo  : SystemZBinaryExtBHF<"vmo">;
300  defm int_s390_vmlo : SystemZBinaryExtBHF<"vmlo">;
301
302  defm int_s390_verllv : SystemZBinaryBHFG<"verllv">;
303  defm int_s390_verll  : SystemZBinaryIntBHFG<"verll">;
304  defm int_s390_verim  : SystemZQuaternaryIntBHFG<"verim">;
305
306  def int_s390_vsl   : SystemZBinary<"vsl",   llvm_v16i8_ty>;
307  def int_s390_vslb  : SystemZBinary<"vslb",  llvm_v16i8_ty>;
308  def int_s390_vsra  : SystemZBinary<"vsra",  llvm_v16i8_ty>;
309  def int_s390_vsrab : SystemZBinary<"vsrab", llvm_v16i8_ty>;
310  def int_s390_vsrl  : SystemZBinary<"vsrl",  llvm_v16i8_ty>;
311  def int_s390_vsrlb : SystemZBinary<"vsrlb", llvm_v16i8_ty>;
312
313  def int_s390_vsldb : GCCBuiltin<"__builtin_s390_vsldb">,
314                       Intrinsic<[llvm_v16i8_ty],
315                                 [llvm_v16i8_ty, llvm_v16i8_ty, llvm_i32_ty],
316                                 [IntrNoMem]>;
317
318  defm int_s390_vscbi : SystemZBinaryBHFG<"vscbi">;
319
320  def int_s390_vsq     : SystemZBinary<"vsq",      llvm_v16i8_ty>;
321  def int_s390_vsbiq   : SystemZTernary<"vsbiq",   llvm_v16i8_ty>;
322  def int_s390_vscbiq  : SystemZBinary<"vscbiq",   llvm_v16i8_ty>;
323  def int_s390_vsbcbiq : SystemZTernary<"vsbcbiq", llvm_v16i8_ty>;
324
325  def int_s390_vsumb : SystemZBinaryConv<"vsumb", llvm_v4i32_ty, llvm_v16i8_ty>;
326  def int_s390_vsumh : SystemZBinaryConv<"vsumh", llvm_v4i32_ty, llvm_v8i16_ty>;
327
328  def int_s390_vsumgh : SystemZBinaryConv<"vsumgh", llvm_v2i64_ty,
329                                          llvm_v8i16_ty>;
330  def int_s390_vsumgf : SystemZBinaryConv<"vsumgf", llvm_v2i64_ty,
331                                          llvm_v4i32_ty>;
332
333  def int_s390_vsumqf : SystemZBinaryConv<"vsumqf", llvm_v16i8_ty,
334                                          llvm_v4i32_ty>;
335  def int_s390_vsumqg : SystemZBinaryConv<"vsumqg", llvm_v16i8_ty,
336                                          llvm_v2i64_ty>;
337
338  def int_s390_vtm : SystemZBinaryConv<"vtm", llvm_i32_ty, llvm_v16i8_ty>;
339
340  defm int_s390_vceq : SystemZCompareBHFG<"vceq">;
341  defm int_s390_vch  : SystemZCompareBHFG<"vch">;
342  defm int_s390_vchl : SystemZCompareBHFG<"vchl">;
343
344  defm int_s390_vfae  : SystemZTernaryIntBHF<"vfae">;
345  defm int_s390_vfae  : SystemZTernaryIntCCBHF;
346  defm int_s390_vfaez : SystemZTernaryIntBHF<"vfaez">;
347  defm int_s390_vfaez : SystemZTernaryIntCCBHF;
348
349  defm int_s390_vfee  : SystemZBinaryBHF<"vfee">;
350  defm int_s390_vfee  : SystemZBinaryCCBHF;
351  defm int_s390_vfeez : SystemZBinaryBHF<"vfeez">;
352  defm int_s390_vfeez : SystemZBinaryCCBHF;
353
354  defm int_s390_vfene  : SystemZBinaryBHF<"vfene">;
355  defm int_s390_vfene  : SystemZBinaryCCBHF;
356  defm int_s390_vfenez : SystemZBinaryBHF<"vfenez">;
357  defm int_s390_vfenez : SystemZBinaryCCBHF;
358
359  defm int_s390_vistr : SystemZUnaryBHF<"vistr">;
360  defm int_s390_vistr : SystemZUnaryCCBHF;
361
362  defm int_s390_vstrc  : SystemZQuaternaryIntBHF<"vstrc">;
363  defm int_s390_vstrc  : SystemZQuaternaryIntCCBHF;
364  defm int_s390_vstrcz : SystemZQuaternaryIntBHF<"vstrcz">;
365  defm int_s390_vstrcz : SystemZQuaternaryIntCCBHF;
366
367  def int_s390_vfcedbs  : SystemZBinaryConvCC<llvm_v2i64_ty, llvm_v2f64_ty>;
368  def int_s390_vfchdbs  : SystemZBinaryConvCC<llvm_v2i64_ty, llvm_v2f64_ty>;
369  def int_s390_vfchedbs : SystemZBinaryConvCC<llvm_v2i64_ty, llvm_v2f64_ty>;
370
371  def int_s390_vftcidb : SystemZBinaryConvIntCC<llvm_v2i64_ty, llvm_v2f64_ty>;
372
373  def int_s390_vfidb : Intrinsic<[llvm_v2f64_ty],
374                                 [llvm_v2f64_ty, llvm_i32_ty, llvm_i32_ty],
375                                 [IntrNoMem]>;
376}
377