1  /* { dg-do compile } */
       2  /* { dg-options "-mavx512fp16 -O2" } */
       3  /* { dg-final { scan-assembler-times "vpunpcklqdq" 1 } } */
       4  
       5  typedef _Float16 v8hf __attribute__((vector_size (16)));
       6  typedef _Float16 v4hf __attribute__((vector_size (8)));
       7  
       8  v8hf foov (v4hf a, v4hf b)
       9  {
      10      return __builtin_shufflevector (a, b, 0, 1, 2, 3, 4, 5, 6, 7);
      11  }
      12  
      13  v8hf foov2 (v4hf a)
      14  {
      15      return __builtin_shufflevector (a, (v4hf){0}, 0, 1, 2, 3, 4, 5, 6, 7);
      16  }