Changeset 94564 in vbox for trunk

Timestamp:

Apr 11, 2022 7:46:33 PM (3 years ago)

Author:

vboxsync

Message:

libs/softfloat: Corrected the setting our 'c1' flag in softfloat_roundPackToExtF80. The fsqrt implementation works now. bugref:9898

File:

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

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

@@ -122 +122 @@
     /*------------------------------------------------------------------------
     *------------------------------------------------------------------------*/
+    { /* VBox*/
+    uint64_t const uOldSig = sig; /* VBox */
     if ( roundBits ) {
         softfloat_exceptionFlags |= softfloat_flag_inexact;
-        if ( roundIncrement ) softfloat_exceptionFlags |= softfloat_flag_c1; /* VBox */
 #ifdef SOFTFLOAT_ROUND_ODD
         if ( roundingMode == softfloat_round_odd ) {
             sig = (sig & ~roundMask) | (roundMask + 1);
+            if ( sig > uOldSig ) softfloat_exceptionFlags |= softfloat_flag_c1; /* VBox */
             goto packReturn;
         }
@@ -136 +138 @@
         ++exp;
         sig = UINT64_C( 0x8000000000000000 );
+        softfloat_exceptionFlags |= softfloat_flag_c1; /* VBox */
     }
     roundIncrement = roundMask + 1;
@@ -142 +145 @@
     }
     sig &= ~roundMask;
+    if ( sig > uOldSig ) softfloat_exceptionFlags |= softfloat_flag_c1; /* VBox */
     goto packReturn;
+    } /* VBox */
     /*------------------------------------------------------------------------
     *------------------------------------------------------------------------*/
@@ -239 +244 @@
     }
     if ( doIncrement ) {
-        softfloat_exceptionFlags |= softfloat_flag_c1; /* VBox */
+        uint64_t const uOldSig = sig; /* VBox */
         ++sig;
         if ( ! sig ) {
             ++exp;
             sig = UINT64_C( 0x8000000000000000 );
+            softfloat_exceptionFlags |= softfloat_flag_c1; /* VBox */
         } else {
             sig &=
@@ -249 +255 @@
                      (! (sigExtra & UINT64_C( 0x7FFFFFFFFFFFFFFF ))
                           & roundNearEven);
+            if ( sig > uOldSig ) softfloat_exceptionFlags |= softfloat_flag_c1; /* VBox */
         }
     }