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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
// Copyright (C) 2020-2023 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.
//
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3. If not see
// <http://www.gnu.org/licenses/>.
// only: float|double|ldouble * * *
// expensive: * [1-9] * *
#include "bits/verify.h"
#include "bits/metahelpers.h"
#include "bits/test_values.h"
template <typename V>
void
test()
{
using T = typename V::value_type;
vir::test::setFuzzyness<float>(1);
vir::test::setFuzzyness<double>(1);
vir::test::setFuzzyness<long double>(1);
test_values_2arg<V>(
{
#ifdef __STDC_IEC_559__
std::__quiet_NaN_v<T>, std::__infinity_v<T>, -std::__infinity_v<T>, -0.,
std::__denorm_min_v<T>, std::__norm_min_v<T> / 3,
#endif
+0., std::__norm_min_v<T>, 1., 2., std::__finite_max_v<T> / 5,
std::__finite_max_v<T> / 3, std::__finite_max_v<T> / 2,
#ifdef __FAST_MATH__
// fast-math hypot is imprecise for the max exponent
},
{100000, std::__finite_max_v<T> / 2},
#else
std::__finite_max_v<T>},
{100000},
#endif
MAKE_TESTER(hypot));
#if !__FINITE_MATH_ONLY__
COMPARE(hypot(V(std::__finite_max_v<T>), V(std::__finite_max_v<T>)),
V(std::__infinity_v<T>));
#endif
COMPARE(hypot(V(std::__norm_min_v<T>), V(std::__norm_min_v<T>)),
V(std::__norm_min_v<T> * std::sqrt(T(2))));
VERIFY((sfinae_is_callable<V, V>(
[](auto a, auto b) -> decltype(hypot(a, b)) { return {}; })));
VERIFY((sfinae_is_callable<typename V::value_type, V>(
[](auto a, auto b) -> decltype(hypot(a, b)) { return {}; })));
VERIFY((sfinae_is_callable<V, typename V::value_type>(
[](auto a, auto b) -> decltype(hypot(a, b)) { return {}; })));
vir::test::setFuzzyness<float>(0);
vir::test::setFuzzyness<double>(0);
vir::test::setFuzzyness<long double>(0);
test_values_2arg<V>(
{
#ifdef __STDC_IEC_559__
std::__quiet_NaN_v<T>, std::__infinity_v<T>, -std::__infinity_v<T>,
std::__denorm_min_v<T>, std::__norm_min_v<T> / 3, -0.,
#endif
+0., std::__norm_min_v<T>, std::__finite_max_v<T>},
{10000}, MAKE_TESTER(pow), MAKE_TESTER(fmod), MAKE_TESTER(remainder),
MAKE_TESTER_NOFPEXCEPT(copysign),
MAKE_TESTER(nextafter), // MAKE_TESTER(nexttoward),
MAKE_TESTER(fdim), MAKE_TESTER(fmax), MAKE_TESTER(fmin),
MAKE_TESTER_NOFPEXCEPT(isgreater), MAKE_TESTER_NOFPEXCEPT(isgreaterequal),
MAKE_TESTER_NOFPEXCEPT(isless), MAKE_TESTER_NOFPEXCEPT(islessequal),
MAKE_TESTER_NOFPEXCEPT(islessgreater), MAKE_TESTER_NOFPEXCEPT(isunordered));
}
|
