boostorg/multiprecision
1
0
Fork 0
mirror of https://github.com/boostorg/multiprecision.git synced 2026-07-21 13:23:49 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add more conversion edge-case tests

Browse Source
This commit is contained in:
ckormanyos
2025-04-29 15:42:36 +02:00
parent 7fbf11e378
commit e3b50cfc76
2 changed files with 114 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files
include/boost/multiprecision/cpp_bin_float.hpp
+2 -2
View File
@@ -1,6 +1,6 @@
////////////////////////////////////////////////////////////////
// Copyright 2013 - 2022 John Maddock.
// Copyright 2022 Christopher Kormanyos.
// Copyright 2013 - 2025 John Maddock.
// Copyright 2022 - 2025 Christopher Kormanyos.
// Distributed under the Boost Software License,
// Version 1.0. (See accompanying file LICENSE_1_0.txt
// or copy at https://www.boost.org/LICENSE_1_0.txt)
test/git_issue_652.cpp
+112 -19
View File
@@ -58,10 +58,10 @@ auto test_max_convert() -> void
namespace detail {
template<typename FloatType>
auto test_convert_negs_to_ull_impl(std::vector<unsigned long long>& ull_ctrls) -> void
template<typename FloatType, typename LongIshType>
auto test_convert_neg_to_ll_types_impl(std::vector<LongIshType>& ll_ctrls) -> void
{
ull_ctrls.clear();
ll_ctrls.clear();
using float_type = FloatType;
@@ -72,52 +72,140 @@ auto test_convert_negs_to_ull_impl(std::vector<unsigned long long>& ull_ctrls) -
const float_array_type factors =
{
float_type { -ldexp(float_type { 1 }, -28) },
float_type { -1.0E-9 },
float_type { -0.999 },
float_type { "-1.0E-9" },
float_type { "-0.999" },
float_type { -1 },
float_type { -1.011 },
float_type { -2.022 },
float_type { -3.033 },
float_type { -4.044 },
float_type { -5.055 }
float_type { "-1.011" },
float_type { "-2.022" },
float_type { "-3.033" },
float_type { "-4.044" },
float_type { "-5.055" }
};
using ull_array_type = std::array<unsigned long long, std::tuple_size<float_array_type>::value>;
for(std::size_t i = std::size_t { UINT8_C(0) }; i < factors.size(); ++i)
{
static_cast<void>(i);
using float_type = FloatType;
using long_type = LongIshType;
const float_type
flt_val
{
static_cast<float_type>((std::numeric_limits<unsigned long long>::max)()) * factors[i]
static_cast<float_type>((std::numeric_limits<long_type>::max)()) * factors[i]
};
const unsigned long long conversion_result { static_cast<unsigned long long>(flt_val) };
const long_type conversion_result { static_cast<long_type>(flt_val) };
ull_ctrls.push_back(conversion_result);
ll_ctrls.push_back(conversion_result);
}
}
template<typename FloatType, typename LongIshType>
auto test_convert_pos_to_ll_types_impl(std::vector<LongIshType>& ll_ctrls) -> void
{
ll_ctrls.clear();
using float_type = FloatType;
using std::ldexp;
using float_array_type = std::array<float_type, std::size_t { UINT8_C(9) }>;
const float_array_type factors =
{
float_type { +ldexp(float_type { 1 }, -28) },
float_type { "+1.0E-9" },
float_type { "+0.999" },
float_type { -1 },
float_type { "+1.011" },
float_type { "+2.022" },
float_type { "+3.033" },
float_type { "+4.044" },
float_type { "+5.055" }
};
for(std::size_t i = std::size_t { UINT8_C(0) }; i < factors.size(); ++i)
{
static_cast<void>(i);
using float_type = FloatType;
using long_type = LongIshType;
const float_type
flt_val
{
static_cast<float_type>((std::numeric_limits<long_type>::max)()) * factors[i]
};
const long_type conversion_result { static_cast<long_type>(flt_val) };
ll_ctrls.push_back(conversion_result);
}
}
} // namespace detail
auto test_convert_negs_to_ull() -> void
auto test_convert_pos_to_ll_types() -> void
{
std::vector<unsigned long long> ull_ctrls_dec;
std::vector<unsigned long long> ull_ctrls_bin;
detail::test_convert_negs_to_ull_impl<::boost::multiprecision::cpp_dec_float_50>(ull_ctrls_dec);
detail::test_convert_negs_to_ull_impl<::boost::multiprecision::cpp_bin_float_50>(ull_ctrls_bin);
std::vector<signed long long> sll_ctrls_dec;
std::vector<signed long long> sll_ctrls_bin;
detail::test_convert_pos_to_ll_types_impl<::boost::multiprecision::cpp_dec_float_50, unsigned long long>(ull_ctrls_dec);
detail::test_convert_pos_to_ll_types_impl<::boost::multiprecision::cpp_bin_float_50, unsigned long long>(ull_ctrls_bin);
detail::test_convert_pos_to_ll_types_impl<::boost::multiprecision::cpp_dec_float_50, signed long long>(sll_ctrls_dec);
detail::test_convert_pos_to_ll_types_impl<::boost::multiprecision::cpp_bin_float_50, signed long long>(sll_ctrls_bin);
BOOST_TEST(ull_ctrls_dec.size() == ull_ctrls_bin.size());
BOOST_TEST(!ull_ctrls_dec.empty());
for(std::size_t i { std::size_t { UINT8_C(0) } }; i < ull_ctrls_dec.size(); ++i)
{
BOOST_TEST(ull_ctrls_dec[i] == ull_ctrls_bin[i]);
}
BOOST_TEST(sll_ctrls_dec.size() == sll_ctrls_bin.size());
BOOST_TEST(!sll_ctrls_dec.empty());
for(std::size_t i { std::size_t { UINT8_C(0) } }; i < sll_ctrls_dec.size(); ++i)
{
BOOST_TEST(sll_ctrls_dec[i] == sll_ctrls_bin[i]);
}
}
auto test_convert_neg_to_ll_types() -> void
{
std::vector<unsigned long long> ull_ctrls_dec;
std::vector<unsigned long long> ull_ctrls_bin;
std::vector<signed long long> sll_ctrls_dec;
std::vector<signed long long> sll_ctrls_bin;
detail::test_convert_neg_to_ll_types_impl<::boost::multiprecision::cpp_dec_float_50, unsigned long long>(ull_ctrls_dec);
detail::test_convert_neg_to_ll_types_impl<::boost::multiprecision::cpp_bin_float_50, unsigned long long>(ull_ctrls_bin);
detail::test_convert_neg_to_ll_types_impl<::boost::multiprecision::cpp_dec_float_50, signed long long>(sll_ctrls_dec);
detail::test_convert_neg_to_ll_types_impl<::boost::multiprecision::cpp_bin_float_50, signed long long>(sll_ctrls_bin);
BOOST_TEST(ull_ctrls_dec.size() == ull_ctrls_bin.size());
BOOST_TEST(!ull_ctrls_dec.empty());
for(std::size_t i { std::size_t { UINT8_C(0) } }; i < ull_ctrls_dec.size(); ++i)
{
BOOST_TEST(ull_ctrls_dec[i] == ull_ctrls_bin[i]);
}
BOOST_TEST(sll_ctrls_dec.size() == sll_ctrls_bin.size());
BOOST_TEST(!sll_ctrls_dec.empty());
for(std::size_t i { std::size_t { UINT8_C(0) } }; i < sll_ctrls_dec.size(); ++i)
{
BOOST_TEST(sll_ctrls_dec[i] == sll_ctrls_bin[i]);
}
}
} // namespace local
@@ -128,7 +216,12 @@ auto main() -> int
local::test_max_convert<::boost::multiprecision::cpp_bin_float_50, unsigned long long>();
local::test_convert_negs_to_ull();
local::test_max_convert<::boost::multiprecision::cpp_dec_float_50, signed long long>();
local::test_max_convert<::boost::multiprecision::cpp_bin_float_50, signed long long>();
local::test_convert_neg_to_ll_types();
local::test_convert_pos_to_ll_types();
return boost::report_errors();
}