1  /* { dg-do compile }  */
       2  /* { dg-require-effective-target arm_hard_vfp_ok }  */
       3  /* { dg-require-effective-target arm_fp16_alternative_ok } */
       4  /* { dg-options "-O2 -mfp16-format=alternative" }  */
       5  
       6  /* Test __fp16 arguments and return value in registers (hard-float).  */
       7  
       8  void
       9  swap (__fp16, __fp16);
      10  
      11  __fp16
      12  F (__fp16 a, __fp16 b, __fp16 c)
      13  {
      14    swap (b, a);
      15    return c;
      16  }
      17  
      18  /* { dg-final { scan-assembler {vmov\.f32\ts[0-9]+, s1} } }  */
      19  /* { dg-final { scan-assembler {vmov\.f32\ts1, s0} } }  */
      20  /* { dg-final { scan-assembler {vmov\.f32\ts[0-9]+, s2+} } }  */
      21  /* { dg-final { scan-assembler-times {vmov\.f32\ts0, s[0-9]+} 2 } }  */
      22