xref: /freebsd/contrib/llvm-project/libcxx/include/limits (revision 1ed2ef42e01771f5d8ca9be61e07dcf0fd47feba) 
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#if __cplusplus < 201103L && defined(_LIBCPP_USE_FROZEN_CXX03_HEADERS)
106#  include <__cxx03/limits>
107#else
108#  include <__config>
109#  include <__type_traits/is_arithmetic.h>
110#  include <__type_traits/is_signed.h>
111
112#  if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
113#    pragma GCC system_header
114#  endif
115
116_LIBCPP_PUSH_MACROS
117#  include <__undef_macros>
118#  include <version>
119
120_LIBCPP_BEGIN_NAMESPACE_STD
121
122enum float_round_style {
123  round_indeterminate       = -1,
124  round_toward_zero         = 0,
125  round_to_nearest          = 1,
126  round_toward_infinity     = 2,
127  round_toward_neg_infinity = 3
128};
129
130enum _LIBCPP_DEPRECATED_IN_CXX23 float_denorm_style {
131  denorm_indeterminate = -1,
132  denorm_absent        = 0,
133  denorm_present       = 1
134};
135
136template <class _Tp, bool = is_arithmetic<_Tp>::value>
137class __libcpp_numeric_limits {
138protected:
139  typedef _Tp type;
140
141  static _LIBCPP_CONSTEXPR const bool is_specialized = false;
142  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return type(); }
143  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return type(); }
144  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return type(); }
145
146  static _LIBCPP_CONSTEXPR const int digits       = 0;
147  static _LIBCPP_CONSTEXPR const int digits10     = 0;
148  static _LIBCPP_CONSTEXPR const int max_digits10 = 0;
149  static _LIBCPP_CONSTEXPR const bool is_signed   = false;
150  static _LIBCPP_CONSTEXPR const bool is_integer  = false;
151  static _LIBCPP_CONSTEXPR const bool is_exact    = false;
152  static _LIBCPP_CONSTEXPR const int radix        = 0;
153  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT { return type(); }
154  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT { return type(); }
155
156  static _LIBCPP_CONSTEXPR const int min_exponent   = 0;
157  static _LIBCPP_CONSTEXPR const int min_exponent10 = 0;
158  static _LIBCPP_CONSTEXPR const int max_exponent   = 0;
159  static _LIBCPP_CONSTEXPR const int max_exponent10 = 0;
160
161  static _LIBCPP_CONSTEXPR const bool has_infinity                                         = false;
162  static _LIBCPP_CONSTEXPR const bool has_quiet_NaN                                        = false;
163  static _LIBCPP_CONSTEXPR const bool has_signaling_NaN                                    = false;
164  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
165  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss          = false;
166  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT { return type(); }
167  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT { return type(); }
168  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT { return type(); }
169  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT { return type(); }
170
171  static _LIBCPP_CONSTEXPR const bool is_iec559  = false;
172  static _LIBCPP_CONSTEXPR const bool is_bounded = false;
173  static _LIBCPP_CONSTEXPR const bool is_modulo  = false;
174
175  static _LIBCPP_CONSTEXPR const bool traps                    = false;
176  static _LIBCPP_CONSTEXPR const bool tinyness_before          = false;
177  static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
178};
179
180template <class _Tp>
181class __libcpp_numeric_limits<_Tp, true> {
182protected:
183  typedef _Tp type;
184
185  static _LIBCPP_CONSTEXPR const bool is_specialized = true;
186
187  static _LIBCPP_CONSTEXPR const bool is_signed   = type(-1) < type(0);
188  static _LIBCPP_CONSTEXPR const int digits       = static_cast<int>(sizeof(type) * __CHAR_BIT__ - is_signed);
189  static _LIBCPP_CONSTEXPR const int digits10     = digits * 3 / 10;
190  static _LIBCPP_CONSTEXPR const int max_digits10 = 0;
191  static _LIBCPP_CONSTEXPR const type __min       = is_signed ? _Tp(_Tp(1) << digits) : 0;
192  static _LIBCPP_CONSTEXPR const type __max       = is_signed ? type(type(~0) ^ __min) : type(~0);
193  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return __min; }
194  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return __max; }
195  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return min(); }
196
197  static _LIBCPP_CONSTEXPR const bool is_integer = true;
198  static _LIBCPP_CONSTEXPR const bool is_exact   = true;
199  static _LIBCPP_CONSTEXPR const int radix       = 2;
200  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT { return type(0); }
201  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT { return type(0); }
202
203  static _LIBCPP_CONSTEXPR const int min_exponent   = 0;
204  static _LIBCPP_CONSTEXPR const int min_exponent10 = 0;
205  static _LIBCPP_CONSTEXPR const int max_exponent   = 0;
206  static _LIBCPP_CONSTEXPR const int max_exponent10 = 0;
207
208  static _LIBCPP_CONSTEXPR const bool has_infinity                                         = false;
209  static _LIBCPP_CONSTEXPR const bool has_quiet_NaN                                        = false;
210  static _LIBCPP_CONSTEXPR const bool has_signaling_NaN                                    = false;
211  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
212  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss          = false;
213  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT { return type(0); }
214  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT { return type(0); }
215  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT { return type(0); }
216  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT { return type(0); }
217
218  static _LIBCPP_CONSTEXPR const bool is_iec559  = false;
219  static _LIBCPP_CONSTEXPR const bool is_bounded = true;
220  static _LIBCPP_CONSTEXPR const bool is_modulo  = !std::is_signed<_Tp>::value;
221
222#  if defined(__i386__) || defined(__x86_64__) || defined(__pnacl__) || defined(__wasm__)
223  static _LIBCPP_CONSTEXPR const bool traps = true;
224#  else
225  static _LIBCPP_CONSTEXPR const bool traps = false;
226#  endif
227  static _LIBCPP_CONSTEXPR const bool tinyness_before          = false;
228  static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
229};
230
231template <>
232class __libcpp_numeric_limits<bool, true> {
233protected:
234  typedef bool type;
235
236  static _LIBCPP_CONSTEXPR const bool is_specialized = true;
237
238  static _LIBCPP_CONSTEXPR const bool is_signed   = false;
239  static _LIBCPP_CONSTEXPR const int digits       = 1;
240  static _LIBCPP_CONSTEXPR const int digits10     = 0;
241  static _LIBCPP_CONSTEXPR const int max_digits10 = 0;
242  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return false; }
243  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return true; }
244  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return min(); }
245
246  static _LIBCPP_CONSTEXPR const bool is_integer = true;
247  static _LIBCPP_CONSTEXPR const bool is_exact   = true;
248  static _LIBCPP_CONSTEXPR const int radix       = 2;
249  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT { return type(0); }
250  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT { return type(0); }
251
252  static _LIBCPP_CONSTEXPR const int min_exponent   = 0;
253  static _LIBCPP_CONSTEXPR const int min_exponent10 = 0;
254  static _LIBCPP_CONSTEXPR const int max_exponent   = 0;
255  static _LIBCPP_CONSTEXPR const int max_exponent10 = 0;
256
257  static _LIBCPP_CONSTEXPR const bool has_infinity                                         = false;
258  static _LIBCPP_CONSTEXPR const bool has_quiet_NaN                                        = false;
259  static _LIBCPP_CONSTEXPR const bool has_signaling_NaN                                    = false;
260  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_absent;
261  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss          = false;
262  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT { return type(0); }
263  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT { return type(0); }
264  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT { return type(0); }
265  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT { return type(0); }
266
267  static _LIBCPP_CONSTEXPR const bool is_iec559  = false;
268  static _LIBCPP_CONSTEXPR const bool is_bounded = true;
269  static _LIBCPP_CONSTEXPR const bool is_modulo  = false;
270
271  static _LIBCPP_CONSTEXPR const bool traps                    = false;
272  static _LIBCPP_CONSTEXPR const bool tinyness_before          = false;
273  static _LIBCPP_CONSTEXPR const float_round_style round_style = round_toward_zero;
274};
275
276template <>
277class __libcpp_numeric_limits<float, true> {
278protected:
279  typedef float type;
280
281  static _LIBCPP_CONSTEXPR const bool is_specialized = true;
282
283  static _LIBCPP_CONSTEXPR const bool is_signed   = true;
284  static _LIBCPP_CONSTEXPR const int digits       = __FLT_MANT_DIG__;
285  static _LIBCPP_CONSTEXPR const int digits10     = __FLT_DIG__;
286  static _LIBCPP_CONSTEXPR const int max_digits10 = 2 + (digits * 30103l) / 100000l;
287  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return __FLT_MIN__; }
288  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return __FLT_MAX__; }
289  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return -max(); }
290
291  static _LIBCPP_CONSTEXPR const bool is_integer = false;
292  static _LIBCPP_CONSTEXPR const bool is_exact   = false;
293  static _LIBCPP_CONSTEXPR const int radix       = __FLT_RADIX__;
294  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT { return __FLT_EPSILON__; }
295  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT { return 0.5F; }
296
297  static _LIBCPP_CONSTEXPR const int min_exponent   = __FLT_MIN_EXP__;
298  static _LIBCPP_CONSTEXPR const int min_exponent10 = __FLT_MIN_10_EXP__;
299  static _LIBCPP_CONSTEXPR const int max_exponent   = __FLT_MAX_EXP__;
300  static _LIBCPP_CONSTEXPR const int max_exponent10 = __FLT_MAX_10_EXP__;
301
302  static _LIBCPP_CONSTEXPR const bool has_infinity                                         = true;
303  static _LIBCPP_CONSTEXPR const bool has_quiet_NaN                                        = true;
304  static _LIBCPP_CONSTEXPR const bool has_signaling_NaN                                    = true;
305  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
306  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss          = false;
307  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {
308    return __builtin_huge_valf();
309  }
310  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {
311    return __builtin_nanf("");
312  }
313  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {
314    return __builtin_nansf("");
315  }
316  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {
317    return __FLT_DENORM_MIN__;
318  }
319
320  static _LIBCPP_CONSTEXPR const bool is_iec559  = true;
321  static _LIBCPP_CONSTEXPR const bool is_bounded = true;
322  static _LIBCPP_CONSTEXPR const bool is_modulo  = false;
323
324  static _LIBCPP_CONSTEXPR const bool traps = false;
325#  if (defined(__arm__) || defined(__aarch64__))
326  static _LIBCPP_CONSTEXPR const bool tinyness_before = true;
327#  else
328  static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
329#  endif
330  static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
331};
332
333template <>
334class __libcpp_numeric_limits<double, true> {
335protected:
336  typedef double type;
337
338  static _LIBCPP_CONSTEXPR const bool is_specialized = true;
339
340  static _LIBCPP_CONSTEXPR const bool is_signed   = true;
341  static _LIBCPP_CONSTEXPR const int digits       = __DBL_MANT_DIG__;
342  static _LIBCPP_CONSTEXPR const int digits10     = __DBL_DIG__;
343  static _LIBCPP_CONSTEXPR const int max_digits10 = 2 + (digits * 30103l) / 100000l;
344  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return __DBL_MIN__; }
345  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return __DBL_MAX__; }
346  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return -max(); }
347
348  static _LIBCPP_CONSTEXPR const bool is_integer = false;
349  static _LIBCPP_CONSTEXPR const bool is_exact   = false;
350  static _LIBCPP_CONSTEXPR const int radix       = __FLT_RADIX__;
351  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT { return __DBL_EPSILON__; }
352  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT { return 0.5; }
353
354  static _LIBCPP_CONSTEXPR const int min_exponent   = __DBL_MIN_EXP__;
355  static _LIBCPP_CONSTEXPR const int min_exponent10 = __DBL_MIN_10_EXP__;
356  static _LIBCPP_CONSTEXPR const int max_exponent   = __DBL_MAX_EXP__;
357  static _LIBCPP_CONSTEXPR const int max_exponent10 = __DBL_MAX_10_EXP__;
358
359  static _LIBCPP_CONSTEXPR const bool has_infinity                                         = true;
360  static _LIBCPP_CONSTEXPR const bool has_quiet_NaN                                        = true;
361  static _LIBCPP_CONSTEXPR const bool has_signaling_NaN                                    = true;
362  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
363  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss          = false;
364  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {
365    return __builtin_huge_val();
366  }
367  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {
368    return __builtin_nan("");
369  }
370  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {
371    return __builtin_nans("");
372  }
373  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {
374    return __DBL_DENORM_MIN__;
375  }
376
377  static _LIBCPP_CONSTEXPR const bool is_iec559  = true;
378  static _LIBCPP_CONSTEXPR const bool is_bounded = true;
379  static _LIBCPP_CONSTEXPR const bool is_modulo  = false;
380
381  static _LIBCPP_CONSTEXPR const bool traps = false;
382#  if (defined(__arm__) || defined(__aarch64__))
383  static _LIBCPP_CONSTEXPR const bool tinyness_before = true;
384#  else
385  static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
386#  endif
387  static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
388};
389
390template <>
391class __libcpp_numeric_limits<long double, true> {
392protected:
393  typedef long double type;
394
395  static _LIBCPP_CONSTEXPR const bool is_specialized = true;
396
397  static _LIBCPP_CONSTEXPR const bool is_signed   = true;
398  static _LIBCPP_CONSTEXPR const int digits       = __LDBL_MANT_DIG__;
399  static _LIBCPP_CONSTEXPR const int digits10     = __LDBL_DIG__;
400  static _LIBCPP_CONSTEXPR const int max_digits10 = 2 + (digits * 30103l) / 100000l;
401  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return __LDBL_MIN__; }
402  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return __LDBL_MAX__; }
403  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return -max(); }
404
405  static _LIBCPP_CONSTEXPR const bool is_integer = false;
406  static _LIBCPP_CONSTEXPR const bool is_exact   = false;
407  static _LIBCPP_CONSTEXPR const int radix       = __FLT_RADIX__;
408  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT { return __LDBL_EPSILON__; }
409  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT { return 0.5L; }
410
411  static _LIBCPP_CONSTEXPR const int min_exponent   = __LDBL_MIN_EXP__;
412  static _LIBCPP_CONSTEXPR const int min_exponent10 = __LDBL_MIN_10_EXP__;
413  static _LIBCPP_CONSTEXPR const int max_exponent   = __LDBL_MAX_EXP__;
414  static _LIBCPP_CONSTEXPR const int max_exponent10 = __LDBL_MAX_10_EXP__;
415
416  static _LIBCPP_CONSTEXPR const bool has_infinity                                         = true;
417  static _LIBCPP_CONSTEXPR const bool has_quiet_NaN                                        = true;
418  static _LIBCPP_CONSTEXPR const bool has_signaling_NaN                                    = true;
419  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = denorm_present;
420  static _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss          = false;
421  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {
422    return __builtin_huge_vall();
423  }
424  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {
425    return __builtin_nanl("");
426  }
427  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {
428    return __builtin_nansl("");
429  }
430  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {
431    return __LDBL_DENORM_MIN__;
432  }
433
434#  if defined(__powerpc__) && defined(__LONG_DOUBLE_IBM128__)
435  static _LIBCPP_CONSTEXPR const bool is_iec559 = false;
436#  else
437  static _LIBCPP_CONSTEXPR const bool is_iec559 = true;
438#  endif
439  static _LIBCPP_CONSTEXPR const bool is_bounded = true;
440  static _LIBCPP_CONSTEXPR const bool is_modulo  = false;
441
442  static _LIBCPP_CONSTEXPR const bool traps = false;
443#  if (defined(__arm__) || defined(__aarch64__))
444  static _LIBCPP_CONSTEXPR const bool tinyness_before = true;
445#  else
446  static _LIBCPP_CONSTEXPR const bool tinyness_before = false;
447#  endif
448  static _LIBCPP_CONSTEXPR const float_round_style round_style = round_to_nearest;
449};
450
451template <class _Tp>
452class numeric_limits : private __libcpp_numeric_limits<_Tp> {
453  typedef __libcpp_numeric_limits<_Tp> __base;
454  typedef typename __base::type type;
455
456public:
457  static inline _LIBCPP_CONSTEXPR const bool is_specialized = __base::is_specialized;
458  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type min() _NOEXCEPT { return __base::min(); }
459  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type max() _NOEXCEPT { return __base::max(); }
460  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type lowest() _NOEXCEPT { return __base::lowest(); }
461
462  static inline _LIBCPP_CONSTEXPR const int digits       = __base::digits;
463  static inline _LIBCPP_CONSTEXPR const int digits10     = __base::digits10;
464  static inline _LIBCPP_CONSTEXPR const int max_digits10 = __base::max_digits10;
465  static inline _LIBCPP_CONSTEXPR const bool is_signed   = __base::is_signed;
466  static inline _LIBCPP_CONSTEXPR const bool is_integer  = __base::is_integer;
467  static inline _LIBCPP_CONSTEXPR const bool is_exact    = __base::is_exact;
468  static inline _LIBCPP_CONSTEXPR const int radix        = __base::radix;
469  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type epsilon() _NOEXCEPT {
470    return __base::epsilon();
471  }
472  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type round_error() _NOEXCEPT {
473    return __base::round_error();
474  }
475
476  static inline _LIBCPP_CONSTEXPR const int min_exponent   = __base::min_exponent;
477  static inline _LIBCPP_CONSTEXPR const int min_exponent10 = __base::min_exponent10;
478  static inline _LIBCPP_CONSTEXPR const int max_exponent   = __base::max_exponent;
479  static inline _LIBCPP_CONSTEXPR const int max_exponent10 = __base::max_exponent10;
480
481  static inline _LIBCPP_CONSTEXPR const bool has_infinity      = __base::has_infinity;
482  static inline _LIBCPP_CONSTEXPR const bool has_quiet_NaN     = __base::has_quiet_NaN;
483  static inline _LIBCPP_CONSTEXPR const bool has_signaling_NaN = __base::has_signaling_NaN;
484  _LIBCPP_SUPPRESS_DEPRECATED_PUSH
485  static inline _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const float_denorm_style has_denorm = __base::has_denorm;
486  static inline _LIBCPP_DEPRECATED_IN_CXX23 _LIBCPP_CONSTEXPR const bool has_denorm_loss = __base::has_denorm_loss;
487  _LIBCPP_SUPPRESS_DEPRECATED_POP
488  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type infinity() _NOEXCEPT {
489    return __base::infinity();
490  }
491  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type quiet_NaN() _NOEXCEPT {
492    return __base::quiet_NaN();
493  }
494  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type signaling_NaN() _NOEXCEPT {
495    return __base::signaling_NaN();
496  }
497  [[__nodiscard__]] _LIBCPP_HIDE_FROM_ABI static _LIBCPP_CONSTEXPR type denorm_min() _NOEXCEPT {
498    return __base::denorm_min();
499  }
500
501  static inline _LIBCPP_CONSTEXPR const bool is_iec559  = __base::is_iec559;
502  static inline _LIBCPP_CONSTEXPR const bool is_bounded = __base::is_bounded;
503  static inline _LIBCPP_CONSTEXPR const bool is_modulo  = __base::is_modulo;
504
505  static inline _LIBCPP_CONSTEXPR const bool traps                    = __base::traps;
506  static inline _LIBCPP_CONSTEXPR const bool tinyness_before          = __base::tinyness_before;
507  static inline _LIBCPP_CONSTEXPR const float_round_style round_style = __base::round_style;
508};
509
510template <class _Tp>
511class numeric_limits<const _Tp> : public numeric_limits<_Tp> {};
512
513template <class _Tp>
514class numeric_limits<volatile _Tp> : public numeric_limits<_Tp> {};
515
516template <class _Tp>
517class numeric_limits<const volatile _Tp> : public numeric_limits<_Tp> {};
518
519_LIBCPP_END_NAMESPACE_STD
520
521_LIBCPP_POP_MACROS
522
523#  if !defined(_LIBCPP_REMOVE_TRANSITIVE_INCLUDES) && _LIBCPP_STD_VER <= 20
524#    include <type_traits>
525#  endif
526#endif // __cplusplus < 201103L && defined(_LIBCPP_USE_FROZEN_CXX03_HEADERS)
527
528#endif // _LIBCPP_LIMITS
529