aboutsummaryrefslogtreecommitdiffstats
path: root/tests
diff options
context:
space:
mode:
authorDavid Robillard <d@drobilla.net>2019-09-29 22:39:51 +0200
committerDavid Robillard <d@drobilla.net>2020-10-27 13:13:58 +0100
commitfd48cffcc1838060bcc451300b38982776779c13 (patch)
tree6df1f08c1748ad255953a1b6a25a2366d8ba4bca /tests
parent30d845380249d1de3a28e12407c5263629424c6d (diff)
downloadserd-fd48cffcc1838060bcc451300b38982776779c13.tar.gz
serd-fd48cffcc1838060bcc451300b38982776779c13.tar.bz2
serd-fd48cffcc1838060bcc451300b38982776779c13.zip
Add minimal soft floating point implementation
Diffstat (limited to 'tests')
-rw-r--r--tests/soft_float_test.c119
-rw-r--r--tests/test_data.h56
2 files changed, 175 insertions, 0 deletions
diff --git a/tests/soft_float_test.c b/tests/soft_float_test.c
new file mode 100644
index 00000000..85e9e4b6
--- /dev/null
+++ b/tests/soft_float_test.c
@@ -0,0 +1,119 @@
+/*
+ Copyright 2011-2020 David Robillard <http://drobilla.net>
+
+ Permission to use, copy, modify, and/or distribute this software for any
+ purpose with or without fee is hereby granted, provided that the above
+ copyright notice and this permission notice appear in all copies.
+
+ THIS SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+ OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+*/
+
+#undef NDEBUG
+
+#include "test_data.h"
+
+#include "../src/ieee_float.h"
+#include "../src/soft_float.h"
+
+#include <assert.h>
+#include <math.h>
+#include <stdbool.h>
+#include <stdint.h>
+
+static uint64_t
+ulp_distance(const double a, const double b)
+{
+ assert(a >= 0.0);
+ assert(b >= 0.0);
+
+ if (a == b) {
+ return 0;
+ } else if (isnan(a) || isnan(b)) {
+ return UINT64_MAX;
+ } else if (isinf(a) || isinf(b)) {
+ return UINT64_MAX;
+ }
+
+ const uint64_t ia = double_to_rep(a);
+ const uint64_t ib = double_to_rep(b);
+
+ return ia > ib ? ia - ib : ib - ia;
+}
+
+static bool
+check_multiply(const double lhs, const double rhs)
+{
+ assert(lhs >= 0.0);
+ assert(rhs >= 0.0);
+
+ const SerdSoftFloat sl = soft_float_normalize(soft_float_from_double(lhs));
+ const SerdSoftFloat sr = soft_float_normalize(soft_float_from_double(rhs));
+ const SerdSoftFloat sp = soft_float_multiply(sl, sr);
+ const double ep = lhs * rhs;
+ const double dp = soft_float_to_double(sp);
+
+ return ulp_distance(dp, ep) <= 1;
+}
+
+static void
+test_multiply(void)
+{
+ assert(check_multiply(1.0, 1.0));
+ assert(check_multiply(1.0, 8.0));
+ assert(check_multiply(8.0, 1.0));
+ assert(check_multiply(2.0, 4.0));
+ assert(check_multiply(1e100, 1e-100));
+
+ uint64_t seed = 1;
+ for (int i = 0; i < 1000000; ++i) {
+ const double l = fabs(double_from_rep(seed = lcg64(seed)));
+ const double r = fabs(double_from_rep(seed = lcg64(seed)));
+ if (isfinite(l) && isfinite(r)) {
+ assert(check_multiply(l, r));
+ }
+ }
+}
+
+static void
+test_exact_pow10(void)
+{
+ for (int i = 1; i < dec_expt_step; ++i) {
+ const SerdSoftFloat power = soft_float_exact_pow10(i);
+
+ const double d = soft_float_to_double(power);
+ const double p = pow(10, i);
+ assert(ulp_distance(d, p) <= 1);
+ }
+}
+
+static void
+test_pow10_under(void)
+{
+ for (int i = min_dec_expt; i < max_dec_expt + dec_expt_step; ++i) {
+ int expt10 = 0;
+ const SerdSoftFloat power = soft_float_pow10_under(i, &expt10);
+
+ assert(expt10 <= i);
+ assert(i - expt10 < dec_expt_step);
+
+ const double d = soft_float_to_double(power);
+ const double p = pow(10, expt10);
+ assert(ulp_distance(d, p) <= 1);
+ }
+}
+
+int
+main(void)
+{
+ test_multiply();
+ test_exact_pow10();
+ test_pow10_under();
+
+ return 0;
+}
diff --git a/tests/test_data.h b/tests/test_data.h
new file mode 100644
index 00000000..fa32f529
--- /dev/null
+++ b/tests/test_data.h
@@ -0,0 +1,56 @@
+/*
+ Copyright 2019 David Robillard <http://drobilla.net>
+
+ Permission to use, copy, modify, and/or distribute this software for any
+ purpose with or without fee is hereby granted, provided that the above
+ copyright notice and this permission notice appear in all copies.
+
+ THIS SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+ ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+ ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+ OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+*/
+
+#include <stdint.h>
+#include <string.h>
+
+/// Linear Congruential Generator for making random floats
+static inline uint32_t
+lcg32(const uint32_t i)
+{
+ static const uint32_t a = 134775813u;
+ static const uint32_t c = 1u;
+
+ return (a * i) + c;
+}
+
+/// Linear Congruential Generator for making random doubles
+static inline uint64_t
+lcg64(const uint64_t i)
+{
+ static const uint64_t a = 6364136223846793005ull;
+ static const uint64_t c = 1ull;
+
+ return (a * i) + c;
+}
+
+/// Return the float with representation `rep`
+static inline float
+float_from_rep(const uint32_t rep)
+{
+ float f = 0.0f;
+ memcpy(&f, &rep, sizeof(f));
+ return f;
+}
+
+/// Return the double with representation `rep`
+static inline double
+double_from_rep(const uint64_t rep)
+{
+ double d = 0.0;
+ memcpy(&d, &rep, sizeof(d));
+ return d;
+}