1  /* { dg-do compile } */
       2  /* { dg-skip-if  "test is specific to ck860f"  { csky-*-* }  { "*" }  { "-mcpu=ck860*f* -mfloat-abi=hard" "-mcpu=ck860*f* -mhard-float"  }  }  */
       3  /* { dg-options "-mfpu=fpv3" } */
       4  
       5  __fp16 funch(__fp16 a, __fp16 b)
       6  {
       7    return a + b;
       8  }
       9  
      10  float funcs(float a, float b)
      11  {
      12    return a + b;
      13  }
      14  
      15  double funcd(double a, double b)
      16  {
      17    return a + b;
      18  }
      19  
      20  /* { dg-final { scan-assembler "fadd\.16" } }*/
      21  /* { dg-final { scan-assembler "fadd\.32" } }*/
      22  /* { dg-final { scan-assembler "fadd\.64" } }*/
      23