From b1a29371c9955a79bb9353043532316516512334 Mon Sep 17 00:00:00 2001 From: Subv Date: Mon, 8 May 2017 14:34:16 -0500 Subject: [PATCH] Dyncom/VFP: Convert denormal outputs into 0 when the FTZ flag is enabled. Inputs are still not flushed to 0 if they are denormals. --- src/core/arm/skyeye_common/vfp/vfpdouble.cpp | 15 +++++++++++++++ src/core/arm/skyeye_common/vfp/vfpsingle.cpp | 15 +++++++++++++++ 2 files changed, 30 insertions(+) diff --git a/src/core/arm/skyeye_common/vfp/vfpdouble.cpp b/src/core/arm/skyeye_common/vfp/vfpdouble.cpp index 2886f351f4..49c192dd39 100644 --- a/src/core/arm/skyeye_common/vfp/vfpdouble.cpp +++ b/src/core/arm/skyeye_common/vfp/vfpdouble.cpp @@ -135,6 +135,21 @@ u32 vfp_double_normaliseround(ARMul_State* state, int dd, struct vfp_double* vd, #endif if (!(significand & ((1ULL << (VFP_DOUBLE_LOW_BITS + 1)) - 1))) underflow = 0; + + int type = vfp_double_type(vd); + + if ((type & VFP_DENORMAL) && (fpscr & FPSCR_FLUSH_TO_ZERO)) { + // Flush denormal to positive 0 + exponent = 0; + significand = 0; + + vd->sign = 0; + vd->exponent = exponent; + vd->significand = significand; + + underflow = 0; + exceptions |= FPSCR_UFC; + } } /* diff --git a/src/core/arm/skyeye_common/vfp/vfpsingle.cpp b/src/core/arm/skyeye_common/vfp/vfpsingle.cpp index 1590d89a4c..85dd0c6a09 100644 --- a/src/core/arm/skyeye_common/vfp/vfpsingle.cpp +++ b/src/core/arm/skyeye_common/vfp/vfpsingle.cpp @@ -138,6 +138,21 @@ u32 vfp_single_normaliseround(ARMul_State* state, int sd, struct vfp_single* vs, #endif if (!(significand & ((1 << (VFP_SINGLE_LOW_BITS + 1)) - 1))) underflow = 0; + + int type = vfp_single_type(vs); + + if ((type & VFP_DENORMAL) && (fpscr & FPSCR_FLUSH_TO_ZERO)) { + // Flush denormal to positive 0 + exponent = 0; + significand = 0; + + vs->sign = 0; + vs->exponent = exponent; + vs->significand = significand; + + underflow = 0; + exceptions |= FPSCR_UFC; + } } /*