diff options
author | Bruno Haible <bruno@clisp.org> | 2007-03-30 00:19:34 +0000 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2007-03-30 00:19:34 +0000 |
commit | 9a18258bbd90815fea0eeabea8e363de469464b4 (patch) | |
tree | 849ca3fc9194f776bac5a8067b2c5cd0215557bc /lib | |
parent | d6687687c7f3b86ba712ab98533a8094e9de58f5 (diff) | |
download | gnulib-9a18258bbd90815fea0eeabea8e363de469464b4.tar.gz |
Set the FPU control word as needed for 'long double' computations.
Diffstat (limited to 'lib')
-rw-r--r-- | lib/ldexpl.c | 37 |
1 files changed, 26 insertions, 11 deletions
diff --git a/lib/ldexpl.c b/lib/ldexpl.c index f85847b24e..bb16be66b6 100644 --- a/lib/ldexpl.c +++ b/lib/ldexpl.c @@ -25,6 +25,7 @@ #include <math.h> #include <float.h> +#include "fpucw.h" #include "isnanl.h" long double @@ -32,22 +33,36 @@ ldexpl(long double x, int exp) { long double factor; int bit; + DECL_LONG_DOUBLE_ROUNDING - /* Check for zero, nan and infinity. */ - if (isnanl (x) || x + x == x) - return x; + BEGIN_LONG_DOUBLE_ROUNDING (); - if (exp < 0) + /* Check for zero, nan and infinity. */ + if (!(isnanl (x) || x + x == x)) { - exp = -exp; - factor = 0.5L; + if (exp < 0) + { + exp = -exp; + factor = 0.5L; + } + else + factor = 2.0L; + + if (exp > 0) + for (bit = 1;;) + { + /* Invariant: Here bit = 2^i, factor = 2^-2^i or = 2^2^i, + and bit <= exp. */ + if (exp & bit) + x *= factor; + bit <<= 1; + if (bit > exp) + break; + factor = factor * factor; + } } - else - factor = 2.0L; - for (bit = 1; bit <= exp; bit <<= 1, factor *= factor) - if (exp & bit) - x *= factor; + END_LONG_DOUBLE_ROUNDING (); return x; } |