1  /* { dg-do run } */
       2  
       3  typedef unsigned char v32u8 __attribute__ ((vector_size (32)));
       4  
       5  unsigned __attribute__((noinline, noclone))
       6  foo(unsigned u)
       7  {
       8    v32u8 v32u8_0 = (v32u8){} > (v32u8){-u};
       9    return v32u8_0[31] + v32u8_0[0];
      10  }
      11  
      12  int
      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  }