12a7ed8fcSSiva Chandra Reddy //===-- Unittests for Limits ----------------------------------------------===// 22a7ed8fcSSiva Chandra Reddy // 32a7ed8fcSSiva Chandra Reddy // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 42a7ed8fcSSiva Chandra Reddy // See https://llvm.org/LICENSE.txt for license information. 52a7ed8fcSSiva Chandra Reddy // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 62a7ed8fcSSiva Chandra Reddy // 72a7ed8fcSSiva Chandra Reddy //===----------------------------------------------------------------------===// 82a7ed8fcSSiva Chandra Reddy 991eb0b65SGuillaume Chatelet #include "src/__support/CPP/limits.h" 1009efe848SGuillaume Chatelet #include "src/__support/big_int.h" 11*5ff3ff33SPetr Hosek #include "src/__support/macros/config.h" 1223c397c7SGuillaume Chatelet #include "src/__support/macros/properties/types.h" // LIBC_TYPES_HAS_INT128 13af1315c2SSiva Chandra Reddy #include "test/UnitTest/Test.h" 142a7ed8fcSSiva Chandra Reddy 15*5ff3ff33SPetr Hosek namespace LIBC_NAMESPACE_DECL { 1691eb0b65SGuillaume Chatelet 172a7ed8fcSSiva Chandra Reddy // This just checks against the C spec, almost all implementations will surpass 182a7ed8fcSSiva Chandra Reddy // this. 192a7ed8fcSSiva Chandra Reddy TEST(LlvmLibcLimitsTest, LimitsFollowSpec) { 2091eb0b65SGuillaume Chatelet ASSERT_EQ(cpp::numeric_limits<int>::max(), INT_MAX); 2191eb0b65SGuillaume Chatelet ASSERT_EQ(cpp::numeric_limits<int>::min(), INT_MIN); 222a7ed8fcSSiva Chandra Reddy 2391eb0b65SGuillaume Chatelet ASSERT_EQ(cpp::numeric_limits<unsigned int>::max(), UINT_MAX); 242a7ed8fcSSiva Chandra Reddy 2591eb0b65SGuillaume Chatelet ASSERT_EQ(cpp::numeric_limits<long>::max(), LONG_MAX); 2691eb0b65SGuillaume Chatelet ASSERT_EQ(cpp::numeric_limits<long>::min(), LONG_MIN); 272a7ed8fcSSiva Chandra Reddy 2891eb0b65SGuillaume Chatelet ASSERT_EQ(cpp::numeric_limits<unsigned long>::max(), ULONG_MAX); 292a7ed8fcSSiva Chandra Reddy 3091eb0b65SGuillaume Chatelet ASSERT_EQ(cpp::numeric_limits<long long>::max(), LLONG_MAX); 3191eb0b65SGuillaume Chatelet ASSERT_EQ(cpp::numeric_limits<long long>::min(), LLONG_MIN); 322a7ed8fcSSiva Chandra Reddy 3391eb0b65SGuillaume Chatelet ASSERT_EQ(cpp::numeric_limits<unsigned long long>::max(), ULLONG_MAX); 342a7ed8fcSSiva Chandra Reddy } 352a7ed8fcSSiva Chandra Reddy 36300f8da8SSiva Chandra Reddy TEST(LlvmLibcLimitsTest, UInt128Limits) { 376a8e6c9aSGuillaume Chatelet auto umax128 = cpp::numeric_limits<LIBC_NAMESPACE::UInt<128>>::max(); 386a8e6c9aSGuillaume Chatelet auto umax64 = LIBC_NAMESPACE::UInt<128>(cpp::numeric_limits<uint64_t>::max()); 39300f8da8SSiva Chandra Reddy EXPECT_GT(umax128, umax64); 406a8e6c9aSGuillaume Chatelet ASSERT_EQ(~LIBC_NAMESPACE::UInt<128>(0), umax128); 4123c397c7SGuillaume Chatelet #ifdef LIBC_TYPES_HAS_INT128 4291eb0b65SGuillaume Chatelet ASSERT_EQ(~__uint128_t(0), cpp::numeric_limits<__uint128_t>::max()); 4323c397c7SGuillaume Chatelet #endif // LIBC_TYPES_HAS_INT128 44300f8da8SSiva Chandra Reddy } 4591eb0b65SGuillaume Chatelet 46*5ff3ff33SPetr Hosek } // namespace LIBC_NAMESPACE_DECL 47