xref: /llvm-project/llvm/unittests/ADT/DenseSetTest.cpp (revision cb1f0cf54b695ee4b79f7b1639b5d997139ded16)
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 static_assert(std::is_const<std::remove_pointer<
19                   DenseSet<int>::const_iterator::pointer>::type>::value,
20               "Iterator pointer type should be const");
21 static_assert(std::is_const<std::remove_reference<
22                   DenseSet<int>::const_iterator::reference>::type>::value,
23               "Iterator reference type should be const");
24 
25 // Test hashing with a set of only two entries.
26 TEST(DenseSetTest, DoubleEntrySetTest) {
27   llvm::DenseSet<unsigned> set(2);
28   set.insert(0);
29   set.insert(1);
30   // Original failure was an infinite loop in this call:
31   EXPECT_EQ(0u, set.count(2));
32 }
33 
34 struct TestDenseSetInfo {
35   static inline unsigned getEmptyKey() { return ~0; }
36   static inline unsigned getTombstoneKey() { return ~0U - 1; }
37   static unsigned getHashValue(const unsigned& Val) { return Val * 37U; }
38   static unsigned getHashValue(const char* Val) {
39     return (unsigned)(Val[0] - 'a') * 37U;
40   }
41   static bool isEqual(const unsigned& LHS, const unsigned& RHS) {
42     return LHS == RHS;
43   }
44   static bool isEqual(const char* LHS, const unsigned& RHS) {
45     return (unsigned)(LHS[0] - 'a') == RHS;
46   }
47 };
48 
49 // Test fixture
50 template <typename T> class DenseSetTest : public testing::Test {
51 protected:
52   T Set = GetTestSet();
53 
54 private:
55   static T GetTestSet() {
56     typename std::remove_const<T>::type Set;
57     Set.insert(0);
58     Set.insert(1);
59     Set.insert(2);
60     return Set;
61   }
62 };
63 
64 // Register these types for testing.
65 typedef ::testing::Types<DenseSet<unsigned, TestDenseSetInfo>,
66                          const DenseSet<unsigned, TestDenseSetInfo>,
67                          SmallDenseSet<unsigned, 1, TestDenseSetInfo>,
68                          SmallDenseSet<unsigned, 4, TestDenseSetInfo>,
69                          const SmallDenseSet<unsigned, 4, TestDenseSetInfo>,
70                          SmallDenseSet<unsigned, 64, TestDenseSetInfo>>
71     DenseSetTestTypes;
72 TYPED_TEST_CASE(DenseSetTest, DenseSetTestTypes);
73 
74 TYPED_TEST(DenseSetTest, InitializerList) {
75   TypeParam set({1, 2, 1, 4});
76   EXPECT_EQ(3u, set.size());
77   EXPECT_EQ(1u, set.count(1));
78   EXPECT_EQ(1u, set.count(2));
79   EXPECT_EQ(1u, set.count(4));
80   EXPECT_EQ(0u, set.count(3));
81 }
82 
83 TYPED_TEST(DenseSetTest, ConstIteratorComparison) {
84   TypeParam set({1});
85   const TypeParam &cset = set;
86   EXPECT_EQ(set.begin(), cset.begin());
87   EXPECT_EQ(set.end(), cset.end());
88   EXPECT_NE(set.end(), cset.begin());
89   EXPECT_NE(set.begin(), cset.end());
90 }
91 
92 TYPED_TEST(DenseSetTest, DefaultConstruction) {
93   typename TypeParam::iterator I, J;
94   typename TypeParam::const_iterator CI, CJ;
95   EXPECT_EQ(I, J);
96   EXPECT_EQ(CI, CJ);
97 }
98 
99 TYPED_TEST(DenseSetTest, EmptyInitializerList) {
100   TypeParam set({});
101   EXPECT_EQ(0u, set.size());
102   EXPECT_EQ(0u, set.count(0));
103 }
104 
105 TYPED_TEST(DenseSetTest, FindAsTest) {
106   auto &set = this->Set;
107   // Size tests
108   EXPECT_EQ(3u, set.size());
109 
110   // Normal lookup tests
111   EXPECT_EQ(1u, set.count(1));
112   EXPECT_EQ(0u, *set.find(0));
113   EXPECT_EQ(1u, *set.find(1));
114   EXPECT_EQ(2u, *set.find(2));
115   EXPECT_TRUE(set.find(3) == set.end());
116 
117   // find_as() tests
118   EXPECT_EQ(0u, *set.find_as("a"));
119   EXPECT_EQ(1u, *set.find_as("b"));
120   EXPECT_EQ(2u, *set.find_as("c"));
121   EXPECT_TRUE(set.find_as("d") == set.end());
122 }
123 
124 TYPED_TEST(DenseSetTest, EqualityComparisonTest) {
125   TypeParam set1({1, 2, 3, 4});
126   TypeParam set2({4, 3, 2, 1});
127   TypeParam set3({2, 3, 4, 5});
128 
129   EXPECT_EQ(set1, set2);
130   EXPECT_NE(set1, set3);
131 }
132 
133 // Simple class that counts how many moves and copy happens when growing a map
134 struct CountCopyAndMove {
135   static int Move;
136   static int Copy;
137   int Value;
138   CountCopyAndMove(int Value) : Value(Value) {}
139 
140   CountCopyAndMove(const CountCopyAndMove &RHS) {
141     Value = RHS.Value;
142     Copy++;
143   }
144   CountCopyAndMove &operator=(const CountCopyAndMove &RHS) {
145     Value = RHS.Value;
146     Copy++;
147     return *this;
148   }
149   CountCopyAndMove(CountCopyAndMove &&RHS) {
150     Value = RHS.Value;
151     Move++;
152   }
153   CountCopyAndMove &operator=(const CountCopyAndMove &&RHS) {
154     Value = RHS.Value;
155     Move++;
156     return *this;
157   }
158 };
159 int CountCopyAndMove::Copy = 0;
160 int CountCopyAndMove::Move = 0;
161 } // anonymous namespace
162 
163 namespace llvm {
164 // Specialization required to insert a CountCopyAndMove into a DenseSet.
165 template <> struct DenseMapInfo<CountCopyAndMove> {
166   static inline CountCopyAndMove getEmptyKey() { return CountCopyAndMove(-1); };
167   static inline CountCopyAndMove getTombstoneKey() {
168     return CountCopyAndMove(-2);
169   };
170   static unsigned getHashValue(const CountCopyAndMove &Val) {
171     return Val.Value;
172   }
173   static bool isEqual(const CountCopyAndMove &LHS,
174                       const CountCopyAndMove &RHS) {
175     return LHS.Value == RHS.Value;
176   }
177 };
178 }
179 
180 namespace {
181 // Make sure reserve actually gives us enough buckets to insert N items
182 // without increasing allocation size.
183 TEST(DenseSetCustomTest, ReserveTest) {
184   // Test a few different size, 48 is *not* a random choice: we need a value
185   // that is 2/3 of a power of two to stress the grow() condition, and the power
186   // of two has to be at least 64 because of minimum size allocation in the
187   // DenseMa. 66 is a value just above the 64 default init.
188   for (auto Size : {1, 2, 48, 66}) {
189     DenseSet<CountCopyAndMove> Set;
190     Set.reserve(Size);
191     unsigned MemorySize = Set.getMemorySize();
192     CountCopyAndMove::Copy = 0;
193     CountCopyAndMove::Move = 0;
194     for (int i = 0; i < Size; ++i)
195       Set.insert(CountCopyAndMove(i));
196     // Check that we didn't grow
197     EXPECT_EQ(MemorySize, Set.getMemorySize());
198     // Check that move was called the expected number of times
199     EXPECT_EQ(Size, CountCopyAndMove::Move);
200     // Check that no copy occurred
201     EXPECT_EQ(0, CountCopyAndMove::Copy);
202   }
203 }
204 TEST(DenseSetCustomTest, ConstTest) {
205   // Test that const pointers work okay for count and find, even when the
206   // underlying map is a non-const pointer.
207   DenseSet<int *> Map;
208   int A;
209   int *B = &A;
210   const int *C = &A;
211   Map.insert(B);
212   EXPECT_EQ(Map.count(B), 1u);
213   EXPECT_EQ(Map.count(C), 1u);
214   EXPECT_NE(Map.find(B), Map.end());
215   EXPECT_NE(Map.find(C), Map.end());
216 }
217 }
218