1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -mfpmath=sse -mavx512fp16" } */
       3  
       4  int
       5  foo (_Float16 y)
       6  {
       7    return __builtin_isinf (y);
       8  }
       9  
      10  int
      11  foo2 (_Float16 y)
      12  {
      13    return __builtin_isfinite (y);
      14  }
      15  
      16  int
      17  foo3 (_Float16 y)
      18  {
      19    return __builtin_signbit(y);
      20  }
      21  
      22  int
      23  foo4 (_Float16 y)
      24  {
      25    return __builtin_isnormal (y);
      26  }
      27  
      28  /* { dg-final { scan-assembler-not "vcvtsh2s\[sd\]" } }  */
      29  /* { dg-final { scan-assembler-times "vucomish\[^\n\r\]*xmm\[0-9\]" 4 } } */