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
short
__gcc_v4hi
__attribute__
((
__vector_size__
(8)));
16
typedef
short
__gcc_v8hi
__attribute__
((
__vector_size__
(16)));
17
typedef
short
__gcc_v16hi
__attribute__
((
__vector_size__
(32)));
18
typedef
short
__gcc_v32hi
__attribute__
((
__vector_size__
(64)));
19
typedef
float
__gcc_v2sf
__attribute__
((
__vector_size__
(8)));
20
typedef
float
__gcc_v4sf
__attribute__
((
__vector_size__
(16)));
21
typedef
float
__gcc_v8sf
__attribute__
((
__vector_size__
(32)));
22
typedef
float
__gcc_v16sf
__attribute__
((
__vector_size__
(64)));
23
typedef
double
__gcc_v2df
__attribute__
((
__vector_size__
(16)));
24
typedef
double
__gcc_v4df
__attribute__
((
__vector_size__
(32)));
25
typedef
double
__gcc_v8df
__attribute__
((
__vector_size__
(64)));
26
typedef
long
long
__gcc_v1di
__attribute__
((
__vector_size__
(8)));
27
typedef
long
long
__gcc_v2di
__attribute__
((
__vector_size__
(16)));
28
typedef
long
long
__gcc_v4di
__attribute__
((
__vector_size__
(32)));
29
typedef
long
long
__gcc_v8di
__attribute__
((
__vector_size__
(64)));
30
typedef
unsigned
long
long
__gcc_di
;
31
32
enum
__gcc_atomic_memmodels
{
33
__ATOMIC_RELAXED
,
__ATOMIC_CONSUME
,
__ATOMIC_ACQUIRE
,
__ATOMIC_RELEASE
,
__ATOMIC_ACQ_REL
,
__ATOMIC_SEQ_CST
34
};
35
// clang-format on
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:564
__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:30
__gcc_atomic_memmodels
__gcc_atomic_memmodels
Definition
gcc_builtin_headers_types.h:32
__ATOMIC_ACQ_REL
@ __ATOMIC_ACQ_REL
Definition
gcc_builtin_headers_types.h:33
__ATOMIC_ACQUIRE
@ __ATOMIC_ACQUIRE
Definition
gcc_builtin_headers_types.h:33
__ATOMIC_CONSUME
@ __ATOMIC_CONSUME
Definition
gcc_builtin_headers_types.h:33
__ATOMIC_RELEASE
@ __ATOMIC_RELEASE
Definition
gcc_builtin_headers_types.h:33
__ATOMIC_SEQ_CST
@ __ATOMIC_SEQ_CST
Definition
gcc_builtin_headers_types.h:33
__ATOMIC_RELAXED
@ __ATOMIC_RELAXED
Definition
gcc_builtin_headers_types.h:33
__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
gcc_builtin_headers_types.h
Generated by
1.9.8