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))
       6  foo (V64 x)
       7  {
       8    V64 y = (V64)(V8){((V8)(V64){65535, x[0]})[1]};
       9    return (V32){y[0], 255};
      10  }
      11  
      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