/* PR target/95713 */
/* { dg-do compile } */
/* { dg-options "-O2 -Wno-psabi -w" } */
/* { dg-additional-options "-mavx512bw" { target i?86-*-* x86_64-*-* } } */

typedef int v2si __attribute__((vector_size (8)));
typedef short int v2hi __attribute__((vector_size (4)));
void foo (v2hi);

void
bar (v2si x)
{
  v2hi a = (v2hi) { (short) x[0], (short) x[1] };
  foo (4 > a);
}