1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
///////////////////////////////////////////////////////////////
// Copyright 2012 John Maddock.
// Copyright 2021 - 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
#if defined(_MSC_VER)
#define _SCL_SECURE_NO_WARNINGS
#endif
#include <boost/multiprecision/cpp_double_fp.hpp>
#include "test_arithmetic.hpp"
template<typename FloatType>
auto test_constexpr_ness() noexcept -> void
{
using local_float_type = FloatType;
constexpr local_float_type one { 1 };
static_assert(one == 1, "Error: constexpr local_float_type construction failed");
BOOST_CHECK(one == 1);
constexpr local_float_type dd_a { 1.23 };
constexpr local_float_type dd_b { 4.56 };
constexpr local_float_type dd_c { dd_a * dd_b };
constexpr local_float_type dd_s { sqrt(dd_a) };
constexpr local_float_type sqrt_hundred { sqrt(local_float_type(100)) };
constexpr local_float_type log_hundred { log(local_float_type(100)) };
static_assert(dd_c > 5, "Error in constexpr multiplication");
static_assert(dd_s > 1, "Error in constexpr square root");
static_assert(sqrt_hundred == 10, "Error in constexpr square root");
static_assert(log_hundred > local_float_type(4.605L), "Error in constexpr logarithm");
BOOST_CHECK(dd_c > 5);
BOOST_CHECK(dd_s > 1);
BOOST_CHECK(sqrt_hundred == 10);
BOOST_CHECK(log_hundred > local_float_type(4.605L));
}
int main()
{
::test_constexpr_ness<boost::multiprecision::cpp_double_float>();
::test_constexpr_ness<boost::multiprecision::cpp_double_double>();
::test_constexpr_ness<boost::multiprecision::cpp_double_long_double>();
#ifdef BOOST_HAS_FLOAT128
::test_constexpr_ness<boost::multiprecision::cpp_double_float128>();
#endif
test<boost::multiprecision::cpp_double_float>();
test<boost::multiprecision::cpp_double_double>();
test<boost::multiprecision::cpp_double_long_double>();
#ifdef BOOST_HAS_FLOAT128
test<boost::multiprecision::cpp_double_float128>();
#endif
return boost::report_errors();
}
|
