summaryrefslogtreecommitdiff
path: root/lib/libm/__expo2f.c
diff options
context:
space:
mode:
authorKacper <kacper@mail.openlinux.dev>2025-12-09 19:20:15 +0100
committerKacper <kacper@mail.openlinux.dev>2025-12-09 19:20:15 +0100
commit885f5974cdf65b59415837ae97f5a14ef1350670 (patch)
tree66ac13de29c7f4932c5fcae11773df574e4e256a /lib/libm/__expo2f.c
parent8f9e448b2ef6db7cd905540c21f3c5b190e7a1e7 (diff)
feat: add gzip and new headers
Diffstat (limited to 'lib/libm/__expo2f.c')
-rw-r--r--lib/libm/__expo2f.c20
1 files changed, 20 insertions, 0 deletions
diff --git a/lib/libm/__expo2f.c b/lib/libm/__expo2f.c
new file mode 100644
index 00000000..524be700
--- /dev/null
+++ b/lib/libm/__expo2f.c
@@ -0,0 +1,20 @@
+#include "libm.h"
+
+/* k is such that k*ln2 has minimal relative error and x - kln2 > log(FLT_MIN)
+ */
+static const int k = 235;
+static const float kln2 = 0x1.45c778p+7f;
+
+/* expf(x)/2 for x >= log(FLT_MAX), slightly better than
+ * 0.5f*expf(x/2)*expf(x/2) */
+float __expo2f(float x, float sign)
+{
+ float scale;
+
+ /* note that k is odd and scale*scale overflows */
+ SET_FLOAT_WORD(scale, (uint32_t)(0x7f + k / 2) << 23);
+ /* exp(x - k ln2) * 2**(k-1) */
+ /* in directed rounding correct sign before rounding or overflow is
+ * important */
+ return expf(x - kln2) * (sign * scale) * scale;
+}