aboutsummaryrefslogtreecommitdiff
path: root/llvm/unittests/ADT
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/unittests/ADT')
-rw-r--r--llvm/unittests/ADT/BitTest.cpp23
-rw-r--r--llvm/unittests/ADT/TypeSwitchTest.cpp28
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
+}