1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant//                     The LLVM Compiler Infrastructure
4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// test numeric_limits
11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// max()
13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <limits>
15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <climits>
16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cwchar>
17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cfloat>
18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert>
19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T>
21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid
22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest(T expected)
23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(std::numeric_limits<T>::max() == expected);
25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(std::numeric_limits<T>::is_bounded);
26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(std::numeric_limits<const T>::max() == expected);
27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(std::numeric_limits<const T>::is_bounded);
28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(std::numeric_limits<volatile T>::max() == expected);
29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(std::numeric_limits<volatile T>::is_bounded);
30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(std::numeric_limits<const volatile T>::max() == expected);
31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(std::numeric_limits<const volatile T>::is_bounded);
32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main()
35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<bool>(true);
37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<char>(CHAR_MAX);
38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<signed char>(SCHAR_MAX);
39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<unsigned char>(UCHAR_MAX);
40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<wchar_t>(WCHAR_MAX);
41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<char16_t>(USHRT_MAX);
43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<char32_t>(UINT_MAX);
44cf6dcc35e14a3d2dafe67cf76a200b2e1a671e7dHoward Hinnant#endif  // _LIBCPP_HAS_NO_UNICODE_CHARS
45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<short>(SHRT_MAX);
46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<unsigned short>(USHRT_MAX);
47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<int>(INT_MAX);
48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<unsigned int>(UINT_MAX);
49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<long>(LONG_MAX);
50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<unsigned long>(ULONG_MAX);
51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<long long>(LLONG_MAX);
52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<unsigned long long>(ULLONG_MAX);
538a71d236336705a49257d43ac8d986ba3d5f5060Stephan Tolksdorf#ifndef _LIBCPP_HAS_NO_INT128
548a71d236336705a49257d43ac8d986ba3d5f5060Stephan Tolksdorf    test<__int128_t>(__int128_t(__uint128_t(-1)/2));
558a71d236336705a49257d43ac8d986ba3d5f5060Stephan Tolksdorf    test<__uint128_t>(__uint128_t(-1));
568a71d236336705a49257d43ac8d986ba3d5f5060Stephan Tolksdorf#endif
57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<float>(FLT_MAX);
58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<double>(DBL_MAX);
59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    test<long double>(LDBL_MAX);
60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
61