xref: /freebsd/contrib/llvm-project/libcxx/include/limits (revision 0fca6ea1d4eea4c934cfff25ac9ee8ad6fe95583) 
1// -*- C++ -*-
2//===----------------------------------------------------------------------===//
3//
4// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
5// See https://llvm.org/LICENSE.txt for license information.
6// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7//
8//===----------------------------------------------------------------------===//
9
10#ifndef _LIBCPP_LIMITS
11#define _LIBCPP_LIMITS
12
13/*
14    limits synopsis
15
16namespace std
17{
18
19template<class T>
20class numeric_limits
21{
22public:
23    static constexpr bool is_specialized = false;
24    static constexpr T min() noexcept;
25    static constexpr T max() noexcept;
26    static constexpr T lowest() noexcept;
27
28    static constexpr int  digits = 0;
29    static constexpr int  digits10 = 0;
30    static constexpr int  max_digits10 = 0;
31    static constexpr bool is_signed = false;
32    static constexpr bool is_integer = false;
33    static constexpr bool is_exact = false;
34    static constexpr int  radix = 0;
35    static constexpr T epsilon() noexcept;
36    static constexpr T round_error() noexcept;
37
38    static constexpr int  min_exponent = 0;
39    static constexpr int  min_exponent10 = 0;
40    static constexpr int  max_exponent = 0;
41    static constexpr int  max_exponent10 = 0;
42
43    static constexpr bool has_infinity = false;
44    static constexpr bool has_quiet_NaN = false;
45    static constexpr bool has_signaling_NaN = false;
46    static constexpr float_denorm_style has_denorm = denorm_absent; // deprecated in C++23
47    static constexpr bool has_denorm_loss = false;                  // deprecated in C++23
48    static constexpr T infinity() noexcept;
49    static constexpr T quiet_NaN() noexcept;
50    static constexpr T signaling_NaN() noexcept;
51    static constexpr T denorm_min() noexcept;
52
53    static constexpr bool is_iec559 = false;
54    static constexpr bool is_bounded = false;
55    static constexpr bool is_modulo = false;
56
57    static constexpr bool traps = false;
58    static constexpr bool tinyness_before = false;
59    static constexpr float_round_style round_style = round_toward_zero;
60};
61
62enum float_round_style
63{
64    round_indeterminate       = -1,
65    round_toward_zero         =  0,
66    round_to_nearest          =  1,
67    round_toward_infinity     =  2,
68    round_toward_neg_infinity =  3
69};
70
71enum float_denorm_style // deprecated in C++23
72{
73    denorm_indeterminate = -1,
74    denorm_absent = 0,
75    denorm_present = 1
76};
77
78template<> class numeric_limits<cv bool>;
79
80template<> class numeric_limits<cv char>;
81template<> class numeric_limits<cv signed char>;
82template<> class numeric_limits<cv unsigned char>;
83template<> class numeric_limits<cv wchar_t>;
84template<> class numeric_limits<cv char8_t>; // C++20
85template<> class numeric_limits<cv char16_t>;
86template<> class numeric_limits<cv char32_t>;
87
88template<> class numeric_limits<cv short>;
89template<> class numeric_limits<cv int>;
90template<> class numeric_limits<cv long>;
91template<> class numeric_limits<cv long long>;
92template<> class numeric_limits<cv unsigned short>;
93template<> class numeric_limits<cv unsigned int>;
94template<> class numeric_limits<cv unsigned long>;
95template<> class numeric_limits<cv unsigned long long>;
96
97template<> class numeric_limits<cv float>;
98template<> class numeric_limits<cv double>;
99template<> class numeric_limits<cv long double>;
100
101}  // std
102
103*/
104
105#include <__config>
106#include <__type_traits/is_arithmetic.h>
107#include <__type_traits/is_signed.h>
108#include <__type_traits/remove_cv.h>
109
110#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
111#  pragma GCC system_header
112#endif
113
114_LIBCPP_PUSH_MACROS
115#include <__undef_macros>
116#include <version>
117
118_LIBCPP_BEGIN_NAMESPACE_STD
119
120enum float_round_style {
121  round_indeterminate       = -1,
122  round_toward_zero         = 0,
123  round_to_nearest          = 1,
124  round_toward_infinity     = 2,
125  round_toward_neg_infinity = 3
126};
127
128enum _LIBCPP_DEPRECATED_IN_CXX23 float_denorm_style {
129  denorm_indeterminate = -1,
130  denorm_absent        = 0,
131  denorm_present       = 1
132};
133
134template <class _Tp, bool = is_arithmetic<_Tp>::value>
135class __libcpp_numeric_limits {
136protected:
137  typedef _Tp type;
138
139  static _LIBCPP_CONSTEXPR const bool is_specialized = false;
140  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return type(); }
141  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return type(); }
142  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return type(); }
143
144  static _LIBCPP_CONSTEXPR const int digits       = 0;
145  static _LIBCPP_CONSTEXPR const int digits10     = 0;
146  static _LIBCPP_CONSTEXPR const int max_digits10 = 0;
147  static _LIBCPP_CONSTEXPR const bool is_signed   = false;
148  static _LIBCPP_CONSTEXPR const bool is_integer  = false;
149  static _LIBCPP_CONSTEXPR const bool is_exact    = false;
150  static _LIBCPP_CONSTEXPR const int radix        = 0;
151  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT { return type(); }
152  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT { return type(); }
153
154  static _LIBCPP_CONSTEXPR const int min_exponent   = 0;
155  static _LIBCPP_CONSTEXPR const int min_exponent10 = 0;
156  static _LIBCPP_CONSTEXPR const int max_exponent   = 0;
157  static _LIBCPP_CONSTEXPR const int max_exponent10 = 0;
158
159  static _LIBCPP_CONSTEXPR const bool has_infinity                                         = false;
160  static _LIBCPP_CONSTEXPR const bool has_quiet_NaN                                        = false;
161  static _LIBCPP_CONSTEXPR const bool has_signaling_NaN                                    = false;
162  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
163  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss          = false;
164  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT { return type(); }
165  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT { return type(); }
166  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT { return type(); }
167  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT { return type(); }
168
169  static _LIBCPP_CONSTEXPR const bool is_iec559  = false;
170  static _LIBCPP_CONSTEXPR const bool is_bounded = false;
171  static _LIBCPP_CONSTEXPR const bool is_modulo  = false;
172
173  static _LIBCPP_CONSTEXPR const bool traps                    = false;
174  static _LIBCPP_CONSTEXPR const bool tinyness_before          = false;
175  static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
176};
177
178template <class _Tp, int __digits, bool _IsSigned>
179struct __libcpp_compute_min {
180  static _LIBCPP_CONSTEXPR const _Tp value = _Tp(_Tp(1) << __digits);
181};
182
183template <class _Tp, int __digits>
184struct __libcpp_compute_min<_Tp, __digits, false> {
185  static _LIBCPP_CONSTEXPR const _Tp value = _Tp(0);
186};
187
188template <class _Tp>
189class __libcpp_numeric_limits<_Tp, true> {
190protected:
191  typedef _Tp type;
192
193  static _LIBCPP_CONSTEXPR const bool is_specialized = true;
194
195  static _LIBCPP_CONSTEXPR const bool is_signed   = type(-1) < type(0);
196  static _LIBCPP_CONSTEXPR const int digits       = static_cast<int>(sizeof(type) * __CHAR_BIT__ - is_signed);
197  static _LIBCPP_CONSTEXPR const int digits10     = digits * 3 / 10;
198  static _LIBCPP_CONSTEXPR const int max_digits10 = 0;
199  static _LIBCPP_CONSTEXPR const type __min       = __libcpp_compute_min<type, digits, is_signed>::value;
200  static _LIBCPP_CONSTEXPR const type __max       = is_signed ? type(type(~0) ^ __min) : type(~0);
201  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return __min; }
202  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return __max; }
203  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return min(); }
204
205  static _LIBCPP_CONSTEXPR const bool is_integer = true;
206  static _LIBCPP_CONSTEXPR const bool is_exact   = true;
207  static _LIBCPP_CONSTEXPR const int radix       = 2;
208  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT { return type(0); }
209  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT { return type(0); }
210
211  static _LIBCPP_CONSTEXPR const int min_exponent   = 0;
212  static _LIBCPP_CONSTEXPR const int min_exponent10 = 0;
213  static _LIBCPP_CONSTEXPR const int max_exponent   = 0;
214  static _LIBCPP_CONSTEXPR const int max_exponent10 = 0;
215
216  static _LIBCPP_CONSTEXPR const bool has_infinity                                         = false;
217  static _LIBCPP_CONSTEXPR const bool has_quiet_NaN                                        = false;
218  static _LIBCPP_CONSTEXPR const bool has_signaling_NaN                                    = false;
219  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
220  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss          = false;
221  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT { return type(0); }
222  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT { return type(0); }
223  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT { return type(0); }
224  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT { return type(0); }
225
226  static _LIBCPP_CONSTEXPR const bool is_iec559  = false;
227  static _LIBCPP_CONSTEXPR const bool is_bounded = true;
228  static _LIBCPP_CONSTEXPR const bool is_modulo  = !std::is_signed<_Tp>::value;
229
230#if defined(__i386__) || defined(__x86_64__) || defined(__pnacl__) || defined(__wasm__)
231  static _LIBCPP_CONSTEXPR const bool traps = true;
232#else
233  static _LIBCPP_CONSTEXPR const bool traps = false;
234#endif
235  static _LIBCPP_CONSTEXPR const bool tinyness_before          = false;
236  static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
237};
238
239template <>
240class __libcpp_numeric_limits<bool, true> {
241protected:
242  typedef bool type;
243
244  static _LIBCPP_CONSTEXPR const bool is_specialized = true;
245
246  static _LIBCPP_CONSTEXPR const bool is_signed   = false;
247  static _LIBCPP_CONSTEXPR const int digits       = 1;
248  static _LIBCPP_CONSTEXPR const int digits10     = 0;
249  static _LIBCPP_CONSTEXPR const int max_digits10 = 0;
250  static _LIBCPP_CONSTEXPR const type __min       = false;
251  static _LIBCPP_CONSTEXPR const type __max       = true;
252  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return __min; }
253  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return __max; }
254  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return min(); }
255
256  static _LIBCPP_CONSTEXPR const bool is_integer = true;
257  static _LIBCPP_CONSTEXPR const bool is_exact   = true;
258  static _LIBCPP_CONSTEXPR const int radix       = 2;
259  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT { return type(0); }
260  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT { return type(0); }
261
262  static _LIBCPP_CONSTEXPR const int min_exponent   = 0;
263  static _LIBCPP_CONSTEXPR const int min_exponent10 = 0;
264  static _LIBCPP_CONSTEXPR const int max_exponent   = 0;
265  static _LIBCPP_CONSTEXPR const int max_exponent10 = 0;
266
267  static _LIBCPP_CONSTEXPR const bool has_infinity                                         = false;
268  static _LIBCPP_CONSTEXPR const bool has_quiet_NaN                                        = false;
269  static _LIBCPP_CONSTEXPR const bool has_signaling_NaN                                    = false;
270  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
271  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss          = false;
272  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT { return type(0); }
273  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT { return type(0); }
274  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT { return type(0); }
275  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT { return type(0); }
276
277  static _LIBCPP_CONSTEXPR const bool is_iec559  = false;
278  static _LIBCPP_CONSTEXPR const bool is_bounded = true;
279  static _LIBCPP_CONSTEXPR const bool is_modulo  = false;
280
281  static _LIBCPP_CONSTEXPR const bool traps                    = false;
282  static _LIBCPP_CONSTEXPR const bool tinyness_before          = false;
283  static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
284};
285
286template <>
287class __libcpp_numeric_limits<float, true> {
288protected:
289  typedef float type;
290
291  static _LIBCPP_CONSTEXPR const bool is_specialized = true;
292
293  static _LIBCPP_CONSTEXPR const bool is_signed   = true;
294  static _LIBCPP_CONSTEXPR const int digits       = __FLT_MANT_DIG__;
295  static _LIBCPP_CONSTEXPR const int digits10     = __FLT_DIG__;
296  static _LIBCPP_CONSTEXPR const int max_digits10 = 2 + (digits * 30103l) / 100000l;
297  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return __FLT_MIN__; }
298  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return __FLT_MAX__; }
299  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return -max(); }
300
301  static _LIBCPP_CONSTEXPR const bool is_integer = false;
302  static _LIBCPP_CONSTEXPR const bool is_exact   = false;
303  static _LIBCPP_CONSTEXPR const int radix       = __FLT_RADIX__;
304  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT { return __FLT_EPSILON__; }
305  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT { return 0.5F; }
306
307  static _LIBCPP_CONSTEXPR const int min_exponent   = __FLT_MIN_EXP__;
308  static _LIBCPP_CONSTEXPR const int min_exponent10 = __FLT_MIN_10_EXP__;
309  static _LIBCPP_CONSTEXPR const int max_exponent   = __FLT_MAX_EXP__;
310  static _LIBCPP_CONSTEXPR const int max_exponent10 = __FLT_MAX_10_EXP__;
311
312  static _LIBCPP_CONSTEXPR const bool has_infinity                                         = true;
313  static _LIBCPP_CONSTEXPR const bool has_quiet_NaN                                        = true;
314  static _LIBCPP_CONSTEXPR const bool has_signaling_NaN                                    = true;
315  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
316  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss          = false;
317  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {
318    return __builtin_huge_valf();
319  }
320  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {
321    return __builtin_nanf("");
322  }
323  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {
324    return __builtin_nansf("");
325  }
326  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {
327    return __FLT_DENORM_MIN__;
328  }
329
330  static _LIBCPP_CONSTEXPR const bool is_iec559  = true;
331  static _LIBCPP_CONSTEXPR const bool is_bounded = true;
332  static _LIBCPP_CONSTEXPR const bool is_modulo  = false;
333
334  static _LIBCPP_CONSTEXPR const bool traps = false;
335#if (defined(__arm__) || defined(__aarch64__))
336  static _LIBCPP_CONSTEXPR const bool tinyness_before = true;
337#else
338  static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
339#endif
340  static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
341};
342
343template <>
344class __libcpp_numeric_limits<double, true> {
345protected:
346  typedef double type;
347
348  static _LIBCPP_CONSTEXPR const bool is_specialized = true;
349
350  static _LIBCPP_CONSTEXPR const bool is_signed   = true;
351  static _LIBCPP_CONSTEXPR const int digits       = __DBL_MANT_DIG__;
352  static _LIBCPP_CONSTEXPR const int digits10     = __DBL_DIG__;
353  static _LIBCPP_CONSTEXPR const int max_digits10 = 2 + (digits * 30103l) / 100000l;
354  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return __DBL_MIN__; }
355  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return __DBL_MAX__; }
356  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return -max(); }
357
358  static _LIBCPP_CONSTEXPR const bool is_integer = false;
359  static _LIBCPP_CONSTEXPR const bool is_exact   = false;
360  static _LIBCPP_CONSTEXPR const int radix       = __FLT_RADIX__;
361  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT { return __DBL_EPSILON__; }
362  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT { return 0.5; }
363
364  static _LIBCPP_CONSTEXPR const int min_exponent   = __DBL_MIN_EXP__;
365  static _LIBCPP_CONSTEXPR const int min_exponent10 = __DBL_MIN_10_EXP__;
366  static _LIBCPP_CONSTEXPR const int max_exponent   = __DBL_MAX_EXP__;
367  static _LIBCPP_CONSTEXPR const int max_exponent10 = __DBL_MAX_10_EXP__;
368
369  static _LIBCPP_CONSTEXPR const bool has_infinity                                         = true;
370  static _LIBCPP_CONSTEXPR const bool has_quiet_NaN                                        = true;
371  static _LIBCPP_CONSTEXPR const bool has_signaling_NaN                                    = true;
372  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
373  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss          = false;
374  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {
375    return __builtin_huge_val();
376  }
377  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {
378    return __builtin_nan("");
379  }
380  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {
381    return __builtin_nans("");
382  }
383  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {
384    return __DBL_DENORM_MIN__;
385  }
386
387  static _LIBCPP_CONSTEXPR const bool is_iec559  = true;
388  static _LIBCPP_CONSTEXPR const bool is_bounded = true;
389  static _LIBCPP_CONSTEXPR const bool is_modulo  = false;
390
391  static _LIBCPP_CONSTEXPR const bool traps = false;
392#if (defined(__arm__) || defined(__aarch64__))
393  static _LIBCPP_CONSTEXPR const bool tinyness_before = true;
394#else
395  static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
396#endif
397  static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
398};
399
400template <>
401class __libcpp_numeric_limits<long double, true> {
402protected:
403  typedef long double type;
404
405  static _LIBCPP_CONSTEXPR const bool is_specialized = true;
406
407  static _LIBCPP_CONSTEXPR const bool is_signed   = true;
408  static _LIBCPP_CONSTEXPR const int digits       = __LDBL_MANT_DIG__;
409  static _LIBCPP_CONSTEXPR const int digits10     = __LDBL_DIG__;
410  static _LIBCPP_CONSTEXPR const int max_digits10 = 2 + (digits * 30103l) / 100000l;
411  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return __LDBL_MIN__; }
412  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return __LDBL_MAX__; }
413  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return -max(); }
414
415  static _LIBCPP_CONSTEXPR const bool is_integer = false;
416  static _LIBCPP_CONSTEXPR const bool is_exact   = false;
417  static _LIBCPP_CONSTEXPR const int radix       = __FLT_RADIX__;
418  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT { return __LDBL_EPSILON__; }
419  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT { return 0.5L; }
420
421  static _LIBCPP_CONSTEXPR const int min_exponent   = __LDBL_MIN_EXP__;
422  static _LIBCPP_CONSTEXPR const int min_exponent10 = __LDBL_MIN_10_EXP__;
423  static _LIBCPP_CONSTEXPR const int max_exponent   = __LDBL_MAX_EXP__;
424  static _LIBCPP_CONSTEXPR const int max_exponent10 = __LDBL_MAX_10_EXP__;
425
426  static _LIBCPP_CONSTEXPR const bool has_infinity                                         = true;
427  static _LIBCPP_CONSTEXPR const bool has_quiet_NaN                                        = true;
428  static _LIBCPP_CONSTEXPR const bool has_signaling_NaN                                    = true;
429  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
430  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss          = false;
431  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {
432    return __builtin_huge_vall();
433  }
434  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {
435    return __builtin_nanl("");
436  }
437  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {
438    return __builtin_nansl("");
439  }
440  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {
441    return __LDBL_DENORM_MIN__;
442  }
443
444#if defined(__powerpc__) && defined(__LONG_DOUBLE_IBM128__)
445  static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
446#else
447  static _LIBCPP_CONSTEXPR const bool is_iec559 = true;
448#endif
449  static _LIBCPP_CONSTEXPR const bool is_bounded = true;
450  static _LIBCPP_CONSTEXPR const bool is_modulo  = false;
451
452  static _LIBCPP_CONSTEXPR const bool traps = false;
453#if (defined(__arm__) || defined(__aarch64__))
454  static _LIBCPP_CONSTEXPR const bool tinyness_before = true;
455#else
456  static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
457#endif
458  static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
459};
460
461template <class _Tp>
462class _LIBCPP_TEMPLATE_VIS numeric_limits : private __libcpp_numeric_limits<_Tp> {
463  typedef __libcpp_numeric_limits<_Tp> __base;
464  typedef typename __base::type type;
465
466public:
467  static _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
468  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return __base::min(); }
469  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return __base::max(); }
470  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return __base::lowest(); }
471
472  static _LIBCPP_CONSTEXPR const int digits       = __base::digits;
473  static _LIBCPP_CONSTEXPR const int digits10     = __base::digits10;
474  static _LIBCPP_CONSTEXPR const int max_digits10 = __base::max_digits10;
475  static _LIBCPP_CONSTEXPR const bool is_signed   = __base::is_signed;
476  static _LIBCPP_CONSTEXPR const bool is_integer  = __base::is_integer;
477  static _LIBCPP_CONSTEXPR const bool is_exact    = __base::is_exact;
478  static _LIBCPP_CONSTEXPR const int radix        = __base::radix;
479  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {
480    return __base::epsilon();
481  }
482  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {
483    return __base::round_error();
484  }
485
486  static _LIBCPP_CONSTEXPR const int min_exponent   = __base::min_exponent;
487  static _LIBCPP_CONSTEXPR const int min_exponent10 = __base::min_exponent10;
488  static _LIBCPP_CONSTEXPR const int max_exponent   = __base::max_exponent;
489  static _LIBCPP_CONSTEXPR const int max_exponent10 = __base::max_exponent10;
490
491  static _LIBCPP_CONSTEXPR const bool has_infinity      = __base::has_infinity;
492  static _LIBCPP_CONSTEXPR const bool has_quiet_NaN     = __base::has_quiet_NaN;
493  static _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
494  _LIBCPP_SUPPRESS_DEPRECATED_PUSH
495  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
496  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss          = __base::has_denorm_loss;
497  _LIBCPP_SUPPRESS_DEPRECATED_POP
498  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {
499    return __base::infinity();
500  }
501  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {
502    return __base::quiet_NaN();
503  }
504  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {
505    return __base::signaling_NaN();
506  }
507  _LIBCPP_NODISCARD _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {
508    return __base::denorm_min();
509  }
510
511  static _LIBCPP_CONSTEXPR const bool is_iec559  = __base::is_iec559;
512  static _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
513  static _LIBCPP_CONSTEXPR const bool is_modulo  = __base::is_modulo;
514
515  static _LIBCPP_CONSTEXPR const bool traps                    = __base::traps;
516  static _LIBCPP_CONSTEXPR const bool tinyness_before          = __base::tinyness_before;
517  static _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
518};
519
520template <class _Tp>
521_LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_specialized;
522template <class _Tp>
523_LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::digits;
524template <class _Tp>
525_LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::digits10;
526template <class _Tp>
527_LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::max_digits10;
528template <class _Tp>
529_LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_signed;
530template <class _Tp>
531_LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_integer;
532template <class _Tp>
533_LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_exact;
534template <class _Tp>
535_LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::radix;
536template <class _Tp>
537_LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::min_exponent;
538template <class _Tp>
539_LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::min_exponent10;
540template <class _Tp>
541_LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::max_exponent;
542template <class _Tp>
543_LIBCPP_CONSTEXPR const int numeric_limits<_Tp>::max_exponent10;
544template <class _Tp>
545_LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_infinity;
546template <class _Tp>
547_LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_quiet_NaN;
548template <class _Tp>
549_LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_signaling_NaN;
550template <class _Tp>
551_LIBCPP_CONSTEXPR const float_denorm_style numeric_limits<_Tp>::has_denorm;
552template <class _Tp>
553_LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::has_denorm_loss;
554template <class _Tp>
555_LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_iec559;
556template <class _Tp>
557_LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_bounded;
558template <class _Tp>
559_LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::is_modulo;
560template <class _Tp>
561_LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::traps;
562template <class _Tp>
563_LIBCPP_CONSTEXPR const bool numeric_limits<_Tp>::tinyness_before;
564template <class _Tp>
565_LIBCPP_CONSTEXPR const float_round_style numeric_limits<_Tp>::round_style;
566
567template <class _Tp>
568class _LIBCPP_TEMPLATE_VIS numeric_limits<const _Tp> : public numeric_limits<_Tp> {};
569
570template <class _Tp>
571class _LIBCPP_TEMPLATE_VIS numeric_limits<volatile _Tp> : public numeric_limits<_Tp> {};
572
573template <class _Tp>
574class _LIBCPP_TEMPLATE_VIS numeric_limits<const volatile _Tp> : public numeric_limits<_Tp> {};
575
576_LIBCPP_END_NAMESPACE_STD
577
578_LIBCPP_POP_MACROS
579
580#if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20
581#  include <type_traits>
582#endif
583
584#endif // _LIBCPP_LIMITS
585