45 __CPROVER_size_t
__builtin_fwrite(
const void*, __CPROVER_size_t, __CPROVER_size_t,
void*);
112 typedef char __gcc_v8qi
__attribute__ ((__vector_size__ (8)));
113 typedef char __gcc_v16qi
__attribute__ ((__vector_size__ (16)));
114 typedef char __gcc_v32qi
__attribute__ ((__vector_size__ (32)));
115 typedef char __gcc_v64qi
__attribute__ ((__vector_size__ (64)));
116 typedef int __gcc_v2si
__attribute__ ((__vector_size__ (8)));
117 typedef int __gcc_v4si
__attribute__ ((__vector_size__ (16)));
118 typedef int __gcc_v8si
__attribute__ ((__vector_size__ (32)));
119 typedef int __gcc_v16si
__attribute__ ((__vector_size__ (64)));
120 typedef short __gcc_v4hi
__attribute__ ((__vector_size__ (8)));
121 typedef short __gcc_v8hi
__attribute__ ((__vector_size__ (16)));
122 typedef short __gcc_v16hi
__attribute__ ((__vector_size__ (32)));
123 typedef short __gcc_v32hi
__attribute__ ((__vector_size__ (64)));
124 typedef float __gcc_v2sf
__attribute__ ((__vector_size__ (8)));
125 typedef float __gcc_v4sf
__attribute__ ((__vector_size__ (16)));
126 typedef float __gcc_v8sf
__attribute__ ((__vector_size__ (32)));
127 typedef float __gcc_v16sf
__attribute__ ((__vector_size__ (64)));
128 typedef double __gcc_v2df
__attribute__ ((__vector_size__ (16)));
129 typedef double __gcc_v4df
__attribute__ ((__vector_size__ (32)));
130 typedef double __gcc_v8df
__attribute__ ((__vector_size__ (64)));
131 typedef long long __gcc_v1di
__attribute__ ((__vector_size__ (8)));
132 typedef long long __gcc_v2di
__attribute__ ((__vector_size__ (16)));
133 typedef long long __gcc_v4di
__attribute__ ((__vector_size__ (32)));
134 typedef long long __gcc_v8di
__attribute__ ((__vector_size__ (64)));