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 "-ffast-math" } */
       4  
       5  int lfloor_float32 (float x)
       6  {
       7    return __builtin_lfloorf (x);
       8  }
       9  
      10  int lfloor_float64 (double x)
      11  {
      12    return __builtin_lfloor (x);
      13  }
      14  
      15  
      16  float floor_float32 (float x)
      17  {
      18    return __builtin_floorf (x);
      19  }
      20  
      21  double floor_float64 (double x)
      22  {
      23    return __builtin_floor (x);
      24  }
      25  
      26  /* { dg-final { scan-assembler "fftoi\.f32\.s32\.rni" } }*/
      27  /* { dg-final { scan-assembler "fftoi\.f64\.s32\.rni" } }*/
      28  /* { dg-final { scan-assembler "fftofi\.f32\.rni" } }*/
      29  /* { dg-final { scan-assembler "fftofi\.f64\.rni" } }*/
      30  
      31  int lceil_float32 (float x)
      32  {
      33    return __builtin_lceilf (x);
      34  }
      35  
      36  int lceil_float64 (double x)
      37  {
      38    return __builtin_lceil (x);
      39  }
      40  
      41  
      42  float ceil_float32 (float x)
      43  {
      44    return __builtin_ceilf (x);
      45  }
      46  
      47  double ceil_float64 (double x)
      48  {
      49    return __builtin_ceil (x);
      50  }
      51  
      52  /* { dg-final { scan-assembler "fftoi\.f32\.s32\.rpi" } }*/
      53  /* { dg-final { scan-assembler "fftoi\.f64\.s32\.rpi" } }*/
      54  /* { dg-final { scan-assembler "fftofi\.f32\.rpi" } }*/
      55  /* { dg-final { scan-assembler "fftofi\.f64\.rpi" } }*/