89 lines · cpp
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-exception6//7//===----------------------------------------------------------------------===//8 9// UNSUPPORTED: c++03, c++11, c++14, c++1710 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