1 //===----------------------------------------------------------------------===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is dual licensed under the MIT and the University of Illinois Open
6 // Source Licenses. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9
10 // test numeric_limits
11
12 // digits
13
14 #include <limits>
15 #include <cfloat>
16
17 template <class T, int expected>
18 void
test()19 test()
20 {
21 static_assert(std::numeric_limits<T>::digits == expected, "digits test 1");
22 static_assert(std::numeric_limits<const T>::digits == expected, "digits test 2");
23 static_assert(std::numeric_limits<volatile T>::digits == expected, "digits test 3");
24 static_assert(std::numeric_limits<const volatile T>::digits == expected, "digits test 4");
25 }
26
main()27 int main()
28 {
29 test<bool, 1>();
30 test<char, std::numeric_limits<char>::is_signed ? 7 : 8>();
31 test<signed char, 7>();
32 test<unsigned char, 8>();
33 test<wchar_t, std::numeric_limits<wchar_t>::is_signed ? sizeof(wchar_t)*8-1 : sizeof(wchar_t)*8>();
34 #ifndef _LIBCPP_HAS_NO_UNICODE_CHARS
35 test<char16_t, 16>();
36 test<char32_t, 32>();
37 #endif // _LIBCPP_HAS_NO_UNICODE_CHARS
38 test<short, 15>();
39 test<unsigned short, 16>();
40 test<int, 31>();
41 test<unsigned int, 32>();
42 test<long, sizeof(long) == 4 ? 31 : 63>();
43 test<unsigned long, sizeof(long) == 4 ? 32 : 64>();
44 test<long long, 63>();
45 test<unsigned long long, 64>();
46 #ifndef _LIBCPP_HAS_NO_INT128
47 test<__int128_t, 127>();
48 test<__uint128_t, 128>();
49 #endif
50 test<float, FLT_MANT_DIG>();
51 test<double, DBL_MANT_DIG>();
52 test<long double, LDBL_MANT_DIG>();
53 }
54