cprover
Loading...
Searching...
No Matches
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
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:563
__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
ansi-c
compiler_headers
gcc_builtin_headers_types.h
Generated by
1.10.0