1 /* { dg-do run } */
2 
3 typedef unsigned char v32u8 __attribute__ ((vector_size (32)));
4 
5 unsigned __attribute__((noinline, noclone))
foo(unsigned u)6 foo(unsigned u)
7 {
8   v32u8 v32u8_0 = (v32u8){} > (v32u8){-u};
9   return v32u8_0[31] + v32u8_0[0];
10 }
11 
12 int
main()13 main ()
14 {
15   unsigned x = foo(0);
16   __builtin_printf ("%08x\n",x);
17   if (x != 0)
18     __builtin_abort();
19   return 0;
20 }
21