• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1//===- Intrinsics.td - Defines all LLVM 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 properties of all LLVM intrinsics.
11//
12//===----------------------------------------------------------------------===//
13
14include "llvm/CodeGen/ValueTypes.td"
15
16//===----------------------------------------------------------------------===//
17//  Properties we keep track of for intrinsics.
18//===----------------------------------------------------------------------===//
19
20class IntrinsicProperty;
21
22// Intr*Mem - Memory properties.  An intrinsic is allowed to have at most 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 (it may read and write any memory it can get access to and it may
26// have other side effects).
27
28// IntrNoMem - The intrinsic does not access memory or have any other side
29// effects.  It may be CSE'd deleted if dead, etc.
30def IntrNoMem : IntrinsicProperty;
31
32// IntrReadArgMem - This intrinsic reads only from memory that one of its
33// pointer-typed arguments points to, but may read an unspecified amount.
34def IntrReadArgMem : IntrinsicProperty;
35
36// IntrReadMem - This intrinsic reads from unspecified memory, so it cannot be
37// moved across stores.  However, it can be reordered otherwise and can be
38// deleted if dead.
39def IntrReadMem : IntrinsicProperty;
40
41// IntrReadWriteArgMem - This intrinsic reads and writes only from memory that
42// one of its arguments points to, but may access an unspecified amount.  The
43// reads and writes may be volatile, but except for this it has no other side
44// effects.
45def IntrReadWriteArgMem : IntrinsicProperty;
46
47// Commutative - This intrinsic is commutative: X op Y == Y op X.
48def Commutative : IntrinsicProperty;
49
50// Throws - This intrinsic can throw.
51def Throws : IntrinsicProperty;
52
53// NoCapture - The specified argument pointer is not captured by the intrinsic.
54class NoCapture<int argNo> : IntrinsicProperty {
55  int ArgNo = argNo;
56}
57
58// ReadOnly - The specified argument pointer is not written to through the
59// pointer by the intrinsic.
60class ReadOnly<int argNo> : IntrinsicProperty {
61  int ArgNo = argNo;
62}
63
64// ReadNone - The specified argument pointer is not dereferenced by the
65// intrinsic.
66class ReadNone<int argNo> : IntrinsicProperty {
67  int ArgNo = argNo;
68}
69
70def IntrNoReturn : IntrinsicProperty;
71
72//===----------------------------------------------------------------------===//
73// Types used by intrinsics.
74//===----------------------------------------------------------------------===//
75
76class LLVMType<ValueType vt> {
77  ValueType VT = vt;
78}
79
80class LLVMQualPointerType<LLVMType elty, int addrspace>
81  : LLVMType<iPTR>{
82  LLVMType ElTy = elty;
83  int AddrSpace = addrspace;
84}
85
86class LLVMPointerType<LLVMType elty>
87  : LLVMQualPointerType<elty, 0>;
88
89class LLVMAnyPointerType<LLVMType elty>
90  : LLVMType<iPTRAny>{
91  LLVMType ElTy = elty;
92}
93
94// Match the type of another intrinsic parameter.  Number is an index into the
95// list of overloaded types for the intrinsic, excluding all the fixed types.
96// The Number value must refer to a previously listed type.  For example:
97//   Intrinsic<[llvm_i32_ty], [llvm_i32_ty, llvm_anyfloat_ty, LLVMMatchType<0>]>
98// has two overloaded types, the 2nd and 3rd arguments.  LLVMMatchType<0>
99// refers to the first overloaded type, which is the 2nd argument.
100class LLVMMatchType<int num>
101  : LLVMType<OtherVT>{
102  int Number = num;
103}
104
105// Match the type of another intrinsic parameter that is expected to be
106// an integral vector type, but change the element size to be twice as wide
107// or half as wide as the other type.  This is only useful when the intrinsic
108// is overloaded, so the matched type should be declared as iAny.
109class LLVMExtendedElementVectorType<int num> : LLVMMatchType<num>;
110class LLVMTruncatedElementVectorType<int num> : LLVMMatchType<num>;
111
112def llvm_void_ty       : LLVMType<isVoid>;
113def llvm_anyint_ty     : LLVMType<iAny>;
114def llvm_anyfloat_ty   : LLVMType<fAny>;
115def llvm_anyvector_ty  : LLVMType<vAny>;
116def llvm_i1_ty         : LLVMType<i1>;
117def llvm_i8_ty         : LLVMType<i8>;
118def llvm_i16_ty        : LLVMType<i16>;
119def llvm_i32_ty        : LLVMType<i32>;
120def llvm_i64_ty        : LLVMType<i64>;
121def llvm_half_ty       : LLVMType<f16>;
122def llvm_float_ty      : LLVMType<f32>;
123def llvm_double_ty     : LLVMType<f64>;
124def llvm_f80_ty        : LLVMType<f80>;
125def llvm_f128_ty       : LLVMType<f128>;
126def llvm_ppcf128_ty    : LLVMType<ppcf128>;
127def llvm_ptr_ty        : LLVMPointerType<llvm_i8_ty>;             // i8*
128def llvm_ptrptr_ty     : LLVMPointerType<llvm_ptr_ty>;            // i8**
129def llvm_anyptr_ty     : LLVMAnyPointerType<llvm_i8_ty>;          // (space)i8*
130def llvm_empty_ty      : LLVMType<OtherVT>;                       // { }
131def llvm_descriptor_ty : LLVMPointerType<llvm_empty_ty>;          // { }*
132def llvm_metadata_ty   : LLVMType<MetadataVT>;                    // !{...}
133
134def llvm_x86mmx_ty     : LLVMType<x86mmx>;
135def llvm_ptrx86mmx_ty  : LLVMPointerType<llvm_x86mmx_ty>;         // <1 x i64>*
136
137def llvm_v2i1_ty       : LLVMType<v2i1>;     //  2 x i1
138def llvm_v4i1_ty       : LLVMType<v4i1>;     //  4 x i1
139def llvm_v8i1_ty       : LLVMType<v8i1>;     //  8 x i1
140def llvm_v16i1_ty      : LLVMType<v16i1>;    // 16 x i1
141def llvm_v32i1_ty      : LLVMType<v32i1>;    // 32 x i1
142def llvm_v64i1_ty      : LLVMType<v64i1>;    // 64 x i1
143def llvm_v2i8_ty       : LLVMType<v2i8>;     //  2 x i8
144def llvm_v4i8_ty       : LLVMType<v4i8>;     //  4 x i8
145def llvm_v8i8_ty       : LLVMType<v8i8>;     //  8 x i8
146def llvm_v16i8_ty      : LLVMType<v16i8>;    // 16 x i8
147def llvm_v32i8_ty      : LLVMType<v32i8>;    // 32 x i8
148def llvm_v64i8_ty      : LLVMType<v64i8>;    // 64 x i8
149
150def llvm_v1i16_ty      : LLVMType<v1i16>;    //  1 x i16
151def llvm_v2i16_ty      : LLVMType<v2i16>;    //  2 x i16
152def llvm_v4i16_ty      : LLVMType<v4i16>;    //  4 x i16
153def llvm_v8i16_ty      : LLVMType<v8i16>;    //  8 x i16
154def llvm_v16i16_ty     : LLVMType<v16i16>;   // 16 x i16
155def llvm_v32i16_ty     : LLVMType<v32i16>;   // 32 x i16
156
157def llvm_v1i32_ty      : LLVMType<v1i32>;    //  1 x i32
158def llvm_v2i32_ty      : LLVMType<v2i32>;    //  2 x i32
159def llvm_v4i32_ty      : LLVMType<v4i32>;    //  4 x i32
160def llvm_v8i32_ty      : LLVMType<v8i32>;    //  8 x i32
161def llvm_v16i32_ty     : LLVMType<v16i32>;   // 16 x i32
162def llvm_v1i64_ty      : LLVMType<v1i64>;    //  1 x i64
163def llvm_v2i64_ty      : LLVMType<v2i64>;    //  2 x i64
164def llvm_v4i64_ty      : LLVMType<v4i64>;    //  4 x i64
165def llvm_v8i64_ty      : LLVMType<v8i64>;    //  8 x i64
166def llvm_v16i64_ty     : LLVMType<v16i64>;   // 16 x i64
167
168def llvm_v2f32_ty      : LLVMType<v2f32>;    //  2 x float
169def llvm_v4f32_ty      : LLVMType<v4f32>;    //  4 x float
170def llvm_v8f32_ty      : LLVMType<v8f32>;    //  8 x float
171def llvm_v16f32_ty     : LLVMType<v16f32>;   // 16 x float
172def llvm_v2f64_ty      : LLVMType<v2f64>;    //  2 x double
173def llvm_v4f64_ty      : LLVMType<v4f64>;    //  4 x double
174def llvm_v8f64_ty      : LLVMType<v8f64>;    //  8 x double
175
176def llvm_vararg_ty     : LLVMType<isVoid>;   // this means vararg here
177
178
179//===----------------------------------------------------------------------===//
180// Intrinsic Definitions.
181//===----------------------------------------------------------------------===//
182
183// Intrinsic class - This is used to define one LLVM intrinsic.  The name of the
184// intrinsic definition should start with "int_", then match the LLVM intrinsic
185// name with the "llvm." prefix removed, and all "."s turned into "_"s.  For
186// example, llvm.bswap.i16 -> int_bswap_i16.
187//
188//  * RetTypes is a list containing the return types expected for the
189//    intrinsic.
190//  * ParamTypes is a list containing the parameter types expected for the
191//    intrinsic.
192//  * Properties can be set to describe the behavior of the intrinsic.
193//
194class SDPatternOperator;
195class Intrinsic<list<LLVMType> ret_types,
196                list<LLVMType> param_types = [],
197                list<IntrinsicProperty> properties = [],
198                string name = ""> : SDPatternOperator {
199  string LLVMName = name;
200  string TargetPrefix = "";   // Set to a prefix for target-specific intrinsics.
201  list<LLVMType> RetTypes = ret_types;
202  list<LLVMType> ParamTypes = param_types;
203  list<IntrinsicProperty> Properties = properties;
204
205  bit isTarget = 0;
206}
207
208/// GCCBuiltin - If this intrinsic exactly corresponds to a GCC builtin, this
209/// specifies the name of the builtin.  This provides automatic CBE and CFE
210/// support.
211class GCCBuiltin<string name> {
212  string GCCBuiltinName = name;
213}
214
215
216//===--------------- Variable Argument Handling Intrinsics ----------------===//
217//
218
219def int_vastart : Intrinsic<[], [llvm_ptr_ty], [], "llvm.va_start">;
220def int_vacopy  : Intrinsic<[], [llvm_ptr_ty, llvm_ptr_ty], [],
221                            "llvm.va_copy">;
222def int_vaend   : Intrinsic<[], [llvm_ptr_ty], [], "llvm.va_end">;
223
224//===------------------- Garbage Collection Intrinsics --------------------===//
225//
226def int_gcroot  : Intrinsic<[],
227                            [llvm_ptrptr_ty, llvm_ptr_ty]>;
228def int_gcread  : Intrinsic<[llvm_ptr_ty],
229                            [llvm_ptr_ty, llvm_ptrptr_ty],
230                            [IntrReadArgMem]>;
231def int_gcwrite : Intrinsic<[],
232                            [llvm_ptr_ty, llvm_ptr_ty, llvm_ptrptr_ty],
233                            [IntrReadWriteArgMem, NoCapture<1>, NoCapture<2>]>;
234
235//===--------------------- Code Generator Intrinsics ----------------------===//
236//
237def int_returnaddress : Intrinsic<[llvm_ptr_ty], [llvm_i32_ty], [IntrNoMem]>;
238def int_frameaddress  : Intrinsic<[llvm_ptr_ty], [llvm_i32_ty], [IntrNoMem]>;
239
240// Note: we treat stacksave/stackrestore as writemem because we don't otherwise
241// model their dependencies on allocas.
242def int_stacksave     : Intrinsic<[llvm_ptr_ty]>,
243                        GCCBuiltin<"__builtin_stack_save">;
244def int_stackrestore  : Intrinsic<[], [llvm_ptr_ty]>,
245                        GCCBuiltin<"__builtin_stack_restore">;
246
247// IntrReadWriteArgMem is more pessimistic than strictly necessary for prefetch,
248// however it does conveniently prevent the prefetch from being reordered
249// with respect to nearby accesses to the same memory.
250def int_prefetch      : Intrinsic<[],
251                                  [llvm_ptr_ty, llvm_i32_ty, llvm_i32_ty,
252                                   llvm_i32_ty],
253                                  [IntrReadWriteArgMem, NoCapture<0>]>;
254def int_pcmarker      : Intrinsic<[], [llvm_i32_ty]>;
255
256def int_readcyclecounter : Intrinsic<[llvm_i64_ty]>;
257
258// Stack Protector Intrinsic - The stackprotector intrinsic writes the stack
259// guard to the correct place on the stack frame.
260def int_stackprotector : Intrinsic<[], [llvm_ptr_ty, llvm_ptrptr_ty], []>;
261
262//===------------------- Standard C Library Intrinsics --------------------===//
263//
264
265def int_memcpy  : Intrinsic<[],
266                             [llvm_anyptr_ty, llvm_anyptr_ty, llvm_anyint_ty,
267                              llvm_i32_ty, llvm_i1_ty],
268                            [IntrReadWriteArgMem, NoCapture<0>, NoCapture<1>,
269                             ReadOnly<1>]>;
270def int_memmove : Intrinsic<[],
271                            [llvm_anyptr_ty, llvm_anyptr_ty, llvm_anyint_ty,
272                             llvm_i32_ty, llvm_i1_ty],
273                            [IntrReadWriteArgMem, NoCapture<0>, NoCapture<1>,
274                             ReadOnly<1>]>;
275def int_memset  : Intrinsic<[],
276                            [llvm_anyptr_ty, llvm_i8_ty, llvm_anyint_ty,
277                             llvm_i32_ty, llvm_i1_ty],
278                            [IntrReadWriteArgMem, NoCapture<0>]>;
279
280// These functions do not actually read memory, but they are sensitive to the
281// rounding mode.  This needs to be modelled separately; in the meantime
282// declaring them as reading memory is conservatively correct.
283let Properties = [IntrReadMem] in {
284  def int_sqrt : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
285  def int_powi : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>, llvm_i32_ty]>;
286  def int_sin  : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
287  def int_cos  : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
288  def int_pow  : Intrinsic<[llvm_anyfloat_ty],
289                           [LLVMMatchType<0>, LLVMMatchType<0>]>;
290  def int_log  : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
291  def int_log10: Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
292  def int_log2 : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
293  def int_exp  : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
294  def int_exp2 : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
295  def int_fabs : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
296  def int_floor : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
297  def int_ceil  : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
298  def int_trunc : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
299  def int_rint  : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
300  def int_nearbyint : Intrinsic<[llvm_anyfloat_ty], [LLVMMatchType<0>]>;
301}
302
303let Properties = [IntrNoMem] in {
304  def int_fma  : Intrinsic<[llvm_anyfloat_ty],
305                         [LLVMMatchType<0>, LLVMMatchType<0>,
306                          LLVMMatchType<0>]>;
307
308  def int_fmuladd : Intrinsic<[llvm_anyfloat_ty],
309                              [LLVMMatchType<0>, LLVMMatchType<0>,
310                               LLVMMatchType<0>]>;
311}
312
313// NOTE: these are internal interfaces.
314def int_setjmp     : Intrinsic<[llvm_i32_ty],  [llvm_ptr_ty]>;
315def int_longjmp    : Intrinsic<[], [llvm_ptr_ty, llvm_i32_ty], [IntrNoReturn]>;
316def int_sigsetjmp  : Intrinsic<[llvm_i32_ty] , [llvm_ptr_ty, llvm_i32_ty]>;
317def int_siglongjmp : Intrinsic<[], [llvm_ptr_ty, llvm_i32_ty], [IntrNoReturn]>;
318
319// Internal interface for object size checking
320def int_objectsize : Intrinsic<[llvm_anyint_ty], [llvm_ptr_ty, llvm_i1_ty],
321                               [IntrNoMem]>,
322                               GCCBuiltin<"__builtin_object_size">;
323
324//===------------------------- Expect Intrinsics --------------------------===//
325//
326def int_expect : Intrinsic<[llvm_anyint_ty], [LLVMMatchType<0>,
327                                              LLVMMatchType<0>], [IntrNoMem]>;
328
329//===-------------------- Bit Manipulation Intrinsics ---------------------===//
330//
331
332// None of these intrinsics accesses memory at all.
333let Properties = [IntrNoMem] in {
334  def int_bswap: Intrinsic<[llvm_anyint_ty], [LLVMMatchType<0>]>;
335  def int_ctpop: Intrinsic<[llvm_anyint_ty], [LLVMMatchType<0>]>;
336  def int_ctlz : Intrinsic<[llvm_anyint_ty], [LLVMMatchType<0>, llvm_i1_ty]>;
337  def int_cttz : Intrinsic<[llvm_anyint_ty], [LLVMMatchType<0>, llvm_i1_ty]>;
338}
339
340//===------------------------ Debugger Intrinsics -------------------------===//
341//
342
343// None of these intrinsics accesses memory at all...but that doesn't mean the
344// optimizers can change them aggressively.  Special handling needed in a few
345// places.
346let Properties = [IntrNoMem] in {
347  def int_dbg_declare      : Intrinsic<[],
348                                       [llvm_metadata_ty, llvm_metadata_ty]>;
349  def int_dbg_value        : Intrinsic<[],
350                                       [llvm_metadata_ty, llvm_i64_ty,
351                                        llvm_metadata_ty]>;
352}
353
354//===------------------ Exception Handling Intrinsics----------------------===//
355//
356
357// The result of eh.typeid.for depends on the enclosing function, but inside a
358// given function it is 'const' and may be CSE'd etc.
359def int_eh_typeid_for : Intrinsic<[llvm_i32_ty], [llvm_ptr_ty], [IntrNoMem]>;
360
361def int_eh_return_i32 : Intrinsic<[], [llvm_i32_ty, llvm_ptr_ty]>;
362def int_eh_return_i64 : Intrinsic<[], [llvm_i64_ty, llvm_ptr_ty]>;
363
364// __builtin_unwind_init is an undocumented GCC intrinsic that causes all
365// callee-saved registers to be saved and restored (regardless of whether they
366// are used) in the calling function. It is used by libgcc_eh.
367def int_eh_unwind_init: Intrinsic<[]>,
368                        GCCBuiltin<"__builtin_unwind_init">;
369
370def int_eh_dwarf_cfa  : Intrinsic<[llvm_ptr_ty], [llvm_i32_ty]>;
371
372let Properties = [IntrNoMem] in {
373  def int_eh_sjlj_lsda             : Intrinsic<[llvm_ptr_ty]>;
374  def int_eh_sjlj_callsite         : Intrinsic<[], [llvm_i32_ty]>;
375}
376def int_eh_sjlj_functioncontext : Intrinsic<[], [llvm_ptr_ty]>;
377def int_eh_sjlj_setjmp          : Intrinsic<[llvm_i32_ty], [llvm_ptr_ty]>;
378def int_eh_sjlj_longjmp         : Intrinsic<[], [llvm_ptr_ty], [IntrNoReturn]>;
379
380//===---------------- Generic Variable Attribute Intrinsics----------------===//
381//
382def int_var_annotation : Intrinsic<[],
383                                   [llvm_ptr_ty, llvm_ptr_ty,
384                                    llvm_ptr_ty, llvm_i32_ty],
385                                   [], "llvm.var.annotation">;
386def int_ptr_annotation : Intrinsic<[LLVMAnyPointerType<llvm_anyint_ty>],
387                                   [LLVMMatchType<0>, llvm_ptr_ty, llvm_ptr_ty,
388                                    llvm_i32_ty],
389                                   [], "llvm.ptr.annotation">;
390def int_annotation : Intrinsic<[llvm_anyint_ty],
391                               [LLVMMatchType<0>, llvm_ptr_ty,
392                                llvm_ptr_ty, llvm_i32_ty],
393                               [], "llvm.annotation">;
394
395//===------------------------ Trampoline Intrinsics -----------------------===//
396//
397def int_init_trampoline : Intrinsic<[],
398                                    [llvm_ptr_ty, llvm_ptr_ty, llvm_ptr_ty],
399                                    [IntrReadWriteArgMem, NoCapture<0>]>,
400                                   GCCBuiltin<"__builtin_init_trampoline">;
401
402def int_adjust_trampoline : Intrinsic<[llvm_ptr_ty], [llvm_ptr_ty],
403                                      [IntrReadArgMem]>,
404                                     GCCBuiltin<"__builtin_adjust_trampoline">;
405
406//===------------------------ Overflow Intrinsics -------------------------===//
407//
408
409// Expose the carry flag from add operations on two integrals.
410def int_sadd_with_overflow : Intrinsic<[llvm_anyint_ty, llvm_i1_ty],
411                                       [LLVMMatchType<0>, LLVMMatchType<0>],
412                                       [IntrNoMem]>;
413def int_uadd_with_overflow : Intrinsic<[llvm_anyint_ty, llvm_i1_ty],
414                                       [LLVMMatchType<0>, LLVMMatchType<0>],
415                                       [IntrNoMem]>;
416
417def int_ssub_with_overflow : Intrinsic<[llvm_anyint_ty, llvm_i1_ty],
418                                       [LLVMMatchType<0>, LLVMMatchType<0>],
419                                       [IntrNoMem]>;
420def int_usub_with_overflow : Intrinsic<[llvm_anyint_ty, llvm_i1_ty],
421                                       [LLVMMatchType<0>, LLVMMatchType<0>],
422                                       [IntrNoMem]>;
423
424def int_smul_with_overflow : Intrinsic<[llvm_anyint_ty, llvm_i1_ty],
425                                       [LLVMMatchType<0>, LLVMMatchType<0>],
426                                       [IntrNoMem]>;
427def int_umul_with_overflow : Intrinsic<[llvm_anyint_ty, llvm_i1_ty],
428                                       [LLVMMatchType<0>, LLVMMatchType<0>],
429                                       [IntrNoMem]>;
430
431//===------------------------- Memory Use Markers -------------------------===//
432//
433def int_lifetime_start  : Intrinsic<[],
434                                    [llvm_i64_ty, llvm_ptr_ty],
435                                    [IntrReadWriteArgMem, NoCapture<1>]>;
436def int_lifetime_end    : Intrinsic<[],
437                                    [llvm_i64_ty, llvm_ptr_ty],
438                                    [IntrReadWriteArgMem, NoCapture<1>]>;
439def int_invariant_start : Intrinsic<[llvm_descriptor_ty],
440                                    [llvm_i64_ty, llvm_ptr_ty],
441                                    [IntrReadWriteArgMem, NoCapture<1>]>;
442def int_invariant_end   : Intrinsic<[],
443                                    [llvm_descriptor_ty, llvm_i64_ty,
444                                     llvm_ptr_ty],
445                                    [IntrReadWriteArgMem, NoCapture<2>]>;
446
447//===-------------------------- Other Intrinsics --------------------------===//
448//
449def int_flt_rounds : Intrinsic<[llvm_i32_ty]>,
450                     GCCBuiltin<"__builtin_flt_rounds">;
451def int_trap : Intrinsic<[], [], [IntrNoReturn]>,
452               GCCBuiltin<"__builtin_trap">;
453def int_debugtrap : Intrinsic<[]>,
454                    GCCBuiltin<"__builtin_debugtrap">;
455
456// NOP: calls/invokes to this intrinsic are removed by codegen
457def int_donothing : Intrinsic<[], [], [IntrNoMem]>;
458
459// Intrisics to support half precision floating point format
460let Properties = [IntrNoMem] in {
461def int_convert_to_fp16   : Intrinsic<[llvm_i16_ty], [llvm_float_ty]>,
462                            GCCBuiltin<"__gnu_f2h_ieee">;
463def int_convert_from_fp16 : Intrinsic<[llvm_float_ty], [llvm_i16_ty]>,
464                            GCCBuiltin<"__gnu_h2f_ieee">;
465}
466
467// These convert intrinsics are to support various conversions between
468// various types with rounding and saturation. NOTE: avoid using these
469// intrinsics as they might be removed sometime in the future and
470// most targets don't support them.
471def int_convertff  : Intrinsic<[llvm_anyfloat_ty],
472                               [llvm_anyfloat_ty, llvm_i32_ty, llvm_i32_ty]>;
473def int_convertfsi : Intrinsic<[llvm_anyfloat_ty],
474                               [llvm_anyint_ty, llvm_i32_ty, llvm_i32_ty]>;
475def int_convertfui : Intrinsic<[llvm_anyfloat_ty],
476                               [llvm_anyint_ty, llvm_i32_ty, llvm_i32_ty]>;
477def int_convertsif : Intrinsic<[llvm_anyint_ty],
478                               [llvm_anyfloat_ty, llvm_i32_ty, llvm_i32_ty]>;
479def int_convertuif : Intrinsic<[llvm_anyint_ty],
480                               [llvm_anyfloat_ty, llvm_i32_ty, llvm_i32_ty]>;
481def int_convertss  : Intrinsic<[llvm_anyint_ty],
482                               [llvm_anyint_ty, llvm_i32_ty, llvm_i32_ty]>;
483def int_convertsu  : Intrinsic<[llvm_anyint_ty],
484                               [llvm_anyint_ty, llvm_i32_ty, llvm_i32_ty]>;
485def int_convertus  : Intrinsic<[llvm_anyint_ty],
486                               [llvm_anyint_ty, llvm_i32_ty, llvm_i32_ty]>;
487def int_convertuu  : Intrinsic<[llvm_anyint_ty],
488                               [llvm_anyint_ty, llvm_i32_ty, llvm_i32_ty]>;
489
490//===----------------------------------------------------------------------===//
491// Target-specific intrinsics
492//===----------------------------------------------------------------------===//
493
494include "llvm/IR/IntrinsicsPowerPC.td"
495include "llvm/IR/IntrinsicsX86.td"
496include "llvm/IR/IntrinsicsARM.td"
497include "llvm/IR/IntrinsicsAArch64.td"
498include "llvm/IR/IntrinsicsXCore.td"
499include "llvm/IR/IntrinsicsHexagon.td"
500include "llvm/IR/IntrinsicsNVVM.td"
501include "llvm/IR/IntrinsicsMips.td"
502include "llvm/IR/IntrinsicsR600.td"
503