1
2 // (C) Copyright John Maddock 2017.
3 // Distributed under the Boost Software License, Version 1.0. (See
4 // accompanying file LICENSE_1_0.txt or copy at
5 // https://www.boost.org/LICENSE_1_0.txt)
6
7 #include <boost/integer/common_factor.hpp>
8
9 #ifndef BOOST_NO_CXX14_CONSTEXPR
10
test_constexpr1()11 void test_constexpr1()
12 {
13 constexpr const boost::int64_t i = 347 * 463 * 727;
14 constexpr const boost::int64_t j = 191 * 347 * 281;
15
16 constexpr const boost::int64_t k = boost::integer::gcd(i, j);
17 constexpr const boost::int64_t l = boost::integer::lcm(i, j);
18
19 static_assert(k == 347, "Expected result not integer in constexpr gcd.");
20 static_assert(l == 6268802158037, "Expected result not integer in constexpr lcm.");
21 }
22
test_constexpr2()23 void test_constexpr2()
24 {
25 constexpr const boost::uint64_t i = 347 * 463 * 727;
26 constexpr const boost::uint64_t j = 191 * 347 * 281;
27
28 constexpr const boost::uint64_t k = boost::integer::gcd(i, j);
29 constexpr const boost::uint64_t l = boost::integer::lcm(i, j);
30
31 static_assert(k == 347, "Expected result not integer in constexpr gcd.");
32 static_assert(l == 6268802158037, "Expected result not integer in constexpr lcm.");
33 }
34
test_constexpr3()35 void test_constexpr3()
36 {
37 constexpr const boost::uint64_t i = 347 * 463 * 727;
38 constexpr const boost::uint64_t j = 191 * 347 * 281;
39
40 constexpr const boost::uint64_t k = boost::integer::gcd_detail::Euclid_gcd(i, j);
41
42 static_assert(k == 347, "Expected result not integer in constexpr gcd.");
43 }
44
test_constexpr4()45 void test_constexpr4()
46 {
47 constexpr const boost::uint64_t i = 347 * 463 * 727;
48 constexpr const boost::uint64_t j = 191 * 347 * 281;
49
50 constexpr const boost::uint64_t k = boost::integer::gcd_detail::mixed_binary_gcd(i, j);
51
52 static_assert(k == 347, "Expected result not integer in constexpr gcd.");
53 }
54
test_constexpr5()55 void test_constexpr5()
56 {
57 constexpr const boost::uint64_t i = 347 * 463 * 727;
58 constexpr const boost::uint64_t j = 191 * 347 * 281;
59
60 constexpr const boost::uint64_t k = boost::integer::gcd_detail::Stein_gcd(i, j);
61
62 static_assert(k == 347, "Expected result not integer in constexpr gcd.");
63 }
64 #endif
65
66
67