123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566 |
- // (C) Copyright John Maddock 2017.
- // Distributed under the Boost Software License, Version 1.0. (See
- // accompanying file LICENSE_1_0.txt or copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- #include <boost/integer/common_factor.hpp>
- #ifndef BOOST_NO_CXX14_CONSTEXPR
- void test_constexpr1()
- {
- constexpr const boost::int64_t i = 347 * 463 * 727;
- constexpr const boost::int64_t j = 191 * 347 * 281;
- constexpr const boost::int64_t k = boost::integer::gcd(i, j);
- constexpr const boost::int64_t l = boost::integer::lcm(i, j);
- static_assert(k == 347, "Expected result not integer in constexpr gcd.");
- static_assert(l == 6268802158037, "Expected result not integer in constexpr lcm.");
- }
- void test_constexpr2()
- {
- constexpr const boost::uint64_t i = 347 * 463 * 727;
- constexpr const boost::uint64_t j = 191 * 347 * 281;
- constexpr const boost::uint64_t k = boost::integer::gcd(i, j);
- constexpr const boost::uint64_t l = boost::integer::lcm(i, j);
- static_assert(k == 347, "Expected result not integer in constexpr gcd.");
- static_assert(l == 6268802158037, "Expected result not integer in constexpr lcm.");
- }
- void test_constexpr3()
- {
- constexpr const boost::uint64_t i = 347 * 463 * 727;
- constexpr const boost::uint64_t j = 191 * 347 * 281;
- constexpr const boost::uint64_t k = boost::integer::gcd_detail::Euclid_gcd(i, j);
- static_assert(k == 347, "Expected result not integer in constexpr gcd.");
- }
- void test_constexpr4()
- {
- constexpr const boost::uint64_t i = 347 * 463 * 727;
- constexpr const boost::uint64_t j = 191 * 347 * 281;
- constexpr const boost::uint64_t k = boost::integer::gcd_detail::mixed_binary_gcd(i, j);
- static_assert(k == 347, "Expected result not integer in constexpr gcd.");
- }
- void test_constexpr5()
- {
- constexpr const boost::uint64_t i = 347 * 463 * 727;
- constexpr const boost::uint64_t j = 191 * 347 * 281;
- constexpr const boost::uint64_t k = boost::integer::gcd_detail::Stein_gcd(i, j);
- static_assert(k == 347, "Expected result not integer in constexpr gcd.");
- }
- #endif
|