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 __CPROVER_Float16 __gcc_v8hf __attribute__ ((__vector_size__ (16)));
21 typedef __CPROVER_Float16 __gcc_v16hf __attribute__ ((__vector_size__ (32)));
22 typedef __CPROVER_Float16 __gcc_v32hf __attribute__ ((__vector_size__ (64)));
23 typedef float __gcc_v2sf __attribute__ ((__vector_size__ (8)));
24 typedef float __gcc_v4sf __attribute__ ((__vector_size__ (16)));
25 typedef float __gcc_v8sf __attribute__ ((__vector_size__ (32)));
26 typedef float __gcc_v16sf __attribute__ ((__vector_size__ (64)));
27 typedef double __gcc_v2df __attribute__ ((__vector_size__ (16)));
28 typedef double __gcc_v4df __attribute__ ((__vector_size__ (32)));
29 typedef double __gcc_v8df __attribute__ ((__vector_size__ (64)));
30 typedef long long __gcc_v1di __attribute__ ((__vector_size__ (8)));
31 typedef long long __gcc_v2di __attribute__ ((__vector_size__ (16)));
32 typedef long long __gcc_v4di __attribute__ ((__vector_size__ (32)));
33 typedef long long __gcc_v8di __attribute__ ((__vector_size__ (64)));
34 typedef unsigned short __gcc_v32uhi __attribute__ ((__vector_size__ (64)));
35 typedef unsigned int __gcc_v4usi __attribute__ ((__vector_size__ (16)));
36 typedef unsigned int __gcc_v8usi __attribute__ ((__vector_size__ (32)));
37 typedef unsigned int __gcc_v16usi __attribute__ ((__vector_size__ (64)));
38 typedef unsigned long long __gcc_di;
39 typedef unsigned long long __gcc_v2udi __attribute__ ((__vector_size__ (16)));
40 typedef unsigned long long __gcc_v4udi __attribute__ ((__vector_size__ (32)));
41 typedef unsigned long long __gcc_v8udi __attribute__ ((__vector_size__ (64)));
42 
43 enum __gcc_atomic_memmodels {
44  __ATOMIC_RELAXED, __ATOMIC_CONSUME, __ATOMIC_ACQUIRE, __ATOMIC_RELEASE, __ATOMIC_ACQ_REL, __ATOMIC_SEQ_CST
45 };
46 
47 typedef unsigned char __tile __attribute__ ((__vector_size__ (1024)));
48 // 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:38
__gcc_atomic_memmodels
__gcc_atomic_memmodels
Definition: gcc_builtin_headers_types.h:43
__ATOMIC_ACQ_REL
@ __ATOMIC_ACQ_REL
Definition: gcc_builtin_headers_types.h:44
__ATOMIC_ACQUIRE
@ __ATOMIC_ACQUIRE
Definition: gcc_builtin_headers_types.h:44
__ATOMIC_CONSUME
@ __ATOMIC_CONSUME
Definition: gcc_builtin_headers_types.h:44
__ATOMIC_RELEASE
@ __ATOMIC_RELEASE
Definition: gcc_builtin_headers_types.h:44
__ATOMIC_SEQ_CST
@ __ATOMIC_SEQ_CST
Definition: gcc_builtin_headers_types.h:44
__ATOMIC_RELAXED
@ __ATOMIC_RELAXED
Definition: gcc_builtin_headers_types.h:44
__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