diff options
| author | Szabolcs Nagy <nsz@port70.net> | 2013-09-05 18:05:07 +0000 |
|---|---|---|
| committer | Szabolcs Nagy <nsz@port70.net> | 2013-09-05 18:05:07 +0000 |
| commit | f657fe4b9f734d7fdea515af8dffbf7c28ce4fbc (patch) | |
| tree | 901aaa9611b662fc526ae766796dc2d6b04aa636 | |
| parent | f4d9bfb3a986f2c25ec023426b4fb222130af75f (diff) | |
| download | musl-f657fe4b9f734d7fdea515af8dffbf7c28ce4fbc.tar.gz | |
math: support invalid ld80 representations in fpclassify
apparently gnulib requires invalid long double representations
to be handled correctly in printf so we classify them according
to how the fpu treats them: bad inf is nan, bad nan is nan,
bad normal is nan and bad subnormal/zero is minimal normal
| -rw-r--r-- | src/math/__fpclassifyl.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/math/__fpclassifyl.c b/src/math/__fpclassifyl.c index 6365c588..6dc10025 100644 --- a/src/math/__fpclassifyl.c +++ b/src/math/__fpclassifyl.c @@ -3,13 +3,15 @@ #if LDBL_MANT_DIG == 53 && LDBL_MAX_EXP == 1024 #elif LDBL_MANT_DIG == 64 && LDBL_MAX_EXP == 16384 -/* invalid representations (top bit of u.i.m is wrong) are not handled */ int __fpclassifyl(long double x) { union ldshape u = {x}; int e = u.i.se & 0x7fff; - if (!e) + int msb = u.i.m>>63; + if (!e && !msb) return u.i.m ? FP_SUBNORMAL : FP_ZERO; + if (!msb) + return FP_NAN; if (e == 0x7fff) return u.i.m << 1 ? FP_NAN : FP_INFINITE; return FP_NORMAL; |