1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mavx512fp16" } */
       3  /* { dg-final { scan-assembler-times "vaddsh\[ \\t\]" 1 } } */
       4  /* { dg-final { scan-assembler-not "vpextrw\[ \\t\]" } } */
       5  /* { dg-final { scan-assembler-not "vmovd\[ \\t\]" } } */
       6  /* { dg-final { scan-assembler-not "vpunpckldq\[ \\t\]" } } */
       7  /* { dg-final { scan-assembler-not "vpunpcklqdq\[ \\t\]" } } */
       8  
       9  #include <immintrin.h>
      10  
      11  __m128h
      12  foo (__m128h x, __m128h y)
      13  {
      14    return _mm_add_sh (x, y);
      15  }