summaryrefslogtreecommitdiffstats
path: root/libgfortran
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2022-01-25 12:48:35 +0100
committerJakub Jelinek <jakub@redhat.com>2022-01-25 12:48:35 +0100
commit480caa1f4ab1f138435239d67ffe3126c5e27b2b (patch)
treee3963231117ec75c9832ce8e7c33a04df15b42b7 /libgfortran
parenttree-optimization/104214 - amend PR100740 fix for pointer compares (diff)
downloadgcc-480caa1f4ab1f138435239d67ffe3126c5e27b2b.tar.gz
gcc-480caa1f4ab1f138435239d67ffe3126c5e27b2b.tar.bz2
gcc-480caa1f4ab1f138435239d67ffe3126c5e27b2b.tar.xz
libfortran: Provide fallback __issignalingl for IBM extended long double
On Mon, Jan 17, 2022 at 12:11:59AM +0100, FX via Gcc-patches wrote: > This patch is the third in my “signaling NaN” series. > For targets with IEEE support but without the issignaling macro in libc > (i.e., everywhere except glibc), this allows us to provide a fallback > implementation. This doesn't seem to handle the powerpc* IBM double double long double. __LDBL_IS_IEC_60559__ isn't defined for this type, because it is far from an IEEE754 type, but it has signaling NaNs - as can be seen in glibc libc/sysdeps/ieee754/ldbl-128ibm/s_issignalingl.c the type is a pair of doubles and whether it is a sNaN or qNaN is determined by whether the first double is a sNaN or qNaN. 2022-01-25 Jakub Jelinek <jakub@redhat.com> * ieee/issignaling_fallback.h (__issignalingl): Define for IBM extended long double are returning __issignaling on the first double.
Diffstat (limited to 'libgfortran')
-rw-r--r--libgfortran/ieee/issignaling_fallback.h13
1 files changed, 13 insertions, 0 deletions
diff --git a/libgfortran/ieee/issignaling_fallback.h b/libgfortran/ieee/issignaling_fallback.h
index 4632bc510f7..5b9e1c88d6f 100644
--- a/libgfortran/ieee/issignaling_fallback.h
+++ b/libgfortran/ieee/issignaling_fallback.h
@@ -137,6 +137,19 @@ __issignalingl (long double x)
137 return ret || (((exi & 0x7fff) == 0x7fff) && (hxi > 0xc0000000)); 137 return ret || (((exi & 0x7fff) == 0x7fff) && (hxi > 0xc0000000));
138} 138}
139 139
140#elif (__LDBL_DIG__ == 31)
141
142/* Long double is 128-bit IBM extended type. */
143
144static inline int
145__issignalingl (long double x)
146{
147 union { long double value; double parts[2]; } u;
148
149 u.value = x;
150 return __issignaling (u.parts[0]);
151}
152
140#elif (__LDBL_DIG__ == 33) && __LDBL_IS_IEC_60559__ 153#elif (__LDBL_DIG__ == 33) && __LDBL_IS_IEC_60559__
141 154
142/* Long double is 128-bit type. */ 155/* Long double is 128-bit type. */