1  /* { dg-do run { target lp64 } } */
       2  /* { dg-additional-options "-w -Wno-psabi" } */
       3  
       4  typedef unsigned char v64u8 __attribute__((vector_size(64)));
       5  typedef unsigned long v64u64 __attribute__((vector_size(64)));
       6  typedef unsigned char u8;
       7  
       8  static u8 __attribute__ ((noinline, noclone))
       9  foo (v64u64 v64u64_0)
      10  {
      11    return ((v64u8)(v64u64){0, v64u64_0[0]})[13];
      12  }
      13  
      14  int
      15  main ()
      16  {
      17    u8 x = foo((v64u64){0x0706050403020100UL});
      18  #if __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__
      19    if (x != 5)
      20      __builtin_abort ();
      21  #endif
      22    return 0;
      23  }