[llvm] [ADT] BitVector: give `subsetOf(RHS)` name to `!test(RHS)` (NFC) (PR #170875)
Jakub Kuderski via llvm-commits
llvm-commits at lists.llvm.org
Mon Dec 8 06:24:00 PST 2025
================
@@ -835,26 +835,118 @@ TYPED_TEST(BitVectorTest, BinOps) {
A.resize(65);
EXPECT_FALSE(A.anyCommon(B));
EXPECT_FALSE(B.anyCommon(B));
+ EXPECT_TRUE(A.subsetOf(B));
+ EXPECT_TRUE(B.subsetOf(A));
B.resize(64);
A.set(64);
EXPECT_FALSE(A.anyCommon(B));
EXPECT_FALSE(B.anyCommon(A));
+ EXPECT_FALSE(A.subsetOf(B));
+ EXPECT_TRUE(B.subsetOf(A));
B.set(63);
EXPECT_FALSE(A.anyCommon(B));
EXPECT_FALSE(B.anyCommon(A));
+ EXPECT_FALSE(A.subsetOf(B));
+ EXPECT_FALSE(B.subsetOf(A));
A.set(63);
EXPECT_TRUE(A.anyCommon(B));
EXPECT_TRUE(B.anyCommon(A));
+ EXPECT_FALSE(A.subsetOf(B));
+ EXPECT_TRUE(B.subsetOf(A));
B.resize(70);
B.set(64);
B.reset(63);
A.resize(64);
EXPECT_FALSE(A.anyCommon(B));
EXPECT_FALSE(B.anyCommon(A));
+ EXPECT_FALSE(A.subsetOf(B));
+ EXPECT_FALSE(B.subsetOf(A));
+
+ B.set(63);
+ B.reset(64);
+ EXPECT_TRUE(A.anyCommon(B));
+ EXPECT_TRUE(B.anyCommon(A));
+ EXPECT_TRUE(A.subsetOf(B));
+ EXPECT_TRUE(B.subsetOf(A));
+}
+
+template <typename VecType>
+static inline VecType createBitVectorFromBits(uint32_t Size,
+ const std::vector<int> &SetBits) {
----------------
kuhar wrote:
nit: why not initializer_list?
https://github.com/llvm/llvm-project/pull/170875
More information about the llvm-commits
mailing list