// Copyright 2001 John Maddock

// Distributed under the Boost Software License, Version 1.0. (See accompany-

// ing file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)

/*

 * Copyright (c) 1997

 * Silicon Graphics Computer Systems, Inc.

 *

 * Permission to use, copy, modify, distribute and sell this software

 * and its documentation for any purpose is hereby granted without fee,

 * provided that the above copyright notice appear in all copies and

 * that both that copyright notice and this permission notice appear

 * in supporting documentation.  Silicon Graphics makes no

 * representations about the suitability of this software for any

 * purpose.  It is provided "as is" without express or implied warranty.

 */

/* NOTE: This is not portable code.  Parts of numeric_limits<> are

 * inherently machine-dependent, and this file is written for the MIPS

 * architecture and the SGI MIPSpro C++ compiler.  Parts of it (in

 * particular, some of the characteristics of floating-point types)

 * are almost certainly incorrect for any other platform.

 */

/* The above comment is almost certainly out of date. This file works

 * on systems other than SGI MIPSpro C++ now.

 */

/*

 * Revision history:

 * 21 Sep 2001:

 *    Only include <cwchar> if BOOST_NO_CWCHAR is defined. (Darin Adler)

 * 10 Aug 2001:

 *    Added MIPS (big endian) to the big endian family. (Jens Maurer)

 * 13 Apr 2001:

 *    Added powerpc to the big endian family. (Jeremy Siek)

 * 5 Apr 2001:

 *    Added sparc (big endian) processor support (John Maddock).

 * Initial sub:

 *      Modified by Jens Maurer for gcc 2.95 on x86.

 */

#ifndef BOOST_SGI_CPP_LIMITS

#define BOOST_SGI_CPP_LIMITS

#include <climits>

#include <cfloat>

#include <boost/config.hpp>

#include <boost/detail/endian.hpp>

#ifndef BOOST_NO_CWCHAR

#include <cwchar> // for WCHAR_MIN and WCHAR_MAX

#endif

namespace std {

enum float_round_style {

  round_indeterminate       = -1,

  round_toward_zero         =  0,

  round_to_nearest          =  1,

  round_toward_infinity     =  2,

  round_toward_neg_infinity =  3

};

enum float_denorm_style {

  denorm_indeterminate = -1,

  denorm_absent        =  0,

  denorm_present       =  1

};

// The C++ standard (section 18.2.1) requires that some of the members of

// numeric_limits be static const data members that are given constant-

// initializers within the class declaration.  On compilers where the

// BOOST_NO_INCLASS_MEMBER_INITIALIZATION macro is defined, it is impossible to write

// a standard-conforming numeric_limits class.

//

// There are two possible workarounds: either initialize the data

// members outside the class, or change them from data members to

// enums.  Neither workaround is satisfactory: the former makes it

// impossible to use the data members in constant-expressions, and the

// latter means they have the wrong type and that it is impossible to

// take their addresses.  We choose the former workaround.

#ifdef BOOST_NO_INCLASS_MEMBER_INITIALIZATION

# define BOOST_STL_DECLARE_LIMITS_MEMBER(__mem_type, __mem_name, __mem_value) \

  enum { __mem_name = __mem_value }

#else /* BOOST_NO_INCLASS_MEMBER_INITIALIZATION */

# define BOOST_STL_DECLARE_LIMITS_MEMBER(__mem_type, __mem_name, __mem_value) \

  static const __mem_type __mem_name = __mem_value

#endif /* BOOST_NO_INCLASS_MEMBER_INITIALIZATION */

// Base class for all specializations of numeric_limits.

template <class __number>

class _Numeric_limits_base {

public:

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_specialized, false);

  static __number min BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return __number(); }

  static __number max BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return __number(); }

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, digits,   0);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, digits10, 0);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_signed,  false);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_integer, false);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_exact,   false);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, radix, 0);

  static __number epsilon() throw()     { return __number(); }

  static __number round_error() throw() { return __number(); }

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, min_exponent,   0);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, min_exponent10, 0);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, max_exponent,   0);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, max_exponent10, 0);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_infinity,      false);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_quiet_NaN,     false);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_signaling_NaN, false);

  BOOST_STL_DECLARE_LIMITS_MEMBER(float_denorm_style,

                              has_denorm,

                              denorm_absent);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_denorm_loss,   false);

  static __number infinity() throw()      { return __number(); }

  static __number quiet_NaN() throw()     { return __number(); }

  static __number signaling_NaN() throw() { return __number(); }

  static __number denorm_min() throw()    { return __number(); }

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_iec559,  false);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_bounded, false);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_modulo,  false);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, traps,            false);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, tinyness_before,  false);

  BOOST_STL_DECLARE_LIMITS_MEMBER(float_round_style,

                              round_style,

                              round_toward_zero);

};

// Base class for integers.

template <class _Int,

          _Int __imin,

          _Int __imax,

          int __idigits = -1>

class _Integer_limits : public _Numeric_limits_base<_Int> 

{

public:

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_specialized, true);

  static _Int min BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return __imin; }

  static _Int max BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return __imax; }

  BOOST_STL_DECLARE_LIMITS_MEMBER(int,

                              digits,

                              (__idigits < 0) ? (int)(sizeof(_Int) * CHAR_BIT)

                                                   - (__imin == 0 ? 0 : 1) 

                                              : __idigits);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, digits10, (digits * 301) / 1000); 

                                // log 2 = 0.301029995664...

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_signed,  __imin != 0);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_integer, true);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_exact,   true);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int,  radix,      2);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_bounded, true);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_modulo, true);

};

#if defined(BOOST_BIG_ENDIAN)

 template<class Number, unsigned int Word>

 struct float_helper{

  static Number get_word() throw() {

    // sizeof(long double) == 16

    const unsigned int _S_word[4] = { Word, 0, 0, 0 };

    return *reinterpret_cast<const Number*>(&_S_word);

  } 

};

#else

 template<class Number, unsigned int Word>

 struct float_helper{

  static Number get_word() throw() {

    // sizeof(long double) == 12, but only 10 bytes significant

    const unsigned int _S_word[4] = { 0, 0, 0, Word };

    return *reinterpret_cast<const Number*>(

        reinterpret_cast<const char *>(&_S_word)+16-

                (sizeof(Number) == 12 ? 10 : sizeof(Number)));

  } 

};

#endif

// Base class for floating-point numbers.

template <class __number,

         int __Digits, int __Digits10,

         int __MinExp, int __MaxExp,

         int __MinExp10, int __MaxExp10,

         unsigned int __InfinityWord,

         unsigned int __QNaNWord, unsigned int __SNaNWord,

         bool __IsIEC559,

         float_round_style __RoundStyle>

class _Floating_limits : public _Numeric_limits_base<__number>

{

public:

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_specialized, true);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, digits,   __Digits);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, digits10, __Digits10);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_signed, true);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, radix, 2);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, min_exponent,   __MinExp);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, max_exponent,   __MaxExp);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, min_exponent10, __MinExp10);

  BOOST_STL_DECLARE_LIMITS_MEMBER(int, max_exponent10, __MaxExp10);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_infinity,      true);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_quiet_NaN,     true);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_signaling_NaN, true);

  BOOST_STL_DECLARE_LIMITS_MEMBER(float_denorm_style,

                              has_denorm,

                              denorm_indeterminate);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, has_denorm_loss,   false);

  static __number infinity() throw() {

    return float_helper<__number, __InfinityWord>::get_word();

  }

  static __number quiet_NaN() throw() {

    return float_helper<__number,__QNaNWord>::get_word();

  }

  static __number signaling_NaN() throw() {

    return float_helper<__number,__SNaNWord>::get_word();

  }

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_iec559,       __IsIEC559);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, is_bounded,      true);

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, traps,           false /* was: true */ );

  BOOST_STL_DECLARE_LIMITS_MEMBER(bool, tinyness_before, false);

  BOOST_STL_DECLARE_LIMITS_MEMBER(float_round_style, round_style, __RoundStyle);

};

// Class numeric_limits

// The unspecialized class.

template<class T> 

class numeric_limits : public _Numeric_limits_base<T> {};

// Specializations for all built-in integral types.

template<>

class numeric_limits<bool>

  : public _Integer_limits<bool, false, true, 0>

{};

template<>

class numeric_limits<char>

  : public _Integer_limits<char, CHAR_MIN, CHAR_MAX>

{};

template<>

class numeric_limits<signed char>

  : public _Integer_limits<signed char, SCHAR_MIN, SCHAR_MAX>

{};

template<>

class numeric_limits<unsigned char>

  : public _Integer_limits<unsigned char, 0, UCHAR_MAX>

{};

#ifndef BOOST_NO_INTRINSIC_WCHAR_T

template<>

class numeric_limits<wchar_t>

#if !defined(WCHAR_MAX) || !defined(WCHAR_MIN)

#if defined(_WIN32) || defined(__CYGWIN__)

  : public _Integer_limits<wchar_t, 0, USHRT_MAX>

#elif defined(__hppa)

// wchar_t has "unsigned int" as the underlying type

  : public _Integer_limits<wchar_t, 0, UINT_MAX>

#else

// assume that wchar_t has "int" as the underlying type

  : public _Integer_limits<wchar_t, INT_MIN, INT_MAX>

#endif

#else

// we have WCHAR_MIN and WCHAR_MAX defined, so use it

  : public _Integer_limits<wchar_t, WCHAR_MIN, WCHAR_MAX>

#endif

{};

#endif

template<>

class numeric_limits<short>

  : public _Integer_limits<short, SHRT_MIN, SHRT_MAX>

{};

template<>

class numeric_limits<unsigned short>

  : public _Integer_limits<unsigned short, 0, USHRT_MAX>

{};

template<>

class numeric_limits<int>

  : public _Integer_limits<int, INT_MIN, INT_MAX>

{};

template<>

class numeric_limits<unsigned int>

  : public _Integer_limits<unsigned int, 0, UINT_MAX>

{};

template<>

class numeric_limits<long>

  : public _Integer_limits<long, LONG_MIN, LONG_MAX>

{};

template<>

class numeric_limits<unsigned long>

  : public _Integer_limits<unsigned long, 0, ULONG_MAX>

{};

#ifdef __GNUC__

// Some compilers have long long, but don't define the

// LONGLONG_MIN and LONGLONG_MAX macros in limits.h.  This

// assumes that long long is 64 bits.

#if !defined(LONGLONG_MAX) && !defined(ULONGLONG_MAX)

# define ULONGLONG_MAX 0xffffffffffffffffLLU

# define LONGLONG_MAX 0x7fffffffffffffffLL

#endif

#if !defined(LONGLONG_MIN)

# define LONGLONG_MIN (-LONGLONG_MAX - 1)

#endif 

#if !defined(ULONGLONG_MIN)

# define ULONGLONG_MIN 0

#endif 

#endif /* __GNUC__ */

// Specializations for all built-in floating-point type.

template<> class numeric_limits<float>

  : public _Floating_limits<float, 

                            FLT_MANT_DIG,   // Binary digits of precision

                            FLT_DIG,        // Decimal digits of precision

                            FLT_MIN_EXP,    // Minimum exponent

                            FLT_MAX_EXP,    // Maximum exponent

                            FLT_MIN_10_EXP, // Minimum base 10 exponent

                            FLT_MAX_10_EXP, // Maximum base 10 exponent

#if defined(BOOST_BIG_ENDIAN)

                            0x7f80 << (sizeof(int)*CHAR_BIT-16),    // Last word of +infinity

                            0x7f81 << (sizeof(int)*CHAR_BIT-16),    // Last word of quiet NaN

                            0x7fc1 << (sizeof(int)*CHAR_BIT-16),    // Last word of signaling NaN

#else

                            0x7f800000u,    // Last word of +infinity

                            0x7f810000u,    // Last word of quiet NaN

                            0x7fc10000u,    // Last word of signaling NaN

#endif

                            true,           // conforms to iec559

                            round_to_nearest>

{

public:

  static float min BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return FLT_MIN; }

  static float denorm_min() throw() { return FLT_MIN; }

  static float max BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return FLT_MAX; }

  static float epsilon() throw() { return FLT_EPSILON; }

  static float round_error() throw() { return 0.5f; } // Units: ulps.

};

template<> class numeric_limits<double>

  : public _Floating_limits<double, 

                            DBL_MANT_DIG,   // Binary digits of precision

                            DBL_DIG,        // Decimal digits of precision

                            DBL_MIN_EXP,    // Minimum exponent

                            DBL_MAX_EXP,    // Maximum exponent

                            DBL_MIN_10_EXP, // Minimum base 10 exponent

                            DBL_MAX_10_EXP, // Maximum base 10 exponent

#if defined(BOOST_BIG_ENDIAN)

                            0x7ff0 << (sizeof(int)*CHAR_BIT-16),    // Last word of +infinity

                            0x7ff1 << (sizeof(int)*CHAR_BIT-16),    // Last word of quiet NaN

                            0x7ff9 << (sizeof(int)*CHAR_BIT-16),    // Last word of signaling NaN

#else

                            0x7ff00000u,    // Last word of +infinity

                            0x7ff10000u,    // Last word of quiet NaN

                            0x7ff90000u,    // Last word of signaling NaN

#endif

                            true,           // conforms to iec559

                            round_to_nearest>

{

public:

  static double min BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return DBL_MIN; }

  static double denorm_min() throw() { return DBL_MIN; }

  static double max BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return DBL_MAX; }

  static double epsilon() throw() { return DBL_EPSILON; }

  static double round_error() throw() { return 0.5; } // Units: ulps.

};

template<> class numeric_limits<long double>

  : public _Floating_limits<long double, 

                            LDBL_MANT_DIG,  // Binary digits of precision

                            LDBL_DIG,       // Decimal digits of precision

                            LDBL_MIN_EXP,   // Minimum exponent

                            LDBL_MAX_EXP,   // Maximum exponent

                            LDBL_MIN_10_EXP,// Minimum base 10 exponent

                            LDBL_MAX_10_EXP,// Maximum base 10 exponent

#if defined(BOOST_BIG_ENDIAN)

                            0x7ff0 << (sizeof(int)*CHAR_BIT-16),    // Last word of +infinity

                            0x7ff1 << (sizeof(int)*CHAR_BIT-16),    // Last word of quiet NaN

                            0x7ff9 << (sizeof(int)*CHAR_BIT-16),    // Last word of signaling NaN

#else

                            0x7fff8000u,    // Last word of +infinity

                            0x7fffc000u,    // Last word of quiet NaN

                            0x7fff9000u,    // Last word of signaling NaN

#endif

                            false,          // Doesn't conform to iec559

                            round_to_nearest>

{

public:

  static long double min BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return LDBL_MIN; }

  static long double denorm_min() throw() { return LDBL_MIN; }

  static long double max BOOST_PREVENT_MACRO_SUBSTITUTION () throw() { return LDBL_MAX; }

  static long double epsilon() throw() { return LDBL_EPSILON; }

  static long double round_error() throw() { return 4; } // Units: ulps.

};

} // namespace std

#endif /* BOOST_SGI_CPP_LIMITS */

// Local Variables:

// mode:C++

// End: