fix double-processing of DT_RELR relocations in ldso relocating itself

[musl] / src / math / __fpclassifyl.c

diff --git a/src/math/__fpclassifyl.c b/src/math/__fpclassifyl.c
index a4e354c..e41781b 100644 (file)
--- a/src/math/__fpclassifyl.c
+++ b/src/math/__fpclassifyl.c
@@ -1,16 +1,42 @@
-#include <stdint.h>
-#include <math.h>
+#include "libm.h"
 
-/* FIXME: move this to arch-specific file */
-int __fpclassifyl(long double __x)
+#if LDBL_MANT_DIG == 53 && LDBL_MAX_EXP == 1024
+int __fpclassifyl(long double x)
 {
-       union {
-               long double __ld;
-               __uint16_t __hw[5];
-               int64_t __m;
-       } __y = { __x };
-       int __ee = __y.__hw[4]&0x7fff;
-       if (!__ee) return __y.__m ? FP_SUBNORMAL : FP_ZERO;
-       if (__ee==0x7fff) return __y.__m ? FP_NAN : FP_INFINITE;
-       return __y.__m < 0 ? FP_NORMAL : FP_NAN;
+       return __fpclassify(x);
 }
+#elif LDBL_MANT_DIG == 64 && LDBL_MAX_EXP == 16384
+int __fpclassifyl(long double x)
+{
+       union ldshape u = {x};
+       int e = u.i.se & 0x7fff;
+       int msb = u.i.m>>63;
+       if (!e && !msb)
+               return u.i.m ? FP_SUBNORMAL : FP_ZERO;
+       if (e == 0x7fff) {
+               /* The x86 variant of 80-bit extended precision only admits
+                * one representation of each infinity, with the mantissa msb
+                * necessarily set. The version with it clear is invalid/nan.
+                * The m68k variant, however, allows either, and tooling uses
+                * the version with it clear. */
+               if (__BYTE_ORDER == __LITTLE_ENDIAN && !msb)
+                       return FP_NAN;
+               return u.i.m << 1 ? FP_NAN : FP_INFINITE;
+       }
+       if (!msb)
+               return FP_NAN;
+       return FP_NORMAL;
+}
+#elif LDBL_MANT_DIG == 113 && LDBL_MAX_EXP == 16384
+int __fpclassifyl(long double x)
+{
+       union ldshape u = {x};
+       int e = u.i.se & 0x7fff;
+       u.i.se = 0;
+       if (!e)
+               return u.i2.lo | u.i2.hi ? FP_SUBNORMAL : FP_ZERO;
+       if (e == 0x7fff)
+               return u.i2.lo | u.i2.hi ? FP_NAN : FP_INFINITE;
+       return FP_NORMAL;
+}
+#endif