Danny Robson
52f53caee5
HARD vs SOFT assertions were never very well defined or supported. Currently they just imply a level of functionality that isn't present; it's better to remove them instead of expending the effort at this point.
76 lines
1.9 KiB
C++
76 lines
1.9 KiB
C++
#include "../float.hpp"
|
|
|
|
#include "../debug.hpp"
|
|
#include "../types.hpp"
|
|
|
|
#include <limits>
|
|
|
|
using namespace std;
|
|
|
|
|
|
void
|
|
test_double (void) {
|
|
struct sized_test {
|
|
ieee_double::uint_t bits;
|
|
double floating;
|
|
};
|
|
|
|
sized_test tests[] = {
|
|
{ 0x3ff0000000000000, 1.0 },
|
|
{ 0x3ff0000000000001, 1.0 + numeric_limits<double>::epsilon () },
|
|
{ 0x3ff0000000000002, 1.0 + numeric_limits<double>::epsilon () * 2},
|
|
{ 0x4000000000000000, 2.0 },
|
|
{ 0xc000000000000000, -2.0 },
|
|
{ 0x0000000000000001, numeric_limits<double>::denorm_min () },
|
|
{ 0x0010000000000000, numeric_limits<double>::min () }, // min positive normal
|
|
{ 0x7fefffffffffffff, numeric_limits<double>::max () }, // max
|
|
{ 0x0000000000000000, 0.0 },
|
|
{ 0x8000000000000000, -0.0 },
|
|
{ 0x7ff0000000000000, numeric_limits<double>::infinity() },
|
|
{ 0xfff0000000000000, -numeric_limits<double>::infinity() },
|
|
{ 0x3fd5555555555555, 1.0 / 3.0 }
|
|
};
|
|
|
|
for (unsigned int i = 0; i < elems (tests); ++i) {
|
|
ieee_double val;
|
|
val.set_bits (tests[i].bits);
|
|
CHECK (val == tests[i].floating);
|
|
}
|
|
}
|
|
|
|
|
|
void
|
|
test_single (void) {
|
|
struct sized_test {
|
|
ieee_single::uint_t bits;
|
|
float floating;
|
|
};
|
|
|
|
sized_test tests[] = {
|
|
{ 0x3f800000, 1.0f },
|
|
{ 0xc0000000, -2.0f },
|
|
{ 0x7f7fffff, numeric_limits<float>::max () },
|
|
|
|
{ 0x00000000, 0.0f },
|
|
{ 0x80000000, -0.0f },
|
|
|
|
{ 0x7f800000, numeric_limits<float>::infinity () },
|
|
{ 0xff800000, -numeric_limits<float>::infinity () },
|
|
|
|
{ 0x3eaaaaab, 1.0f / 3.0f }
|
|
};
|
|
|
|
for (unsigned int i = 0; i < elems (tests); ++i) {
|
|
ieee_single val;
|
|
val.set_bits (tests[i].bits);
|
|
CHECK (val == tests[i].floating);
|
|
}
|
|
}
|
|
|
|
|
|
int
|
|
main (int, char **) {
|
|
test_single ();
|
|
test_double ();
|
|
}
|