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