--- /dev/null
+///////////////////////////////////////////////////////////////
+// Copyright 2012 John Maddock.
+// Copyright 2021 Matt Borland. 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
+
+#ifdef _MSC_VER
+#define _SCL_SECURE_NO_WARNINGS
+#endif
+
+#define BOOST_MP_STANDALONE
+
+#ifdef HAS_TOMMATH
+
+#include <boost/multiprecision/cpp_int.hpp>
+#include <boost/random/mersenne_twister.hpp>
+#include <boost/multiprecision/tommath.hpp>
+#include <boost/multiprecision/cpp_bin_float.hpp>
+#include <boost/multiprecision/cpp_dec_float.hpp>
+#include "test.hpp"
+
+#if defined(HAS_GMP)
+#include <boost/multiprecision/gmp.hpp>
+#endif
+#if defined(HAS_MPFR)
+#include <boost/multiprecision/mpfr.hpp>
+#endif
+#if defined(HAS_MPFI)
+#include <boost/multiprecision/mpfi.hpp>
+#endif
+#ifdef HAS_FLOAT128
+#include <boost/multiprecision/float128.hpp>
+#endif
+
+using namespace boost::multiprecision;
+
+#ifdef BOOST_MSVC
+#pragma warning(disable : 4127)
+#endif
+
+template <class T>
+T generate_random(unsigned bits_wanted)
+{
+ static boost::random::mt19937 gen;
+ typedef boost::random::mt19937::result_type random_type;
+
+ T max_val;
+ unsigned digits;
+ if (std::numeric_limits<T>::is_bounded && (bits_wanted == (unsigned)std::numeric_limits<T>::digits))
+ {
+ max_val = (std::numeric_limits<T>::max)();
+ digits = std::numeric_limits<T>::digits;
+ }
+ else
+ {
+ max_val = T(1) << bits_wanted;
+ digits = bits_wanted;
+ }
+
+ unsigned bits_per_r_val = std::numeric_limits<random_type>::digits - 1;
+ while ((random_type(1) << bits_per_r_val) > (gen.max)())
+ --bits_per_r_val;
+
+ unsigned terms_needed = digits / bits_per_r_val + 1;
+
+ T val = 0;
+ for (unsigned i = 0; i < terms_needed; ++i)
+ {
+ val *= (gen.max)();
+ val += gen();
+ }
+ val %= max_val;
+ return val;
+}
+
+template <class From, class To>
+void test_convert_neg_int(From from, const std::integral_constant<bool, true>&)
+{
+ from = -from;
+ To t3(from);
+ To t4 = from.template convert_to<To>();
+ BOOST_CHECK_EQUAL(from.str(), t3.str());
+ BOOST_CHECK_EQUAL(from.str(), t4.str());
+}
+template <class From, class To>
+void test_convert_neg_int(From const&, const std::integral_constant<bool, false>&)
+{
+}
+
+template <class From, class To>
+void test_convert_imp(std::integral_constant<int, number_kind_integer> const&, std::integral_constant<int, number_kind_integer> const&)
+{
+ int bits_wanted = (std::min)((std::min)(std::numeric_limits<From>::digits, std::numeric_limits<To>::digits), 2000);
+
+ for (unsigned i = 0; i < 100; ++i)
+ {
+ From from = generate_random<From>(bits_wanted);
+ To t1(from);
+ To t2 = from.template convert_to<To>();
+ BOOST_CHECK_EQUAL(from.str(), t1.str());
+ BOOST_CHECK_EQUAL(from.str(), t2.str());
+ test_convert_neg_int<From, To>(from, std::integral_constant<bool, std::numeric_limits<From>::is_signed && std::numeric_limits<To>::is_signed > ());
+ }
+}
+
+template <class From, class To>
+void test_convert_neg_rat(From from, const std::integral_constant<bool, true>&)
+{
+ from = -from;
+ To t3(from);
+ To t4 = from.template convert_to<To>();
+ BOOST_CHECK_EQUAL(from.str(), numerator(t3).str());
+ BOOST_CHECK_EQUAL(from.str(), numerator(t4).str());
+}
+template <class From, class To>
+void test_convert_neg_rat(From const&, const std::integral_constant<bool, false>&)
+{
+}
+
+template <class From, class To>
+void test_convert_imp(std::integral_constant<int, number_kind_integer> const&, std::integral_constant<int, number_kind_rational> const&)
+{
+ int bits_wanted = (std::min)((std::min)(std::numeric_limits<From>::digits, std::numeric_limits<To>::digits), 2000);
+
+ for (unsigned i = 0; i < 100; ++i)
+ {
+ From from = generate_random<From>(bits_wanted);
+ To t1(from);
+ To t2 = from.template convert_to<To>();
+ BOOST_CHECK_EQUAL(from.str(), numerator(t1).str());
+ BOOST_CHECK_EQUAL(from.str(), numerator(t2).str());
+ test_convert_neg_rat<From, To>(from, std::integral_constant<bool, std::numeric_limits<From>::is_signed && std::numeric_limits<To>::is_signed > ());
+ }
+}
+
+template <class From, class To>
+void test_convert_neg_float(From from, const std::integral_constant<bool, true>&)
+{
+ from = -from;
+ To t3(from);
+ To t4 = from.template convert_to<To>();
+ To check(from.str() + ".0");
+ BOOST_CHECK_EQUAL(t3, check);
+ BOOST_CHECK_EQUAL(t4, check);
+}
+template <class From, class To>
+void test_convert_neg_float(From const&, const std::integral_constant<bool, false>&)
+{
+}
+
+template <class From, class To>
+void test_convert_imp(std::integral_constant<int, number_kind_integer> const&, std::integral_constant<int, number_kind_floating_point> const&)
+{
+ int bits_wanted = (std::min)((std::min)(std::numeric_limits<From>::digits, std::numeric_limits<To>::digits), 2000);
+
+ for (unsigned i = 0; i < 100; ++i)
+ {
+ From from = generate_random<From>(bits_wanted);
+ To t1(from);
+ To t2 = from.template convert_to<To>();
+ To check(from.str() + ".0");
+ BOOST_CHECK_EQUAL(t1, check);
+ BOOST_CHECK_EQUAL(t2, check);
+ test_convert_neg_float<From, To>(from, std::integral_constant<bool, std::numeric_limits<From>::is_signed && std::numeric_limits<To>::is_signed > ());
+ }
+}
+
+template <class From, class To>
+void test_convert()
+{
+ test_convert_imp<From, To>(typename number_category<From>::type(), typename number_category<To>::type());
+}
+
+template <typename From, typename To>
+void test_convert_to_builtin()
+{
+ const int bits_wanted = (std::min)((std::min)(std::numeric_limits<From>::digits, std::numeric_limits<To>::digits), 2000);
+
+ for (unsigned i = 0; i < 100; ++i)
+ {
+ From from = generate_random<From>(bits_wanted);
+ To t1 = from;
+ To t2 = from.template convert_to<To>();
+ BOOST_CHECK_EQUAL(t1, t2);
+ }
+}
+
+int main()
+{
+ test_convert_to_builtin<tom_int, unsigned long long>();
+ test_convert_to_builtin<tom_int, long long>();
+ test_convert_to_builtin<tom_int, long>();
+ test_convert_to_builtin<tom_int, unsigned>();
+
+ #ifndef BOOST_MATH_NO_LONG_DOUBLE_MATH_FUNCTIONS
+ test_convert_to_builtin<tom_int, long double>();
+ #endif
+ test_convert_to_builtin<tom_int, double>();
+ test_convert_to_builtin<tom_int, float>();
+
+ return boost::report_errors();
+}
+
+#else
+
+int main() { return 0; }
+
+#endif
projects / ceph.git / blobdiff