Changeset 94641 in vbox for trunk/src/libs/softfloat-3e/source

Timestamp:

Apr 20, 2022 12:52:55 AM (3 years ago)

Author:

vboxsync

svn:sync-xref-src-repo-rev:

151004

Message:

lib/softfloat: Corrected not-zero detection when setting the inexact flag again. bugref:9898

File:

• trunk/src/libs/softfloat-3e/source/s_roundPackToExtF80.c (modified) (2 diffs)

trunk/src/libs/softfloat-3e/source/s_roundPackToExtF80.c

@@ -187 +187 @@
             sig64Extra =
                 softfloat_shiftRightJam64Extra( sig, sigExtra, 1 - exp );
-            if ( (exp < -63 || sig64Extra.extra != 0) && /* zero: */ sig != 0 && sigExtra != 0 ) {      /* VBox: Missing inexact result flag */
+            if (   (exp < -63 || sig64Extra.extra != 0)                                                 /* VBox: Missing inexact result flag */
+                && ( sig != 0 || sigExtra != 0 ) /*!zero*/ ) {                                          /* VBox: Missing inexact result flag */
                 softfloat_exceptionFlags |= softfloat_flag_inexact;                                     /* VBox: Missing inexact result flag */
             }                                                                                           /* VBox: Missing inexact result flag */
@@ -193 +194 @@
             sig = sig64Extra.v;
             sigExtra = sig64Extra.extra;
-//RTAssertMsg2("softfloat_roundPackToExtF80: #2: sig=%#RX64 sigExtra=%#RX64 isTiny=%d\n", sig, sigExtra, isTiny);
+//RTAssertMsg2("softfloat_roundPackToExtF80: #3: sig=%#RX64 sigExtra=%#RX64 isTiny=%d\n", sig, sigExtra, isTiny);
             if ( sigExtra
                  || (   !(pState->exceptionMask & softfloat_flag_underflow)                             /* VBox: Unmasked underflow conditions differ */