diff options
Diffstat (limited to 'subprojects/exess/test/test_float.c')
-rw-r--r-- | subprojects/exess/test/test_float.c | 240 |
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; +} |