1 //===- llvm/unittest/ADT/StringMapMap.cpp - StringMap unit tests ----------===//
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
7 //===----------------------------------------------------------------------===//
9 #include "llvm/ADT/StringMap.h"
10 #include "llvm/ADT/Twine.h"
11 #include "llvm/Support/DataTypes.h"
12 #include "gtest/gtest.h"
20 class StringMapTest
: public testing::Test
{
22 StringMap
<uint32_t> testMap
;
24 static const char testKey
[];
25 static const uint32_t testValue
;
26 static const char* testKeyFirst
;
27 static size_t testKeyLength
;
28 static const std::string testKeyStr
;
30 void assertEmptyMap() {
32 EXPECT_EQ(0u, testMap
.size());
33 EXPECT_TRUE(testMap
.empty());
36 EXPECT_TRUE(testMap
.begin() == testMap
.end());
39 EXPECT_EQ(0u, testMap
.count(testKey
));
40 EXPECT_EQ(0u, testMap
.count(StringRef(testKeyFirst
, testKeyLength
)));
41 EXPECT_EQ(0u, testMap
.count(testKeyStr
));
42 EXPECT_TRUE(testMap
.find(testKey
) == testMap
.end());
43 EXPECT_TRUE(testMap
.find(StringRef(testKeyFirst
, testKeyLength
)) ==
45 EXPECT_TRUE(testMap
.find(testKeyStr
) == testMap
.end());
48 void assertSingleItemMap() {
50 EXPECT_EQ(1u, testMap
.size());
51 EXPECT_FALSE(testMap
.begin() == testMap
.end());
52 EXPECT_FALSE(testMap
.empty());
55 StringMap
<uint32_t>::iterator it
= testMap
.begin();
56 EXPECT_STREQ(testKey
, it
->first().data());
57 EXPECT_EQ(testValue
, it
->second
);
59 EXPECT_TRUE(it
== testMap
.end());
62 EXPECT_EQ(1u, testMap
.count(testKey
));
63 EXPECT_EQ(1u, testMap
.count(StringRef(testKeyFirst
, testKeyLength
)));
64 EXPECT_EQ(1u, testMap
.count(testKeyStr
));
65 EXPECT_TRUE(testMap
.find(testKey
) == testMap
.begin());
66 EXPECT_TRUE(testMap
.find(StringRef(testKeyFirst
, testKeyLength
)) ==
68 EXPECT_TRUE(testMap
.find(testKeyStr
) == testMap
.begin());
72 const char StringMapTest::testKey
[] = "key";
73 const uint32_t StringMapTest::testValue
= 1u;
74 const char* StringMapTest::testKeyFirst
= testKey
;
75 size_t StringMapTest::testKeyLength
= sizeof(testKey
) - 1;
76 const std::string
StringMapTest::testKeyStr(testKey
);
78 struct CountCopyAndMove
{
79 CountCopyAndMove() = default;
80 CountCopyAndMove(const CountCopyAndMove
&) { copy
= 1; }
81 CountCopyAndMove(CountCopyAndMove
&&) { move
= 1; }
82 void operator=(const CountCopyAndMove
&) { ++copy
; }
83 void operator=(CountCopyAndMove
&&) { ++move
; }
89 TEST_F(StringMapTest
, EmptyMapTest
) {
93 // Constant map tests.
94 TEST_F(StringMapTest
, ConstEmptyMapTest
) {
95 const StringMap
<uint32_t>& constTestMap
= testMap
;
98 EXPECT_EQ(0u, constTestMap
.size());
99 EXPECT_TRUE(constTestMap
.empty());
102 EXPECT_TRUE(constTestMap
.begin() == constTestMap
.end());
105 EXPECT_EQ(0u, constTestMap
.count(testKey
));
106 EXPECT_EQ(0u, constTestMap
.count(StringRef(testKeyFirst
, testKeyLength
)));
107 EXPECT_EQ(0u, constTestMap
.count(testKeyStr
));
108 EXPECT_TRUE(constTestMap
.find(testKey
) == constTestMap
.end());
109 EXPECT_TRUE(constTestMap
.find(StringRef(testKeyFirst
, testKeyLength
)) ==
111 EXPECT_TRUE(constTestMap
.find(testKeyStr
) == constTestMap
.end());
114 // A map with a single entry.
115 TEST_F(StringMapTest
, SingleEntryMapTest
) {
116 testMap
[testKey
] = testValue
;
117 assertSingleItemMap();
120 // Test clear() method.
121 TEST_F(StringMapTest
, ClearTest
) {
122 testMap
[testKey
] = testValue
;
127 // Test erase(iterator) method.
128 TEST_F(StringMapTest
, EraseIteratorTest
) {
129 testMap
[testKey
] = testValue
;
130 testMap
.erase(testMap
.begin());
134 // Test erase(value) method.
135 TEST_F(StringMapTest
, EraseValueTest
) {
136 testMap
[testKey
] = testValue
;
137 testMap
.erase(testKey
);
141 // Test inserting two values and erasing one.
142 TEST_F(StringMapTest
, InsertAndEraseTest
) {
143 testMap
[testKey
] = testValue
;
144 testMap
["otherKey"] = 2;
145 testMap
.erase("otherKey");
146 assertSingleItemMap();
149 TEST_F(StringMapTest
, SmallFullMapTest
) {
150 // StringMap has a tricky corner case when the map is small (<8 buckets) and
151 // it fills up through a balanced pattern of inserts and erases. This can
152 // lead to inf-loops in some cases (PR13148) so we test it explicitly here.
153 llvm::StringMap
<int> Map(2);
163 EXPECT_EQ(3u, Map
.size());
164 EXPECT_EQ(0, Map
.lookup("eins"));
165 EXPECT_EQ(2, Map
.lookup("zwei"));
166 EXPECT_EQ(0, Map
.lookup("drei"));
167 EXPECT_EQ(4, Map
.lookup("veir"));
168 EXPECT_EQ(5, Map
.lookup("funf"));
171 TEST_F(StringMapTest
, CopyCtorTest
) {
172 llvm::StringMap
<int> Map
;
182 EXPECT_EQ(3u, Map
.size());
183 EXPECT_EQ(0, Map
.lookup("eins"));
184 EXPECT_EQ(2, Map
.lookup("zwei"));
185 EXPECT_EQ(0, Map
.lookup("drei"));
186 EXPECT_EQ(4, Map
.lookup("veir"));
187 EXPECT_EQ(5, Map
.lookup("funf"));
189 llvm::StringMap
<int> Map2(Map
);
190 EXPECT_EQ(3u, Map2
.size());
191 EXPECT_EQ(0, Map2
.lookup("eins"));
192 EXPECT_EQ(2, Map2
.lookup("zwei"));
193 EXPECT_EQ(0, Map2
.lookup("drei"));
194 EXPECT_EQ(4, Map2
.lookup("veir"));
195 EXPECT_EQ(5, Map2
.lookup("funf"));
198 // A more complex iteration test.
199 TEST_F(StringMapTest
, IterationTest
) {
202 // Insert 100 numbers into the map
203 for (int i
= 0; i
< 100; ++i
) {
204 std::stringstream ss
;
206 testMap
[ss
.str()] = i
;
210 // Iterate over all numbers and mark each one found.
211 for (StringMap
<uint32_t>::iterator it
= testMap
.begin();
212 it
!= testMap
.end(); ++it
) {
213 std::stringstream ss
;
214 ss
<< "key_" << it
->second
;
215 ASSERT_STREQ(ss
.str().c_str(), it
->first().data());
216 visited
[it
->second
] = true;
219 // Ensure every number was visited.
220 for (int i
= 0; i
< 100; ++i
) {
221 ASSERT_TRUE(visited
[i
]) << "Entry #" << i
<< " was never visited";
225 // Test StringMapEntry::Create() method.
226 TEST_F(StringMapTest
, StringMapEntryTest
) {
227 StringMap
<uint32_t>::value_type
* entry
=
228 StringMap
<uint32_t>::value_type::Create(
229 StringRef(testKeyFirst
, testKeyLength
), 1u);
230 EXPECT_STREQ(testKey
, entry
->first().data());
231 EXPECT_EQ(1u, entry
->second
);
235 // Test insert() method.
236 TEST_F(StringMapTest
, InsertTest
) {
237 SCOPED_TRACE("InsertTest");
239 StringMap
<uint32_t>::value_type::Create(
240 StringRef(testKeyFirst
, testKeyLength
),
241 testMap
.getAllocator(), 1u));
242 assertSingleItemMap();
245 // Test insert(pair<K, V>) method
246 TEST_F(StringMapTest
, InsertPairTest
) {
248 StringMap
<uint32_t>::iterator NewIt
;
249 std::tie(NewIt
, Inserted
) =
250 testMap
.insert(std::make_pair(testKeyFirst
, testValue
));
251 EXPECT_EQ(1u, testMap
.size());
252 EXPECT_EQ(testValue
, testMap
[testKeyFirst
]);
253 EXPECT_EQ(testKeyFirst
, NewIt
->first());
254 EXPECT_EQ(testValue
, NewIt
->second
);
255 EXPECT_TRUE(Inserted
);
257 StringMap
<uint32_t>::iterator ExistingIt
;
258 std::tie(ExistingIt
, Inserted
) =
259 testMap
.insert(std::make_pair(testKeyFirst
, testValue
+ 1));
260 EXPECT_EQ(1u, testMap
.size());
261 EXPECT_EQ(testValue
, testMap
[testKeyFirst
]);
262 EXPECT_FALSE(Inserted
);
263 EXPECT_EQ(NewIt
, ExistingIt
);
266 // Test insert(pair<K, V>) method when rehashing occurs
267 TEST_F(StringMapTest
, InsertRehashingPairTest
) {
268 // Check that the correct iterator is returned when the inserted element is
269 // moved to a different bucket during internal rehashing. This depends on
270 // the particular key, and the implementation of StringMap and HashString.
271 // Changes to those might result in this test not actually checking that.
272 StringMap
<uint32_t> t(0);
273 EXPECT_EQ(0u, t
.getNumBuckets());
275 StringMap
<uint32_t>::iterator It
=
276 t
.insert(std::make_pair("abcdef", 42)).first
;
277 EXPECT_EQ(16u, t
.getNumBuckets());
278 EXPECT_EQ("abcdef", It
->first());
279 EXPECT_EQ(42u, It
->second
);
282 TEST_F(StringMapTest
, InsertOrAssignTest
) {
283 struct A
: CountCopyAndMove
{
289 auto try1
= t
.insert_or_assign("A", A(1));
290 EXPECT_TRUE(try1
.second
);
291 EXPECT_EQ(1, try1
.first
->second
.v
);
292 EXPECT_EQ(1, try1
.first
->second
.move
);
294 auto try2
= t
.insert_or_assign("A", A(2));
295 EXPECT_FALSE(try2
.second
);
296 EXPECT_EQ(2, try2
.first
->second
.v
);
297 EXPECT_EQ(2, try1
.first
->second
.move
);
299 EXPECT_EQ(try1
.first
, try2
.first
);
300 EXPECT_EQ(0, try1
.first
->second
.copy
);
303 TEST_F(StringMapTest
, IterMapKeys
) {
310 auto Keys
= to_vector
<4>(Map
.keys());
313 SmallVector
<StringRef
, 4> Expected
= {"A", "B", "C", "D"};
314 EXPECT_EQ(Expected
, Keys
);
317 // Create a non-default constructable value
318 struct StringMapTestStruct
{
319 StringMapTestStruct(int i
) : i(i
) {}
320 StringMapTestStruct() = delete;
324 TEST_F(StringMapTest
, NonDefaultConstructable
) {
325 StringMap
<StringMapTestStruct
> t
;
326 t
.insert(std::make_pair("Test", StringMapTestStruct(123)));
327 StringMap
<StringMapTestStruct
>::iterator iter
= t
.find("Test");
328 ASSERT_NE(iter
, t
.end());
329 ASSERT_EQ(iter
->second
.i
, 123);
334 Immovable(Immovable
&&) = delete; // will disable the other special members
339 MoveOnly(int i
) : i(i
) {}
340 MoveOnly(const Immovable
&) : i(0) {}
341 MoveOnly(MoveOnly
&&RHS
) : i(RHS
.i
) {}
342 MoveOnly
&operator=(MoveOnly
&&RHS
) {
348 MoveOnly(const MoveOnly
&) = delete;
349 MoveOnly
&operator=(const MoveOnly
&) = delete;
352 TEST_F(StringMapTest
, MoveOnly
) {
353 StringMap
<MoveOnly
> t
;
354 t
.insert(std::make_pair("Test", MoveOnly(42)));
355 StringRef Key
= "Test";
356 StringMapEntry
<MoveOnly
>::Create(Key
, MoveOnly(42))
360 TEST_F(StringMapTest
, CtorArg
) {
361 StringRef Key
= "Test";
362 StringMapEntry
<MoveOnly
>::Create(Key
, Immovable())
366 TEST_F(StringMapTest
, MoveConstruct
) {
369 StringMap
<int> B
= std::move(A
);
370 ASSERT_EQ(A
.size(), 0u);
371 ASSERT_EQ(B
.size(), 1u);
372 ASSERT_EQ(B
["x"], 42);
373 ASSERT_EQ(B
.count("y"), 0u);
376 TEST_F(StringMapTest
, MoveAssignment
) {
382 ASSERT_EQ(A
.size(), 1u);
383 ASSERT_EQ(B
.size(), 0u);
384 ASSERT_EQ(A
["y"], 117);
385 ASSERT_EQ(B
.count("x"), 0u);
391 Countable(int Number
, int &InstanceCount
)
392 : InstanceCount(InstanceCount
), Number(Number
) {
395 Countable(Countable
&&C
) : InstanceCount(C
.InstanceCount
), Number(C
.Number
) {
399 Countable(const Countable
&C
)
400 : InstanceCount(C
.InstanceCount
), Number(C
.Number
) {
403 Countable
&operator=(Countable C
) {
407 ~Countable() { --InstanceCount
; }
410 TEST_F(StringMapTest
, MoveDtor
) {
411 int InstanceCount
= 0;
412 StringMap
<Countable
> A
;
413 A
.insert(std::make_pair("x", Countable(42, InstanceCount
)));
414 ASSERT_EQ(InstanceCount
, 1);
415 auto I
= A
.find("x");
416 ASSERT_NE(I
, A
.end());
417 ASSERT_EQ(I
->second
.Number
, 42);
419 StringMap
<Countable
> B
;
421 ASSERT_EQ(InstanceCount
, 1);
422 ASSERT_TRUE(A
.empty());
424 ASSERT_NE(I
, B
.end());
425 ASSERT_EQ(I
->second
.Number
, 42);
427 B
= StringMap
<Countable
>();
428 ASSERT_EQ(InstanceCount
, 0);
429 ASSERT_TRUE(B
.empty());
433 // Simple class that counts how many moves and copy happens when growing a map
434 struct CountCtorCopyAndMove
{
435 static unsigned Ctor
;
436 static unsigned Move
;
437 static unsigned Copy
;
439 CountCtorCopyAndMove(int Data
) : Data(Data
) { Ctor
++; }
440 CountCtorCopyAndMove() { Ctor
++; }
442 CountCtorCopyAndMove(const CountCtorCopyAndMove
&) { Copy
++; }
443 CountCtorCopyAndMove
&operator=(const CountCtorCopyAndMove
&) {
447 CountCtorCopyAndMove(CountCtorCopyAndMove
&&) { Move
++; }
448 CountCtorCopyAndMove
&operator=(const CountCtorCopyAndMove
&&) {
453 unsigned CountCtorCopyAndMove::Copy
= 0;
454 unsigned CountCtorCopyAndMove::Move
= 0;
455 unsigned CountCtorCopyAndMove::Ctor
= 0;
457 } // anonymous namespace
459 // Make sure creating the map with an initial size of N actually gives us enough
460 // buckets to insert N items without increasing allocation size.
461 TEST(StringMapCustomTest
, InitialSizeTest
) {
462 // 1 is an "edge value", 32 is an arbitrary power of two, and 67 is an
463 // arbitrary prime, picked without any good reason.
464 for (auto Size
: {1, 32, 67}) {
465 StringMap
<CountCtorCopyAndMove
> Map(Size
);
466 auto NumBuckets
= Map
.getNumBuckets();
467 CountCtorCopyAndMove::Move
= 0;
468 CountCtorCopyAndMove::Copy
= 0;
469 for (int i
= 0; i
< Size
; ++i
)
470 Map
.insert(std::pair
<std::string
, CountCtorCopyAndMove
>(
471 std::piecewise_construct
, std::forward_as_tuple(Twine(i
).str()),
472 std::forward_as_tuple(i
)));
473 // After the initial move, the map will move the Elts in the Entry.
474 EXPECT_EQ((unsigned)Size
* 2, CountCtorCopyAndMove::Move
);
475 // We copy once the pair from the Elts vector
476 EXPECT_EQ(0u, CountCtorCopyAndMove::Copy
);
477 // Check that the map didn't grow
478 EXPECT_EQ(Map
.getNumBuckets(), NumBuckets
);
482 TEST(StringMapCustomTest
, BracketOperatorCtor
) {
483 StringMap
<CountCtorCopyAndMove
> Map
;
484 CountCtorCopyAndMove::Ctor
= 0;
486 EXPECT_EQ(1u, CountCtorCopyAndMove::Ctor
);
487 // Test that operator[] does not create a value when it is already in the map
488 CountCtorCopyAndMove::Ctor
= 0;
490 EXPECT_EQ(0u, CountCtorCopyAndMove::Ctor
);
494 struct NonMoveableNonCopyableType
{
496 NonMoveableNonCopyableType() = default;
497 NonMoveableNonCopyableType(int Data
) : Data(Data
) {}
498 NonMoveableNonCopyableType(const NonMoveableNonCopyableType
&) = delete;
499 NonMoveableNonCopyableType(NonMoveableNonCopyableType
&&) = delete;
503 // Test that we can "emplace" an element in the map without involving map/move
504 TEST(StringMapCustomTest
, EmplaceTest
) {
505 StringMap
<NonMoveableNonCopyableType
> Map
;
506 Map
.try_emplace("abcd", 42);
507 EXPECT_EQ(1u, Map
.count("abcd"));
508 EXPECT_EQ(42, Map
["abcd"].Data
);
511 // Test that StringMapEntryBase can handle size_t wide sizes.
512 TEST(StringMapCustomTest
, StringMapEntryBaseSize
) {
515 // Test that the entry can represent max-unsigned.
516 if (sizeof(size_t) <= sizeof(unsigned))
517 LargeValue
= std::numeric_limits
<unsigned>::max();
519 LargeValue
= std::numeric_limits
<unsigned>::max() + 1ULL;
520 StringMapEntryBase
LargeBase(LargeValue
);
521 EXPECT_EQ(LargeValue
, LargeBase
.getKeyLength());
523 // Test that the entry can hold at least max size_t.
524 LargeValue
= std::numeric_limits
<size_t>::max();
525 StringMapEntryBase
LargerBase(LargeValue
);
526 LargeValue
= std::numeric_limits
<size_t>::max();
527 EXPECT_EQ(LargeValue
, LargerBase
.getKeyLength());
530 // Test that StringMapEntry can handle size_t wide sizes.
531 TEST(StringMapCustomTest
, StringMapEntrySize
) {
534 // Test that the entry can represent max-unsigned.
535 if (sizeof(size_t) <= sizeof(unsigned))
536 LargeValue
= std::numeric_limits
<unsigned>::max();
538 LargeValue
= std::numeric_limits
<unsigned>::max() + 1ULL;
539 StringMapEntry
<int> LargeEntry(LargeValue
);
540 StringRef Key
= LargeEntry
.getKey();
541 EXPECT_EQ(LargeValue
, Key
.size());
543 // Test that the entry can hold at least max size_t.
544 LargeValue
= std::numeric_limits
<size_t>::max();
545 StringMapEntry
<int> LargerEntry(LargeValue
);
546 Key
= LargerEntry
.getKey();
547 EXPECT_EQ(LargeValue
, Key
.size());
550 } // end anonymous namespace