From: Szabolcs Nagy <nsz@port70.net>
Date: Thu, 5 Sep 2013 18:05:07 +0000 (+0000)
Subject: math: support invalid ld80 representations in fpclassify
X-Git-Tag: v0.9.14~22
X-Git-Url: https://git.librecmc.org/?a=commitdiff_plain;h=f657fe4b9f734d7fdea515af8dffbf7c28ce4fbc;p=oweals%2Fmusl.git

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
---

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;