/* PR target/113871 */
/* { dg-do compile { target { ! ia32 } } } */
/* { dg-options "-O2" } */

typedef _Float16 vect64 __attribute__((vector_size(8)));

void f (vect64 *a)
{
  *a = __builtin_shufflevector(*a, (vect64){0}, 1, 2, 3, 4);
}

/* { dg-final { scan-assembler "psrlq" } } */

void g(vect64 *a)
{
  *a = __builtin_shufflevector((vect64){0}, *a, 3, 4, 5, 6);
}

/* { dg-final { scan-assembler "psllq" } } */