1  /* { dg-do compile } */
       2  /* { dg-require-effective-target arm_fp16_ok } */
       3  /* { dg-skip-if "do not override fpu" { *-*-* } { "-mfpu=*" } { "-mfpu=fpv5-sp-d16" } } */
       4  /* { dg-skip-if "do not disable fpu" { *-*-* } { "-mfloat-abi=soft" } { * } } */
       5  /* { dg-skip-if "do not override fp16-format" { *-*-* } { "-mfp16-format=*" } { "-mfp16-format=ieee" } } */
       6  /* { dg-options "-O1 -mfpu=fpv5-sp-d16 -mfloat-abi=hard -mfp16-format=ieee" } */
       7  
       8  __fp16 foo (double a)
       9  {
      10    return a;
      11  }
      12  
      13  double bar (__fp16 a)
      14  {
      15    return a;
      16  }