1  /* PR target/100887 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-Wno-psabi -w" } */
       4  /* { dg-additional-options "-mavx512f" { target { i?86-*-* x86_64-*-* } } } */
       5  
       6  typedef unsigned long long __attribute__((__vector_size__ (2 * sizeof (long long)))) U;
       7  typedef unsigned long long __attribute__((__vector_size__ (4 * sizeof (long long)))) V;
       8  typedef unsigned long long __attribute__((__vector_size__ (8 * sizeof (long long)))) W;
       9  
      10  U
      11  foo (V v)
      12  {
      13    return __builtin_shufflevector ((W){}, v, 0, 8);
      14  }