1//===----------------------------------------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8
9// UNSUPPORTED: c++03, c++11, c++14, c++17
10
11#include <cassert>
12#include <numbers>
13
14constexpr bool tests() {
15 assert(std::numbers::e == 0x1.5bf0a8b145769p+1);
16 assert(std::numbers::e_v<double> == 0x1.5bf0a8b145769p+1);
17 assert(std::numbers::e_v<long double> == 0x1.5bf0a8b145769p+1l);
18 assert(std::numbers::e_v<float> == 0x1.5bf0a8p+1f);
19
20 assert(std::numbers::log2e == 0x1.71547652b82fep+0);
21 assert(std::numbers::log2e_v<double> == 0x1.71547652b82fep+0);
22 assert(std::numbers::log2e_v<long double> == 0x1.71547652b82fep+0l);
23 assert(std::numbers::log2e_v<float> == 0x1.715476p+0f);
24
25 assert(std::numbers::log10e == 0x1.bcb7b1526e50ep-2);
26 assert(std::numbers::log10e_v<double> == 0x1.bcb7b1526e50ep-2);
27 assert(std::numbers::log10e_v<long double> == 0x1.bcb7b1526e50ep-2l);
28 assert(std::numbers::log10e_v<float> == 0x1.bcb7b15p-2f);
29
30 assert(std::numbers::pi == 0x1.921fb54442d18p+1);
31 assert(std::numbers::pi_v<double> == 0x1.921fb54442d18p+1);
32 assert(std::numbers::pi_v<long double> == 0x1.921fb54442d18p+1l);
33 assert(std::numbers::pi_v<float> == 0x1.921fb54p+1f);
34
35 assert(std::numbers::inv_pi == 0x1.45f306dc9c883p-2);
36 assert(std::numbers::inv_pi_v<double> == 0x1.45f306dc9c883p-2);
37 assert(std::numbers::inv_pi_v<long double> == 0x1.45f306dc9c883p-2l);
38 assert(std::numbers::inv_pi_v<float> == 0x1.45f306p-2f);
39
40 assert(std::numbers::inv_sqrtpi == 0x1.20dd750429b6dp-1);
41 assert(std::numbers::inv_sqrtpi_v<double> == 0x1.20dd750429b6dp-1);
42 assert(std::numbers::inv_sqrtpi_v<long double> == 0x1.20dd750429b6dp-1l);
43 assert(std::numbers::inv_sqrtpi_v<float> == 0x1.20dd76p-1f);
44
45 assert(std::numbers::ln2 == 0x1.62e42fefa39efp-1);
46 assert(std::numbers::ln2_v<double> == 0x1.62e42fefa39efp-1);
47 assert(std::numbers::ln2_v<long double> == 0x1.62e42fefa39efp-1l);
48 assert(std::numbers::ln2_v<float> == 0x1.62e42fp-1f);
49
50 assert(std::numbers::ln10 == 0x1.26bb1bbb55516p+1);
51 assert(std::numbers::ln10_v<double> == 0x1.26bb1bbb55516p+1);
52 assert(std::numbers::ln10_v<long double> == 0x1.26bb1bbb55516p+1l);
53 assert(std::numbers::ln10_v<float> == 0x1.26bb1bp+1f);
54
55 assert(std::numbers::sqrt2 == 0x1.6a09e667f3bcdp+0);
56 assert(std::numbers::sqrt2_v<double> == 0x1.6a09e667f3bcdp+0);
57 assert(std::numbers::sqrt2_v<long double> == 0x1.6a09e667f3bcdp+0l);
58 assert(std::numbers::sqrt2_v<float> == 0x1.6a09e6p+0f);
59
60 assert(std::numbers::sqrt3 == 0x1.bb67ae8584caap+0);
61 assert(std::numbers::sqrt3_v<double> == 0x1.bb67ae8584caap+0);
62 assert(std::numbers::sqrt3_v<long double> == 0x1.bb67ae8584caap+0l);
63 assert(std::numbers::sqrt3_v<float> == 0x1.bb67aep+0f);
64
65 assert(std::numbers::inv_sqrt3 == 0x1.279a74590331cp-1);
66 assert(std::numbers::inv_sqrt3_v<double> == 0x1.279a74590331cp-1);
67 assert(std::numbers::inv_sqrt3_v<long double> == 0x1.279a74590331cp-1l);
68 assert(std::numbers::inv_sqrt3_v<float> == 0x1.279a74p-1f);
69
70 assert(std::numbers::egamma == 0x1.2788cfc6fb619p-1);
71 assert(std::numbers::egamma_v<double> == 0x1.2788cfc6fb619p-1);
72 assert(std::numbers::egamma_v<long double> == 0x1.2788cfc6fb619p-1l);
73 assert(std::numbers::egamma_v<float> == 0x1.2788cfp-1f);
74
75 assert(std::numbers::phi == 0x1.9e3779b97f4a8p+0);
76 assert(std::numbers::phi_v<double> == 0x1.9e3779b97f4a8p+0);
77 assert(std::numbers::phi_v<long double> == 0x1.9e3779b97f4a8p+0l);
78 assert(std::numbers::phi_v<float> == 0x1.9e3779ap+0f);
79
80 return true;
81}
82
83static_assert(tests());
84
85int main(int, char**) {
86 tests();
87 return 0;
88}
89

source code of libcxx/test/std/numerics/numbers/value.pass.cpp