/* { dg-do compile } */
/* { dg-options "-O3 -mavx512fp16 -mavx512vl -mprefer-vector-width=128" } */

/* Check that we vectorize to a full 128-bit vector for _Float16 types.  */

void
foo (_Float16 *__restrict__ a, _Float16 *__restrict__ b,
     _Float16 *__restrict__ c)
{
  for (int i = 0; i < 128; i++)
    a[i] = b[i] + c[i];
}

/* { dg-final { scan-assembler-times "vaddph" 16 } } */