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)));
4
5 static V32 __attribute__ ((noinline, noclone))
foo(V64 x)6 foo (V64 x)
7 {
8 V64 y = (V64)(V8){((V8)(V64){65535, x[0]})[1]};
9 return (V32){y[0], 255};
10 }
11
main()12 int main ()
13 {
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]);
16 if (x[1] != 255)
17 __builtin_abort();
18 return 0;
19 }
20
21