|
Packit Service |
82fcde |
/* roundf(). RISC-V version.
|
|
Packit Service |
82fcde |
Copyright (C) 2017-2018 Free Software Foundation, Inc.
|
|
Packit Service |
82fcde |
This file is part of the GNU C Library.
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
The GNU C Library is free software; you can redistribute it and/or
|
|
Packit Service |
82fcde |
modify it under the terms of the GNU Lesser General Public
|
|
Packit Service |
82fcde |
License as published by the Free Software Foundation; either
|
|
Packit Service |
82fcde |
version 2.1 of the License, or (at your option) any later version.
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
The GNU C Library is distributed in the hope that it will be useful,
|
|
Packit Service |
82fcde |
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Packit Service |
82fcde |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Packit Service |
82fcde |
Lesser General Public License for more details.
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
You should have received a copy of the GNU Lesser General Public
|
|
Packit Service |
82fcde |
License along with the GNU C Library. If not, see
|
|
Packit Service |
82fcde |
<http://www.gnu.org/licenses/>. */
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
#include <math.h>
|
|
Packit Service |
82fcde |
#include <math_private.h>
|
|
Packit Service |
82fcde |
#include <libm-alias-float.h>
|
|
Packit Service |
82fcde |
#include <stdint.h>
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
float
|
|
Packit Service |
82fcde |
__roundf (float x)
|
|
Packit Service |
82fcde |
{
|
|
Packit Service |
82fcde |
int flags = riscv_getflags ();
|
|
Packit Service |
82fcde |
bool nan = isnan (x);
|
|
Packit Service |
82fcde |
float mag = fabsf (x);
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
if (nan)
|
|
Packit Service |
82fcde |
return x + x;
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
if (mag < (1 << __FLT_MANT_DIG__))
|
|
Packit Service |
82fcde |
{
|
|
Packit Service |
82fcde |
int32_t i;
|
|
Packit Service |
82fcde |
float new_x;
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
asm volatile ("fcvt.w.s %0, %1, rmm" : "=r" (i) : "f" (x));
|
|
Packit Service |
82fcde |
asm volatile ("fcvt.s.w %0, %1, rmm" : "=f" (new_x) : "r" (i));
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
/* round(-0) == -0, and in general we'll always have the same
|
|
Packit Service |
82fcde |
sign as our input. */
|
|
Packit Service |
82fcde |
x = copysignf (new_x, x);
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
riscv_setflags (flags);
|
|
Packit Service |
82fcde |
}
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
return x;
|
|
Packit Service |
82fcde |
}
|
|
Packit Service |
82fcde |
|
|
Packit Service |
82fcde |
libm_alias_float (__round, round)
|