1 | //===-- Unittests for Limits ----------------------------------------------===// |
2 | // |
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | // See https://llvm.org/LICENSE.txt for license information. |
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | // |
7 | //===----------------------------------------------------------------------===// |
8 | |
9 | #include "src/__support/CPP/limits.h" |
10 | #include "src/__support/big_int.h" |
11 | #include "src/__support/macros/config.h" |
12 | #include "src/__support/macros/properties/types.h" // LIBC_TYPES_HAS_INT128 |
13 | #include "test/UnitTest/Test.h" |
14 | |
15 | namespace LIBC_NAMESPACE_DECL { |
16 | |
17 | // This just checks against the C spec, almost all implementations will surpass |
18 | // this. |
19 | TEST(LlvmLibcLimitsTest, LimitsFollowSpec) { |
20 | ASSERT_EQ(cpp::numeric_limits<int>::max(), INT_MAX); |
21 | ASSERT_EQ(cpp::numeric_limits<int>::min(), INT_MIN); |
22 | |
23 | ASSERT_EQ(cpp::numeric_limits<unsigned int>::max(), UINT_MAX); |
24 | |
25 | ASSERT_EQ(cpp::numeric_limits<long>::max(), LONG_MAX); |
26 | ASSERT_EQ(cpp::numeric_limits<long>::min(), LONG_MIN); |
27 | |
28 | ASSERT_EQ(cpp::numeric_limits<unsigned long>::max(), ULONG_MAX); |
29 | |
30 | ASSERT_EQ(cpp::numeric_limits<long long>::max(), LLONG_MAX); |
31 | ASSERT_EQ(cpp::numeric_limits<long long>::min(), LLONG_MIN); |
32 | |
33 | ASSERT_EQ(cpp::numeric_limits<unsigned long long>::max(), ULLONG_MAX); |
34 | } |
35 | |
36 | TEST(LlvmLibcLimitsTest, UInt128Limits) { |
37 | auto umax128 = cpp::numeric_limits<LIBC_NAMESPACE::UInt<128>>::max(); |
38 | auto umax64 = LIBC_NAMESPACE::UInt<128>(cpp::numeric_limits<uint64_t>::max()); |
39 | EXPECT_GT(umax128, umax64); |
40 | ASSERT_EQ(~LIBC_NAMESPACE::UInt<128>(0), umax128); |
41 | #ifdef LIBC_TYPES_HAS_INT128 |
42 | ASSERT_EQ(~__uint128_t(0), cpp::numeric_limits<__uint128_t>::max()); |
43 | #endif // LIBC_TYPES_HAS_INT128 |
44 | } |
45 | |
46 | } // namespace LIBC_NAMESPACE_DECL |
47 | |