1 typedef unsigned char V8
__attribute__ ((vector_size (32)));
2 typedef unsigned int V32
__attribute__ ((vector_size (32)));
3 typedef unsigned long long V64
__attribute__ ((vector_size (32)));
5 static V32
__attribute__ ((noinline
, noclone
))
8 V64 y
= (V64
)(V8
){((V8
)(V64
){65535, x
[0]})[1]};
9 return (V32
){y
[0], 255};
14 V32 x
= foo ((V64
){});
15 // __builtin_printf ("%08x %08x %08x %08x %08x %08x %08x %08x\n", x[0], x[1], x[2], x[3], x[4], x[5], x[6], x[7]);