Adding upstream version 0.0~git20221206.8b7148f.upstream/0.0_git20221206.8b7148f

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>

1 files changed, 37 insertions, 0 deletions

diff --git a/libc-top-half/musl/src/math/coshf.c b/libc-top-half/musl/src/math/coshf.c
new file mode 100644
index 0000000..b946c0b
--- /dev/null
+++ b/libc-top-half/musl/src/math/coshf.c
@@ -0,0 +1,37 @@
+#include "libm.h"
+
+float coshf(float x)
+{
+	union {float f; uint32_t i;} u = {.f = x};
+	uint32_t w;
+	float t;
+
+	/* |x| */
+	u.i &= 0x7fffffff;
+	x = u.f;
+	w = u.i;
+
+	/* |x| < log(2) */
+	if (w < 0x3f317217) {
+		if (w < 0x3f800000 - (12<<23)) {
+			FORCE_EVAL(x + 0x1p120f);
+			return 1;
+		}
+		t = expm1f(x);
+		return 1 + t*t/(2*(1+t));
+	}
+
+	/* |x| < log(FLT_MAX) */
+	if (w < 0x42b17217) {
+		t = expf(x);
+		return 0.5f*(t + 1/t);
+	}
+
+	/* |x| > log(FLT_MAX) or nan */
+#ifdef __wasilibc_unmodified_upstream // Wasm doesn't have alternate rounding modes
+	t = __expo2f(x, 1.0f);
+#else
+	t = __expo2f(x);
+#endif
+	return t;
+}