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