1  /* { dg-do compile } */
       2  /* { dg-options "-Wno-psabi -O" } */
       3  /* { dg-additional-options "-mavx" { target x86_64-*-* i?86-*-* } } */
       4  typedef unsigned long long __attribute__((__vector_size__ (16))) U;
       5  typedef unsigned long long __attribute__((__vector_size__ (32))) V;
       6  
       7  V
       8  foo (U u)
       9  {
      10    U x = __builtin_shuffle (u, (U) { 0xBE2ED0AB630B33FE });
      11    return __builtin_shufflevector (u, x, 2, 1, 0, 3);
      12  }