/* { dg-do compile } */
/* { dg-require-effective-target float16 } */
/* { dg-options "-frounding-math" } */
/* { dg-add-options float16 } */
/* { dg-additional-options "-mavx" { target avx } } */

typedef __attribute__((__vector_size__(16))) _Float16 F;
typedef __attribute__((__vector_size__(32))) int V;
F f;

void
foo()
{
  f += __builtin_convertvector((V){3307}, F);
}