0b64ab61a2b9c0c1b51b5bc0dbd05645a2ba1914
[oota-llvm.git] / include / llvm / Intrinsics.td
1 //===- Intrinsics.td - Defines all LLVM intrinsics ---------*- tablegen -*-===//
2 // 
3 //                     The LLVM Compiler Infrastructure
4 //
5 // This file was developed by Chris Lattner and is distributed under the
6 // University of Illinois Open Source License. See LICENSE.TXT for details.
7 // 
8 //===----------------------------------------------------------------------===//
9 //
10 // This file defines properties of all LLVM intrinsics.
11 //
12 //===----------------------------------------------------------------------===//
13
14 include "llvm/CodeGen/ValueTypes.td"
15
16 //===----------------------------------------------------------------------===//
17 //  Properties we keep track of for intrinsics.
18 //===----------------------------------------------------------------------===//
19
20 class IntrinsicProperty;
21
22 // Intr*Mem - Memory properties.  An intrinsic is allowed to have exactly one of
23 // these properties set.  They are listed from the most aggressive (best to use
24 // if correct) to the least aggressive.  If no property is set, the worst case 
25 // is assumed (IntrWriteMem).
26
27 // InstrNoMem - The intrinsic does not access memory or have any other side
28 // effects.  It may be CSE'd deleted if dead, etc.
29 def InstrNoMem : IntrinsicProperty;
30
31 // InstrReadArgMem - This intrinsic reads only from memory that one of its
32 // arguments points to, but may read an unspecified amount.
33 def InstrReadArgMem : IntrinsicProperty;
34
35 // IntrReadMem - This intrinsic reads from unspecified memory, so it cannot be
36 // moved across stores.  However, it can be reordered otherwise and can be
37 // deleted if dead.
38 def IntrReadMem : IntrinsicProperty;
39
40 // InstrWriteArgMem - This intrinsic reads and writes only from memory that one
41 // of its arguments points to, but may access an unspecified amount.  It has no
42 // other side effects.  This may only be used if the intrinsic doesn't "capture"
43 // the argument pointer (e.g. storing it someplace).
44 def InstrWriteArgMem : IntrinsicProperty;
45
46 // IntrWriteMem - This intrinsic may read or modify unspecified memory or has 
47 // other side effects.  It cannot be modified by the optimizer.  This is the
48 // default if the intrinsic has no other Intr*Mem property.
49 def IntrWriteMem : IntrinsicProperty;
50
51 //===----------------------------------------------------------------------===//
52 // Types used by intrinsics.
53 //===----------------------------------------------------------------------===//
54
55 class LLVMType<ValueType vt, string typeval> {
56   ValueType VT = vt;
57   string TypeVal = typeval;
58 }
59
60 class LLVMPackedType<ValueType VT, int numelts, LLVMType elty>
61   : LLVMType<VT, "Type::PackedTyID">{
62   int NumElts = numelts;
63   LLVMType ElTy = elty;
64
65
66 def llvm_void_ty       : LLVMType<isVoid, "Type::VoidTyID">;
67 def llvm_bool_ty       : LLVMType<i1 , "Type::BoolTyID">;
68 def llvm_sbyte_ty      : LLVMType<i8 , "Type::SByteTyID">;
69 def llvm_short_ty      : LLVMType<i16, "Type::ShortTyID">;
70 def llvm_int_ty        : LLVMType<i32, "Type::IntTyID">;
71 def llvm_long_ty       : LLVMType<i64, "Type::LongTyID">;
72 def llvm_ubyte_ty      : LLVMType<i8,  "Type::UByteTyID">;
73 def llvm_ushort_ty     : LLVMType<i16, "Type::UShortTyID">;
74 def llvm_uint_ty       : LLVMType<i32, "Type::UIntTyID">;
75 def llvm_ulong_ty      : LLVMType<i64, "Type::ULongTyID">;
76 def llvm_float_ty      : LLVMType<f32, "Type::FloatTyID">;
77 def llvm_double_ty     : LLVMType<f64, "Type::DoubleTyID">;
78 def llvm_ptr_ty        : LLVMType<OtherVT, "Type::PointerTyID">;     // sbyte*
79 def llvm_ptrptr_ty     : LLVMType<OtherVT, "Type::PointerTyID">;     // sbyte**
80 def llvm_descriptor_ty : LLVMType<OtherVT, "Type::PointerTyID">;     // global*
81
82 def llvm_v16i8_ty      : LLVMPackedType<v16i8,16, llvm_sbyte_ty>;  // 16 x sbyte
83 def llvm_v8i16_ty      : LLVMPackedType<v8i16, 8, llvm_short_ty>;  // 8 x short
84
85 def llvm_v2i32_ty      : LLVMPackedType<v2i32, 2, llvm_int_ty>;    // 2 x int
86 def llvm_v4i32_ty      : LLVMPackedType<v4i32, 4, llvm_int_ty>;    // 4 x int
87 def llvm_v4f32_ty      : LLVMPackedType<v4f32, 4, llvm_float_ty>;  // 4 x float
88 def llvm_v2f64_ty      : LLVMPackedType<v2f64, 2, llvm_double_ty>; // 2 x double
89
90 //===----------------------------------------------------------------------===//
91 // Intrinsic Definitions.
92 //===----------------------------------------------------------------------===//
93
94 // Intrinsic class - This is used to define one LLVM intrinsic.  The name of the
95 // intrinsic definition should start with "int_", then match the LLVM intrinsic
96 // name with the "llvm." prefix removed, and all "."s turned into "_"s.  For
97 // example, llvm.bswap.i16 -> int_bswap_i16.
98 //
99 //  * Types is a list containing the return type and the argument types
100 //    expected for the intrinsic.
101 //  * Properties can be set to describe the behavior of the intrinsic.
102 //
103 class Intrinsic<list<LLVMType> types,
104                 list<IntrinsicProperty> properties = [],
105                 string name = ""> {
106   string LLVMName = name;
107   string TargetPrefix = "";   // Set to a prefix for target-specific intrinsics.
108   list<LLVMType> Types = types;
109   list<IntrinsicProperty> Properties = properties;
110 }
111
112 /// GCCBuiltin - If this intrinsic exactly corresponds to a GCC builtin, this
113 /// specifies the name of the builtin.  This provides automatic CBE and CFE
114 /// support.
115 class GCCBuiltin<string name> {
116   string GCCBuiltinName = name;
117 }
118
119
120 //===--------------- Variable Argument Handling Intrinsics ----------------===//
121 //  
122
123 def int_vastart : Intrinsic<[llvm_void_ty, llvm_ptrptr_ty], [], "llvm.va_start">;
124 def int_vacopy  : Intrinsic<[llvm_void_ty, llvm_ptrptr_ty, llvm_ptrptr_ty], [],
125                             "llvm.va_copy">;
126 def int_vaend   : Intrinsic<[llvm_void_ty, llvm_ptrptr_ty], [], "llvm.va_end">;
127
128 //===------------------- Garbage Collection Intrinsics --------------------===//
129 //  
130 def int_gcroot  : Intrinsic<[llvm_void_ty, llvm_ptrptr_ty, llvm_ptr_ty]>;
131 def int_gcread  : Intrinsic<[llvm_ptr_ty, llvm_ptr_ty, llvm_ptrptr_ty],
132                             [InstrReadArgMem]>;
133 def int_gcwrite : Intrinsic<[llvm_void_ty, llvm_ptr_ty, llvm_ptr_ty,
134                              llvm_ptrptr_ty], [InstrWriteArgMem]>;
135
136 //===--------------------- Code Generator Intrinsics ----------------------===//
137 //  
138 def int_returnaddress : Intrinsic<[llvm_ptr_ty, llvm_uint_ty], [InstrNoMem]>;
139 def int_frameaddress  : Intrinsic<[llvm_ptr_ty, llvm_uint_ty], [InstrNoMem]>;
140 def int_stacksave     : Intrinsic<[llvm_ptr_ty], [IntrReadMem]>;
141 def int_stackrestore  : Intrinsic<[llvm_void_ty, llvm_ptr_ty]>;
142 def int_prefetch      : Intrinsic<[llvm_void_ty, llvm_ptr_ty, 
143                                    llvm_uint_ty, llvm_uint_ty]>;
144 def int_pcmarker      : Intrinsic<[llvm_void_ty, llvm_uint_ty]>;
145
146 def int_readcyclecounter : Intrinsic<[llvm_ulong_ty]>;
147
148 //===------------------- Standard C Library Intrinsics --------------------===//
149 //
150
151 let Properties = [InstrWriteArgMem] in {
152   def int_memcpy_i32  : Intrinsic<[llvm_void_ty, llvm_ptr_ty, llvm_ptr_ty,
153                                    llvm_uint_ty, llvm_uint_ty]>;
154   def int_memcpy_i64  : Intrinsic<[llvm_void_ty, llvm_ptr_ty, llvm_ptr_ty,
155                                    llvm_ulong_ty, llvm_uint_ty]>;
156   def int_memmove_i32 : Intrinsic<[llvm_void_ty, llvm_ptr_ty, llvm_ptr_ty,
157                                    llvm_uint_ty, llvm_uint_ty]>;
158   def int_memmove_i64 : Intrinsic<[llvm_void_ty, llvm_ptr_ty, llvm_ptr_ty,
159                                    llvm_ulong_ty, llvm_uint_ty]>;
160   def int_memset_i32  : Intrinsic<[llvm_void_ty, llvm_ptr_ty, llvm_ubyte_ty,
161                                    llvm_uint_ty, llvm_uint_ty]>;
162   def int_memset_i64  : Intrinsic<[llvm_void_ty, llvm_ptr_ty, llvm_ubyte_ty,
163                                    llvm_ulong_ty, llvm_uint_ty]>;
164 }
165
166 let Properties = [InstrNoMem] in {
167   def int_isunordered_f32 : Intrinsic<[llvm_bool_ty, 
168                                        llvm_float_ty,  llvm_float_ty]>;
169   def int_isunordered_f64 : Intrinsic<[llvm_bool_ty, 
170                                        llvm_double_ty, llvm_double_ty]>;
171   def int_sqrt_f32 : Intrinsic<[llvm_float_ty , llvm_float_ty]>;
172   def int_sqrt_f64 : Intrinsic<[llvm_double_ty, llvm_double_ty]>;
173 }
174
175 // NOTE: these are internal interfaces.
176 def int_setjmp     : Intrinsic<[llvm_int_ty , llvm_ptr_ty]>;
177 def int_longjmp    : Intrinsic<[llvm_void_ty, llvm_ptr_ty, llvm_int_ty]>;
178 def int_sigsetjmp  : Intrinsic<[llvm_int_ty , llvm_ptr_ty]>;
179 def int_siglongjmp : Intrinsic<[llvm_void_ty, llvm_ptr_ty, llvm_int_ty]>;
180
181 //===-------------------- Bit Manipulation Intrinsics ---------------------===//
182 //
183
184 // None of these intrinsics accesses memory at all.
185 let Properties = [InstrNoMem] in {
186   def int_bswap_i16 : Intrinsic<[llvm_ushort_ty, llvm_ushort_ty]>;
187   def int_bswap_i32 : Intrinsic<[llvm_uint_ty,   llvm_uint_ty]>;
188   def int_bswap_i64 : Intrinsic<[llvm_ulong_ty,  llvm_ulong_ty]>;
189
190   def int_ctpop_i8  : Intrinsic<[llvm_ubyte_ty,  llvm_ubyte_ty]>;
191   def int_ctpop_i16 : Intrinsic<[llvm_ushort_ty, llvm_ushort_ty]>;
192   def int_ctpop_i32 : Intrinsic<[llvm_uint_ty,   llvm_uint_ty]>;
193   def int_ctpop_i64 : Intrinsic<[llvm_ulong_ty,  llvm_ulong_ty]>;
194   
195   def int_ctlz_i8  : Intrinsic<[llvm_ubyte_ty,  llvm_ubyte_ty]>;
196   def int_ctlz_i16 : Intrinsic<[llvm_ushort_ty, llvm_ushort_ty]>;
197   def int_ctlz_i32 : Intrinsic<[llvm_uint_ty,   llvm_uint_ty]>;
198   def int_ctlz_i64 : Intrinsic<[llvm_ulong_ty,  llvm_ulong_ty]>;
199
200   def int_cttz_i8  : Intrinsic<[llvm_ubyte_ty,  llvm_ubyte_ty]>;
201   def int_cttz_i16 : Intrinsic<[llvm_ushort_ty, llvm_ushort_ty]>;
202   def int_cttz_i32 : Intrinsic<[llvm_uint_ty,   llvm_uint_ty]>;
203   def int_cttz_i64 : Intrinsic<[llvm_ulong_ty,  llvm_ulong_ty]>;
204
205
206 //===------------------------ Debugger Intrinsics -------------------------===//
207 //
208
209 def int_dbg_stoppoint    : Intrinsic<[llvm_void_ty,
210                                       llvm_uint_ty, llvm_uint_ty, 
211                                       llvm_descriptor_ty]>;
212 def int_dbg_region_start : Intrinsic<[llvm_void_ty, llvm_descriptor_ty]>;
213 def int_dbg_region_end   : Intrinsic<[llvm_void_ty, llvm_descriptor_ty]>;
214 def int_dbg_func_start   : Intrinsic<[llvm_void_ty, llvm_descriptor_ty]>;
215 def int_dbg_declare      : Intrinsic<[llvm_void_ty, llvm_ptr_ty,
216                                                     llvm_descriptor_ty]>;
217
218 //===----------------------------------------------------------------------===//
219 // Target-specific intrinsics
220 //===----------------------------------------------------------------------===//
221
222 //===----------------------------------------------------------------------===//
223 // PowerPC Intrinsics
224 //
225 let TargetPrefix = "ppc" in {  // All intrinsics start with "llvm.ppc.".
226   def int_ppc_altivec_lvx : GCCBuiltin<"__builtin_altivec_lvx">,
227               Intrinsic<[llvm_v4i32_ty, llvm_int_ty, llvm_ptr_ty],
228                         [IntrReadMem]>;
229   def int_ppc_altivec_stvx : GCCBuiltin<"__builtin_altivec_stvx">,
230               Intrinsic<[llvm_void_ty, llvm_v4i32_ty, llvm_int_ty, llvm_ptr_ty],
231                         [IntrWriteMem]>;
232                             
233   def int_ppc_altivec_vmaddfp : GCCBuiltin<"__builtin_altivec_vmaddfp">,
234               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
235                          llvm_v4f32_ty, llvm_v4f32_ty], [InstrNoMem]>;
236   def int_ppc_altivec_vnmsubfp : GCCBuiltin<"__builtin_altivec_vnmsubfp">,
237               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
238                          llvm_v4f32_ty, llvm_v4f32_ty], [InstrNoMem]>;
239
240   def int_ppc_altivec_vaddcuw : GCCBuiltin<"__builtin_altivec_vaddcuw">,
241               Intrinsic<[llvm_v4i32_ty, llvm_v4i32_ty, llvm_v4i32_ty],
242                         [InstrNoMem]>;
243   def int_ppc_altivec_vsubcuw : GCCBuiltin<"__builtin_altivec_vsubcuw">,
244               Intrinsic<[llvm_v4i32_ty, llvm_v4i32_ty, llvm_v4i32_ty],
245                         [InstrNoMem]>;
246   def int_ppc_altivec_vsel : GCCBuiltin<"__builtin_altivec_vsel_4si">,
247               Intrinsic<[llvm_v4i32_ty, llvm_v4i32_ty, 
248                          llvm_v4i32_ty, llvm_v4i32_ty], [InstrNoMem]>;
249   def int_ppc_altivec_vsldoi : GCCBuiltin<"__builtin_altivec_vsldoi_4si">,
250               Intrinsic<[llvm_v4i32_ty, llvm_v4i32_ty, 
251                          llvm_v4i32_ty, llvm_int_ty], [InstrNoMem]>;
252
253   // Comparisons setting a vector.
254   def int_ppc_altivec_vcmpbfp : GCCBuiltin<"__builtin_altivec_vcmpbfp">,
255               Intrinsic<[llvm_v4i32_ty, llvm_v4f32_ty, llvm_v4f32_ty],
256                         [InstrNoMem]>;
257   def int_ppc_altivec_vcmpeqfp : GCCBuiltin<"__builtin_altivec_vcmpeqfp">,
258               Intrinsic<[llvm_v4i32_ty, llvm_v4f32_ty, llvm_v4f32_ty],
259                         [InstrNoMem]>;
260   def int_ppc_altivec_vcmpgefp : GCCBuiltin<"__builtin_altivec_vcmpgefp">,
261               Intrinsic<[llvm_v4i32_ty, llvm_v4f32_ty, llvm_v4f32_ty],
262                         [InstrNoMem]>;
263   def int_ppc_altivec_vcmpgtfp : GCCBuiltin<"__builtin_altivec_vcmpgtfp">,
264               Intrinsic<[llvm_v4i32_ty, llvm_v4f32_ty, llvm_v4f32_ty],
265                         [InstrNoMem]>;
266                         
267   def int_ppc_altivec_vcmpequw : GCCBuiltin<"__builtin_altivec_vcmpequw">,
268               Intrinsic<[llvm_v4i32_ty, llvm_v4i32_ty, llvm_v4i32_ty],
269                         [InstrNoMem]>;
270   def int_ppc_altivec_vcmpgtsw : GCCBuiltin<"__builtin_altivec_vcmpgtsw">,
271               Intrinsic<[llvm_v4i32_ty, llvm_v4i32_ty, llvm_v4i32_ty],
272                         [InstrNoMem]>;
273   def int_ppc_altivec_vcmpgtuw : GCCBuiltin<"__builtin_altivec_vcmpgtuw">,
274               Intrinsic<[llvm_v4i32_ty, llvm_v4i32_ty, llvm_v4i32_ty],
275                         [InstrNoMem]>;
276                         
277   def int_ppc_altivec_vcmpequh : GCCBuiltin<"__builtin_altivec_vcmpequh">,
278               Intrinsic<[llvm_v4i32_ty, llvm_v8i16_ty, llvm_v8i16_ty],
279                         [InstrNoMem]>;
280   def int_ppc_altivec_vcmpgtsh : GCCBuiltin<"__builtin_altivec_vcmpgtsh">,
281               Intrinsic<[llvm_v4i32_ty, llvm_v8i16_ty, llvm_v8i16_ty],
282                         [InstrNoMem]>;
283   def int_ppc_altivec_vcmpgtuh : GCCBuiltin<"__builtin_altivec_vcmpgtuh">,
284               Intrinsic<[llvm_v4i32_ty, llvm_v8i16_ty, llvm_v8i16_ty],
285                         [InstrNoMem]>;
286
287   def int_ppc_altivec_vcmpequb : GCCBuiltin<"__builtin_altivec_vcmpequb">,
288               Intrinsic<[llvm_v4i32_ty, llvm_v16i8_ty, llvm_v16i8_ty],
289                         [InstrNoMem]>;
290   def int_ppc_altivec_vcmpgtsb : GCCBuiltin<"__builtin_altivec_vcmpgtsb">,
291               Intrinsic<[llvm_v4i32_ty, llvm_v16i8_ty, llvm_v16i8_ty],
292                         [InstrNoMem]>;
293   def int_ppc_altivec_vcmpgtub : GCCBuiltin<"__builtin_altivec_vcmpgtub">,
294               Intrinsic<[llvm_v4i32_ty, llvm_v16i8_ty, llvm_v16i8_ty],
295                         [InstrNoMem]>;
296
297   // Saturating adds and subs.
298   def int_ppc_altivec_vaddubs : GCCBuiltin<"__builtin_altivec_vaddubs">,
299               Intrinsic<[llvm_v16i8_ty, llvm_v16i8_ty, llvm_v16i8_ty],
300                         [InstrNoMem]>;
301   def int_ppc_altivec_vaddsbs : GCCBuiltin<"__builtin_altivec_vaddsbs">,
302               Intrinsic<[llvm_v16i8_ty, llvm_v16i8_ty, llvm_v16i8_ty],
303                         [InstrNoMem]>;
304   def int_ppc_altivec_vadduhs : GCCBuiltin<"__builtin_altivec_vadduhs">,
305               Intrinsic<[llvm_v8i16_ty, llvm_v8i16_ty, llvm_v8i16_ty],
306                         [InstrNoMem]>;
307   def int_ppc_altivec_vaddshs : GCCBuiltin<"__builtin_altivec_vaddshs">,
308               Intrinsic<[llvm_v8i16_ty, llvm_v8i16_ty, llvm_v8i16_ty],
309                         [InstrNoMem]>;
310   def int_ppc_altivec_vadduws : GCCBuiltin<"__builtin_altivec_vadduws">,
311               Intrinsic<[llvm_v4i32_ty, llvm_v4i32_ty, llvm_v4i32_ty],
312                         [InstrNoMem]>;
313   def int_ppc_altivec_vaddsws : GCCBuiltin<"__builtin_altivec_vaddsws">,
314               Intrinsic<[llvm_v4i32_ty, llvm_v4i32_ty, llvm_v4i32_ty],
315                         [InstrNoMem]>;
316
317   def int_ppc_altivec_vsububs : GCCBuiltin<"__builtin_altivec_vsububs">,
318               Intrinsic<[llvm_v16i8_ty, llvm_v16i8_ty, llvm_v16i8_ty],
319                         [InstrNoMem]>;
320   def int_ppc_altivec_vsubsbs : GCCBuiltin<"__builtin_altivec_vsubsbs">,
321               Intrinsic<[llvm_v16i8_ty, llvm_v16i8_ty, llvm_v16i8_ty],
322                         [InstrNoMem]>;
323   def int_ppc_altivec_vsubuhs : GCCBuiltin<"__builtin_altivec_vsubuhs">,
324               Intrinsic<[llvm_v8i16_ty, llvm_v8i16_ty, llvm_v8i16_ty],
325                         [InstrNoMem]>;
326   def int_ppc_altivec_vsubshs : GCCBuiltin<"__builtin_altivec_vsubshs">,
327               Intrinsic<[llvm_v8i16_ty, llvm_v8i16_ty, llvm_v8i16_ty],
328                         [InstrNoMem]>;
329   def int_ppc_altivec_vsubuws : GCCBuiltin<"__builtin_altivec_vsubuws">,
330               Intrinsic<[llvm_v4i32_ty, llvm_v4i32_ty, llvm_v4i32_ty],
331                         [InstrNoMem]>;
332   def int_ppc_altivec_vsubsws : GCCBuiltin<"__builtin_altivec_vsubsws">,
333               Intrinsic<[llvm_v4i32_ty, llvm_v4i32_ty, llvm_v4i32_ty],
334                         [InstrNoMem]>;
335
336                         
337   // FP to integer conversion.
338   def int_ppc_altivec_vcfsx : GCCBuiltin<"__builtin_altivec_vcfsx">,
339               Intrinsic<[llvm_v4f32_ty, llvm_v4i32_ty, llvm_int_ty],
340                         [InstrNoMem]>;
341   def int_ppc_altivec_vcfux : GCCBuiltin<"__builtin_altivec_vcfux">,
342               Intrinsic<[llvm_v4f32_ty, llvm_v4i32_ty, llvm_int_ty],
343                         [InstrNoMem]>;
344
345   def int_ppc_altivec_vrsqrtefp : GCCBuiltin<"__builtin_altivec_vrsqrtefp">,
346               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty], [InstrNoMem]>;
347   
348 }
349
350
351 //===----------------------------------------------------------------------===//
352 // X86 Intrinsics
353 //
354 // SSE1
355
356 // Arithmetic ops
357 let TargetPrefix = "x86" in {  // All intrinsics start with "llvm.x86.".
358   def int_x86_sse_addss : GCCBuiltin<"__builtin_ia32_addss">,
359               Intrinsic<[llvm_float_ty, llvm_float_ty,
360                          llvm_float_ty], [InstrNoMem]>;
361   def int_x86_sse_addps : GCCBuiltin<"__builtin_ia32_addps">,
362               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
363                          llvm_v4f32_ty], [InstrNoMem]>;
364   def int_x86_sse_subss : GCCBuiltin<"__builtin_ia32_subss">,
365               Intrinsic<[llvm_float_ty, llvm_float_ty,
366                          llvm_float_ty], [InstrNoMem]>;
367   def int_x86_sse_subps : GCCBuiltin<"__builtin_ia32_subps">,
368               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
369                          llvm_v4f32_ty], [InstrNoMem]>;
370   def int_x86_sse_mulss : GCCBuiltin<"__builtin_ia32_mulss">,
371               Intrinsic<[llvm_float_ty, llvm_float_ty,
372                          llvm_float_ty], [InstrNoMem]>;
373   def int_x86_sse_mulps : GCCBuiltin<"__builtin_ia32_mulps">,
374               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
375                          llvm_v4f32_ty], [InstrNoMem]>;
376   def int_x86_sse_divss : GCCBuiltin<"__builtin_ia32_divss">,
377               Intrinsic<[llvm_float_ty, llvm_float_ty,
378                          llvm_float_ty], [InstrNoMem]>;
379   def int_x86_sse_divps : GCCBuiltin<"__builtin_ia32_divps">,
380               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
381                          llvm_v4f32_ty], [InstrNoMem]>;
382   def int_x86_sse_sqrtss : GCCBuiltin<"__builtin_ia32_sqrtss">,
383               Intrinsic<[llvm_float_ty, llvm_float_ty,
384                          llvm_float_ty], [InstrNoMem]>;
385   def int_x86_sse_sqrtps : GCCBuiltin<"__builtin_ia32_sqrtps">,
386               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
387                          llvm_v4f32_ty], [InstrNoMem]>;
388   def int_x86_sse_rcpss : GCCBuiltin<"__builtin_ia32_rcpss">,
389               Intrinsic<[llvm_float_ty, llvm_float_ty,
390                          llvm_float_ty], [InstrNoMem]>;
391   def int_x86_sse_rcpps : GCCBuiltin<"__builtin_ia32_rcpps">,
392               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
393                          llvm_v4f32_ty], [InstrNoMem]>;
394   def int_x86_sse_rsqrtss : GCCBuiltin<"__builtin_ia32_rsqrtss">,
395               Intrinsic<[llvm_float_ty, llvm_float_ty,
396                          llvm_float_ty], [InstrNoMem]>;
397   def int_x86_sse_rsqrtps : GCCBuiltin<"__builtin_ia32_rsqrtps">,
398               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
399                          llvm_v4f32_ty], [InstrNoMem]>;
400   def int_x86_sse_minss : GCCBuiltin<"__builtin_ia32_minss">,
401               Intrinsic<[llvm_float_ty, llvm_float_ty,
402                          llvm_float_ty], [InstrNoMem]>;
403   def int_x86_sse_minps : GCCBuiltin<"__builtin_ia32_minps">,
404               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
405                          llvm_v4f32_ty], [InstrNoMem]>;
406   def int_x86_sse_maxss : GCCBuiltin<"__builtin_ia32_maxss">,
407               Intrinsic<[llvm_float_ty, llvm_float_ty,
408                          llvm_float_ty], [InstrNoMem]>;
409   def int_x86_sse_maxps : GCCBuiltin<"__builtin_ia32_maxps">,
410               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
411                          llvm_v4f32_ty], [InstrNoMem]>;
412 }
413
414 // Logical ops
415 let TargetPrefix = "x86" in {  // All intrinsics start with "llvm.x86.".
416   def int_x86_sse_andps : GCCBuiltin<"__builtin_ia32_andps">,
417               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
418                          llvm_v4f32_ty], [InstrNoMem]>;
419   def int_x86_sse_andnotps : GCCBuiltin<"__builtin_ia32_andnotps">,
420               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
421                          llvm_v4f32_ty], [InstrNoMem]>;
422   def int_x86_sse_orps : GCCBuiltin<"__builtin_ia32_orps">,
423               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
424                          llvm_v4f32_ty], [InstrNoMem]>;
425   def int_x86_sse_xorps : GCCBuiltin<"__builtin_ia32_xorps">,
426               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
427                          llvm_v4f32_ty], [InstrNoMem]>;
428 }
429
430 // Comparison ops
431 let TargetPrefix = "x86" in {  // All intrinsics start with "llvm.x86.".
432   def int_x86_sse_cmpeqss : GCCBuiltin<"__builtin_ia32_cmpeqss">,
433               Intrinsic<[llvm_float_ty, llvm_float_ty,
434                          llvm_v4f32_ty], [InstrNoMem]>;
435   def int_x86_sse_cmpeqps : GCCBuiltin<"__builtin_ia32_cmpeqps">,
436               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
437                          llvm_v4f32_ty], [InstrNoMem]>;
438   def int_x86_sse_cmpltss : GCCBuiltin<"__builtin_ia32_cmpltss">,
439               Intrinsic<[llvm_float_ty, llvm_float_ty,
440                          llvm_float_ty], [InstrNoMem]>;
441   def int_x86_sse_cmpltps : GCCBuiltin<"__builtin_ia32_cmpltps">,
442               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
443                          llvm_v4f32_ty], [InstrNoMem]>;
444   def int_x86_sse_cmpless : GCCBuiltin<"__builtin_ia32_cmpless">,
445               Intrinsic<[llvm_float_ty, llvm_float_ty,
446                          llvm_float_ty], [InstrNoMem]>;
447   def int_x86_sse_cmpleps : GCCBuiltin<"__builtin_ia32_cmpleps">,
448               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
449                          llvm_v4f32_ty], [InstrNoMem]>;
450   def int_x86_sse_cmpgtss : GCCBuiltin<"__builtin_ia32_cmpgtss">,
451               Intrinsic<[llvm_float_ty, llvm_float_ty,
452                          llvm_float_ty], [InstrNoMem]>;
453   def int_x86_sse_cmpgtps : GCCBuiltin<"__builtin_ia32_cmpgtps">,
454               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
455                          llvm_v4f32_ty], [InstrNoMem]>;
456   def int_x86_sse_cmpgess : GCCBuiltin<"__builtin_ia32_cmpgess">,
457               Intrinsic<[llvm_float_ty, llvm_float_ty,
458                          llvm_float_ty], [InstrNoMem]>;
459   def int_x86_sse_cmpgeps : GCCBuiltin<"__builtin_ia32_cmpgeps">,
460               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
461                          llvm_v4f32_ty], [InstrNoMem]>;
462   def int_x86_sse_cmpneqss : GCCBuiltin<"__builtin_ia32_cmpneqss">,
463               Intrinsic<[llvm_float_ty, llvm_float_ty,
464                          llvm_float_ty], [InstrNoMem]>;
465   def int_x86_sse_cmpneqps : GCCBuiltin<"__builtin_ia32_cmpneqps">,
466               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
467                          llvm_v4f32_ty], [InstrNoMem]>;
468   def int_x86_sse_cmpnltss : GCCBuiltin<"__builtin_ia32_cmpnltss">,
469               Intrinsic<[llvm_float_ty, llvm_float_ty,
470                          llvm_float_ty], [InstrNoMem]>;
471   def int_x86_sse_cmpnltps : GCCBuiltin<"__builtin_ia32_cmpnltps">,
472               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
473                          llvm_v4f32_ty], [InstrNoMem]>;
474   def int_x86_sse_cmpnless : GCCBuiltin<"__builtin_ia32_cmpnless">,
475               Intrinsic<[llvm_float_ty, llvm_float_ty,
476                          llvm_float_ty], [InstrNoMem]>;
477   def int_x86_sse_cmpnleps : GCCBuiltin<"__builtin_ia32_cmpnleps">,
478               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
479                          llvm_v4f32_ty], [InstrNoMem]>;
480   def int_x86_sse_cmpngtss : GCCBuiltin<"__builtin_ia32_cmpngtss">,
481               Intrinsic<[llvm_float_ty, llvm_float_ty,
482                          llvm_float_ty], [InstrNoMem]>;
483   def int_x86_sse_cmpngtps : GCCBuiltin<"__builtin_ia32_cmpngtps">,
484               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
485                          llvm_v4f32_ty], [InstrNoMem]>;
486   def int_x86_sse_cmpngess : GCCBuiltin<"__builtin_ia32_cmpngess">,
487               Intrinsic<[llvm_float_ty, llvm_float_ty,
488                          llvm_float_ty], [InstrNoMem]>;
489   def int_x86_sse_cmpngeps : GCCBuiltin<"__builtin_ia32_cmpngeps">,
490               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
491                          llvm_v4f32_ty], [InstrNoMem]>;
492   def int_x86_sse_cmpordss : GCCBuiltin<"__builtin_ia32_cmpordss">,
493               Intrinsic<[llvm_float_ty, llvm_float_ty,
494                          llvm_float_ty], [InstrNoMem]>;
495   def int_x86_sse_cmpordps : GCCBuiltin<"__builtin_ia32_cmpordps">,
496               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
497                          llvm_v4f32_ty], [InstrNoMem]>;
498   def int_x86_sse_cmpunordss : GCCBuiltin<"__builtin_ia32_cmpunordss">,
499               Intrinsic<[llvm_float_ty, llvm_float_ty,
500                          llvm_float_ty], [InstrNoMem]>;
501   def int_x86_sse_cmpunordps : GCCBuiltin<"__builtin_ia32_cmpunordps">,
502               Intrinsic<[llvm_v4f32_ty, llvm_v4f32_ty,
503                          llvm_v4f32_ty], [InstrNoMem]>;
504   def int_x86_sse_comieqss : GCCBuiltin<"__builtin_ia32_comieq">,
505               Intrinsic<[llvm_int_ty, llvm_float_ty,
506                          llvm_float_ty], [InstrNoMem]>;
507   def int_x86_sse_comiltss : GCCBuiltin<"__builtin_ia32_comilt">,
508               Intrinsic<[llvm_int_ty, llvm_float_ty,
509                          llvm_float_ty], [InstrNoMem]>;
510   def int_x86_sse_comiless : GCCBuiltin<"__Builtin_ia32_comile">,
511               Intrinsic<[llvm_int_ty, llvm_float_ty,
512                          llvm_float_ty], [InstrNoMem]>;
513   def int_x86_sse_comigtss : GCCBuiltin<"__builtin_ia32_comigt">,
514               Intrinsic<[llvm_int_ty, llvm_float_ty,
515                          llvm_float_ty], [InstrNoMem]>;
516   def int_x86_sse_comigess : GCCBuiltin<"__builtin_ia32_comige">,
517               Intrinsic<[llvm_int_ty, llvm_float_ty,
518                          llvm_float_ty], [InstrNoMem]>;
519   def int_x86_sse_comineqss : GCCBuiltin<"__builtin_ia32_comineq">,
520               Intrinsic<[llvm_int_ty, llvm_float_ty,
521                          llvm_float_ty], [InstrNoMem]>;
522   def int_x86_sse_ucomieqss : GCCBuiltin<"__builtin_ia32_ucomieq">,
523               Intrinsic<[llvm_int_ty, llvm_float_ty,
524                          llvm_float_ty], [InstrNoMem]>;
525   def int_x86_sse_ucomiltss : GCCBuiltin<"__builtin_ia32_ucomilt">,
526               Intrinsic<[llvm_int_ty, llvm_float_ty,
527                          llvm_float_ty], [InstrNoMem]>;
528   def int_x86_sse_ucomiless : GCCBuiltin<"__Builtin_ia32_ucomile">,
529               Intrinsic<[llvm_int_ty, llvm_float_ty,
530                          llvm_float_ty], [InstrNoMem]>;
531   def int_x86_sse_ucomigtss : GCCBuiltin<"__builtin_ia32_ucomigt">,
532               Intrinsic<[llvm_int_ty, llvm_float_ty,
533                          llvm_float_ty], [InstrNoMem]>;
534   def int_x86_sse_ucomigess : GCCBuiltin<"__builtin_ia32_ucomige">,
535               Intrinsic<[llvm_int_ty, llvm_float_ty,
536                          llvm_float_ty], [InstrNoMem]>;
537   def int_x86_sse_ucomineqss : GCCBuiltin<"__builtin_ia32_ucomineq">,
538               Intrinsic<[llvm_int_ty, llvm_float_ty,
539                          llvm_float_ty], [InstrNoMem]>;
540 }
541
542
543 // Conversion ops
544 let TargetPrefix = "x86" in {  // All intrinsics start with "llvm.x86.".
545   def int_x86_sse_cvtss2si : GCCBuiltin<"__builtin_ia32_cvtss2si">,
546               Intrinsic<[llvm_int_ty, llvm_float_ty], [InstrNoMem]>;
547   def int_x86_sse_cvtps2pi : GCCBuiltin<"__builtin_ia32_cvtps2pi">,
548               Intrinsic<[llvm_v2i32_ty, llvm_v4i32_ty], [InstrNoMem]>;
549   def int_x86_sse_cvttss2si : GCCBuiltin<"__builtin_ia32_cvttss2si">,
550               Intrinsic<[llvm_int_ty, llvm_float_ty], [InstrNoMem]>;
551   def int_x86_sse_cvttps2pi : GCCBuiltin<"__builtin_ia32_cvttps2pi">,
552               Intrinsic<[llvm_v2i32_ty, llvm_v4i32_ty], [InstrNoMem]>;
553   def int_x86_sse_cvtsi2ss : GCCBuiltin<"__builtin_ia32_cvtsi2ss">,
554               Intrinsic<[llvm_float_ty, llvm_int_ty], [InstrNoMem]>;
555   def int_x86_sse_cvtpi2ps : GCCBuiltin<"__builtin_ia32_cvtpi2ps">,
556               Intrinsic<[llvm_v4f32_ty, llvm_v2i32_ty], [InstrNoMem]>;
557 }
558
559 // SIMD load ops
560 let TargetPrefix = "x86" in {  // All intrinsics start with "llvm.x86.".
561   def int_x86_sse_loadhps : GCCBuiltin<"__builtin_ia32_loadhps">,
562               Intrinsic<[llvm_v4f32_ty, llvm_ptr_ty], [IntrReadMem]>;
563   def int_x86_sse_loadlps : GCCBuiltin<"__builtin_ia32_loadlps">,
564               Intrinsic<[llvm_v4f32_ty, llvm_ptr_ty], [IntrReadMem]>;
565   def int_x86_sse_loadups : GCCBuiltin<"__builtin_ia32_loadups">,
566               Intrinsic<[llvm_v4f32_ty, llvm_ptr_ty], [IntrReadMem]>;
567 }
568
569 // SIMD store ops
570 let TargetPrefix = "x86" in {  // All intrinsics start with "llvm.x86.".
571   def int_x86_sse_storehps : GCCBuiltin<"__builtin_ia32_storehps">,
572               Intrinsic<[llvm_ptr_ty, llvm_v4f32_ty], [IntrWriteMem]>;
573   def int_x86_sse_storelps : GCCBuiltin<"__builtin_ia32_storelps">,
574               Intrinsic<[llvm_ptr_ty, llvm_v4f32_ty], [IntrWriteMem]>;
575   def int_x86_sse_storeups : GCCBuiltin<"__builtin_ia32_storeups">,
576               Intrinsic<[llvm_ptr_ty, llvm_v4f32_ty], [IntrWriteMem]>;
577 }
578
579 // Cacheability support ops
580 let TargetPrefix = "x86" in {  // All intrinsics start with "llvm.x86.".
581   def int_x86_sse_prefetch : GCCBuiltin<"__builtin_ia32_prefetch">,
582               Intrinsic<[llvm_ptr_ty, llvm_int_ty], [IntrWriteMem]>;
583   def int_x86_sse_movntq : GCCBuiltin<"__builtin_ia32_movntq">,
584               Intrinsic<[llvm_ptr_ty, llvm_v2i32_ty], [IntrWriteMem]>;
585   def int_x86_sse_movntps : GCCBuiltin<"__builtin_ia32_movntps">,
586               Intrinsic<[llvm_ptr_ty, llvm_v4f32_ty], [IntrWriteMem]>;
587   def int_x86_sse_sfence : GCCBuiltin<"__builtin_ia32_sfence">,
588               Intrinsic<[llvm_void_ty], [IntrWriteMem]>;
589   def int_x86_sse_movmskps : GCCBuiltin<"__builtin_ia32_movmskps">,
590               Intrinsic<[llvm_int_ty, llvm_v4f32_ty], [InstrNoMem]>;
591   def int_x86_sse_ldmxcsr : GCCBuiltin<"__builtin_ia32_ldmxcsr">,
592               Intrinsic<[llvm_void_ty, llvm_ptr_ty], [IntrWriteMem]>;
593 }
594
595 // SSE2
596 let TargetPrefix = "x86" in {  // All intrinsics start with "llvm.x86.".
597   def int_x86_sse2_movmskpd : GCCBuiltin<"__builtin_ia32_movmskpd">,
598               Intrinsic<[llvm_int_ty, llvm_v2f64_ty], [InstrNoMem]>;
599 }