2000-03-20 20:32:11 +00:00
|
|
|
/* Copyright (C) 1998, 1999, 2000 Free Software Foundation, Inc.
|
1998-08-23 04:09:49 +00:00
|
|
|
This file is part of the GNU C Library.
|
|
|
|
Contributed by Richard Henderson.
|
|
|
|
|
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
|
|
|
modify it under the terms of the GNU Library General Public License as
|
|
|
|
published by the Free Software Foundation; either version 2 of the
|
|
|
|
License, or (at your option) any later version.
|
|
|
|
|
|
|
|
The GNU C Library is distributed in the hope that it will be useful,
|
|
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
Library General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU Library General Public
|
|
|
|
License along with the GNU C Library; see the file COPYING.LIB. If not,
|
|
|
|
write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
|
|
Boston, MA 02111-1307, USA. */
|
|
|
|
|
|
|
|
#include <math.h>
|
|
|
|
|
1999-01-29 16:55:14 +00:00
|
|
|
|
|
|
|
/* Use the -inf rounding mode conversion instructions to implement
|
|
|
|
floor. We note when the exponent is large enough that the value
|
|
|
|
must be integral, as this avoids unpleasant integer overflows. */
|
1998-08-23 04:09:49 +00:00
|
|
|
|
|
|
|
double
|
|
|
|
__floor (double x)
|
|
|
|
{
|
2000-03-20 20:32:11 +00:00
|
|
|
if (isless (fabs (x), 9007199254740992.0)) /* 1 << DBL_MANT_DIG */
|
1999-01-29 10:57:47 +00:00
|
|
|
{
|
2000-03-20 20:32:11 +00:00
|
|
|
double tmp1, new_x;
|
|
|
|
|
1999-01-29 10:57:47 +00:00
|
|
|
__asm (
|
|
|
|
#ifdef _IEEE_FP_INEXACT
|
|
|
|
"cvttq/svim %2,%1\n\t"
|
|
|
|
#else
|
|
|
|
"cvttq/svm %2,%1\n\t"
|
|
|
|
#endif
|
|
|
|
"cvtqt/m %1,%0\n\t"
|
2000-03-20 20:32:11 +00:00
|
|
|
: "=f"(new_x), "=&f"(tmp1)
|
1999-01-29 10:57:47 +00:00
|
|
|
: "f"(x));
|
2000-03-20 20:32:11 +00:00
|
|
|
|
|
|
|
/* floor(-0) == -0, and in general we'll always have the same
|
|
|
|
sign as our input. */
|
|
|
|
x = copysign(new_x, x);
|
1999-01-29 10:57:47 +00:00
|
|
|
}
|
|
|
|
return x;
|
1998-08-23 04:09:49 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
weak_alias (__floor, floor)
|
|
|
|
#ifdef NO_LONG_DOUBLE
|
|
|
|
strong_alias (__floor, __floorl)
|
|
|
|
weak_alias (__floor, floorl)
|
|
|
|
#endif
|