mirror of
https://github.com/boostorg/functional.git
synced 2025-08-03 06:24:34 +02:00
Rename hash_detail::float_limits => hash_detail::limits, since it's also used
for integers in the tests. [SVN r35559]
This commit is contained in:
@@ -24,12 +24,12 @@ void float_tests(char const* name, T* = 0)
|
|||||||
std::cerr<<"\n"
|
std::cerr<<"\n"
|
||||||
<<"Testing " BOOST_STRINGIZE(HASH_NAMESPACE) "::hash<"<<name<<">\n"
|
<<"Testing " BOOST_STRINGIZE(HASH_NAMESPACE) "::hash<"<<name<<">\n"
|
||||||
<<"\n"
|
<<"\n"
|
||||||
<<"boost::hash_detail::float_limits<T>::digits = "
|
<<"boost::hash_detail::limits<T>::digits = "
|
||||||
<<boost::hash_detail::float_limits<T>::digits<<"\n"
|
<<boost::hash_detail::limits<T>::digits<<"\n"
|
||||||
<<"boost::hash_detail::float_limits<int>::digits = "
|
<<"boost::hash_detail::limits<int>::digits = "
|
||||||
<<boost::hash_detail::float_limits<int>::digits<<"\n"
|
<<boost::hash_detail::limits<int>::digits<<"\n"
|
||||||
<<"boost::hash_detail::float_limits<std::size_t>::digits = "
|
<<"boost::hash_detail::limits<std::size_t>::digits = "
|
||||||
<<boost::hash_detail::float_limits<std::size_t>::digits<<"\n"
|
<<boost::hash_detail::limits<std::size_t>::digits<<"\n"
|
||||||
<<"\n"
|
<<"\n"
|
||||||
;
|
;
|
||||||
|
|
||||||
@@ -50,11 +50,11 @@ void float_tests(char const* name, T* = 0)
|
|||||||
#if defined(__BORLANDC__)
|
#if defined(__BORLANDC__)
|
||||||
std::cerr<<"Not running infinity checks on Borland, as it causes it to crash.\n";
|
std::cerr<<"Not running infinity checks on Borland, as it causes it to crash.\n";
|
||||||
#else
|
#else
|
||||||
if(boost::hash_detail::float_limits<T>::has_infinity) {
|
if(boost::hash_detail::limits<T>::has_infinity) {
|
||||||
T infinity = -log(zero);
|
T infinity = -log(zero);
|
||||||
T infinity2 = (T) 1. / zero;
|
T infinity2 = (T) 1. / zero;
|
||||||
T infinity3 = (T) -1. / minus_zero;
|
T infinity3 = (T) -1. / minus_zero;
|
||||||
T infinity4 = boost::hash_detail::float_limits<T>::infinity();
|
T infinity4 = boost::hash_detail::limits<T>::infinity();
|
||||||
|
|
||||||
T minus_infinity = log(zero);
|
T minus_infinity = log(zero);
|
||||||
T minus_infinity2 = (T) -1. / zero;
|
T minus_infinity2 = (T) -1. / zero;
|
||||||
@@ -84,26 +84,26 @@ void float_tests(char const* name, T* = 0)
|
|||||||
|
|
||||||
// This should really be 'has_denorm == denorm_present' but some
|
// This should really be 'has_denorm == denorm_present' but some
|
||||||
// compilers don't have 'denorm_present'. See also a later use.
|
// compilers don't have 'denorm_present'. See also a later use.
|
||||||
if(boost::hash_detail::float_limits<T>::has_denorm) {
|
if(boost::hash_detail::limits<T>::has_denorm) {
|
||||||
if(x1(boost::hash_detail::float_limits<T>::denorm_min()) == x1(infinity)) {
|
if(x1(boost::hash_detail::limits<T>::denorm_min()) == x1(infinity)) {
|
||||||
std::cerr<<"x1(denorm_min) == x1(infinity) == "<<x1(infinity)<<"\n";
|
std::cerr<<"x1(denorm_min) == x1(infinity) == "<<x1(infinity)<<"\n";
|
||||||
}
|
}
|
||||||
if(x1(boost::hash_detail::float_limits<T>::denorm_min()) == x1(minus_infinity)) {
|
if(x1(boost::hash_detail::limits<T>::denorm_min()) == x1(minus_infinity)) {
|
||||||
std::cerr<<"x1(denorm_min) == x1(-infinity) == "<<x1(minus_infinity)<<"\n";
|
std::cerr<<"x1(denorm_min) == x1(-infinity) == "<<x1(minus_infinity)<<"\n";
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
if(boost::hash_detail::float_limits<T>::has_quiet_NaN) {
|
if(boost::hash_detail::limits<T>::has_quiet_NaN) {
|
||||||
if(x1(boost::hash_detail::float_limits<T>::quiet_NaN()) == x1(infinity)) {
|
if(x1(boost::hash_detail::limits<T>::quiet_NaN()) == x1(infinity)) {
|
||||||
std::cerr<<"x1(quiet_NaN) == x1(infinity) == "<<x1(infinity)<<"\n";
|
std::cerr<<"x1(quiet_NaN) == x1(infinity) == "<<x1(infinity)<<"\n";
|
||||||
}
|
}
|
||||||
if(x1(boost::hash_detail::float_limits<T>::quiet_NaN()) == x1(minus_infinity)) {
|
if(x1(boost::hash_detail::limits<T>::quiet_NaN()) == x1(minus_infinity)) {
|
||||||
std::cerr<<"x1(quiet_NaN) == x1(-infinity) == "<<x1(minus_infinity)<<"\n";
|
std::cerr<<"x1(quiet_NaN) == x1(-infinity) == "<<x1(minus_infinity)<<"\n";
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
#endif
|
#endif
|
||||||
|
|
||||||
T max = (boost::hash_detail::float_limits<T>::max)();
|
T max = (boost::hash_detail::limits<T>::max)();
|
||||||
T half_max = max / 2;
|
T half_max = max / 2;
|
||||||
T quarter_max = max / 4;
|
T quarter_max = max / 4;
|
||||||
T three_quarter_max = max - quarter_max;
|
T three_quarter_max = max - quarter_max;
|
||||||
@@ -132,50 +132,50 @@ void float_tests(char const* name, T* = 0)
|
|||||||
BOOST_TEST(x1(v1) == HASH_NAMESPACE::hash_value(v1));
|
BOOST_TEST(x1(v1) == HASH_NAMESPACE::hash_value(v1));
|
||||||
BOOST_TEST(x1(v2) == HASH_NAMESPACE::hash_value(v2));
|
BOOST_TEST(x1(v2) == HASH_NAMESPACE::hash_value(v2));
|
||||||
|
|
||||||
BOOST_TEST(x1(boost::hash_detail::float_limits<T>::epsilon()) ==
|
BOOST_TEST(x1(boost::hash_detail::limits<T>::epsilon()) ==
|
||||||
HASH_NAMESPACE::hash_value(boost::hash_detail::float_limits<T>::epsilon()));
|
HASH_NAMESPACE::hash_value(boost::hash_detail::limits<T>::epsilon()));
|
||||||
|
|
||||||
BOOST_TEST(boost::hash_detail::float_limits<T>::epsilon() != (T) 0);
|
BOOST_TEST(boost::hash_detail::limits<T>::epsilon() != (T) 0);
|
||||||
if(x1(boost::hash_detail::float_limits<T>::epsilon()) == x1((T) 0))
|
if(x1(boost::hash_detail::limits<T>::epsilon()) == x1((T) 0))
|
||||||
std::cerr<<"x1(epsilon) == x1(0) == "<<x1((T) 0)<<"\n";
|
std::cerr<<"x1(epsilon) == x1(0) == "<<x1((T) 0)<<"\n";
|
||||||
|
|
||||||
BOOST_TEST(-boost::hash_detail::float_limits<T>::epsilon() != (T) 0);
|
BOOST_TEST(-boost::hash_detail::limits<T>::epsilon() != (T) 0);
|
||||||
if(x1(-boost::hash_detail::float_limits<T>::epsilon()) == x1((T) 0))
|
if(x1(-boost::hash_detail::limits<T>::epsilon()) == x1((T) 0))
|
||||||
std::cerr<<"x1(-epsilon) == x1(0) == "<<x1((T) 0)<<"\n";
|
std::cerr<<"x1(-epsilon) == x1(0) == "<<x1((T) 0)<<"\n";
|
||||||
|
|
||||||
BOOST_TEST((T) 1 + boost::hash_detail::float_limits<T>::epsilon() != (T) 1);
|
BOOST_TEST((T) 1 + boost::hash_detail::limits<T>::epsilon() != (T) 1);
|
||||||
if(x1((T) 1 + boost::hash_detail::float_limits<T>::epsilon()) == x1((T) 1))
|
if(x1((T) 1 + boost::hash_detail::limits<T>::epsilon()) == x1((T) 1))
|
||||||
std::cerr<<"x1(1 + epsilon) == x1(1) == "<<x1((T) 1)<<"\n";
|
std::cerr<<"x1(1 + epsilon) == x1(1) == "<<x1((T) 1)<<"\n";
|
||||||
|
|
||||||
BOOST_TEST((T) 1 - boost::hash_detail::float_limits<T>::epsilon() != (T) 1);
|
BOOST_TEST((T) 1 - boost::hash_detail::limits<T>::epsilon() != (T) 1);
|
||||||
if(x1((T) 1 - boost::hash_detail::float_limits<T>::epsilon()) == x1((T) 1))
|
if(x1((T) 1 - boost::hash_detail::limits<T>::epsilon()) == x1((T) 1))
|
||||||
std::cerr<<"x1(1 - epsilon) == x1(1) == "<<x1((T) 1)<<"\n";
|
std::cerr<<"x1(1 - epsilon) == x1(1) == "<<x1((T) 1)<<"\n";
|
||||||
|
|
||||||
BOOST_TEST((T) -1 + boost::hash_detail::float_limits<T>::epsilon() != (T) -1);
|
BOOST_TEST((T) -1 + boost::hash_detail::limits<T>::epsilon() != (T) -1);
|
||||||
if(x1((T) -1 + boost::hash_detail::float_limits<T>::epsilon()) == x1((T) -1))
|
if(x1((T) -1 + boost::hash_detail::limits<T>::epsilon()) == x1((T) -1))
|
||||||
std::cerr<<"x1(-1 + epsilon) == x1(-1) == "<<x1((T) -1)<<"\n";
|
std::cerr<<"x1(-1 + epsilon) == x1(-1) == "<<x1((T) -1)<<"\n";
|
||||||
|
|
||||||
BOOST_TEST((T) -1 - boost::hash_detail::float_limits<T>::epsilon() != (T) -1);
|
BOOST_TEST((T) -1 - boost::hash_detail::limits<T>::epsilon() != (T) -1);
|
||||||
if(x1((T) -1 - boost::hash_detail::float_limits<T>::epsilon()) == x1((T) -1))
|
if(x1((T) -1 - boost::hash_detail::limits<T>::epsilon()) == x1((T) -1))
|
||||||
std::cerr<<"x1(-1 - epsilon) == x1(-1) == "<<x1((T) -1)<<"\n";
|
std::cerr<<"x1(-1 - epsilon) == x1(-1) == "<<x1((T) -1)<<"\n";
|
||||||
|
|
||||||
// As before.
|
// As before.
|
||||||
if(boost::hash_detail::float_limits<T>::has_denorm) {
|
if(boost::hash_detail::limits<T>::has_denorm) {
|
||||||
if(x1(boost::hash_detail::float_limits<T>::denorm_min()) == x1(zero)) {
|
if(x1(boost::hash_detail::limits<T>::denorm_min()) == x1(zero)) {
|
||||||
std::cerr<<"x1(denorm_min) == x1(zero) == "<<x1(zero)<<"\n";
|
std::cerr<<"x1(denorm_min) == x1(zero) == "<<x1(zero)<<"\n";
|
||||||
}
|
}
|
||||||
#if !BOOST_WORKAROUND(__DECCXX_VER,<70190006)
|
#if !BOOST_WORKAROUND(__DECCXX_VER,<70190006)
|
||||||
// The Tru64/CXX standard library prior to 7.1 contains a bug in the
|
// The Tru64/CXX standard library prior to 7.1 contains a bug in the
|
||||||
// specialization of boost::hash_detail::float_limits::denorm_min() for long
|
// specialization of boost::hash_detail::limits::denorm_min() for long
|
||||||
// doubles which causes this test to fail.
|
// doubles which causes this test to fail.
|
||||||
if(x1(boost::hash_detail::float_limits<T>::denorm_min()) !=
|
if(x1(boost::hash_detail::limits<T>::denorm_min()) !=
|
||||||
HASH_NAMESPACE::hash_value(boost::hash_detail::float_limits<T>::denorm_min()))
|
HASH_NAMESPACE::hash_value(boost::hash_detail::limits<T>::denorm_min()))
|
||||||
{
|
{
|
||||||
std::cerr<<"x1(boost::hash_detail::float_limits<T>::denorm_min()) = "
|
std::cerr<<"x1(boost::hash_detail::limits<T>::denorm_min()) = "
|
||||||
<< x1(boost::hash_detail::float_limits<T>::denorm_min())
|
<< x1(boost::hash_detail::limits<T>::denorm_min())
|
||||||
<< "\nhash_value(boost::hash_detail::float_limits<T>::denorm_min()) = "
|
<< "\nhash_value(boost::hash_detail::limits<T>::denorm_min()) = "
|
||||||
<< HASH_NAMESPACE::hash_value(
|
<< HASH_NAMESPACE::hash_value(
|
||||||
boost::hash_detail::float_limits<T>::denorm_min())
|
boost::hash_detail::limits<T>::denorm_min())
|
||||||
<< "\nx1(0) = "<<x1(0)<<"\n";
|
<< "\nx1(0) = "<<x1(0)<<"\n";
|
||||||
}
|
}
|
||||||
#endif
|
#endif
|
||||||
@@ -183,12 +183,12 @@ void float_tests(char const* name, T* = 0)
|
|||||||
|
|
||||||
// NaN also causes borland to crash.
|
// NaN also causes borland to crash.
|
||||||
#if !defined(__BORLANDC__)
|
#if !defined(__BORLANDC__)
|
||||||
if(boost::hash_detail::float_limits<T>::has_quiet_NaN) {
|
if(boost::hash_detail::limits<T>::has_quiet_NaN) {
|
||||||
if(x1(boost::hash_detail::float_limits<T>::quiet_NaN()) == x1(1.0)) {
|
if(x1(boost::hash_detail::limits<T>::quiet_NaN()) == x1(1.0)) {
|
||||||
std::cerr<<"x1(quiet_NaN) == x1(1.0) == "<<x1(1.0)<<"\n";
|
std::cerr<<"x1(quiet_NaN) == x1(1.0) == "<<x1(1.0)<<"\n";
|
||||||
}
|
}
|
||||||
BOOST_TEST(x1(boost::hash_detail::float_limits<T>::quiet_NaN()) ==
|
BOOST_TEST(x1(boost::hash_detail::limits<T>::quiet_NaN()) ==
|
||||||
HASH_NAMESPACE::hash_value(boost::hash_detail::float_limits<T>::quiet_NaN()));
|
HASH_NAMESPACE::hash_value(boost::hash_detail::limits<T>::quiet_NaN()));
|
||||||
}
|
}
|
||||||
#endif
|
#endif
|
||||||
}
|
}
|
||||||
|
@@ -24,7 +24,7 @@
|
|||||||
template <class T>
|
template <class T>
|
||||||
void numeric_test(T*)
|
void numeric_test(T*)
|
||||||
{
|
{
|
||||||
typedef boost::hash_detail::float_limits<T> limits;
|
typedef boost::hash_detail::limits<T> limits;
|
||||||
|
|
||||||
compile_time_tests((T*) 0);
|
compile_time_tests((T*) 0);
|
||||||
|
|
||||||
@@ -60,7 +60,7 @@ void numeric_test(T*)
|
|||||||
template <class T>
|
template <class T>
|
||||||
void limits_test(T*)
|
void limits_test(T*)
|
||||||
{
|
{
|
||||||
typedef boost::hash_detail::float_limits<T> limits;
|
typedef boost::hash_detail::limits<T> limits;
|
||||||
|
|
||||||
if(limits::is_specialized)
|
if(limits::is_specialized)
|
||||||
{
|
{
|
||||||
@@ -91,7 +91,7 @@ void limits_test(T*)
|
|||||||
template <class T>
|
template <class T>
|
||||||
void poor_quality_tests(T*)
|
void poor_quality_tests(T*)
|
||||||
{
|
{
|
||||||
typedef boost::hash_detail::float_limits<T> limits;
|
typedef boost::hash_detail::limits<T> limits;
|
||||||
|
|
||||||
HASH_NAMESPACE::hash<T> x1;
|
HASH_NAMESPACE::hash<T> x1;
|
||||||
HASH_NAMESPACE::hash<T> x2;
|
HASH_NAMESPACE::hash<T> x2;
|
||||||
|
@@ -47,11 +47,11 @@ namespace boost
|
|||||||
namespace hash_detail
|
namespace hash_detail
|
||||||
{
|
{
|
||||||
template <class T>
|
template <class T>
|
||||||
struct float_limits : std::numeric_limits<T> {};
|
struct limits : std::numeric_limits<T> {};
|
||||||
|
|
||||||
#if defined(__OpenBSD__)
|
#if defined(__OpenBSD__)
|
||||||
template <>
|
template <>
|
||||||
struct float_limits<long double>
|
struct limits<long double>
|
||||||
: std::numeric_limits<long double>
|
: std::numeric_limits<long double>
|
||||||
{
|
{
|
||||||
static long double epsilon() {
|
static long double epsilon() {
|
||||||
@@ -96,19 +96,19 @@ namespace boost
|
|||||||
//BOOST_ASSERT(0 <= v && v < 0.5);
|
//BOOST_ASSERT(0 <= v && v < 0.5);
|
||||||
|
|
||||||
v = boost::hash_detail::call_ldexp(v,
|
v = boost::hash_detail::call_ldexp(v,
|
||||||
float_limits<std::size_t>::digits + 1);
|
limits<std::size_t>::digits + 1);
|
||||||
std::size_t seed = static_cast<std::size_t>(v);
|
std::size_t seed = static_cast<std::size_t>(v);
|
||||||
v -= seed;
|
v -= seed;
|
||||||
|
|
||||||
// ceiling(digits(T) * log2(radix(T))/ digits(size_t)) - 1;
|
// ceiling(digits(T) * log2(radix(T))/ digits(size_t)) - 1;
|
||||||
std::size_t const length
|
std::size_t const length
|
||||||
= (float_limits<T>::digits *
|
= (limits<T>::digits *
|
||||||
boost::static_log2<float_limits<T>::radix>::value - 1)
|
boost::static_log2<limits<T>::radix>::value - 1)
|
||||||
/ float_limits<std::size_t>::digits;
|
/ limits<std::size_t>::digits;
|
||||||
|
|
||||||
for(std::size_t i = 0; i < length; ++i)
|
for(std::size_t i = 0; i < length; ++i)
|
||||||
{
|
{
|
||||||
v = boost::hash_detail::call_ldexp(v, float_limits<std::size_t>::digits);
|
v = boost::hash_detail::call_ldexp(v, limits<std::size_t>::digits);
|
||||||
std::size_t part = static_cast<std::size_t>(v);
|
std::size_t part = static_cast<std::size_t>(v);
|
||||||
v -= part;
|
v -= part;
|
||||||
hash_float_combine(seed, part);
|
hash_float_combine(seed, part);
|
||||||
|
Reference in New Issue
Block a user