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