1 //===- llvm/unittest/ADT/DenseSetTest.cpp - DenseSet unit tests --*- C++ -*-===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9
10 #include "llvm/ADT/DenseSet.h"
11 #include "gtest/gtest.h"
12 #include <type_traits>
13
14 using namespace llvm;
15
16 namespace {
17
18 // Test hashing with a set of only two entries.
TEST(DenseSetTest,DoubleEntrySetTest)19 TEST(DenseSetTest, DoubleEntrySetTest) {
20 llvm::DenseSet<unsigned> set(2);
21 set.insert(0);
22 set.insert(1);
23 // Original failure was an infinite loop in this call:
24 EXPECT_EQ(0u, set.count(2));
25 }
26
27 struct TestDenseSetInfo {
getEmptyKey__anon093a19890111::TestDenseSetInfo28 static inline unsigned getEmptyKey() { return ~0; }
getTombstoneKey__anon093a19890111::TestDenseSetInfo29 static inline unsigned getTombstoneKey() { return ~0U - 1; }
getHashValue__anon093a19890111::TestDenseSetInfo30 static unsigned getHashValue(const unsigned& Val) { return Val * 37U; }
getHashValue__anon093a19890111::TestDenseSetInfo31 static unsigned getHashValue(const char* Val) {
32 return (unsigned)(Val[0] - 'a') * 37U;
33 }
isEqual__anon093a19890111::TestDenseSetInfo34 static bool isEqual(const unsigned& LHS, const unsigned& RHS) {
35 return LHS == RHS;
36 }
isEqual__anon093a19890111::TestDenseSetInfo37 static bool isEqual(const char* LHS, const unsigned& RHS) {
38 return (unsigned)(LHS[0] - 'a') == RHS;
39 }
40 };
41
42 // Test fixture
43 template <typename T> class DenseSetTest : public testing::Test {
44 protected:
45 T Set = GetTestSet();
46
47 private:
GetTestSet()48 static T GetTestSet() {
49 typename std::remove_const<T>::type Set;
50 Set.insert(0);
51 Set.insert(1);
52 Set.insert(2);
53 return Set;
54 }
55 };
56
57 // Register these types for testing.
58 typedef ::testing::Types<DenseSet<unsigned, TestDenseSetInfo>,
59 const DenseSet<unsigned, TestDenseSetInfo>,
60 SmallDenseSet<unsigned, 1, TestDenseSetInfo>,
61 SmallDenseSet<unsigned, 4, TestDenseSetInfo>,
62 const SmallDenseSet<unsigned, 4, TestDenseSetInfo>,
63 SmallDenseSet<unsigned, 64, TestDenseSetInfo>>
64 DenseSetTestTypes;
65 TYPED_TEST_CASE(DenseSetTest, DenseSetTestTypes);
66
TYPED_TEST(DenseSetTest,InitializerList)67 TYPED_TEST(DenseSetTest, InitializerList) {
68 TypeParam set({1, 2, 1, 4});
69 EXPECT_EQ(3u, set.size());
70 EXPECT_EQ(1u, set.count(1));
71 EXPECT_EQ(1u, set.count(2));
72 EXPECT_EQ(1u, set.count(4));
73 EXPECT_EQ(0u, set.count(3));
74 }
75
TYPED_TEST(DenseSetTest,ConstIteratorComparison)76 TYPED_TEST(DenseSetTest, ConstIteratorComparison) {
77 TypeParam set({1});
78 const TypeParam &cset = set;
79 EXPECT_EQ(set.begin(), cset.begin());
80 EXPECT_EQ(set.end(), cset.end());
81 EXPECT_NE(set.end(), cset.begin());
82 EXPECT_NE(set.begin(), cset.end());
83 }
84
TYPED_TEST(DenseSetTest,DefaultConstruction)85 TYPED_TEST(DenseSetTest, DefaultConstruction) {
86 typename TypeParam::iterator I, J;
87 typename TypeParam::const_iterator CI, CJ;
88 EXPECT_EQ(I, J);
89 EXPECT_EQ(CI, CJ);
90 }
91
TYPED_TEST(DenseSetTest,EmptyInitializerList)92 TYPED_TEST(DenseSetTest, EmptyInitializerList) {
93 TypeParam set({});
94 EXPECT_EQ(0u, set.size());
95 EXPECT_EQ(0u, set.count(0));
96 }
97
TYPED_TEST(DenseSetTest,FindAsTest)98 TYPED_TEST(DenseSetTest, FindAsTest) {
99 auto &set = this->Set;
100 // Size tests
101 EXPECT_EQ(3u, set.size());
102
103 // Normal lookup tests
104 EXPECT_EQ(1u, set.count(1));
105 EXPECT_EQ(0u, *set.find(0));
106 EXPECT_EQ(1u, *set.find(1));
107 EXPECT_EQ(2u, *set.find(2));
108 EXPECT_TRUE(set.find(3) == set.end());
109
110 // find_as() tests
111 EXPECT_EQ(0u, *set.find_as("a"));
112 EXPECT_EQ(1u, *set.find_as("b"));
113 EXPECT_EQ(2u, *set.find_as("c"));
114 EXPECT_TRUE(set.find_as("d") == set.end());
115 }
116
117 // Simple class that counts how many moves and copy happens when growing a map
118 struct CountCopyAndMove {
119 static int Move;
120 static int Copy;
121 int Value;
CountCopyAndMove__anon093a19890111::CountCopyAndMove122 CountCopyAndMove(int Value) : Value(Value) {}
123
CountCopyAndMove__anon093a19890111::CountCopyAndMove124 CountCopyAndMove(const CountCopyAndMove &RHS) {
125 Value = RHS.Value;
126 Copy++;
127 }
operator =__anon093a19890111::CountCopyAndMove128 CountCopyAndMove &operator=(const CountCopyAndMove &RHS) {
129 Value = RHS.Value;
130 Copy++;
131 return *this;
132 }
CountCopyAndMove__anon093a19890111::CountCopyAndMove133 CountCopyAndMove(CountCopyAndMove &&RHS) {
134 Value = RHS.Value;
135 Move++;
136 }
operator =__anon093a19890111::CountCopyAndMove137 CountCopyAndMove &operator=(const CountCopyAndMove &&RHS) {
138 Value = RHS.Value;
139 Move++;
140 return *this;
141 }
142 };
143 int CountCopyAndMove::Copy = 0;
144 int CountCopyAndMove::Move = 0;
145 } // anonymous namespace
146
147 namespace llvm {
148 // Specialization required to insert a CountCopyAndMove into a DenseSet.
149 template <> struct DenseMapInfo<CountCopyAndMove> {
getEmptyKeyllvm::DenseMapInfo150 static inline CountCopyAndMove getEmptyKey() { return CountCopyAndMove(-1); };
getTombstoneKeyllvm::DenseMapInfo151 static inline CountCopyAndMove getTombstoneKey() {
152 return CountCopyAndMove(-2);
153 };
getHashValuellvm::DenseMapInfo154 static unsigned getHashValue(const CountCopyAndMove &Val) {
155 return Val.Value;
156 }
isEqualllvm::DenseMapInfo157 static bool isEqual(const CountCopyAndMove &LHS,
158 const CountCopyAndMove &RHS) {
159 return LHS.Value == RHS.Value;
160 }
161 };
162 }
163
164 namespace {
165 // Make sure reserve actually gives us enough buckets to insert N items
166 // without increasing allocation size.
TEST(DenseSetCustomTest,ReserveTest)167 TEST(DenseSetCustomTest, ReserveTest) {
168 // Test a few different size, 48 is *not* a random choice: we need a value
169 // that is 2/3 of a power of two to stress the grow() condition, and the power
170 // of two has to be at least 64 because of minimum size allocation in the
171 // DenseMa. 66 is a value just above the 64 default init.
172 for (auto Size : {1, 2, 48, 66}) {
173 DenseSet<CountCopyAndMove> Set;
174 Set.reserve(Size);
175 unsigned MemorySize = Set.getMemorySize();
176 CountCopyAndMove::Copy = 0;
177 CountCopyAndMove::Move = 0;
178 for (int i = 0; i < Size; ++i)
179 Set.insert(CountCopyAndMove(i));
180 // Check that we didn't grow
181 EXPECT_EQ(MemorySize, Set.getMemorySize());
182 // Check that move was called the expected number of times
183 EXPECT_EQ(Size, CountCopyAndMove::Move);
184 // Check that no copy occurred
185 EXPECT_EQ(0, CountCopyAndMove::Copy);
186 }
187 }
TEST(DenseSetCustomTest,ConstTest)188 TEST(DenseSetCustomTest, ConstTest) {
189 // Test that const pointers work okay for count and find, even when the
190 // underlying map is a non-const pointer.
191 DenseSet<int *> Map;
192 int A;
193 int *B = &A;
194 const int *C = &A;
195 Map.insert(B);
196 EXPECT_EQ(Map.count(B), 1u);
197 EXPECT_EQ(Map.count(C), 1u);
198 EXPECT_NE(Map.find(B), Map.end());
199 EXPECT_NE(Map.find(C), Map.end());
200 }
201 }
202