5typedef int __gcc_m64
__attribute__ ((__vector_size__ (8), __may_alias__));
8typedef char __gcc_v16qi
__attribute__ ((__vector_size__ (16)));
9typedef char __gcc_v32qi
__attribute__ ((__vector_size__ (32)));
10typedef char __gcc_v64qi
__attribute__ ((__vector_size__ (64)));
14typedef int __gcc_v16si
__attribute__ ((__vector_size__ (64)));
15typedef short __gcc_v4hi
__attribute__ ((__vector_size__ (8)));
16typedef short __gcc_v8hi
__attribute__ ((__vector_size__ (16)));
17typedef short __gcc_v16hi
__attribute__ ((__vector_size__ (32)));
18typedef short __gcc_v32hi
__attribute__ ((__vector_size__ (64)));
19typedef float __gcc_v2sf
__attribute__ ((__vector_size__ (8)));
20typedef float __gcc_v4sf
__attribute__ ((__vector_size__ (16)));
21typedef float __gcc_v8sf
__attribute__ ((__vector_size__ (32)));
22typedef float __gcc_v16sf
__attribute__ ((__vector_size__ (64)));
23typedef double __gcc_v2df
__attribute__ ((__vector_size__ (16)));
24typedef double __gcc_v4df
__attribute__ ((__vector_size__ (32)));
25typedef double __gcc_v8df
__attribute__ ((__vector_size__ (64)));
26typedef long long __gcc_v1di
__attribute__ ((__vector_size__ (8)));
27typedef long long __gcc_v2di
__attribute__ ((__vector_size__ (16)));
28typedef long long __gcc_v4di
__attribute__ ((__vector_size__ (32)));
29typedef long long __gcc_v8di
__attribute__ ((__vector_size__ (64)));