1 files changed, 240 insertions, 0 deletions
diff --git a/subprojects/exess/test/test_float.c b/subprojects/exess/test/test_float.c
new file mode 100644
index 00000000..e8cf9141
--- /dev/null
+++ b/subprojects/exess/test/test_float.c
@@ -0,0 +1,240 @@
+/*
+  Copyright 2011-2021 David Robillard <d@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 "float_test_data.h"
+#include "int_test_data.h"
+#include "num_test_utils.h"
+#include "string_utils.h"
+
+#include "exess/exess.h"
+
+#include <assert.h>
+#include <float.h>
+#include <math.h>
+#include <stdint.h>
+#include <stdio.h>
+#include <string.h>
+
+static void
+check_read(const char* const string,
+           const ExessStatus expected_status,
+           const float       expected_value,
+           const size_t      expected_count)
+{
+  float             value = NAN;
+  const ExessResult r     = exess_read_float(&value, string);
+
+  assert(r.status == expected_status);
+  assert(r.count == expected_count);
+  assert(float_matches(value, expected_value));
+}
+
+static void
+test_read_float(void)
+{
+  // Limits
+  check_read("-3.40282347E38", EXESS_SUCCESS, -FLT_MAX, 14);
+  check_read("-1.17549435E-38", EXESS_SUCCESS, -FLT_MIN, 15);
+  check_read("1.17549435E-38", EXESS_SUCCESS, FLT_MIN, 14);
+  check_read("3.40282347E38", EXESS_SUCCESS, FLT_MAX, 13);
+
+  // Special values
+  check_read("NaN", EXESS_SUCCESS, NAN, 3);
+  check_read("-INF", EXESS_SUCCESS, -INFINITY, 4);
+  check_read("-0.0E0", EXESS_SUCCESS, -0.0f, 6);
+  check_read("0.0E0", EXESS_SUCCESS, 0.0f, 5);
+  check_read("+0.0E0", EXESS_SUCCESS, 0.0f, 6);
+  check_read("INF", EXESS_SUCCESS, INFINITY, 3);
+  check_read("+INF", EXESS_SUCCESS, INFINITY, 4);
+
+  // Various normal cases
+  check_read("-1.0E0", EXESS_SUCCESS, -1.0f, 6);
+  check_read("1.0E0", EXESS_SUCCESS, +1.0f, 5);
+  check_read("5.0E0", EXESS_SUCCESS, 5.0f, 5);
+  check_read("5.0E1", EXESS_SUCCESS, 50.0f, 5);
+  check_read("5.0E9", EXESS_SUCCESS, 5000000000.0f, 5);
+  check_read("-5.0E-1", EXESS_SUCCESS, -0.5f, 7);
+  check_read("5.0E-1", EXESS_SUCCESS, 0.5f, 6);
+  check_read("6.25E-2", EXESS_SUCCESS, 0.0625f, 7);
+  check_read("7.8125E-3", EXESS_SUCCESS, 0.0078125f, 9);
+
+  // No exponent
+  check_read("1", EXESS_SUCCESS, 1.0f, 1);
+  check_read("2.3", EXESS_SUCCESS, 2.3f, 3);
+  check_read("-4.5", EXESS_SUCCESS, -4.5f, 4);
+
+  // Trailing garbage
+  check_read("1.2.", EXESS_SUCCESS, 1.2f, 3);
+
+  // Garbage
+  check_read("true", EXESS_EXPECTED_DIGIT, NAN, 0);
+  check_read("+true", EXESS_EXPECTED_DIGIT, NAN, 1);
+  check_read("-false", EXESS_EXPECTED_DIGIT, NAN, 1);
+  check_read("1.0eX", EXESS_EXPECTED_DIGIT, NAN, 4);
+  check_read("1.0EX", EXESS_EXPECTED_DIGIT, NAN, 4);
+}
+
+static void
+test_float_string_length(void)
+{
+  // Limits
+  assert(exess_write_float(FLT_MIN, 0, NULL).count == 14);
+  assert(exess_write_float(FLT_MAX, 0, NULL).count == 13);
+
+  // Special values
+  assert(exess_write_float((float)NAN, 0, NULL).count == 3);
+  assert(exess_write_float(-1.0f, 0, NULL).count == 6);
+  assert(exess_write_float(-0.0f, 0, NULL).count == 6);
+  assert(exess_write_float(0.0f, 0, NULL).count == 5);
+  assert(exess_write_float(1.0f, 0, NULL).count == 5);
+  assert(exess_write_float((float)INFINITY, 0, NULL).count == 3);
+  assert(exess_write_float((float)-INFINITY, 0, NULL).count == 4);
+}
+
+/// Check that `str` is a canonical xsd:float string
+static void
+check_canonical(const char* const str)
+{
+  if (!strcmp(str, "NaN") || !strcmp(str, "-INF") || !strcmp(str, "INF")) {
+    return;
+  }
+
+  assert(strlen(str) > 4); // Shortest possible is something like 1.2E3
+  assert(str[0] == '-' || is_digit(str[0]));
+
+  const int first_digit = str[0] == '-' ? 1 : 0;
+  assert(is_digit(str[first_digit]));
+  assert(str[first_digit + 1] == '.');
+  assert(is_digit(str[first_digit + 2]));
+
+  const char* const e = strchr(str, 'E');
+  assert(e);
+  assert(*e == 'E');
+  assert(*(e + 1) == '-' || is_digit(*(e + 1)));
+}
+
+static void
+check_write(const float       value,
+            const ExessStatus expected_status,
+            const size_t      buf_size,
+            const char* const expected_string)
+{
+  char buf[EXESS_MAX_FLOAT_LENGTH + 1] = {
+    1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16};
+
+  assert(buf_size <= sizeof(buf));
+
+  const ExessResult r = exess_write_float(value, buf_size, buf);
+  assert(r.status == expected_status);
+  if (expected_string) {
+    assert(r.count == strlen(buf));
+    assert(!expected_string || !strcmp(buf, expected_string));
+    assert(r.status || exess_write_float(value, 0, NULL).count == r.count);
+    check_canonical(buf);
+  } else {
+    assert(r.count == 0);
+  }
+}
+
+static void
+test_write_float(void)
+{
+  check_write(NAN, EXESS_SUCCESS, 4, "NaN");
+  check_write(-INFINITY, EXESS_SUCCESS, 5, "-INF");
+  check_write(FLT_MIN, EXESS_SUCCESS, 15, "1.17549435E-38");
+  check_write(-0.0f, EXESS_SUCCESS, 7, "-0.0E0");
+  check_write(0.0f, EXESS_SUCCESS, 6, "0.0E0");
+  check_write(100.25f, EXESS_SUCCESS, 9, "1.0025E2");
+  check_write(FLT_MAX, EXESS_SUCCESS, 14, "3.40282346E38");
+  check_write(INFINITY, EXESS_SUCCESS, 4, "INF");
+
+  check_write(NAN, EXESS_NO_SPACE, 3, NULL);
+  check_write(-INFINITY, EXESS_NO_SPACE, 4, NULL);
+  check_write(FLT_MIN, EXESS_NO_SPACE, 13, NULL);
+  check_write(-1.0f, EXESS_NO_SPACE, 2, NULL);
+  check_write(-0.0f, EXESS_NO_SPACE, 6, NULL);
+  check_write(0.0f, EXESS_NO_SPACE, 5, NULL);
+  check_write(100.25f, EXESS_NO_SPACE, 5, NULL);
+  check_write(100.25f, EXESS_NO_SPACE, 8, NULL);
+  check_write(FLT_MAX, EXESS_NO_SPACE, 13, NULL);
+  check_write(INFINITY, EXESS_NO_SPACE, 3, NULL);
+}
+
+static void
+check_round_trip(const float value)
+{
+  float parsed_value                    = 0.0f;
+  char  buf[EXESS_MAX_FLOAT_LENGTH + 1] = {
+    1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16};
+
+  assert(!exess_write_float(value, sizeof(buf), buf).status);
+  assert(!exess_read_float(&parsed_value, buf).status);
+  assert(float_matches(parsed_value, value));
+}
+
+static void
+test_round_trip(const ExessNumTestOptions opts)
+{
+  check_round_trip(NAN);
+  check_round_trip(FLT_MIN);
+  check_round_trip(-0.0f);
+  check_round_trip(0.0f);
+  check_round_trip(FLT_MAX);
+
+  if (opts.exhaustive) {
+    fprintf(stderr, "Testing xsd:float exhaustively\n");
+
+    for (int64_t i = 0; i <= UINT32_MAX; ++i) {
+      const float value = float_from_rep((uint32_t)i);
+
+      check_round_trip(value);
+      print_num_test_progress((uint64_t)(i - (int64_t)INT32_MIN), UINT32_MAX);
+    }
+  } else {
+    fprintf(stderr, "Testing xsd:float randomly with seed %u\n", opts.seed);
+
+    uint32_t rep = opts.seed;
+    for (uint64_t i = 0; i < opts.n_tests; ++i) {
+      rep = lcg32(rep);
+
+      const float value = float_from_rep(rep);
+
+      check_round_trip(nextafterf(value, -INFINITY));
+      check_round_trip(value);
+      check_round_trip(nextafterf(value, INFINITY));
+
+      print_num_test_progress(i, opts.n_tests);
+    }
+  }
+}
+
+int
+main(int argc, char** argv)
+{
+  const ExessNumTestOptions opts = parse_num_test_options(argc, argv);
+  if (opts.error) {
+    return 1;
+  }
+
+  test_read_float();
+  test_float_string_length();
+  test_write_float();
+  test_round_trip(opts);
+
+  return 0;
+}