1  /* PR target/100887 */
       2  /* { dg-do compile { target int128 } } */
       3  /* { dg-options "-mavx512f" } */
       4  
       5  typedef unsigned __int128 U __attribute__((__vector_size__ (64)));
       6  typedef unsigned __int128 V __attribute__((__vector_size__ (32)));
       7  typedef unsigned __int128 W __attribute__((__vector_size__ (16)));
       8  
       9  W
      10  foo (U u, V v)
      11  {
      12    return __builtin_shufflevector (u, v, 0);
      13  }