1 typedef unsigned int u32;
2 typedef u32 __attribute__((vector_size(16))) sse128_t;
3 
4 /*
5  * check-name: attribute vector_size
6  */
7 
8