1  /* { dg-do compile } */
       2  /* { dg-options "-O3 -mavx512fp16 -mavx512vl -mprefer-vector-width=128" } */
       3  
       4  /* Check that we vectorize to a full 128-bit vector for _Float16 types.  */
       5  
       6  void
       7  foo (_Float16 *__restrict__ a, _Float16 *__restrict__ b,
       8       _Float16 *__restrict__ c)
       9  {
      10    for (int i = 0; i < 128; i++)
      11      a[i] = b[i] * c[i];
      12  }
      13  
      14  /* { dg-final { scan-assembler-times "vmulph" 16 } } */