2011-05-23 17:18:52 +10:00
|
|
|
#include "float.hpp"
|
|
|
|
|
|
|
|
#include <cmath>
|
|
|
|
|
|
|
|
using namespace std;
|
|
|
|
|
|
|
|
|
|
|
|
/* Constructors */
|
|
|
|
|
|
|
|
template <unsigned int E, unsigned int S>
|
|
|
|
ieee_float<E, S>::ieee_float (void)
|
|
|
|
{ ; }
|
|
|
|
|
|
|
|
|
|
|
|
template <unsigned int E, unsigned int S>
|
|
|
|
ieee_float<E, S>::ieee_float (floating_t _floating):
|
|
|
|
m_floating (_floating)
|
|
|
|
{ ; }
|
|
|
|
|
|
|
|
|
|
|
|
template <unsigned int E, unsigned int S>
|
2015-04-13 18:06:08 +10:00
|
|
|
ieee_float<E, S>::ieee_float (const ieee_float &rhs):
|
2011-05-23 17:18:52 +10:00
|
|
|
m_bits (rhs.m_bits)
|
|
|
|
{ ; }
|
|
|
|
|
|
|
|
|
|
|
|
/* Classifiers */
|
|
|
|
|
|
|
|
template <unsigned int E, unsigned int S>
|
|
|
|
bool
|
|
|
|
ieee_float<E, S>::is_zero (void) const {
|
|
|
|
return m_components.exponent == 0 &&
|
|
|
|
m_components.significand == 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <unsigned int E, unsigned int S>
|
|
|
|
bool
|
|
|
|
ieee_float<E, S>::is_subnormal (void) const {
|
|
|
|
return m_components.exponent == 0 &&
|
|
|
|
m_components.significand != 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <unsigned int E, unsigned int S>
|
|
|
|
bool
|
|
|
|
ieee_float<E, S>::is_inifinity (void) const {
|
|
|
|
return m_components.exponent == (1 << EXPONENT_BITS) - 1 &&
|
|
|
|
m_components.significand == 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <unsigned int E, unsigned int S>
|
|
|
|
bool
|
|
|
|
ieee_float<E, S>::is_nan (void) const {
|
|
|
|
return m_components.exponent == (1 << EXPONENT_BITS) - 1 &&
|
|
|
|
m_components.significand != 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <unsigned int E, unsigned int S>
|
|
|
|
bool
|
2015-04-13 18:06:08 +10:00
|
|
|
ieee_float<E, S>::operator==(floating_t _floating) const {
|
2011-05-23 17:18:52 +10:00
|
|
|
// TODO: This method really shouldn't be generated if there's no
|
|
|
|
// representative native floating point type. But I'm sick of
|
|
|
|
// C++'s template bullshit for tonight.
|
2015-01-28 14:49:34 +11:00
|
|
|
CHECK (bits_type<TOTAL_BITS>::has_floating);
|
2011-06-30 21:43:23 +10:00
|
|
|
|
|
|
|
union {
|
|
|
|
floating_t _floating;
|
|
|
|
uint_t _uint;
|
|
|
|
} convertor;
|
|
|
|
|
|
|
|
convertor._floating = _floating;
|
|
|
|
|
|
|
|
return m_bits == convertor._uint;
|
2011-05-23 17:18:52 +10:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
#include <iostream>
|
|
|
|
|
|
|
|
|
2015-01-21 23:32:06 +11:00
|
|
|
//template <unsigned int E, unsigned int S>
|
|
|
|
//bool
|
|
|
|
//ieee_float<E, S>::almost_equal (floating_t a,
|
2015-04-13 18:06:08 +10:00
|
|
|
// floating_t b) {
|
2015-01-21 23:32:06 +11:00
|
|
|
// // Static cast to avoid integer casting warnings when using uint16_t for half
|
|
|
|
// static const floating_t epsilon = static_cast<floating_t> (0.001);
|
|
|
|
// const floating_t diff = static_cast<floating_t> (std::fabs (a - b));
|
|
|
|
//
|
|
|
|
// // * Use an exact equality first so that infinities are not indirectly compared. This would generate NaNs in the diff.
|
|
|
|
// // * Do not use gte or lte. This stops an infinite from making infinities on both sides of the inequality.
|
|
|
|
// return exactly_equal (a, b) ||
|
|
|
|
// diff < epsilon * std::fabs (a) ||
|
|
|
|
// diff < epsilon * std::fabs (b);
|
|
|
|
//}
|
|
|
|
|
|
|
|
|
2011-05-23 17:18:52 +10:00
|
|
|
template <unsigned int E, unsigned int S>
|
|
|
|
bool
|
|
|
|
ieee_float<E, S>::almost_equal (floating_t a,
|
2015-01-21 23:32:06 +11:00
|
|
|
floating_t b)
|
|
|
|
{
|
2015-08-25 17:18:31 +10:00
|
|
|
return almost_equal (a, b, 128u);
|
2011-05-23 17:18:52 +10:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2015-02-03 15:54:55 +11:00
|
|
|
// Based on the cynus `AlmostEqual2sComplement`
|
2015-01-21 23:32:06 +11:00
|
|
|
template <unsigned int E, unsigned int S>
|
|
|
|
bool
|
|
|
|
ieee_float<E, S>::almost_equal (floating_t _a,
|
|
|
|
floating_t _b,
|
2015-01-29 15:44:30 +11:00
|
|
|
unsigned ulps)
|
2015-01-21 23:32:06 +11:00
|
|
|
{
|
2015-01-22 00:24:34 +11:00
|
|
|
// Ensure ULPs is small enough that the default NaNs won't compare as
|
|
|
|
// equal to anything else.
|
2015-11-13 17:10:10 +11:00
|
|
|
CHECK_LE (ulps, 4 * 1024 * 1024u);
|
2015-01-22 00:24:34 +11:00
|
|
|
|
2015-01-21 23:32:06 +11:00
|
|
|
union {
|
|
|
|
floating_t f;
|
|
|
|
sint_t s;
|
2015-02-03 15:54:55 +11:00
|
|
|
uint_t u;
|
2015-01-21 23:32:06 +11:00
|
|
|
} a, b;
|
|
|
|
|
|
|
|
a.f = _a;
|
|
|
|
b.f = _b;
|
|
|
|
|
2015-02-03 15:54:55 +11:00
|
|
|
// Special case the NaNs early so simplify diffs
|
2015-01-21 23:32:06 +11:00
|
|
|
if (std::isnan (a.f) || std::isnan (b.f))
|
|
|
|
return false;
|
|
|
|
|
2015-02-03 15:54:55 +11:00
|
|
|
// Early out, as identity comparisons are reasonably common
|
2015-01-21 23:32:06 +11:00
|
|
|
if (a.s == b.s)
|
|
|
|
return true;
|
|
|
|
|
2015-02-03 15:54:55 +11:00
|
|
|
// Re-base negative floats to be continuous against +ve/-ve 0
|
|
|
|
static const union {
|
|
|
|
floating_t f;
|
|
|
|
sint_t s;
|
|
|
|
} NEG_ZERO { -floating_t {0} };
|
|
|
|
|
2015-01-29 15:44:57 +11:00
|
|
|
if (a.s < 0)
|
2015-02-03 15:54:55 +11:00
|
|
|
a.s = NEG_ZERO.s - a.s;
|
2015-01-29 15:44:57 +11:00
|
|
|
if (b.s < 0)
|
2015-02-03 15:54:55 +11:00
|
|
|
b.s = NEG_ZERO.s - b.s;
|
2015-01-29 15:44:57 +11:00
|
|
|
|
2015-02-03 15:54:55 +11:00
|
|
|
// Calculate ULP difference, but don't use abs(a.s - b.s) as it may cause
|
|
|
|
// signed overflow
|
|
|
|
uint_t diff = a.u > b.u ? a.u - b.u : b.u - a.u;
|
2015-01-21 23:32:06 +11:00
|
|
|
return diff <= ulps;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2015-02-03 15:54:55 +11:00
|
|
|
//-----------------------------------------------------------------------------
|
2011-05-23 17:18:52 +10:00
|
|
|
template class ieee_float< 5, 10>; // ieee_half
|
|
|
|
template class ieee_float< 8, 23>; // ieee_single;
|
|
|
|
template class ieee_float<11, 52>; // ieee_double;
|