diff options
Diffstat (limited to 'llvm/unittests/ADT')
-rw-r--r-- | llvm/unittests/ADT/BitTest.cpp | 23 | ||||
-rw-r--r-- | llvm/unittests/ADT/TypeSwitchTest.cpp | 28 |
2 files changed, 51 insertions, 0 deletions
diff --git a/llvm/unittests/ADT/BitTest.cpp b/llvm/unittests/ADT/BitTest.cpp index 88ae36c..eaed4e1 100644 --- a/llvm/unittests/ADT/BitTest.cpp +++ b/llvm/unittests/ADT/BitTest.cpp @@ -247,6 +247,29 @@ TEST(BitTest, BitWidth) { EXPECT_EQ(64, llvm::bit_width(uint64_t(0xffffffffffffffffull))); } +TEST(BitTest, BitWidthConstexpr) { + static_assert(llvm::bit_width_constexpr(0u) == 0); + static_assert(llvm::bit_width_constexpr(1u) == 1); + static_assert(llvm::bit_width_constexpr(2u) == 2); + static_assert(llvm::bit_width_constexpr(3u) == 2); + static_assert(llvm::bit_width_constexpr(4u) == 3); + static_assert(llvm::bit_width_constexpr(5u) == 3); + static_assert(llvm::bit_width_constexpr(6u) == 3); + static_assert(llvm::bit_width_constexpr(7u) == 3); + static_assert(llvm::bit_width_constexpr(8u) == 4); + + static_assert(llvm::bit_width_constexpr(255u) == 8); + static_assert(llvm::bit_width_constexpr(256u) == 9); + static_assert(llvm::bit_width_constexpr(257u) == 9); + + static_assert( + llvm::bit_width_constexpr(std::numeric_limits<uint16_t>::max()) == 16); + static_assert( + llvm::bit_width_constexpr(std::numeric_limits<uint32_t>::max()) == 32); + static_assert( + llvm::bit_width_constexpr(std::numeric_limits<uint64_t>::max()) == 64); +} + TEST(BitTest, CountlZero) { uint8_t Z8 = 0; uint16_t Z16 = 0; diff --git a/llvm/unittests/ADT/TypeSwitchTest.cpp b/llvm/unittests/ADT/TypeSwitchTest.cpp index c54b798..a7d9342 100644 --- a/llvm/unittests/ADT/TypeSwitchTest.cpp +++ b/llvm/unittests/ADT/TypeSwitchTest.cpp @@ -114,3 +114,31 @@ TEST(TypeSwitchTest, CasesOptional) { EXPECT_EQ(std::nullopt, translate(DerivedC())); EXPECT_EQ(-1, translate(DerivedD())); } + +TEST(TypeSwitchTest, DefaultUnreachableWithValue) { + auto translate = [](auto value) { + return TypeSwitch<Base *, int>(&value) + .Case([](DerivedA *) { return 0; }) + .DefaultUnreachable("Unhandled type"); + }; + EXPECT_EQ(0, translate(DerivedA())); + +#if defined(GTEST_HAS_DEATH_TEST) && !defined(NDEBUG) + EXPECT_DEATH((void)translate(DerivedD()), "Unhandled type"); +#endif +} + +TEST(TypeSwitchTest, DefaultUnreachableWithVoid) { + auto translate = [](auto value) { + int result = -1; + TypeSwitch<Base *>(&value) + .Case([&result](DerivedA *) { result = 0; }) + .DefaultUnreachable("Unhandled type"); + return result; + }; + EXPECT_EQ(0, translate(DerivedA())); + +#if defined(GTEST_HAS_DEATH_TEST) && !defined(NDEBUG) + EXPECT_DEATH((void)translate(DerivedD()), "Unhandled type"); +#endif +} |