CBMC
gcc_builtin_headers_types.h
Go to the documentation of this file.
1 // clang-format off
2 typedef void ** __builtin_va_list;
3 typedef void ** __builtin_ms_va_list;
4 
5 typedef int __gcc_m64 __attribute__ ((__vector_size__ (8), __may_alias__));
6 
7 typedef char __gcc_v8qi __attribute__ ((__vector_size__ (8)));
8 typedef char __gcc_v16qi __attribute__ ((__vector_size__ (16)));
9 typedef char __gcc_v32qi __attribute__ ((__vector_size__ (32)));
10 typedef char __gcc_v64qi __attribute__ ((__vector_size__ (64)));
11 typedef int __gcc_v2si __attribute__ ((__vector_size__ (8)));
12 typedef int __gcc_v4si __attribute__ ((__vector_size__ (16)));
13 typedef int __gcc_v8si __attribute__ ((__vector_size__ (32)));
14 typedef int __gcc_v16si __attribute__ ((__vector_size__ (64)));
15 typedef int __gcc_v256si __attribute__ ((__vector_size__ (1024)));
16 typedef short __gcc_v4hi __attribute__ ((__vector_size__ (8)));
17 typedef short __gcc_v8hi __attribute__ ((__vector_size__ (16)));
18 typedef short __gcc_v16hi __attribute__ ((__vector_size__ (32)));
19 typedef short __gcc_v32hi __attribute__ ((__vector_size__ (64)));
20 typedef float __gcc_v2sf __attribute__ ((__vector_size__ (8)));
21 typedef float __gcc_v4sf __attribute__ ((__vector_size__ (16)));
22 typedef float __gcc_v8sf __attribute__ ((__vector_size__ (32)));
23 typedef float __gcc_v16sf __attribute__ ((__vector_size__ (64)));
24 typedef double __gcc_v2df __attribute__ ((__vector_size__ (16)));
25 typedef double __gcc_v4df __attribute__ ((__vector_size__ (32)));
26 typedef double __gcc_v8df __attribute__ ((__vector_size__ (64)));
27 typedef long long __gcc_v1di __attribute__ ((__vector_size__ (8)));
28 typedef long long __gcc_v2di __attribute__ ((__vector_size__ (16)));
29 typedef long long __gcc_v4di __attribute__ ((__vector_size__ (32)));
30 typedef long long __gcc_v8di __attribute__ ((__vector_size__ (64)));
31 typedef unsigned long long __gcc_di;
32 
33 enum __gcc_atomic_memmodels {
34  __ATOMIC_RELAXED, __ATOMIC_CONSUME, __ATOMIC_ACQUIRE, __ATOMIC_RELEASE, __ATOMIC_ACQ_REL, __ATOMIC_SEQ_CST
35 };
36 
37 typedef unsigned char __tile __attribute__ ((__vector_size__ (1024)));
38 // clang-format on
__builtin_va_list
void ** __builtin_va_list
Definition: gcc_builtin_headers_types.h:2
__gcc_di
unsigned long long __gcc_di
Definition: gcc_builtin_headers_types.h:31
__gcc_atomic_memmodels
__gcc_atomic_memmodels
Definition: gcc_builtin_headers_types.h:33
__ATOMIC_ACQ_REL
@ __ATOMIC_ACQ_REL
Definition: gcc_builtin_headers_types.h:34
__ATOMIC_ACQUIRE
@ __ATOMIC_ACQUIRE
Definition: gcc_builtin_headers_types.h:34
__ATOMIC_CONSUME
@ __ATOMIC_CONSUME
Definition: gcc_builtin_headers_types.h:34
__ATOMIC_RELEASE
@ __ATOMIC_RELEASE
Definition: gcc_builtin_headers_types.h:34
__ATOMIC_SEQ_CST
@ __ATOMIC_SEQ_CST
Definition: gcc_builtin_headers_types.h:34
__ATOMIC_RELAXED
@ __ATOMIC_RELAXED
Definition: gcc_builtin_headers_types.h:34
__builtin_ms_va_list
void ** __builtin_ms_va_list
Definition: gcc_builtin_headers_types.h:3
__attribute__
int __gcc_m64 __attribute__((__vector_size__(8), __may_alias__))
Definition: gcc_builtin_headers_types.h:5