diff options
| author | Siddhesh Poyarekar <siddhesh@sourceware.org> | 2020-12-24 07:57:25 +0530 |
|---|---|---|
| committer | Siddhesh Poyarekar <siddhesh@sourceware.org> | 2020-12-30 10:52:45 +0530 |
| commit | 7525c1c71d38c068a33ca964fe8baf67eed7e56f (patch) | |
| tree | f82dffae47aec6241401c7870a4e4b787e3b4157 /sysdeps/ieee754/ldbl-96/s_issignalingl.c | |
| parent | 99468ed45f5a58f584bab60364af937eb6f8afda (diff) | |
| download | glibc-7525c1c71d38c068a33ca964fe8baf67eed7e56f.tar.gz glibc-7525c1c71d38c068a33ca964fe8baf67eed7e56f.tar.xz glibc-7525c1c71d38c068a33ca964fe8baf67eed7e56f.zip | |
x86 long double: Consider pseudo numbers as signaling
Add support to treat pseudo-numbers specially and implement x86 version to consider all of them as signaling. Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
Diffstat (limited to 'sysdeps/ieee754/ldbl-96/s_issignalingl.c')
| -rw-r--r-- | sysdeps/ieee754/ldbl-96/s_issignalingl.c | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/sysdeps/ieee754/ldbl-96/s_issignalingl.c b/sysdeps/ieee754/ldbl-96/s_issignalingl.c index ec542ad468..37e05aa259 100644 --- a/sysdeps/ieee754/ldbl-96/s_issignalingl.c +++ b/sysdeps/ieee754/ldbl-96/s_issignalingl.c @@ -19,12 +19,19 @@ #include <math.h> #include <math_private.h> #include <nan-high-order-bit.h> +#include <nan-pseudo-number.h> int __issignalingl (long double x) { uint32_t exi, hxi, lxi; GET_LDOUBLE_WORDS (exi, hxi, lxi, x); + + /* By default we do not recognize a pseudo NaN as sNaN. However on 80387 and + later all pseudo numbers including pseudo NaNs result in a signal and are + hence recognized as signaling. */ + int ret = is_pseudo_signaling (exi, hxi); + #if HIGH_ORDER_BIT_IS_SET_FOR_SNAN # error not implemented #else @@ -34,11 +41,9 @@ __issignalingl (long double x) hxi ^= 0x40000000; /* If lxi != 0, then set any suitable bit of the significand in hxi. */ hxi |= (lxi | -lxi) >> 31; - /* We do not recognize a pseudo NaN as sNaN; they're invalid on 80387 and - later. */ /* We have to compare for greater (instead of greater or equal), because x's significand being all-zero designates infinity not NaN. */ - return ((exi & 0x7fff) == 0x7fff) && (hxi > 0xc0000000); + return ret || (((exi & 0x7fff) == 0x7fff) && (hxi > 0xc0000000)); #endif } libm_hidden_def (__issignalingl) |