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