contrib/libc++/include/limits

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