Alexandre Julliard : msvcrt: Use the floor()/floorf() implementation from the bundled musl library.

[Alexandre Julliard]

Module: wine
Branch: master
Commit: 70bcaec7dcde177cab84f28b71c41efc61784741
URL:    https://gitlab.winehq.org/wine/wine/-/commit/70bcaec7dcde177cab84f28b71c41ef...

Author: Alexandre Julliard 
Date:   Thu Mar 30 18:14:13 2023 +0200

msvcrt: Use the floor()/floorf() implementation from the bundled musl library.

With the changes from 29c07324c19bbdaf5255b230cca5e0db5c5796c4.

---

dlls/msvcrt/math.c         | 58 ----------------------------------------------
 libs/musl/src/math/floor.c | 30 ++++++++++++------------
 2 files changed, 15 insertions(+), 73 deletions(-)

diff --git a/dlls/msvcrt/math.c b/dlls/msvcrt/math.c
index d9957ad4395..aee19f297cc 100644
--- a/dlls/msvcrt/math.c
+++ b/dlls/msvcrt/math.c
@@ -1426,35 +1426,6 @@ float CDECL ceilf( float x )
     return u.f;
 }

-/*********************************************************************
- *      floorf (MSVCRT.@)
- *
- * Copied from musl: src/math/floorf.c
- */
-float CDECL floorf( float x )
-{
-    union {float f; UINT32 i;} u = {x};
-    int e = (int)(u.i >> 23 & 0xff) - 0x7f;
-    UINT32 m;
-
-    if (e >= 23)
-        return x;
-    if (e >= 0) {
-        m = 0x007fffff >> e;
-        if ((u.i & m) == 0)
-            return x;
-        if (u.i >> 31)
-            u.i += m;
-        u.i &= ~m;
-    } else {
-        if (u.i >> 31 == 0)
-            return 0;
-        else if (u.i << 1)
-            return -1;
-    }
-    return u.f;
-}
-
 #endif

/*********************************************************************
@@ -3260,35 +3231,6 @@ double CDECL ceil( double x )
     return u.f;
 }

-/*********************************************************************
- *		floor (MSVCRT.@)
- *
- * Based on musl: src/math/floorf.c
- */
-double CDECL floor( double x )
-{
-    union {double f; UINT64 i;} u = {x};
-    int e = (int)(u.i >> 52 & 0x7ff) - 0x3ff;
-    UINT64 m;
-
-    if (e >= 52)
-        return x;
-    if (e >= 0) {
-        m = 0x000fffffffffffffULL >> e;
-        if ((u.i & m) == 0)
-            return x;
-        if (u.i >> 63)
-            u.i += m;
-        u.i &= ~m;
-    } else {
-        if (u.i >> 63 == 0)
-            return 0;
-        else if (u.i << 1)
-            return -1;
-    }
-    return u.f;
-}
-
 #if defined(__i386__) || defined(__x86_64__)
 static void _setfp_sse( unsigned int *cw, unsigned int cw_mask,
         unsigned int *sw, unsigned int sw_mask )
diff --git a/libs/musl/src/math/floor.c b/libs/musl/src/math/floor.c
index ce3a359a02a..aad6c0d9940 100644
--- a/libs/musl/src/math/floor.c
+++ b/libs/musl/src/math/floor.c
@@ -5,27 +5,27 @@
 #elif FLT_EVAL_METHOD==2
 #define EPS LDBL_EPSILON
 #endif
-static const double_t toint = 1/EPS;

double __cdecl floor(double x)
 {
    union {double f; uint64_t i;} u = {x};
-	int e = u.i >> 52 & 0x7ff;
+	int e = (u.i >> 52 & 0x7ff) - 0x3ff;
    double_t y;

-	if (e >= 0x3ff+52 || x == 0)
+	if (e >= 52)
    	return x;
-	/* y = int(x) - x, where int(x) is an integer neighbor of x */
-	if (u.i >> 63)
-		y = x - toint + toint - x;
-	else
-		y = x + toint - toint - x;
-	/* special case because of non-nearest rounding modes */
-	if (e <= 0x3ff-1) {
-		FORCE_EVAL(y);
-		return u.i >> 63 ? -1 : 0;
+	if (e >= 0) {
+		uint64_t m = 0x000fffffffffffffULL >> e;
+		if ((u.i & m) == 0)
+			return x;
+		if (u.i >> 63)
+			u.i += m;
+		u.i &= ~m;
+	} else {
+		if (u.i >> 63 == 0)
+			return 0;
+		if (u.i << 1)
+			return -1;
    }
-	if (y > 0)
-		return x + y - 1;
-	return x + y;
+	return u.f;
 }