| /* | |
| * Copyright (C) 2013 The Android Open Source Project | |
| * | |
| * Licensed under the Apache License, Version 2.0 (the "License"); | |
| * you may not use this file except in compliance with the License. | |
| * You may obtain a copy of the License at | |
| * | |
| * http://www.apache.org/licenses/LICENSE-2.0 | |
| * | |
| * Unless required by applicable law or agreed to in writing, software | |
| * distributed under the License is distributed on an "AS IS" BASIS, | |
| * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
| * See the License for the specific language governing permissions and | |
| * limitations under the License. | |
| */ | |
| #include <memory> | |
| #include <random> | |
| #include <vector> | |
| #include "allocator.h" | |
| #include "base/stl_util.h" | |
| #include "bit_vector-inl.h" | |
| #include "gtest/gtest.h" | |
| #include "transform_iterator.h" | |
| namespace art { | |
| template <typename StorageType, StorageType kWord0, StorageType kWord1> | |
| void TestBitVectorViewSetBitAndClearBit() { | |
| static constexpr StorageType kStorage[2] = { kWord0, kWord1 }; | |
| static constexpr size_t kSizeInBits = 2 * BitSizeOf<StorageType>(); | |
| static constexpr BitVectorView<const StorageType> kBvv(kStorage, kSizeInBits); | |
| auto get_bit_from_params = [](size_t index) constexpr { | |
| StorageType word = (index < BitSizeOf<StorageType>()) ? kWord0 : kWord1; | |
| size_t shift = index % BitSizeOf<StorageType>(); | |
| return (word & (static_cast<StorageType>(1u) << shift)) != 0u; | |
| }; | |
| auto verify_is_bit_set = [get_bit_from_params]() constexpr { | |
| for (size_t index = 0; index != kSizeInBits; ++index) { | |
| // If the `CHECK_EQ()` fails, the `static_assert` evaluation fails at compile time. | |
| CHECK_EQ(get_bit_from_params(index), kBvv.IsBitSet(index)) << index; | |
| } | |
| return true; | |
| }; | |
| static_assert(verify_is_bit_set()); | |
| auto verify_size = []() constexpr { | |
| for (size_t size = 0; size != kSizeInBits; ++size) { | |
| // If the `CHECK_EQ()` fails, the `static_assert` evaluation fails at compile time. | |
| CHECK_EQ(size, BitVectorView(kStorage, size).SizeInBits()); | |
| size_t words = RoundUp(size, BitSizeOf<StorageType>()) / BitSizeOf<StorageType>(); | |
| CHECK_EQ(words, BitVectorView(kStorage, size).SizeInWords()); | |
| } | |
| return true; | |
| }; | |
| static_assert(verify_size()); | |
| StorageType storage[2] = {0u, 0u}; | |
| size_t size_in_bits = 2 * BitSizeOf<StorageType>(); | |
| BitVectorView<StorageType> bvv(storage, size_in_bits); | |
| for (size_t index = 0; index != size_in_bits; ++index) { | |
| ASSERT_FALSE(bvv.IsBitSet(index)); | |
| } | |
| // Set one bit at a time, then clear it. | |
| for (size_t bit_to_set = 0; bit_to_set != size_in_bits; ++bit_to_set) { | |
| bvv.SetBit(bit_to_set); | |
| for (size_t index = 0; index != size_in_bits; ++index) { | |
| ASSERT_EQ(index == bit_to_set, bvv.IsBitSet(index)); | |
| } | |
| ASSERT_TRUE(bvv.IsAnyBitSet()); | |
| bvv.ClearBit(bit_to_set); | |
| for (size_t index = 0; index != size_in_bits; ++index) { | |
| ASSERT_FALSE(bvv.IsBitSet(index)); | |
| } | |
| ASSERT_FALSE(bvv.IsAnyBitSet()); | |
| } | |
| // Set bits for `kWord0` and `kWord1`. | |
| for (size_t index = 0; index != size_in_bits; ++index) { | |
| if (get_bit_from_params(index)) { | |
| bvv.SetBit(index); | |
| } | |
| } | |
| ASSERT_EQ(kWord0, storage[0]); | |
| ASSERT_EQ(kWord1, storage[1]); | |
| // Clear all bits that are already clear. | |
| for (size_t index = 0; index != size_in_bits; ++index) { | |
| if (!get_bit_from_params(index)) { | |
| bvv.ClearBit(index); | |
| } | |
| } | |
| ASSERT_EQ(kWord0, storage[0]); | |
| ASSERT_EQ(kWord1, storage[1]); | |
| // Clear all bits that are set. | |
| for (size_t index = 0; index != size_in_bits; ++index) { | |
| if (get_bit_from_params(index)) { | |
| bvv.ClearBit(index); | |
| } | |
| } | |
| ASSERT_EQ(0u, storage[0]); | |
| ASSERT_EQ(0u, storage[1]); | |
| } | |
| TEST(BitVectorView, Uint32T) { | |
| TestBitVectorViewSetBitAndClearBit<uint32_t, 0x12345678u, 0x87654321u>(); | |
| } | |
| TEST(BitVectorView, Uint64T) { | |
| TestBitVectorViewSetBitAndClearBit<uint64_t, | |
| UINT64_C(0x1234567890abcdef), | |
| UINT64_C(0xfedcba0987654321)>(); | |
| } | |
| TEST(BitVectorView, SizeT) { | |
| // Note: The constants below are truncated on 32-bit architectures. | |
| TestBitVectorViewSetBitAndClearBit<size_t, | |
| static_cast<size_t>(UINT64_C(0xfedcba0987654321)), | |
| static_cast<size_t>(UINT64_C(0x1234567890abcdef))>(); | |
| } | |
| TEST(BitVectorView, ConversionToConstStorage) { | |
| uint32_t storage[] = {1u, 2u, 3u}; | |
| size_t size = 2 * BitSizeOf<uint32_t>() + MinimumBitsToStore(storage[2]); | |
| BitVectorView<uint32_t> bvv(storage, size); | |
| auto is_bit_set = [](BitVectorView<const uint32_t> cbvv, size_t index) { | |
| return cbvv.IsBitSet(index); | |
| }; | |
| for (size_t index = 0; index != size; ++index) { | |
| ASSERT_EQ(bvv.IsBitSet(index), is_bit_set(bvv, index)); | |
| } | |
| } | |
| TEST(BitVectorView, DefaultConstructor) { | |
| BitVectorView<> bvv; | |
| ASSERT_EQ(0u, bvv.SizeInBits()); | |
| ASSERT_EQ(0u, bvv.SizeInWords()); | |
| } | |
| TEST(BitVectorView, ClearAllBits) { | |
| uint32_t storage[] = {1u, 2u, 0xffffffffu}; | |
| size_t size = 2 * BitSizeOf<uint32_t>() + 1u; | |
| BitVectorView<uint32_t> bvv(storage, size); // Construction allowed with bogus trailing bits. | |
| ASSERT_EQ(1u, storage[0]); | |
| ASSERT_EQ(2u, storage[1]); | |
| ASSERT_EQ(0xffffffffu, storage[2]); | |
| bvv.ClearAllBits(); | |
| ASSERT_EQ(0u, storage[0]); | |
| ASSERT_EQ(0u, storage[1]); | |
| ASSERT_EQ(0u, storage[2]); | |
| } | |
| TEST(BitVectorView, SetInitialBits) { | |
| uint32_t storage[] = {1u, 2u, 0xffffffffu}; | |
| size_t size = 2 * BitSizeOf<uint32_t>() + 1u; | |
| BitVectorView<uint32_t> bvv(storage, size); // Construction allowed with bogus trailing bits. | |
| ASSERT_EQ(1u, storage[0]); | |
| ASSERT_EQ(2u, storage[1]); | |
| ASSERT_EQ(0xffffffffu, storage[2]); | |
| bvv.SetInitialBits(40u); | |
| ASSERT_EQ(0xffffffffu, storage[0]); | |
| ASSERT_EQ(0xffu, storage[1]); | |
| ASSERT_EQ(0u, storage[2]); | |
| bvv.SetInitialBits(0u); | |
| ASSERT_EQ(0u, storage[0]); | |
| ASSERT_EQ(0u, storage[1]); | |
| ASSERT_EQ(0u, storage[2]); | |
| bvv.SetInitialBits(17u); | |
| ASSERT_EQ(0x1ffffu, storage[0]); | |
| ASSERT_EQ(0u, storage[1]); | |
| ASSERT_EQ(0u, storage[2]); | |
| bvv.SetInitialBits(64u); | |
| ASSERT_EQ(0xffffffffu, storage[0]); | |
| ASSERT_EQ(0xffffffffu, storage[1]); | |
| ASSERT_EQ(0u, storage[2]); | |
| bvv.SetInitialBits(65u); | |
| ASSERT_EQ(0xffffffffu, storage[0]); | |
| ASSERT_EQ(0xffffffffu, storage[1]); | |
| ASSERT_EQ(1u, storage[2]); | |
| } | |
| template <typename StorageType, StorageType kWord0, StorageType kWord1> | |
| void TestBitVectorViewIndexes() { | |
| StorageType storage[] = {kWord0, kWord1}; | |
| size_t size = 2u * BitSizeOf<StorageType>(); | |
| BitVectorView bvv(storage, size); | |
| std::vector<size_t> indexes1; | |
| for (size_t index = 0; index != size; ++index) { | |
| if (bvv.IsBitSet(index)) { | |
| indexes1.push_back(index); | |
| } | |
| } | |
| std::vector<size_t> indexes2; | |
| for (size_t index : bvv.Indexes()) { | |
| indexes2.push_back(index); | |
| } | |
| ASSERT_EQ(indexes1, indexes2); | |
| std::vector<size_t> indexes3; | |
| for (auto it = bvv.Indexes().begin(); !it.Done(); ++it) { | |
| indexes3.push_back(*it); | |
| } | |
| ASSERT_EQ(indexes1, indexes3); | |
| StorageType empty_storage[] = {0u, 0u, 0u}; | |
| BitVectorView empty(empty_storage, 3 * BitSizeOf<StorageType>() - 1u); | |
| for (size_t index : empty.Indexes()) { | |
| FAIL(); | |
| } | |
| ASSERT_TRUE(empty.Indexes().begin().Done()); | |
| } | |
| TEST(BitVectorView, IndexesUint32T) { | |
| TestBitVectorViewIndexes<uint32_t, 0x12345678u, 0x87654321u>(); | |
| } | |
| TEST(BitVectorView, IndexesUint64T) { | |
| TestBitVectorViewIndexes<uint64_t, | |
| UINT64_C(0x1234567890abcdef), | |
| UINT64_C(0xfedcba0987654321)>(); | |
| } | |
| TEST(BitVectorView, IndexesSizeT) { | |
| // Note: The constants below are truncated on 32-bit architectures. | |
| TestBitVectorViewIndexes<size_t, | |
| static_cast<size_t>(UINT64_C(0xfedcba0987654321)), | |
| static_cast<size_t>(UINT64_C(0x1234567890abcdef))>(); | |
| } | |
| template <typename StorageType> | |
| void TestBitVectorViewUnion() { | |
| // Truncated if the constants do not fit in `StorageType`. | |
| static constexpr StorageType kInitWord0 = static_cast<StorageType>(UINT64_C(0xfedcba0987654321)); | |
| static constexpr StorageType kInitWord1 = static_cast<StorageType>(UINT64_C(0x1234567890abcdef)); | |
| StorageType storage[] = { kInitWord0, kInitWord1 }; | |
| size_t size = 2u * BitSizeOf<StorageType>(); | |
| BitVectorView<StorageType> bvv(storage, size); | |
| StorageType equal_storage[] = { kInitWord0, kInitWord1 }; | |
| BitVectorView<StorageType> equal_bvv(equal_storage, size); | |
| ASSERT_FALSE(bvv.Union(equal_bvv)); | |
| ASSERT_EQ(kInitWord0, storage[0]); | |
| ASSERT_EQ(kInitWord1, storage[1]); | |
| StorageType mask = static_cast<StorageType>(UINT64_C(0x5555555555555555)); | |
| StorageType subset_storage[] = { kInitWord0 & mask, kInitWord1 & mask }; | |
| BitVectorView<StorageType> subset_bvv(subset_storage, size); | |
| ASSERT_FALSE(bvv.Union(subset_bvv)); | |
| ASSERT_EQ(kInitWord0, storage[0]); | |
| ASSERT_EQ(kInitWord1, storage[1]); | |
| static constexpr StorageType kOtherWord0 = kInitWord1; | |
| static constexpr StorageType kOtherWord1 = kInitWord0; | |
| StorageType other_storage[] = { kOtherWord0, kOtherWord1 }; | |
| BitVectorView<StorageType> other_bvv(other_storage, size); | |
| ASSERT_TRUE(bvv.Union(other_bvv)); | |
| ASSERT_EQ(kInitWord0 | kOtherWord0, storage[0]); | |
| ASSERT_EQ(kInitWord1 | kOtherWord1, storage[1]); | |
| } | |
| TEST(BitVectorView, UnionUint32T) { | |
| TestBitVectorViewUnion<uint32_t>(); | |
| } | |
| TEST(BitVectorView, UnionUint64T) { | |
| TestBitVectorViewUnion<uint64_t>(); | |
| } | |
| TEST(BitVectorView, UnionSizeT) { | |
| // Note: The constants below are truncated on 32-bit architectures. | |
| TestBitVectorViewUnion<size_t>(); | |
| } | |
| template <typename StorageType> | |
| void TestBitVectorViewUnionIfNotIn() { | |
| // Truncated if the constants do not fit in `StorageType`. | |
| static constexpr StorageType kInitWord0 = static_cast<StorageType>(UINT64_C(0xfedcba0987654321)); | |
| static constexpr StorageType kInitWord1 = static_cast<StorageType>(UINT64_C(0x1234567890abcdef)); | |
| StorageType storage[] = { kInitWord0, kInitWord1 }; | |
| size_t size = 2u * BitSizeOf<StorageType>(); | |
| BitVectorView<StorageType> bvv(storage, size); | |
| StorageType equal_storage[] = { kInitWord0, kInitWord1 }; | |
| BitVectorView<StorageType> equal_bvv(equal_storage, size); | |
| StorageType mask = static_cast<StorageType>(UINT64_C(0x5555555555555555)); | |
| StorageType subset_storage[] = { kInitWord0 & mask, kInitWord1 & mask }; | |
| BitVectorView<StorageType> subset_bvv(subset_storage, size); | |
| StorageType empty_storage[] = { 0u, 0u }; | |
| BitVectorView<StorageType> empty_bvv(subset_storage, size); | |
| static constexpr StorageType kOtherWord0 = kInitWord1; | |
| static constexpr StorageType kOtherWord1 = kInitWord0; | |
| StorageType other_storage[] = { kOtherWord0, kOtherWord1 }; | |
| BitVectorView<StorageType> other_bvv(other_storage, size); | |
| StorageType mask_storage[] = { mask, mask }; | |
| BitVectorView<StorageType> mask_bvv(mask_storage, size); | |
| // Test cases where we add bits and the `not_in` is relevant. | |
| ASSERT_TRUE(bvv.UnionIfNotIn(other_bvv, mask_bvv)); | |
| ASSERT_EQ(kInitWord0 | (kOtherWord0 & ~mask), storage[0]); | |
| ASSERT_EQ(kInitWord1 | (kOtherWord1 & ~mask), storage[1]); | |
| storage[0] = kInitWord0; // Reset `bvv` storage. | |
| storage[1] = kInitWord1; | |
| ASSERT_TRUE(bvv.UnionIfNotIn(mask_bvv, other_bvv)); | |
| ASSERT_EQ(kInitWord0 | (mask & ~kOtherWord0), storage[0]); | |
| ASSERT_EQ(kInitWord1 | (mask & ~kOtherWord1), storage[1]); | |
| storage[0] = kInitWord0; // Reset `bvv` storage. | |
| storage[1] = kInitWord1; | |
| // Test cases where we add bits but the `not_in` is irrelevant because it's a subset of `bvv`. | |
| for (BitVectorView<StorageType> not_in : { equal_bvv, subset_bvv, empty_bvv }) { | |
| ASSERT_TRUE(bvv.UnionIfNotIn(other_bvv, not_in)); | |
| ASSERT_EQ(kInitWord0 | kOtherWord0, storage[0]); | |
| ASSERT_EQ(kInitWord1 | kOtherWord1, storage[1]); | |
| storage[0] = kInitWord0; // Reset `bvv` storage. | |
| storage[1] = kInitWord1; | |
| ASSERT_TRUE(bvv.UnionIfNotIn(mask_bvv, not_in)); | |
| ASSERT_EQ(kInitWord0 | mask, storage[0]); | |
| ASSERT_EQ(kInitWord1 | mask, storage[1]); | |
| storage[0] = kInitWord0; // Reset `bvv` storage. | |
| storage[1] = kInitWord1; | |
| } | |
| // Test various cases where we add no bits. | |
| for (BitVectorView<StorageType> union_with : { equal_bvv, subset_bvv, empty_bvv }) { | |
| for (BitVectorView<StorageType> not_in : | |
| { equal_bvv, subset_bvv, empty_bvv, other_bvv, mask_bvv }) { | |
| ASSERT_FALSE(bvv.UnionIfNotIn(union_with, not_in)); | |
| ASSERT_EQ(kInitWord0, storage[0]); | |
| ASSERT_EQ(kInitWord1, storage[1]); | |
| } | |
| } | |
| ASSERT_FALSE(bvv.UnionIfNotIn(other_bvv, other_bvv)); | |
| ASSERT_EQ(kInitWord0, storage[0]); | |
| ASSERT_EQ(kInitWord1, storage[1]); | |
| ASSERT_FALSE(bvv.UnionIfNotIn(mask_bvv, mask_bvv)); | |
| ASSERT_EQ(kInitWord0, storage[0]); | |
| ASSERT_EQ(kInitWord1, storage[1]); | |
| } | |
| TEST(BitVectorView, UnionIfNotInUint32T) { | |
| TestBitVectorViewUnionIfNotIn<uint32_t>(); | |
| } | |
| TEST(BitVectorView, UnionIfNotInUint64T) { | |
| TestBitVectorViewUnionIfNotIn<uint64_t>(); | |
| } | |
| TEST(BitVectorView, UnionIfNotInSizeT) { | |
| // Note: The constants below are truncated on 32-bit architectures. | |
| TestBitVectorViewUnionIfNotIn<size_t>(); | |
| } | |
| TEST(BitVector, Test) { | |
| const size_t kBits = 32; | |
| BitVector bv(kBits, false, Allocator::GetCallocAllocator()); | |
| EXPECT_EQ(1U, bv.GetStorageSize()); | |
| EXPECT_EQ(sizeof(uint32_t), bv.GetSizeOf()); | |
| EXPECT_FALSE(bv.IsExpandable()); | |
| EXPECT_EQ(0U, bv.NumSetBits()); | |
| EXPECT_EQ(0U, bv.NumSetBits(1)); | |
| EXPECT_EQ(0U, bv.NumSetBits(kBits)); | |
| for (size_t i = 0; i < kBits; i++) { | |
| EXPECT_FALSE(bv.IsBitSet(i)); | |
| } | |
| EXPECT_EQ(0U, bv.GetRawStorageWord(0)); | |
| EXPECT_EQ(0U, *bv.GetRawStorage()); | |
| EXPECT_TRUE(bv.Indexes().begin().Done()); | |
| EXPECT_TRUE(bv.Indexes().begin() == bv.Indexes().end()); | |
| bv.SetBit(0); | |
| bv.SetBit(kBits - 1); | |
| EXPECT_EQ(2U, bv.NumSetBits()); | |
| EXPECT_EQ(1U, bv.NumSetBits(1)); | |
| EXPECT_EQ(2U, bv.NumSetBits(kBits)); | |
| EXPECT_TRUE(bv.IsBitSet(0)); | |
| for (size_t i = 1; i < kBits - 1; i++) { | |
| EXPECT_FALSE(bv.IsBitSet(i)); | |
| } | |
| EXPECT_TRUE(bv.IsBitSet(kBits - 1)); | |
| EXPECT_EQ(0x80000001U, bv.GetRawStorageWord(0)); | |
| EXPECT_EQ(0x80000001U, *bv.GetRawStorage()); | |
| BitVectorIndexIterator<const uint32_t> iterator = bv.Indexes().begin(); | |
| EXPECT_TRUE(iterator != bv.Indexes().end()); | |
| EXPECT_EQ(0u, *iterator); | |
| ++iterator; | |
| EXPECT_TRUE(iterator != bv.Indexes().end()); | |
| EXPECT_EQ(kBits - 1u, *iterator); | |
| ++iterator; | |
| EXPECT_TRUE(iterator == bv.Indexes().end()); | |
| } | |
| struct MessyAllocator : public Allocator { | |
| public: | |
| MessyAllocator() : malloc_(Allocator::GetCallocAllocator()) {} | |
| ~MessyAllocator() {} | |
| void* Alloc(size_t s) override { | |
| void* res = malloc_->Alloc(s); | |
| memset(res, 0xfe, s); | |
| return res; | |
| } | |
| void Free(void* v) override { | |
| malloc_->Free(v); | |
| } | |
| private: | |
| Allocator* malloc_; | |
| }; | |
| TEST(BitVector, MessyAllocator) { | |
| MessyAllocator alloc; | |
| BitVector bv(32, false, &alloc); | |
| bv.ClearAllBits(); | |
| EXPECT_EQ(bv.NumSetBits(), 0u); | |
| EXPECT_EQ(bv.GetHighestBitSet(), -1); | |
| } | |
| TEST(BitVector, NoopAllocator) { | |
| const uint32_t kWords = 2; | |
| uint32_t bits[kWords]; | |
| memset(bits, 0, sizeof(bits)); | |
| BitVector bv(false, Allocator::GetNoopAllocator(), kWords, bits); | |
| EXPECT_EQ(kWords, bv.GetStorageSize()); | |
| EXPECT_EQ(kWords * sizeof(uint32_t), bv.GetSizeOf()); | |
| EXPECT_EQ(bits, bv.GetRawStorage()); | |
| EXPECT_EQ(0U, bv.NumSetBits()); | |
| bv.SetBit(8); | |
| EXPECT_EQ(1U, bv.NumSetBits()); | |
| EXPECT_EQ(0x00000100U, bv.GetRawStorageWord(0)); | |
| EXPECT_EQ(0x00000000U, bv.GetRawStorageWord(1)); | |
| EXPECT_EQ(1U, bv.NumSetBits()); | |
| bv.SetBit(16); | |
| EXPECT_EQ(2U, bv.NumSetBits()); | |
| EXPECT_EQ(0x00010100U, bv.GetRawStorageWord(0)); | |
| EXPECT_EQ(0x00000000U, bv.GetRawStorageWord(1)); | |
| EXPECT_EQ(2U, bv.NumSetBits()); | |
| bv.SetBit(32); | |
| EXPECT_EQ(3U, bv.NumSetBits()); | |
| EXPECT_EQ(0x00010100U, bv.GetRawStorageWord(0)); | |
| EXPECT_EQ(0x00000001U, bv.GetRawStorageWord(1)); | |
| EXPECT_EQ(3U, bv.NumSetBits()); | |
| bv.SetBit(48); | |
| EXPECT_EQ(4U, bv.NumSetBits()); | |
| EXPECT_EQ(0x00010100U, bv.GetRawStorageWord(0)); | |
| EXPECT_EQ(0x00010001U, bv.GetRawStorageWord(1)); | |
| EXPECT_EQ(4U, bv.NumSetBits()); | |
| EXPECT_EQ(0U, bv.NumSetBits(1)); | |
| EXPECT_EQ(0U, bv.NumSetBits(8)); | |
| EXPECT_EQ(1U, bv.NumSetBits(9)); | |
| EXPECT_EQ(1U, bv.NumSetBits(10)); | |
| EXPECT_EQ(1U, bv.NumSetBits(16)); | |
| EXPECT_EQ(2U, bv.NumSetBits(17)); | |
| EXPECT_EQ(2U, bv.NumSetBits(18)); | |
| EXPECT_EQ(2U, bv.NumSetBits(32)); | |
| EXPECT_EQ(3U, bv.NumSetBits(33)); | |
| EXPECT_EQ(3U, bv.NumSetBits(34)); | |
| EXPECT_EQ(3U, bv.NumSetBits(48)); | |
| EXPECT_EQ(4U, bv.NumSetBits(49)); | |
| EXPECT_EQ(4U, bv.NumSetBits(50)); | |
| EXPECT_EQ(4U, bv.NumSetBits(64)); | |
| } | |
| TEST(BitVector, SetInitialBits) { | |
| const uint32_t kWords = 2; | |
| uint32_t bits[kWords]; | |
| memset(bits, 0, sizeof(bits)); | |
| BitVector bv(false, Allocator::GetNoopAllocator(), kWords, bits); | |
| bv.SetInitialBits(0u); | |
| EXPECT_EQ(0u, bv.NumSetBits()); | |
| bv.SetInitialBits(1u); | |
| EXPECT_EQ(1u, bv.NumSetBits()); | |
| bv.SetInitialBits(32u); | |
| EXPECT_EQ(32u, bv.NumSetBits()); | |
| bv.SetInitialBits(63u); | |
| EXPECT_EQ(63u, bv.NumSetBits()); | |
| bv.SetInitialBits(64u); | |
| EXPECT_EQ(64u, bv.NumSetBits()); | |
| } | |
| TEST(BitVector, UnionIfNotIn) { | |
| { | |
| BitVector first(2, true, Allocator::GetCallocAllocator()); | |
| BitVector second(5, true, Allocator::GetCallocAllocator()); | |
| BitVector third(5, true, Allocator::GetCallocAllocator()); | |
| second.SetBit(64); | |
| third.SetBit(64); | |
| bool changed = first.UnionIfNotIn(&second, &third); | |
| EXPECT_EQ(0u, first.NumSetBits()); | |
| EXPECT_FALSE(changed); | |
| } | |
| { | |
| BitVector first(2, true, Allocator::GetCallocAllocator()); | |
| BitVector second(5, true, Allocator::GetCallocAllocator()); | |
| BitVector third(5, true, Allocator::GetCallocAllocator()); | |
| second.SetBit(64); | |
| bool changed = first.UnionIfNotIn(&second, &third); | |
| EXPECT_EQ(1u, first.NumSetBits()); | |
| EXPECT_TRUE(changed); | |
| EXPECT_TRUE(first.IsBitSet(64)); | |
| } | |
| } | |
| TEST(BitVector, Subset) { | |
| { | |
| BitVector first(2, true, Allocator::GetCallocAllocator()); | |
| BitVector second(5, true, Allocator::GetCallocAllocator()); | |
| EXPECT_TRUE(first.IsSubsetOf(&second)); | |
| second.SetBit(4); | |
| EXPECT_TRUE(first.IsSubsetOf(&second)); | |
| } | |
| { | |
| BitVector first(5, true, Allocator::GetCallocAllocator()); | |
| BitVector second(5, true, Allocator::GetCallocAllocator()); | |
| first.SetBit(5); | |
| EXPECT_FALSE(first.IsSubsetOf(&second)); | |
| second.SetBit(4); | |
| EXPECT_FALSE(first.IsSubsetOf(&second)); | |
| } | |
| { | |
| BitVector first(5, true, Allocator::GetCallocAllocator()); | |
| BitVector second(5, true, Allocator::GetCallocAllocator()); | |
| first.SetBit(16); | |
| first.SetBit(32); | |
| first.SetBit(48); | |
| second.SetBit(16); | |
| second.SetBit(32); | |
| second.SetBit(48); | |
| EXPECT_TRUE(first.IsSubsetOf(&second)); | |
| second.SetBit(8); | |
| EXPECT_TRUE(first.IsSubsetOf(&second)); | |
| second.SetBit(40); | |
| EXPECT_TRUE(first.IsSubsetOf(&second)); | |
| second.SetBit(52); | |
| EXPECT_TRUE(first.IsSubsetOf(&second)); | |
| first.SetBit(9); | |
| EXPECT_FALSE(first.IsSubsetOf(&second)); | |
| } | |
| } | |
| TEST(BitVector, CopyTo) { | |
| { | |
| // Test copying an empty BitVector. Padding should fill `buf` with zeroes. | |
| BitVector bv(0, true, Allocator::GetCallocAllocator()); | |
| uint32_t buf; | |
| bv.CopyTo(&buf, sizeof(buf)); | |
| EXPECT_EQ(0u, bv.GetSizeOf()); | |
| EXPECT_EQ(0u, buf); | |
| } | |
| { | |
| // Test copying when `bv.storage_` and `buf` are of equal lengths. | |
| BitVector bv(0, true, Allocator::GetCallocAllocator()); | |
| uint32_t buf; | |
| bv.SetBit(0); | |
| bv.SetBit(17); | |
| bv.SetBit(26); | |
| EXPECT_EQ(sizeof(buf), bv.GetSizeOf()); | |
| bv.CopyTo(&buf, sizeof(buf)); | |
| EXPECT_EQ(0x04020001u, buf); | |
| } | |
| { | |
| // Test copying when the `bv.storage_` is longer than `buf`. As long as | |
| // `buf` is long enough to hold all set bits, copying should succeed. | |
| BitVector bv(0, true, Allocator::GetCallocAllocator()); | |
| uint8_t buf[5]; | |
| bv.SetBit(18); | |
| bv.SetBit(39); | |
| EXPECT_LT(sizeof(buf), bv.GetSizeOf()); | |
| bv.CopyTo(buf, sizeof(buf)); | |
| EXPECT_EQ(0x00u, buf[0]); | |
| EXPECT_EQ(0x00u, buf[1]); | |
| EXPECT_EQ(0x04u, buf[2]); | |
| EXPECT_EQ(0x00u, buf[3]); | |
| EXPECT_EQ(0x80u, buf[4]); | |
| } | |
| { | |
| // Test zero padding when `bv.storage_` is shorter than `buf`. | |
| BitVector bv(0, true, Allocator::GetCallocAllocator()); | |
| uint32_t buf[2]; | |
| bv.SetBit(18); | |
| bv.SetBit(31); | |
| EXPECT_GT(sizeof(buf), bv.GetSizeOf()); | |
| bv.CopyTo(buf, sizeof(buf)); | |
| EXPECT_EQ(0x80040000U, buf[0]); | |
| EXPECT_EQ(0x00000000U, buf[1]); | |
| } | |
| } | |
| TEST(BitVector, TransformIterator) { | |
| BitVector bv(16, false, Allocator::GetCallocAllocator()); | |
| bv.SetBit(4); | |
| bv.SetBit(8); | |
| auto indexs = bv.Indexes(); | |
| for (int32_t negative : | |
| MakeTransformRange(indexs, [](uint32_t idx) { return -1 * static_cast<int32_t>(idx); })) { | |
| EXPECT_TRUE(negative == -4 || negative == -8); | |
| } | |
| } | |
| class SingleAllocator : public Allocator { | |
| public: | |
| SingleAllocator() : alloc_count_(0), free_count_(0) {} | |
| ~SingleAllocator() { | |
| EXPECT_EQ(alloc_count_, 1u); | |
| EXPECT_EQ(free_count_, 1u); | |
| } | |
| void* Alloc(size_t s) override { | |
| EXPECT_LT(s, 1024ull); | |
| EXPECT_EQ(alloc_count_, free_count_); | |
| ++alloc_count_; | |
| return bytes_.begin(); | |
| } | |
| void Free(void*) override { | |
| ++free_count_; | |
| } | |
| uint32_t AllocCount() const { | |
| return alloc_count_; | |
| } | |
| uint32_t FreeCount() const { | |
| return free_count_; | |
| } | |
| private: | |
| std::array<uint8_t, 1024> bytes_; | |
| uint32_t alloc_count_; | |
| uint32_t free_count_; | |
| }; | |
| TEST(BitVector, MovementFree) { | |
| SingleAllocator alloc; | |
| { | |
| BitVector bv(16, false, &alloc); | |
| bv.SetBit(13); | |
| EXPECT_EQ(alloc.FreeCount(), 0u); | |
| EXPECT_EQ(alloc.AllocCount(), 1u); | |
| ASSERT_TRUE(bv.GetRawStorage() != nullptr); | |
| EXPECT_TRUE(bv.IsBitSet(13)); | |
| { | |
| BitVector bv2(std::move(bv)); | |
| // NOLINTNEXTLINE - checking underlying storage has been freed | |
| ASSERT_TRUE(bv.GetRawStorage() == nullptr); | |
| EXPECT_TRUE(bv2.IsBitSet(13)); | |
| EXPECT_EQ(alloc.FreeCount(), 0u); | |
| EXPECT_EQ(alloc.AllocCount(), 1u); | |
| } | |
| EXPECT_EQ(alloc.FreeCount(), 1u); | |
| EXPECT_EQ(alloc.AllocCount(), 1u); | |
| } | |
| EXPECT_EQ(alloc.FreeCount(), 1u); | |
| EXPECT_EQ(alloc.AllocCount(), 1u); | |
| } | |
| } // namespace art |