libcruft-util/test/maths.cpp

175 lines
6.0 KiB
C++
Raw Normal View History

2015-04-13 16:45:56 +10:00
#include "maths.hpp"
#include "debug.hpp"
#include "tap.hpp"
2011-05-23 17:18:52 +10:00
#include <cstdlib>
#include <cmath>
#include <limits>
2011-05-23 17:18:52 +10:00
using std::sqrt;
using std::numeric_limits;
2011-05-23 17:18:52 +10:00
2015-01-21 23:39:23 +11:00
void
2015-07-13 16:29:01 +10:00
test_comparisons (util::TAP::logger &tap)
{
// Check pos/neg zeroes
2015-07-13 16:29:01 +10:00
tap.expect (almost_equal ( 0.f, 0.f), "equal float zeros +ve/+ve");
tap.expect (almost_equal ( 0.f, -0.f), "equal float zeros +ve/-ve");
tap.expect (almost_equal (-0.f, 0.f), "equal float zeros -ve/+ve");
tap.expect (almost_equal (-0.f, -0.f), "equal float zeros -ve/-ve");
2015-07-13 16:29:01 +10:00
tap.expect (almost_equal ( 0., 0.), "equal double zeroes +ve/+ve");
tap.expect (almost_equal ( 0., -0.), "equal double zeroes +ve/+ve");
tap.expect (almost_equal (-0., 0.), "equal double zeroes +ve/+ve");
tap.expect (almost_equal (-0., -0.), "equal double zeroes +ve/+ve");
// Check zero comparison with values near the expected cutoff
2015-07-13 16:29:01 +10:00
tap.expect (almost_zero (1e-45f), "almost_zero with low value");
tap.expect (!almost_zero (1e-40f), "not almost_zero with low value");
tap.expect (!exactly_zero (1e-45f), "not exactly_zero with low value");
// Compare values a little away from zero
2015-07-13 16:29:01 +10:00
tap.expect (!almost_equal (-2.0, 0.0), "not equal floats");
tap.expect (!almost_equal (-2.f, 0.f), "not equal doubles");
// Compare values at the maximum extreme
2015-07-13 16:29:01 +10:00
tap.expect (!almost_equal (-std::numeric_limits<float>::max (), 0.f), "not equal -max/0 float");
tap.expect (!almost_equal (-std::numeric_limits<float>::max (),
std::numeric_limits<float>::max ()),
"not equal -max/max");
// Compare infinity values
2015-07-13 16:29:01 +10:00
tap.expect ( almost_equal (numeric_limits<double>::infinity (),
numeric_limits<double>::infinity ()),
"almost_equal +infinity");
tap.expect (!almost_equal (numeric_limits<double>::infinity (), 0.0),
"not almost_equal +inf/0");
// Compare NaNs
2015-07-13 16:29:01 +10:00
tap.expect (!almost_equal (0., numeric_limits<double>::quiet_NaN ()), "not almost_equal double 0/NaN");
tap.expect (!almost_equal (numeric_limits<double>::quiet_NaN (), 0.), "not almost_equal double NaN/0");
2015-07-13 16:29:01 +10:00
tap.expect (!almost_equal (numeric_limits<double>::quiet_NaN (),
numeric_limits<double>::quiet_NaN ()),
"not almost_equal NaN/NaN");
// Compare reasonably close values that are wrong
tap.expect (!almost_equal (1.0000f, 1.0001f), ".0001f difference inequality");
tap.expect ( almost_equal (1.0000f, 1.00001f), ".00001f difference inequality");
}
2011-05-23 17:18:52 +10:00
2015-04-09 17:44:50 +10:00
void
2015-07-13 16:29:01 +10:00
test_normalisations (util::TAP::logger &tap)
2015-04-09 17:44:50 +10:00
{
// u8 to float
{
auto a = renormalise<uint8_t,float> (255);
2015-07-13 16:29:01 +10:00
tap.expect_eq (a, 1.f, "normalise uint8 max");
2015-04-09 17:44:50 +10:00
auto b = renormalise<uint8_t,float> (0);
2015-07-13 16:29:01 +10:00
tap.expect_eq (b, 0.f, "normalise uint8 min");
2015-04-09 17:44:50 +10:00
}
// float to u8
{
2015-07-13 16:29:01 +10:00
bool success = true;
2015-10-20 16:50:44 +11:00
static const struct {
2015-04-09 17:44:50 +10:00
float a;
uint8_t b;
} TESTS[] = {
2015-10-20 16:50:44 +11:00
{ 1.f, 255 },
{ 0.5f, 127 },
{ 2.f, 255 },
{ -1.f, 0 }
2015-04-09 17:44:50 +10:00
};
for (auto i: TESTS) {
auto v = renormalise<decltype(i.a),decltype(i.b)> (i.a);
2015-07-13 16:29:01 +10:00
success = success && almost_equal (unsigned{v}, unsigned{i.b});
2015-04-09 17:44:50 +10:00
}
2015-07-13 16:29:01 +10:00
tap.expect (success, "float-u8 normalisation");
2015-04-09 17:44:50 +10:00
}
2015-10-20 16:50:44 +11:00
// float to uint32
// exercises an integer type that has more precision than float
{
bool success = true;
static const struct {
float a;
uint32_t b;
} TESTS[] {
{ 0.f, 0x00000000 }, // lo range
{ 1.f, 0xffffffff }, // hi range
{ 0.5f, 0x7fffff7f }, // 31 bits
{ 0.001953125f, 0x007fff00 }, // 23 bits
};
for (auto t: TESTS) {
auto v = renormalise<float,uint32_t> (t.a);
success = success && almost_equal (t.b, v);
}
tap.expect (success, "float-u32 normalisation");
}
std::cerr << renormalise<uint8_t,uint32_t> (0xff) << '\n';
tap.expect_eq (renormalise<uint8_t,uint32_t> (0xff), 0xffffffff, "normalise hi u8-to-u32");
tap.expect_eq (renormalise<uint8_t,uint32_t> (0x00), 0x00000000, "normalise lo u8-to-u32");
tap.expect_eq (renormalise<uint32_t,uint8_t> (0xffffffff), 0xff, "normalise hi u32-to-u8");
2015-04-09 17:44:50 +10:00
}
int
2015-07-13 16:29:01 +10:00
main (void)
{
util::TAP::logger tap;
// Max out the precision in case we trigger debug output
std::cerr.precision (std::numeric_limits<double>::digits10);
std::cout.precision (std::numeric_limits<double>::digits10);
2015-07-13 16:29:01 +10:00
test_comparisons (tap);
2015-07-13 16:29:01 +10:00
test_normalisations (tap);
2015-04-09 17:44:50 +10:00
2015-07-13 16:29:01 +10:00
tap.expect_eq (util::min (-2, 0, 2), -2, "variadic min");
tap.expect_eq (util::max (-2, 0, 2), 2, "variadic max");
2011-05-23 17:18:52 +10:00
2015-07-13 16:29:01 +10:00
tap.expect_eq (pow2 (4), 16, "pow2");
2011-05-23 17:18:52 +10:00
2015-07-13 16:29:01 +10:00
tap.expect_eq (rootsquare (2, 2), sqrt (8), "rootsquare");
2011-05-23 17:18:52 +10:00
2015-07-13 16:29:01 +10:00
static const double POS_ZERO = 1.0 / numeric_limits<double>::infinity ();
static const double NEG_ZERO = -1.0 / numeric_limits<double>::infinity ();
2015-07-13 16:29:01 +10:00
tap.expect_eq (sign (-1), -1, "sign(-1)");
tap.expect_eq (sign ( 1), 1, "sign( 1)");
tap.expect_eq (sign (POS_ZERO), 1, "sign (POS_ZERO)");
tap.expect_eq (sign (NEG_ZERO), -1, "sign (NEG_ZERO)");
tap.expect_eq (sign ( numeric_limits<double>::infinity ()), 1, "sign +inf");
tap.expect_eq (sign (-numeric_limits<double>::infinity ()), -1, "sign -inf");
2015-07-13 16:29:01 +10:00
tap.expect_eq (to_degrees (PI< float>), 180.f, "to_degrees float");
tap.expect_eq (to_degrees (PI<double>), 180.0, "to_degrees double");
tap.expect_eq (to_radians (180.f), PI<float>, "to_radians float");
tap.expect_eq (to_radians (180.0), PI<double>, "to_radians double");
2015-07-13 16:29:01 +10:00
tap.expect_eq (log2 (8u), 3, "log2 +ve");
tap.expect_eq (log2 (1u), 0, "log2 zero");
2014-09-17 16:41:19 +10:00
2015-07-13 16:29:01 +10:00
//tap.expect_eq (log2 (9u), 3, "log2up 9");
tap.expect_eq (log2up (9u), 4, "log2up 9");
tap.expect_eq (log2up (8u), 3, "log2up 9");
tap.expect_eq (log2up (1u), 0, "log2up 9");
2014-09-17 16:41:38 +10:00
2015-07-13 16:29:01 +10:00
return tap.status ();
2011-05-23 17:18:52 +10:00
}