1  /* { dg-do run } */
       2  /* { dg-options "-O -mfp16-format=ieee" } */
       3  
       4  /* Conversion of infinity to __fp16 and back again should preserve the
       5     value.  */
       6  volatile float f = __builtin_inf ();
       7  
       8  int main ()
       9  {
      10    __fp16 h = f;
      11    if (h != __builtin_inf ())
      12      __builtin_abort ();
      13    return 0;
      14  }