Patchwork [07/11] softfloat: add float*_is_zero_or_denormal()

login
register
mail settings
Submitter Aurelien Jarno
Date May 15, 2011, 2:13 p.m.
Message ID <1305468801-6015-8-git-send-email-aurelien@aurel32.net>
Download mbox | patch
Permalink /patch/95620/
State New
Headers show

Comments

Aurelien Jarno - May 15, 2011, 2:13 p.m.
float*_is_zero_or_denormal() is available for float32, but not for
float64, floatx80 and float128. Fix that.

Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
---
 fpu/softfloat.h |   15 +++++++++++++++
 1 files changed, 15 insertions(+), 0 deletions(-)
Peter Maydell - May 20, 2011, 10:34 a.m.
On 15 May 2011 15:13, Aurelien Jarno <aurelien@aurel32.net> wrote:
> float*_is_zero_or_denormal() is available for float32, but not for
> float64, floatx80 and float128. Fix that.
>
> Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>

Reviewed-by: Peter Maydell <peter.maydell@linaro.org>

Patch

diff --git a/fpu/softfloat.h b/fpu/softfloat.h
index 129fc39..8fa4af6 100644
--- a/fpu/softfloat.h
+++ b/fpu/softfloat.h
@@ -448,6 +448,11 @@  INLINE int float64_is_any_nan(float64 a)
     return ((float64_val(a) & ~(1ULL << 63)) > 0x7ff0000000000000ULL);
 }
 
+INLINE int float64_is_zero_or_denormal(float64 a)
+{
+    return (float64_val(a) & 0x7ff0000000000000LL) == 0;
+}
+
 INLINE float64 float64_set_sign(float64 a, int sign)
 {
     return make_float64((float64_val(a) & 0x7fffffffffffffffULL)
@@ -537,6 +542,11 @@  INLINE int floatx80_is_zero(floatx80 a)
     return (a.high & 0x7fff) == 0 && a.low == 0;
 }
 
+INLINE int floatx80_is_zero_or_denormal(floatx80 a)
+{
+    return (a.high & 0x7fff) == 0;
+}
+
 INLINE int floatx80_is_any_nan(floatx80 a)
 {
     return ((a.high & 0x7fff) == 0x7fff) && (a.low<<1);
@@ -625,6 +635,11 @@  INLINE int float128_is_zero(float128 a)
     return (a.high & 0x7fffffffffffffffLL) == 0 && a.low == 0;
 }
 
+INLINE int float128_is_zero_or_denormal(float128 a)
+{
+    return (a.high & 0x7fff000000000000LL) == 0;
+}
+
 INLINE int float128_is_any_nan(float128 a)
 {
     return ((a.high >> 48) & 0x7fff) == 0x7fff &&