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 #ifndef _LIBCPP___MATH_TRAITS_H
10 #define _LIBCPP___MATH_TRAITS_H
11
12 #include <__config>
13 #include <__type_traits/enable_if.h>
14 #include <__type_traits/is_arithmetic.h>
15 #include <__type_traits/is_floating_point.h>
16 #include <__type_traits/is_integral.h>
17 #include <__type_traits/is_signed.h>
18 #include <__type_traits/promote.h>
19 #include <limits>
20
21 #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
22 # pragma GCC system_header
23 #endif
24
25 _LIBCPP_BEGIN_NAMESPACE_STD
26
27 namespace __math {
28
29 // signbit
30
31 template <class _A1, __enable_if_t<is_floating_point<_A1>::value, int> = 0>
signbit(_A1 __x)32 _LIBCPP_NODISCARD inline _LIBCPP_HIDE_FROM_ABI bool signbit(_A1 __x) _NOEXCEPT {
33 return __builtin_signbit(__x);
34 }
35
36 template <class _A1, __enable_if_t<is_integral<_A1>::value && is_signed<_A1>::value, int> = 0>
signbit(_A1 __x)37 _LIBCPP_NODISCARD inline _LIBCPP_HIDE_FROM_ABI bool signbit(_A1 __x) _NOEXCEPT {
38 return __x < 0;
39 }
40
41 template <class _A1, __enable_if_t<is_integral<_A1>::value && !is_signed<_A1>::value, int> = 0>
signbit(_A1)42 _LIBCPP_NODISCARD inline _LIBCPP_HIDE_FROM_ABI bool signbit(_A1) _NOEXCEPT {
43 return false;
44 }
45
46 // isfinite
47
48 template <class _A1, __enable_if_t<is_arithmetic<_A1>::value && numeric_limits<_A1>::has_infinity, int> = 0>
isfinite(_A1 __x)49 _LIBCPP_NODISCARD _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isfinite(_A1 __x) _NOEXCEPT {
50 return __builtin_isfinite((typename __promote<_A1>::type)__x);
51 }
52
53 template <class _A1, __enable_if_t<is_arithmetic<_A1>::value && !numeric_limits<_A1>::has_infinity, int> = 0>
isfinite(_A1)54 _LIBCPP_NODISCARD _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isfinite(_A1) _NOEXCEPT {
55 return true;
56 }
57
isfinite(float __x)58 _LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isfinite(float __x) _NOEXCEPT {
59 return __builtin_isfinite(__x);
60 }
61
isfinite(double __x)62 _LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isfinite(double __x) _NOEXCEPT {
63 return __builtin_isfinite(__x);
64 }
65
isfinite(long double __x)66 _LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isfinite(long double __x) _NOEXCEPT {
67 return __builtin_isfinite(__x);
68 }
69
70 // isinf
71
72 template <class _A1, __enable_if_t<is_arithmetic<_A1>::value && numeric_limits<_A1>::has_infinity, int> = 0>
isinf(_A1 __x)73 _LIBCPP_NODISCARD _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isinf(_A1 __x) _NOEXCEPT {
74 return __builtin_isinf((typename __promote<_A1>::type)__x);
75 }
76
77 template <class _A1, __enable_if_t<is_arithmetic<_A1>::value && !numeric_limits<_A1>::has_infinity, int> = 0>
isinf(_A1)78 _LIBCPP_NODISCARD _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isinf(_A1) _NOEXCEPT {
79 return false;
80 }
81
isinf(float __x)82 _LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isinf(float __x) _NOEXCEPT {
83 return __builtin_isinf(__x);
84 }
85
86 _LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI
87 #ifdef _LIBCPP_PREFERRED_OVERLOAD
88 _LIBCPP_PREFERRED_OVERLOAD
89 #endif
90 bool
isinf(double __x)91 isinf(double __x) _NOEXCEPT {
92 return __builtin_isinf(__x);
93 }
94
isinf(long double __x)95 _LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isinf(long double __x) _NOEXCEPT {
96 return __builtin_isinf(__x);
97 }
98
99 // isnan
100
101 template <class _A1, __enable_if_t<is_floating_point<_A1>::value, int> = 0>
isnan(_A1 __x)102 _LIBCPP_NODISCARD _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isnan(_A1 __x) _NOEXCEPT {
103 return __builtin_isnan(__x);
104 }
105
106 template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0>
isnan(_A1)107 _LIBCPP_NODISCARD _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isnan(_A1) _NOEXCEPT {
108 return false;
109 }
110
isnan(float __x)111 _LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isnan(float __x) _NOEXCEPT {
112 return __builtin_isnan(__x);
113 }
114
115 _LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI
116 #ifdef _LIBCPP_PREFERRED_OVERLOAD
117 _LIBCPP_PREFERRED_OVERLOAD
118 #endif
119 bool
isnan(double __x)120 isnan(double __x) _NOEXCEPT {
121 return __builtin_isnan(__x);
122 }
123
isnan(long double __x)124 _LIBCPP_NODISCARD inline _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isnan(long double __x) _NOEXCEPT {
125 return __builtin_isnan(__x);
126 }
127
128 // isnormal
129
130 template <class _A1, __enable_if_t<is_floating_point<_A1>::value, int> = 0>
isnormal(_A1 __x)131 _LIBCPP_NODISCARD _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isnormal(_A1 __x) _NOEXCEPT {
132 return __builtin_isnormal(__x);
133 }
134
135 template <class _A1, __enable_if_t<is_integral<_A1>::value, int> = 0>
isnormal(_A1 __x)136 _LIBCPP_NODISCARD _LIBCPP_CONSTEXPR_SINCE_CXX23 _LIBCPP_HIDE_FROM_ABI bool isnormal(_A1 __x) _NOEXCEPT {
137 return __x != 0;
138 }
139
140 // isgreater
141
142 template <class _A1, class _A2, __enable_if_t<is_arithmetic<_A1>::value && is_arithmetic<_A2>::value, int> = 0>
isgreater(_A1 __x,_A2 __y)143 _LIBCPP_NODISCARD inline _LIBCPP_HIDE_FROM_ABI bool isgreater(_A1 __x, _A2 __y) _NOEXCEPT {
144 using type = typename __promote<_A1, _A2>::type;
145 return __builtin_isgreater((type)__x, (type)__y);
146 }
147
148 // isgreaterequal
149
150 template <class _A1, class _A2, __enable_if_t<is_arithmetic<_A1>::value && is_arithmetic<_A2>::value, int> = 0>
isgreaterequal(_A1 __x,_A2 __y)151 _LIBCPP_NODISCARD inline _LIBCPP_HIDE_FROM_ABI bool isgreaterequal(_A1 __x, _A2 __y) _NOEXCEPT {
152 using type = typename __promote<_A1, _A2>::type;
153 return __builtin_isgreaterequal((type)__x, (type)__y);
154 }
155
156 // isless
157
158 template <class _A1, class _A2, __enable_if_t<is_arithmetic<_A1>::value && is_arithmetic<_A2>::value, int> = 0>
isless(_A1 __x,_A2 __y)159 _LIBCPP_NODISCARD inline _LIBCPP_HIDE_FROM_ABI bool isless(_A1 __x, _A2 __y) _NOEXCEPT {
160 using type = typename __promote<_A1, _A2>::type;
161 return __builtin_isless((type)__x, (type)__y);
162 }
163
164 // islessequal
165
166 template <class _A1, class _A2, __enable_if_t<is_arithmetic<_A1>::value && is_arithmetic<_A2>::value, int> = 0>
islessequal(_A1 __x,_A2 __y)167 _LIBCPP_NODISCARD inline _LIBCPP_HIDE_FROM_ABI bool islessequal(_A1 __x, _A2 __y) _NOEXCEPT {
168 using type = typename __promote<_A1, _A2>::type;
169 return __builtin_islessequal((type)__x, (type)__y);
170 }
171
172 // islessgreater
173
174 template <class _A1, class _A2, __enable_if_t<is_arithmetic<_A1>::value && is_arithmetic<_A2>::value, int> = 0>
islessgreater(_A1 __x,_A2 __y)175 _LIBCPP_NODISCARD inline _LIBCPP_HIDE_FROM_ABI bool islessgreater(_A1 __x, _A2 __y) _NOEXCEPT {
176 using type = typename __promote<_A1, _A2>::type;
177 return __builtin_islessgreater((type)__x, (type)__y);
178 }
179
180 // isunordered
181
182 template <class _A1, class _A2, __enable_if_t<is_arithmetic<_A1>::value && is_arithmetic<_A2>::value, int> = 0>
isunordered(_A1 __x,_A2 __y)183 _LIBCPP_NODISCARD inline _LIBCPP_HIDE_FROM_ABI bool isunordered(_A1 __x, _A2 __y) _NOEXCEPT {
184 using type = typename __promote<_A1, _A2>::type;
185 return __builtin_isunordered((type)__x, (type)__y);
186 }
187
188 } // namespace __math
189
190 _LIBCPP_END_NAMESPACE_STD
191
192 #endif // _LIBCPP___MATH_TRAITS_H
193