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 "-O2" } */
       4  
       5  extern float fmaxf( float x, float y );
       6  float fmax32(float a, float b){
       7    return fmaxf(a, b);
       8  }
       9  
      10  extern double fmax( double x, double y );
      11  double fmax64(double a, double b){
      12    return fmax(a, b);
      13  }
      14  
      15  /* { dg-final { scan-assembler "fmaxnm\.32" } }*/
      16  /* { dg-final { scan-assembler "fmaxnm\.64" } }*/