2009-01-01 03:24:48 +01:00
|
|
|
//===- llvm/unittest/ADT/DenseMapMap.cpp - DenseMap unit tests --*- C++ -*-===//
|
|
|
|
//
|
2019-01-19 09:50:56 +01:00
|
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
2009-01-01 03:24:48 +01:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#include "llvm/ADT/DenseMap.h"
|
2017-06-06 13:06:56 +02:00
|
|
|
#include "gtest/gtest.h"
|
2012-06-16 03:31:33 +02:00
|
|
|
#include <map>
|
2012-06-17 12:33:51 +02:00
|
|
|
#include <set>
|
2009-01-01 03:24:48 +01:00
|
|
|
|
|
|
|
using namespace llvm;
|
|
|
|
|
|
|
|
namespace {
|
|
|
|
|
Introduce a SmallDenseMap container that re-uses the existing DenseMap
implementation.
This type includes an inline bucket array which is used initially. Once
it is exceeded, an array of 64 buckets is allocated on the heap. The
bucket count grows from there as needed. Some highlights of this
implementation:
- The inline buffer is very carefully aligned, and so supports types
with alignment constraints.
- It works hard to avoid aliasing issues.
- Supports types with non-trivial constructors, destructors, copy
constructions, etc. It works reasonably hard to minimize copies and
unnecessary initialization. The most common initialization is to set
keys to the empty key, and so that should be fast if at all possible.
This class has a performance / space trade-off. It tries to optimize for
relatively small maps, and so packs the inline bucket array densely into
the object. It will be marginally slower than a normal DenseMap in a few
use patterns, so it isn't appropriate everywhere.
The unit tests for DenseMap have been generalized a bit to support
running over different map implementations in addition to different
key/value types. They've then been automatically extended to cover the
new container through the magic of GoogleTest's typed tests.
All of this is still a bit rough though. I'm going to be cleaning up
some aspects of the implementation, documenting things better, and
adding tests which include non-trivial types. As soon as I'm comfortable
with the correctness, I plan to switch existing users of SmallMap over
to this class as it is already more correct w.r.t. construction and
destruction of objects iin the map.
Thanks to Benjamin Kramer for all the reviews of this and the lead-up
patches. That said, more review on this would really be appreciated. As
I've noted a few times, I'm quite surprised how hard it is to get the
semantics for a hashtable-based map container with a small buffer
optimization correct. =]
llvm-svn: 158638
2012-06-17 11:05:09 +02:00
|
|
|
uint32_t getTestKey(int i, uint32_t *) { return i; }
|
|
|
|
uint32_t getTestValue(int i, uint32_t *) { return 42 + i; }
|
2012-06-16 03:31:33 +02:00
|
|
|
|
Introduce a SmallDenseMap container that re-uses the existing DenseMap
implementation.
This type includes an inline bucket array which is used initially. Once
it is exceeded, an array of 64 buckets is allocated on the heap. The
bucket count grows from there as needed. Some highlights of this
implementation:
- The inline buffer is very carefully aligned, and so supports types
with alignment constraints.
- It works hard to avoid aliasing issues.
- Supports types with non-trivial constructors, destructors, copy
constructions, etc. It works reasonably hard to minimize copies and
unnecessary initialization. The most common initialization is to set
keys to the empty key, and so that should be fast if at all possible.
This class has a performance / space trade-off. It tries to optimize for
relatively small maps, and so packs the inline bucket array densely into
the object. It will be marginally slower than a normal DenseMap in a few
use patterns, so it isn't appropriate everywhere.
The unit tests for DenseMap have been generalized a bit to support
running over different map implementations in addition to different
key/value types. They've then been automatically extended to cover the
new container through the magic of GoogleTest's typed tests.
All of this is still a bit rough though. I'm going to be cleaning up
some aspects of the implementation, documenting things better, and
adding tests which include non-trivial types. As soon as I'm comfortable
with the correctness, I plan to switch existing users of SmallMap over
to this class as it is already more correct w.r.t. construction and
destruction of objects iin the map.
Thanks to Benjamin Kramer for all the reviews of this and the lead-up
patches. That said, more review on this would really be appreciated. As
I've noted a few times, I'm quite surprised how hard it is to get the
semantics for a hashtable-based map container with a small buffer
optimization correct. =]
llvm-svn: 158638
2012-06-17 11:05:09 +02:00
|
|
|
uint32_t *getTestKey(int i, uint32_t **) {
|
|
|
|
static uint32_t dummy_arr1[8192];
|
|
|
|
assert(i < 8192 && "Only support 8192 dummy keys.");
|
|
|
|
return &dummy_arr1[i];
|
2012-06-16 03:31:33 +02:00
|
|
|
}
|
Introduce a SmallDenseMap container that re-uses the existing DenseMap
implementation.
This type includes an inline bucket array which is used initially. Once
it is exceeded, an array of 64 buckets is allocated on the heap. The
bucket count grows from there as needed. Some highlights of this
implementation:
- The inline buffer is very carefully aligned, and so supports types
with alignment constraints.
- It works hard to avoid aliasing issues.
- Supports types with non-trivial constructors, destructors, copy
constructions, etc. It works reasonably hard to minimize copies and
unnecessary initialization. The most common initialization is to set
keys to the empty key, and so that should be fast if at all possible.
This class has a performance / space trade-off. It tries to optimize for
relatively small maps, and so packs the inline bucket array densely into
the object. It will be marginally slower than a normal DenseMap in a few
use patterns, so it isn't appropriate everywhere.
The unit tests for DenseMap have been generalized a bit to support
running over different map implementations in addition to different
key/value types. They've then been automatically extended to cover the
new container through the magic of GoogleTest's typed tests.
All of this is still a bit rough though. I'm going to be cleaning up
some aspects of the implementation, documenting things better, and
adding tests which include non-trivial types. As soon as I'm comfortable
with the correctness, I plan to switch existing users of SmallMap over
to this class as it is already more correct w.r.t. construction and
destruction of objects iin the map.
Thanks to Benjamin Kramer for all the reviews of this and the lead-up
patches. That said, more review on this would really be appreciated. As
I've noted a few times, I'm quite surprised how hard it is to get the
semantics for a hashtable-based map container with a small buffer
optimization correct. =]
llvm-svn: 158638
2012-06-17 11:05:09 +02:00
|
|
|
uint32_t *getTestValue(int i, uint32_t **) {
|
2012-06-16 03:31:33 +02:00
|
|
|
static uint32_t dummy_arr1[8192];
|
|
|
|
assert(i < 8192 && "Only support 8192 dummy keys.");
|
|
|
|
return &dummy_arr1[i];
|
2009-01-01 03:24:48 +01:00
|
|
|
}
|
|
|
|
|
2018-05-01 17:54:18 +02:00
|
|
|
/// A test class that tries to check that construction and destruction
|
2012-06-17 12:33:51 +02:00
|
|
|
/// occur correctly.
|
|
|
|
class CtorTester {
|
|
|
|
static std::set<CtorTester *> Constructed;
|
|
|
|
int Value;
|
|
|
|
|
|
|
|
public:
|
|
|
|
explicit CtorTester(int Value = 0) : Value(Value) {
|
|
|
|
EXPECT_TRUE(Constructed.insert(this).second);
|
|
|
|
}
|
|
|
|
CtorTester(uint32_t Value) : Value(Value) {
|
|
|
|
EXPECT_TRUE(Constructed.insert(this).second);
|
|
|
|
}
|
|
|
|
CtorTester(const CtorTester &Arg) : Value(Arg.Value) {
|
|
|
|
EXPECT_TRUE(Constructed.insert(this).second);
|
|
|
|
}
|
2015-03-04 08:57:45 +01:00
|
|
|
CtorTester &operator=(const CtorTester &) = default;
|
2012-06-17 12:33:51 +02:00
|
|
|
~CtorTester() {
|
|
|
|
EXPECT_EQ(1u, Constructed.erase(this));
|
|
|
|
}
|
|
|
|
operator uint32_t() const { return Value; }
|
|
|
|
|
|
|
|
int getValue() const { return Value; }
|
|
|
|
bool operator==(const CtorTester &RHS) const { return Value == RHS.Value; }
|
|
|
|
};
|
|
|
|
|
|
|
|
std::set<CtorTester *> CtorTester::Constructed;
|
|
|
|
|
|
|
|
struct CtorTesterMapInfo {
|
|
|
|
static inline CtorTester getEmptyKey() { return CtorTester(-1); }
|
|
|
|
static inline CtorTester getTombstoneKey() { return CtorTester(-2); }
|
|
|
|
static unsigned getHashValue(const CtorTester &Val) {
|
|
|
|
return Val.getValue() * 37u;
|
|
|
|
}
|
|
|
|
static bool isEqual(const CtorTester &LHS, const CtorTester &RHS) {
|
|
|
|
return LHS == RHS;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
CtorTester getTestKey(int i, CtorTester *) { return CtorTester(i); }
|
|
|
|
CtorTester getTestValue(int i, CtorTester *) { return CtorTester(42 + i); }
|
|
|
|
|
Introduce a SmallDenseMap container that re-uses the existing DenseMap
implementation.
This type includes an inline bucket array which is used initially. Once
it is exceeded, an array of 64 buckets is allocated on the heap. The
bucket count grows from there as needed. Some highlights of this
implementation:
- The inline buffer is very carefully aligned, and so supports types
with alignment constraints.
- It works hard to avoid aliasing issues.
- Supports types with non-trivial constructors, destructors, copy
constructions, etc. It works reasonably hard to minimize copies and
unnecessary initialization. The most common initialization is to set
keys to the empty key, and so that should be fast if at all possible.
This class has a performance / space trade-off. It tries to optimize for
relatively small maps, and so packs the inline bucket array densely into
the object. It will be marginally slower than a normal DenseMap in a few
use patterns, so it isn't appropriate everywhere.
The unit tests for DenseMap have been generalized a bit to support
running over different map implementations in addition to different
key/value types. They've then been automatically extended to cover the
new container through the magic of GoogleTest's typed tests.
All of this is still a bit rough though. I'm going to be cleaning up
some aspects of the implementation, documenting things better, and
adding tests which include non-trivial types. As soon as I'm comfortable
with the correctness, I plan to switch existing users of SmallMap over
to this class as it is already more correct w.r.t. construction and
destruction of objects iin the map.
Thanks to Benjamin Kramer for all the reviews of this and the lead-up
patches. That said, more review on this would really be appreciated. As
I've noted a few times, I'm quite surprised how hard it is to get the
semantics for a hashtable-based map container with a small buffer
optimization correct. =]
llvm-svn: 158638
2012-06-17 11:05:09 +02:00
|
|
|
// Test fixture, with helper functions implemented by forwarding to global
|
|
|
|
// function overloads selected by component types of the type parameter. This
|
|
|
|
// allows all of the map implementations to be tested with shared
|
|
|
|
// implementations of helper routines.
|
|
|
|
template <typename T>
|
|
|
|
class DenseMapTest : public ::testing::Test {
|
|
|
|
protected:
|
|
|
|
T Map;
|
|
|
|
|
|
|
|
static typename T::key_type *const dummy_key_ptr;
|
|
|
|
static typename T::mapped_type *const dummy_value_ptr;
|
|
|
|
|
|
|
|
typename T::key_type getKey(int i = 0) {
|
|
|
|
return getTestKey(i, dummy_key_ptr);
|
|
|
|
}
|
|
|
|
typename T::mapped_type getValue(int i = 0) {
|
|
|
|
return getTestValue(i, dummy_value_ptr);
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
template <typename T>
|
2014-06-09 00:29:17 +02:00
|
|
|
typename T::key_type *const DenseMapTest<T>::dummy_key_ptr = nullptr;
|
Introduce a SmallDenseMap container that re-uses the existing DenseMap
implementation.
This type includes an inline bucket array which is used initially. Once
it is exceeded, an array of 64 buckets is allocated on the heap. The
bucket count grows from there as needed. Some highlights of this
implementation:
- The inline buffer is very carefully aligned, and so supports types
with alignment constraints.
- It works hard to avoid aliasing issues.
- Supports types with non-trivial constructors, destructors, copy
constructions, etc. It works reasonably hard to minimize copies and
unnecessary initialization. The most common initialization is to set
keys to the empty key, and so that should be fast if at all possible.
This class has a performance / space trade-off. It tries to optimize for
relatively small maps, and so packs the inline bucket array densely into
the object. It will be marginally slower than a normal DenseMap in a few
use patterns, so it isn't appropriate everywhere.
The unit tests for DenseMap have been generalized a bit to support
running over different map implementations in addition to different
key/value types. They've then been automatically extended to cover the
new container through the magic of GoogleTest's typed tests.
All of this is still a bit rough though. I'm going to be cleaning up
some aspects of the implementation, documenting things better, and
adding tests which include non-trivial types. As soon as I'm comfortable
with the correctness, I plan to switch existing users of SmallMap over
to this class as it is already more correct w.r.t. construction and
destruction of objects iin the map.
Thanks to Benjamin Kramer for all the reviews of this and the lead-up
patches. That said, more review on this would really be appreciated. As
I've noted a few times, I'm quite surprised how hard it is to get the
semantics for a hashtable-based map container with a small buffer
optimization correct. =]
llvm-svn: 158638
2012-06-17 11:05:09 +02:00
|
|
|
template <typename T>
|
2014-06-09 00:29:17 +02:00
|
|
|
typename T::mapped_type *const DenseMapTest<T>::dummy_value_ptr = nullptr;
|
2012-06-16 03:31:33 +02:00
|
|
|
|
|
|
|
// Register these types for testing.
|
|
|
|
typedef ::testing::Types<DenseMap<uint32_t, uint32_t>,
|
Introduce a SmallDenseMap container that re-uses the existing DenseMap
implementation.
This type includes an inline bucket array which is used initially. Once
it is exceeded, an array of 64 buckets is allocated on the heap. The
bucket count grows from there as needed. Some highlights of this
implementation:
- The inline buffer is very carefully aligned, and so supports types
with alignment constraints.
- It works hard to avoid aliasing issues.
- Supports types with non-trivial constructors, destructors, copy
constructions, etc. It works reasonably hard to minimize copies and
unnecessary initialization. The most common initialization is to set
keys to the empty key, and so that should be fast if at all possible.
This class has a performance / space trade-off. It tries to optimize for
relatively small maps, and so packs the inline bucket array densely into
the object. It will be marginally slower than a normal DenseMap in a few
use patterns, so it isn't appropriate everywhere.
The unit tests for DenseMap have been generalized a bit to support
running over different map implementations in addition to different
key/value types. They've then been automatically extended to cover the
new container through the magic of GoogleTest's typed tests.
All of this is still a bit rough though. I'm going to be cleaning up
some aspects of the implementation, documenting things better, and
adding tests which include non-trivial types. As soon as I'm comfortable
with the correctness, I plan to switch existing users of SmallMap over
to this class as it is already more correct w.r.t. construction and
destruction of objects iin the map.
Thanks to Benjamin Kramer for all the reviews of this and the lead-up
patches. That said, more review on this would really be appreciated. As
I've noted a few times, I'm quite surprised how hard it is to get the
semantics for a hashtable-based map container with a small buffer
optimization correct. =]
llvm-svn: 158638
2012-06-17 11:05:09 +02:00
|
|
|
DenseMap<uint32_t *, uint32_t *>,
|
2012-06-17 12:33:51 +02:00
|
|
|
DenseMap<CtorTester, CtorTester, CtorTesterMapInfo>,
|
Introduce a SmallDenseMap container that re-uses the existing DenseMap
implementation.
This type includes an inline bucket array which is used initially. Once
it is exceeded, an array of 64 buckets is allocated on the heap. The
bucket count grows from there as needed. Some highlights of this
implementation:
- The inline buffer is very carefully aligned, and so supports types
with alignment constraints.
- It works hard to avoid aliasing issues.
- Supports types with non-trivial constructors, destructors, copy
constructions, etc. It works reasonably hard to minimize copies and
unnecessary initialization. The most common initialization is to set
keys to the empty key, and so that should be fast if at all possible.
This class has a performance / space trade-off. It tries to optimize for
relatively small maps, and so packs the inline bucket array densely into
the object. It will be marginally slower than a normal DenseMap in a few
use patterns, so it isn't appropriate everywhere.
The unit tests for DenseMap have been generalized a bit to support
running over different map implementations in addition to different
key/value types. They've then been automatically extended to cover the
new container through the magic of GoogleTest's typed tests.
All of this is still a bit rough though. I'm going to be cleaning up
some aspects of the implementation, documenting things better, and
adding tests which include non-trivial types. As soon as I'm comfortable
with the correctness, I plan to switch existing users of SmallMap over
to this class as it is already more correct w.r.t. construction and
destruction of objects iin the map.
Thanks to Benjamin Kramer for all the reviews of this and the lead-up
patches. That said, more review on this would really be appreciated. As
I've noted a few times, I'm quite surprised how hard it is to get the
semantics for a hashtable-based map container with a small buffer
optimization correct. =]
llvm-svn: 158638
2012-06-17 11:05:09 +02:00
|
|
|
SmallDenseMap<uint32_t, uint32_t>,
|
2012-06-17 12:33:51 +02:00
|
|
|
SmallDenseMap<uint32_t *, uint32_t *>,
|
|
|
|
SmallDenseMap<CtorTester, CtorTester, 4,
|
|
|
|
CtorTesterMapInfo>
|
Introduce a SmallDenseMap container that re-uses the existing DenseMap
implementation.
This type includes an inline bucket array which is used initially. Once
it is exceeded, an array of 64 buckets is allocated on the heap. The
bucket count grows from there as needed. Some highlights of this
implementation:
- The inline buffer is very carefully aligned, and so supports types
with alignment constraints.
- It works hard to avoid aliasing issues.
- Supports types with non-trivial constructors, destructors, copy
constructions, etc. It works reasonably hard to minimize copies and
unnecessary initialization. The most common initialization is to set
keys to the empty key, and so that should be fast if at all possible.
This class has a performance / space trade-off. It tries to optimize for
relatively small maps, and so packs the inline bucket array densely into
the object. It will be marginally slower than a normal DenseMap in a few
use patterns, so it isn't appropriate everywhere.
The unit tests for DenseMap have been generalized a bit to support
running over different map implementations in addition to different
key/value types. They've then been automatically extended to cover the
new container through the magic of GoogleTest's typed tests.
All of this is still a bit rough though. I'm going to be cleaning up
some aspects of the implementation, documenting things better, and
adding tests which include non-trivial types. As soon as I'm comfortable
with the correctness, I plan to switch existing users of SmallMap over
to this class as it is already more correct w.r.t. construction and
destruction of objects iin the map.
Thanks to Benjamin Kramer for all the reviews of this and the lead-up
patches. That said, more review on this would really be appreciated. As
I've noted a few times, I'm quite surprised how hard it is to get the
semantics for a hashtable-based map container with a small buffer
optimization correct. =]
llvm-svn: 158638
2012-06-17 11:05:09 +02:00
|
|
|
> DenseMapTestTypes;
|
2021-05-17 14:12:11 +02:00
|
|
|
TYPED_TEST_SUITE(DenseMapTest, DenseMapTestTypes, );
|
2012-06-16 03:31:33 +02:00
|
|
|
|
|
|
|
// Empty map tests
|
|
|
|
TYPED_TEST(DenseMapTest, EmptyIntMapTest) {
|
2009-01-01 03:24:48 +01:00
|
|
|
// Size tests
|
2012-06-16 03:31:33 +02:00
|
|
|
EXPECT_EQ(0u, this->Map.size());
|
|
|
|
EXPECT_TRUE(this->Map.empty());
|
2009-01-01 03:24:48 +01:00
|
|
|
|
|
|
|
// Iterator tests
|
2012-06-16 03:31:33 +02:00
|
|
|
EXPECT_TRUE(this->Map.begin() == this->Map.end());
|
2009-01-01 03:24:48 +01:00
|
|
|
|
|
|
|
// Lookup tests
|
2012-06-16 03:31:33 +02:00
|
|
|
EXPECT_FALSE(this->Map.count(this->getKey()));
|
|
|
|
EXPECT_TRUE(this->Map.find(this->getKey()) == this->Map.end());
|
|
|
|
EXPECT_EQ(typename TypeParam::mapped_type(),
|
|
|
|
this->Map.lookup(this->getKey()));
|
2009-01-01 03:24:48 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// Constant map tests
|
2012-06-16 03:31:33 +02:00
|
|
|
TYPED_TEST(DenseMapTest, ConstEmptyMapTest) {
|
|
|
|
const TypeParam &ConstMap = this->Map;
|
|
|
|
EXPECT_EQ(0u, ConstMap.size());
|
|
|
|
EXPECT_TRUE(ConstMap.empty());
|
|
|
|
EXPECT_TRUE(ConstMap.begin() == ConstMap.end());
|
2009-01-01 03:24:48 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// A map with a single entry
|
2012-06-16 03:31:33 +02:00
|
|
|
TYPED_TEST(DenseMapTest, SingleEntryMapTest) {
|
|
|
|
this->Map[this->getKey()] = this->getValue();
|
2009-01-01 03:24:48 +01:00
|
|
|
|
|
|
|
// Size tests
|
2012-06-16 03:31:33 +02:00
|
|
|
EXPECT_EQ(1u, this->Map.size());
|
|
|
|
EXPECT_FALSE(this->Map.begin() == this->Map.end());
|
|
|
|
EXPECT_FALSE(this->Map.empty());
|
2009-01-01 03:24:48 +01:00
|
|
|
|
|
|
|
// Iterator tests
|
2012-06-16 03:31:33 +02:00
|
|
|
typename TypeParam::iterator it = this->Map.begin();
|
|
|
|
EXPECT_EQ(this->getKey(), it->first);
|
|
|
|
EXPECT_EQ(this->getValue(), it->second);
|
2009-01-01 03:24:48 +01:00
|
|
|
++it;
|
2012-06-16 03:31:33 +02:00
|
|
|
EXPECT_TRUE(it == this->Map.end());
|
2009-01-01 03:24:48 +01:00
|
|
|
|
|
|
|
// Lookup tests
|
2012-06-16 03:31:33 +02:00
|
|
|
EXPECT_TRUE(this->Map.count(this->getKey()));
|
|
|
|
EXPECT_TRUE(this->Map.find(this->getKey()) == this->Map.begin());
|
|
|
|
EXPECT_EQ(this->getValue(), this->Map.lookup(this->getKey()));
|
|
|
|
EXPECT_EQ(this->getValue(), this->Map[this->getKey()]);
|
2009-01-01 03:24:48 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// Test clear() method
|
2012-06-16 03:31:33 +02:00
|
|
|
TYPED_TEST(DenseMapTest, ClearTest) {
|
|
|
|
this->Map[this->getKey()] = this->getValue();
|
|
|
|
this->Map.clear();
|
2009-01-01 03:24:48 +01:00
|
|
|
|
2012-06-16 03:31:33 +02:00
|
|
|
EXPECT_EQ(0u, this->Map.size());
|
|
|
|
EXPECT_TRUE(this->Map.empty());
|
|
|
|
EXPECT_TRUE(this->Map.begin() == this->Map.end());
|
2009-01-01 03:24:48 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// Test erase(iterator) method
|
2012-06-16 03:31:33 +02:00
|
|
|
TYPED_TEST(DenseMapTest, EraseTest) {
|
|
|
|
this->Map[this->getKey()] = this->getValue();
|
|
|
|
this->Map.erase(this->Map.begin());
|
2009-01-01 03:24:48 +01:00
|
|
|
|
2012-06-16 03:31:33 +02:00
|
|
|
EXPECT_EQ(0u, this->Map.size());
|
|
|
|
EXPECT_TRUE(this->Map.empty());
|
|
|
|
EXPECT_TRUE(this->Map.begin() == this->Map.end());
|
2009-01-01 03:24:48 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// Test erase(value) method
|
2012-06-16 03:31:33 +02:00
|
|
|
TYPED_TEST(DenseMapTest, EraseTest2) {
|
|
|
|
this->Map[this->getKey()] = this->getValue();
|
|
|
|
this->Map.erase(this->getKey());
|
2009-01-01 03:24:48 +01:00
|
|
|
|
2012-06-16 03:31:33 +02:00
|
|
|
EXPECT_EQ(0u, this->Map.size());
|
|
|
|
EXPECT_TRUE(this->Map.empty());
|
|
|
|
EXPECT_TRUE(this->Map.begin() == this->Map.end());
|
2009-01-01 03:24:48 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// Test insert() method
|
2012-06-16 03:31:33 +02:00
|
|
|
TYPED_TEST(DenseMapTest, InsertTest) {
|
|
|
|
this->Map.insert(std::make_pair(this->getKey(), this->getValue()));
|
|
|
|
EXPECT_EQ(1u, this->Map.size());
|
|
|
|
EXPECT_EQ(this->getValue(), this->Map[this->getKey()]);
|
2009-01-01 03:24:48 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// Test copy constructor method
|
2012-06-16 03:31:33 +02:00
|
|
|
TYPED_TEST(DenseMapTest, CopyConstructorTest) {
|
|
|
|
this->Map[this->getKey()] = this->getValue();
|
|
|
|
TypeParam copyMap(this->Map);
|
2009-01-01 03:24:48 +01:00
|
|
|
|
|
|
|
EXPECT_EQ(1u, copyMap.size());
|
2012-06-16 03:31:33 +02:00
|
|
|
EXPECT_EQ(this->getValue(), copyMap[this->getKey()]);
|
2009-01-01 03:24:48 +01:00
|
|
|
}
|
|
|
|
|
2014-02-26 00:35:13 +01:00
|
|
|
// Test copy constructor method where SmallDenseMap isn't small.
|
|
|
|
TYPED_TEST(DenseMapTest, CopyConstructorNotSmallTest) {
|
|
|
|
for (int Key = 0; Key < 5; ++Key)
|
|
|
|
this->Map[this->getKey(Key)] = this->getValue(Key);
|
|
|
|
TypeParam copyMap(this->Map);
|
|
|
|
|
|
|
|
EXPECT_EQ(5u, copyMap.size());
|
|
|
|
for (int Key = 0; Key < 5; ++Key)
|
|
|
|
EXPECT_EQ(this->getValue(Key), copyMap[this->getKey(Key)]);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Test copying from a default-constructed map.
|
|
|
|
TYPED_TEST(DenseMapTest, CopyConstructorFromDefaultTest) {
|
|
|
|
TypeParam copyMap(this->Map);
|
|
|
|
|
|
|
|
EXPECT_TRUE(copyMap.empty());
|
|
|
|
}
|
|
|
|
|
|
|
|
// Test copying from an empty map where SmallDenseMap isn't small.
|
|
|
|
TYPED_TEST(DenseMapTest, CopyConstructorFromEmptyTest) {
|
|
|
|
for (int Key = 0; Key < 5; ++Key)
|
|
|
|
this->Map[this->getKey(Key)] = this->getValue(Key);
|
|
|
|
this->Map.clear();
|
|
|
|
TypeParam copyMap(this->Map);
|
|
|
|
|
|
|
|
EXPECT_TRUE(copyMap.empty());
|
|
|
|
}
|
|
|
|
|
2009-01-01 03:24:48 +01:00
|
|
|
// Test assignment operator method
|
2012-06-16 03:31:33 +02:00
|
|
|
TYPED_TEST(DenseMapTest, AssignmentTest) {
|
|
|
|
this->Map[this->getKey()] = this->getValue();
|
|
|
|
TypeParam copyMap = this->Map;
|
2009-01-01 03:24:48 +01:00
|
|
|
|
|
|
|
EXPECT_EQ(1u, copyMap.size());
|
2012-06-16 03:31:33 +02:00
|
|
|
EXPECT_EQ(this->getValue(), copyMap[this->getKey()]);
|
2014-08-05 00:18:25 +02:00
|
|
|
|
|
|
|
// test self-assignment.
|
[unittests] ADT: silence -Wself-assign diagnostics
Summary:
D44883 extends -Wself-assign to also work on C++ classes.
In it's current state (as suggested by @rjmccall), it is not under it's own sub-group.
Since that diag is enabled by `-Wall`, stage2 testing showed that:
* It does not fire on any llvm code
* It does fire for these 3 unittests
* It does fire for libc++ tests
This diff simply silences those new warnings in llvm's unittests.
A similar diff will be needed for libcxx. (`libcxx/test/std/language.support/support.types/byteops/`, maybe something else)
Since i don't think we want to repeat rL322901, let's talk about it.
I've subscribed everyone who i think might be interested...
There are several ways forward:
* Not extend -Wself-assign, close D44883. Not very productive outcome i'd say.
* Keep D44883 in it's current state.
Unless your custom overloaded operators do something unusual for when self-assigning,
the warning is no less of a false-positive than the current -Wself-assign.
Except for tests of course, there you'd want to silence it. The current suggestion is:
```
S a;
a = (S &)a;
```
* Split the diagnostic in two - `-Wself-assign-builtin` (i.e. what is `-Wself-assign` in trunk),
and `-Wself-assign-overloaded` - the new part in D44883.
Since, as i said, i'm not really sure why it would be less of a error than the current `-Wself-assign`,
both would still be in `-Wall`. That way one could simply pass `-Wno-self-assign-overloaded` for all the tests.
Pretty simple to do, and will surely work.
* Split the diagnostic in two - `-Wself-assign-trivial`, and `-Wself-assign-nontrivial`.
The choice of which diag to emit would depend on trivial-ness of that particular operator.
The current `-Wself-assign` would be `-Wself-assign-trivial`.
https://godbolt.org/g/gwDASe - `A`, `B` and `C` case would be treated as trivial, and `D`, `E` and `F` as non-trivial.
Will be the most complicated to implement.
Thoughts?
Reviewers: aaron.ballman, rsmith, rtrieu, rjmccall, dblaikie, atrick, gottesmm
Reviewed By: dblaikie
Subscribers: lebedev.ri, phosek, vsk, rnk, thakis, sammccall, mclow.lists, llvm-commits, rjmccall
Differential Revision: https://reviews.llvm.org/D45082
llvm-svn: 329491
2018-04-07 12:37:18 +02:00
|
|
|
copyMap = static_cast<TypeParam &>(copyMap);
|
2014-08-05 00:18:25 +02:00
|
|
|
EXPECT_EQ(1u, copyMap.size());
|
|
|
|
EXPECT_EQ(this->getValue(), copyMap[this->getKey()]);
|
2009-01-01 03:24:48 +01:00
|
|
|
}
|
|
|
|
|
2015-10-31 06:23:53 +01:00
|
|
|
TYPED_TEST(DenseMapTest, AssignmentTestNotSmall) {
|
|
|
|
for (int Key = 0; Key < 5; ++Key)
|
|
|
|
this->Map[this->getKey(Key)] = this->getValue(Key);
|
|
|
|
TypeParam copyMap = this->Map;
|
|
|
|
|
|
|
|
EXPECT_EQ(5u, copyMap.size());
|
|
|
|
for (int Key = 0; Key < 5; ++Key)
|
|
|
|
EXPECT_EQ(this->getValue(Key), copyMap[this->getKey(Key)]);
|
|
|
|
|
|
|
|
// test self-assignment.
|
[unittests] ADT: silence -Wself-assign diagnostics
Summary:
D44883 extends -Wself-assign to also work on C++ classes.
In it's current state (as suggested by @rjmccall), it is not under it's own sub-group.
Since that diag is enabled by `-Wall`, stage2 testing showed that:
* It does not fire on any llvm code
* It does fire for these 3 unittests
* It does fire for libc++ tests
This diff simply silences those new warnings in llvm's unittests.
A similar diff will be needed for libcxx. (`libcxx/test/std/language.support/support.types/byteops/`, maybe something else)
Since i don't think we want to repeat rL322901, let's talk about it.
I've subscribed everyone who i think might be interested...
There are several ways forward:
* Not extend -Wself-assign, close D44883. Not very productive outcome i'd say.
* Keep D44883 in it's current state.
Unless your custom overloaded operators do something unusual for when self-assigning,
the warning is no less of a false-positive than the current -Wself-assign.
Except for tests of course, there you'd want to silence it. The current suggestion is:
```
S a;
a = (S &)a;
```
* Split the diagnostic in two - `-Wself-assign-builtin` (i.e. what is `-Wself-assign` in trunk),
and `-Wself-assign-overloaded` - the new part in D44883.
Since, as i said, i'm not really sure why it would be less of a error than the current `-Wself-assign`,
both would still be in `-Wall`. That way one could simply pass `-Wno-self-assign-overloaded` for all the tests.
Pretty simple to do, and will surely work.
* Split the diagnostic in two - `-Wself-assign-trivial`, and `-Wself-assign-nontrivial`.
The choice of which diag to emit would depend on trivial-ness of that particular operator.
The current `-Wself-assign` would be `-Wself-assign-trivial`.
https://godbolt.org/g/gwDASe - `A`, `B` and `C` case would be treated as trivial, and `D`, `E` and `F` as non-trivial.
Will be the most complicated to implement.
Thoughts?
Reviewers: aaron.ballman, rsmith, rtrieu, rjmccall, dblaikie, atrick, gottesmm
Reviewed By: dblaikie
Subscribers: lebedev.ri, phosek, vsk, rnk, thakis, sammccall, mclow.lists, llvm-commits, rjmccall
Differential Revision: https://reviews.llvm.org/D45082
llvm-svn: 329491
2018-04-07 12:37:18 +02:00
|
|
|
copyMap = static_cast<TypeParam &>(copyMap);
|
2015-10-31 06:23:53 +01:00
|
|
|
EXPECT_EQ(5u, copyMap.size());
|
|
|
|
for (int Key = 0; Key < 5; ++Key)
|
|
|
|
EXPECT_EQ(this->getValue(Key), copyMap[this->getKey(Key)]);
|
|
|
|
}
|
|
|
|
|
2012-06-17 13:28:13 +02:00
|
|
|
// Test swap method
|
|
|
|
TYPED_TEST(DenseMapTest, SwapTest) {
|
|
|
|
this->Map[this->getKey()] = this->getValue();
|
|
|
|
TypeParam otherMap;
|
|
|
|
|
|
|
|
this->Map.swap(otherMap);
|
|
|
|
EXPECT_EQ(0u, this->Map.size());
|
|
|
|
EXPECT_TRUE(this->Map.empty());
|
|
|
|
EXPECT_EQ(1u, otherMap.size());
|
|
|
|
EXPECT_EQ(this->getValue(), otherMap[this->getKey()]);
|
|
|
|
|
|
|
|
this->Map.swap(otherMap);
|
|
|
|
EXPECT_EQ(0u, otherMap.size());
|
|
|
|
EXPECT_TRUE(otherMap.empty());
|
|
|
|
EXPECT_EQ(1u, this->Map.size());
|
|
|
|
EXPECT_EQ(this->getValue(), this->Map[this->getKey()]);
|
|
|
|
|
|
|
|
// Make this more interesting by inserting 100 numbers into the map.
|
|
|
|
for (int i = 0; i < 100; ++i)
|
|
|
|
this->Map[this->getKey(i)] = this->getValue(i);
|
|
|
|
|
|
|
|
this->Map.swap(otherMap);
|
|
|
|
EXPECT_EQ(0u, this->Map.size());
|
|
|
|
EXPECT_TRUE(this->Map.empty());
|
|
|
|
EXPECT_EQ(100u, otherMap.size());
|
|
|
|
for (int i = 0; i < 100; ++i)
|
|
|
|
EXPECT_EQ(this->getValue(i), otherMap[this->getKey(i)]);
|
|
|
|
|
|
|
|
this->Map.swap(otherMap);
|
|
|
|
EXPECT_EQ(0u, otherMap.size());
|
|
|
|
EXPECT_TRUE(otherMap.empty());
|
|
|
|
EXPECT_EQ(100u, this->Map.size());
|
|
|
|
for (int i = 0; i < 100; ++i)
|
|
|
|
EXPECT_EQ(this->getValue(i), this->Map[this->getKey(i)]);
|
|
|
|
}
|
|
|
|
|
2009-01-01 03:24:48 +01:00
|
|
|
// A more complex iteration test
|
2012-06-16 03:31:33 +02:00
|
|
|
TYPED_TEST(DenseMapTest, IterationTest) {
|
2009-01-01 03:24:48 +01:00
|
|
|
bool visited[100];
|
2012-06-16 03:31:33 +02:00
|
|
|
std::map<typename TypeParam::key_type, unsigned> visitedIndex;
|
2009-01-01 03:24:48 +01:00
|
|
|
|
|
|
|
// Insert 100 numbers into the map
|
|
|
|
for (int i = 0; i < 100; ++i) {
|
|
|
|
visited[i] = false;
|
2012-06-16 03:31:33 +02:00
|
|
|
visitedIndex[this->getKey(i)] = i;
|
|
|
|
|
|
|
|
this->Map[this->getKey(i)] = this->getValue(i);
|
2009-01-01 03:24:48 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
// Iterate over all numbers and mark each one found.
|
2012-06-16 03:31:33 +02:00
|
|
|
for (typename TypeParam::iterator it = this->Map.begin();
|
|
|
|
it != this->Map.end(); ++it)
|
|
|
|
visited[visitedIndex[it->first]] = true;
|
2009-01-01 03:24:48 +01:00
|
|
|
|
|
|
|
// Ensure every number was visited.
|
2012-06-16 03:31:33 +02:00
|
|
|
for (int i = 0; i < 100; ++i)
|
2009-01-07 22:13:53 +01:00
|
|
|
ASSERT_TRUE(visited[i]) << "Entry #" << i << " was never visited";
|
2009-01-01 03:24:48 +01:00
|
|
|
}
|
|
|
|
|
2009-11-10 02:02:17 +01:00
|
|
|
// const_iterator test
|
2012-06-16 03:31:33 +02:00
|
|
|
TYPED_TEST(DenseMapTest, ConstIteratorTest) {
|
2009-11-10 02:02:17 +01:00
|
|
|
// Check conversion from iterator to const_iterator.
|
2012-06-16 03:31:33 +02:00
|
|
|
typename TypeParam::iterator it = this->Map.begin();
|
|
|
|
typename TypeParam::const_iterator cit(it);
|
2009-11-10 02:02:17 +01:00
|
|
|
EXPECT_TRUE(it == cit);
|
|
|
|
|
|
|
|
// Check copying of const_iterators.
|
2012-06-16 03:31:33 +02:00
|
|
|
typename TypeParam::const_iterator cit2(cit);
|
2009-11-10 02:02:17 +01:00
|
|
|
EXPECT_TRUE(cit == cit2);
|
|
|
|
}
|
|
|
|
|
2016-03-25 06:57:52 +01:00
|
|
|
namespace {
|
|
|
|
// Simple class that counts how many moves and copy happens when growing a map
|
|
|
|
struct CountCopyAndMove {
|
|
|
|
static int Move;
|
|
|
|
static int Copy;
|
|
|
|
CountCopyAndMove() {}
|
|
|
|
|
|
|
|
CountCopyAndMove(const CountCopyAndMove &) { Copy++; }
|
|
|
|
CountCopyAndMove &operator=(const CountCopyAndMove &) {
|
|
|
|
Copy++;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
CountCopyAndMove(CountCopyAndMove &&) { Move++; }
|
|
|
|
CountCopyAndMove &operator=(const CountCopyAndMove &&) {
|
|
|
|
Move++;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
int CountCopyAndMove::Copy = 0;
|
|
|
|
int CountCopyAndMove::Move = 0;
|
|
|
|
|
|
|
|
} // anonymous namespace
|
|
|
|
|
2018-10-15 17:26:47 +02:00
|
|
|
// Test initializer list construction.
|
|
|
|
TEST(DenseMapCustomTest, InitializerList) {
|
|
|
|
DenseMap<int, int> M({{0, 0}, {0, 1}, {1, 2}});
|
|
|
|
EXPECT_EQ(2u, M.size());
|
|
|
|
EXPECT_EQ(1u, M.count(0));
|
|
|
|
EXPECT_EQ(0, M[0]);
|
|
|
|
EXPECT_EQ(1u, M.count(1));
|
|
|
|
EXPECT_EQ(2, M[1]);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Test initializer list construction.
|
|
|
|
TEST(DenseMapCustomTest, EqualityComparison) {
|
|
|
|
DenseMap<int, int> M1({{0, 0}, {1, 2}});
|
|
|
|
DenseMap<int, int> M2({{0, 0}, {1, 2}});
|
|
|
|
DenseMap<int, int> M3({{0, 0}, {1, 3}});
|
|
|
|
|
|
|
|
EXPECT_EQ(M1, M2);
|
|
|
|
EXPECT_NE(M1, M3);
|
|
|
|
}
|
|
|
|
|
2016-03-25 06:57:52 +01:00
|
|
|
// Test for the default minimum size of a DenseMap
|
|
|
|
TEST(DenseMapCustomTest, DefaultMinReservedSizeTest) {
|
|
|
|
// IF THIS VALUE CHANGE, please update InitialSizeTest, InitFromIterator, and
|
|
|
|
// ReserveTest as well!
|
|
|
|
const int ExpectedInitialBucketCount = 64;
|
|
|
|
// Formula from DenseMap::getMinBucketToReserveForEntries()
|
|
|
|
const int ExpectedMaxInitialEntries = ExpectedInitialBucketCount * 3 / 4 - 1;
|
|
|
|
|
|
|
|
DenseMap<int, CountCopyAndMove> Map;
|
|
|
|
// Will allocate 64 buckets
|
|
|
|
Map.reserve(1);
|
|
|
|
unsigned MemorySize = Map.getMemorySize();
|
|
|
|
CountCopyAndMove::Copy = 0;
|
|
|
|
CountCopyAndMove::Move = 0;
|
|
|
|
for (int i = 0; i < ExpectedMaxInitialEntries; ++i)
|
2016-03-26 00:25:06 +01:00
|
|
|
Map.insert(std::pair<int, CountCopyAndMove>(std::piecewise_construct,
|
|
|
|
std::forward_as_tuple(i),
|
|
|
|
std::forward_as_tuple()));
|
2016-03-25 06:57:52 +01:00
|
|
|
// Check that we didn't grow
|
|
|
|
EXPECT_EQ(MemorySize, Map.getMemorySize());
|
|
|
|
// Check that move was called the expected number of times
|
2016-03-26 00:25:06 +01:00
|
|
|
EXPECT_EQ(ExpectedMaxInitialEntries, CountCopyAndMove::Move);
|
2018-01-24 11:33:39 +01:00
|
|
|
// Check that no copy occurred
|
2016-03-25 06:57:52 +01:00
|
|
|
EXPECT_EQ(0, CountCopyAndMove::Copy);
|
|
|
|
|
|
|
|
// Adding one extra element should grow the map
|
2016-03-26 00:25:06 +01:00
|
|
|
Map.insert(std::pair<int, CountCopyAndMove>(
|
|
|
|
std::piecewise_construct,
|
|
|
|
std::forward_as_tuple(ExpectedMaxInitialEntries),
|
|
|
|
std::forward_as_tuple()));
|
2016-03-25 06:57:52 +01:00
|
|
|
// Check that we grew
|
|
|
|
EXPECT_NE(MemorySize, Map.getMemorySize());
|
|
|
|
// Check that move was called the expected number of times
|
2016-03-25 16:46:14 +01:00
|
|
|
// This relies on move-construction elision, and cannot be reliably tested.
|
|
|
|
// EXPECT_EQ(ExpectedMaxInitialEntries + 2, CountCopyAndMove::Move);
|
2018-01-24 11:33:39 +01:00
|
|
|
// Check that no copy occurred
|
2016-03-25 06:57:52 +01:00
|
|
|
EXPECT_EQ(0, CountCopyAndMove::Copy);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Make sure creating the map with an initial size of N actually gives us enough
|
|
|
|
// buckets to insert N items without increasing allocation size.
|
|
|
|
TEST(DenseMapCustomTest, InitialSizeTest) {
|
|
|
|
// Test a few different sizes, 48 is *not* a random choice: we need a value
|
|
|
|
// that is 2/3 of a power of two to stress the grow() condition, and the power
|
|
|
|
// of two has to be at least 64 because of minimum size allocation in the
|
|
|
|
// DenseMap (see DefaultMinReservedSizeTest). 66 is a value just above the
|
|
|
|
// 64 default init.
|
|
|
|
for (auto Size : {1, 2, 48, 66}) {
|
|
|
|
DenseMap<int, CountCopyAndMove> Map(Size);
|
|
|
|
unsigned MemorySize = Map.getMemorySize();
|
|
|
|
CountCopyAndMove::Copy = 0;
|
|
|
|
CountCopyAndMove::Move = 0;
|
|
|
|
for (int i = 0; i < Size; ++i)
|
2016-03-26 00:25:06 +01:00
|
|
|
Map.insert(std::pair<int, CountCopyAndMove>(std::piecewise_construct,
|
|
|
|
std::forward_as_tuple(i),
|
|
|
|
std::forward_as_tuple()));
|
2016-03-25 06:57:52 +01:00
|
|
|
// Check that we didn't grow
|
|
|
|
EXPECT_EQ(MemorySize, Map.getMemorySize());
|
|
|
|
// Check that move was called the expected number of times
|
2016-03-26 00:25:06 +01:00
|
|
|
EXPECT_EQ(Size, CountCopyAndMove::Move);
|
2018-01-24 11:33:39 +01:00
|
|
|
// Check that no copy occurred
|
2016-03-25 06:57:52 +01:00
|
|
|
EXPECT_EQ(0, CountCopyAndMove::Copy);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// Make sure creating the map with a iterator range does not trigger grow()
|
|
|
|
TEST(DenseMapCustomTest, InitFromIterator) {
|
|
|
|
std::vector<std::pair<int, CountCopyAndMove>> Values;
|
|
|
|
// The size is a random value greater than 64 (hardcoded DenseMap min init)
|
|
|
|
const int Count = 65;
|
|
|
|
for (int i = 0; i < Count; i++)
|
|
|
|
Values.emplace_back(i, CountCopyAndMove());
|
|
|
|
|
|
|
|
CountCopyAndMove::Move = 0;
|
|
|
|
CountCopyAndMove::Copy = 0;
|
|
|
|
DenseMap<int, CountCopyAndMove> Map(Values.begin(), Values.end());
|
2018-01-24 11:33:39 +01:00
|
|
|
// Check that no move occurred
|
2016-03-25 06:57:52 +01:00
|
|
|
EXPECT_EQ(0, CountCopyAndMove::Move);
|
|
|
|
// Check that copy was called the expected number of times
|
|
|
|
EXPECT_EQ(Count, CountCopyAndMove::Copy);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Make sure reserve actually gives us enough buckets to insert N items
|
2016-03-15 02:50:46 +01:00
|
|
|
// without increasing allocation size.
|
2016-03-25 06:57:52 +01:00
|
|
|
TEST(DenseMapCustomTest, ReserveTest) {
|
|
|
|
// Test a few different size, 48 is *not* a random choice: we need a value
|
|
|
|
// that is 2/3 of a power of two to stress the grow() condition, and the power
|
|
|
|
// of two has to be at least 64 because of minimum size allocation in the
|
|
|
|
// DenseMap (see DefaultMinReservedSizeTest). 66 is a value just above the
|
|
|
|
// 64 default init.
|
|
|
|
for (auto Size : {1, 2, 48, 66}) {
|
|
|
|
DenseMap<int, CountCopyAndMove> Map;
|
2016-03-22 08:35:51 +01:00
|
|
|
Map.reserve(Size);
|
2016-03-15 02:50:46 +01:00
|
|
|
unsigned MemorySize = Map.getMemorySize();
|
2016-03-25 06:57:52 +01:00
|
|
|
CountCopyAndMove::Copy = 0;
|
|
|
|
CountCopyAndMove::Move = 0;
|
|
|
|
for (int i = 0; i < Size; ++i)
|
2016-03-26 00:25:06 +01:00
|
|
|
Map.insert(std::pair<int, CountCopyAndMove>(std::piecewise_construct,
|
|
|
|
std::forward_as_tuple(i),
|
|
|
|
std::forward_as_tuple()));
|
2016-03-25 06:57:52 +01:00
|
|
|
// Check that we didn't grow
|
|
|
|
EXPECT_EQ(MemorySize, Map.getMemorySize());
|
|
|
|
// Check that move was called the expected number of times
|
2016-03-26 00:25:06 +01:00
|
|
|
EXPECT_EQ(Size, CountCopyAndMove::Move);
|
2018-01-24 11:33:39 +01:00
|
|
|
// Check that no copy occurred
|
2016-03-25 06:57:52 +01:00
|
|
|
EXPECT_EQ(0, CountCopyAndMove::Copy);
|
2016-03-15 02:50:46 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-06-24 12:06:29 +02:00
|
|
|
// Make sure DenseMap works with StringRef keys.
|
|
|
|
TEST(DenseMapCustomTest, StringRefTest) {
|
|
|
|
DenseMap<StringRef, int> M;
|
|
|
|
|
|
|
|
M["a"] = 1;
|
|
|
|
M["b"] = 2;
|
|
|
|
M["c"] = 3;
|
|
|
|
|
|
|
|
EXPECT_EQ(3u, M.size());
|
|
|
|
EXPECT_EQ(1, M.lookup("a"));
|
|
|
|
EXPECT_EQ(2, M.lookup("b"));
|
|
|
|
EXPECT_EQ(3, M.lookup("c"));
|
|
|
|
|
|
|
|
EXPECT_EQ(0, M.lookup("q"));
|
|
|
|
|
|
|
|
// Test the empty string, spelled various ways.
|
|
|
|
EXPECT_EQ(0, M.lookup(""));
|
|
|
|
EXPECT_EQ(0, M.lookup(StringRef()));
|
|
|
|
EXPECT_EQ(0, M.lookup(StringRef("a", 0)));
|
|
|
|
M[""] = 42;
|
|
|
|
EXPECT_EQ(42, M.lookup(""));
|
|
|
|
EXPECT_EQ(42, M.lookup(StringRef()));
|
|
|
|
EXPECT_EQ(42, M.lookup(StringRef("a", 0)));
|
|
|
|
}
|
|
|
|
|
2012-01-30 07:55:43 +01:00
|
|
|
// Key traits that allows lookup with either an unsigned or char* key;
|
|
|
|
// In the latter case, "a" == 0, "b" == 1 and so on.
|
|
|
|
struct TestDenseMapInfo {
|
|
|
|
static inline unsigned getEmptyKey() { return ~0; }
|
|
|
|
static inline unsigned getTombstoneKey() { return ~0U - 1; }
|
|
|
|
static unsigned getHashValue(const unsigned& Val) { return Val * 37U; }
|
|
|
|
static unsigned getHashValue(const char* Val) {
|
|
|
|
return (unsigned)(Val[0] - 'a') * 37U;
|
|
|
|
}
|
|
|
|
static bool isEqual(const unsigned& LHS, const unsigned& RHS) {
|
|
|
|
return LHS == RHS;
|
|
|
|
}
|
|
|
|
static bool isEqual(const char* LHS, const unsigned& RHS) {
|
|
|
|
return (unsigned)(LHS[0] - 'a') == RHS;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
// find_as() tests
|
2012-06-16 03:31:33 +02:00
|
|
|
TEST(DenseMapCustomTest, FindAsTest) {
|
2012-01-30 07:55:43 +01:00
|
|
|
DenseMap<unsigned, unsigned, TestDenseMapInfo> map;
|
|
|
|
map[0] = 1;
|
|
|
|
map[1] = 2;
|
|
|
|
map[2] = 3;
|
|
|
|
|
|
|
|
// Size tests
|
|
|
|
EXPECT_EQ(3u, map.size());
|
|
|
|
|
|
|
|
// Normal lookup tests
|
2014-06-20 21:54:13 +02:00
|
|
|
EXPECT_EQ(1u, map.count(1));
|
2012-01-30 07:55:43 +01:00
|
|
|
EXPECT_EQ(1u, map.find(0)->second);
|
|
|
|
EXPECT_EQ(2u, map.find(1)->second);
|
|
|
|
EXPECT_EQ(3u, map.find(2)->second);
|
|
|
|
EXPECT_TRUE(map.find(3) == map.end());
|
|
|
|
|
|
|
|
// find_as() tests
|
|
|
|
EXPECT_EQ(1u, map.find_as("a")->second);
|
|
|
|
EXPECT_EQ(2u, map.find_as("b")->second);
|
|
|
|
EXPECT_EQ(3u, map.find_as("c")->second);
|
|
|
|
EXPECT_TRUE(map.find_as("d") == map.end());
|
|
|
|
}
|
|
|
|
|
2021-07-20 23:31:14 +02:00
|
|
|
TEST(DenseMapCustomTest, SmallDenseMapInitializerList) {
|
|
|
|
SmallDenseMap<int, int> M = {{0, 0}, {0, 1}, {1, 2}};
|
|
|
|
EXPECT_EQ(2u, M.size());
|
|
|
|
EXPECT_EQ(1u, M.count(0));
|
|
|
|
EXPECT_EQ(0, M[0]);
|
|
|
|
EXPECT_EQ(1u, M.count(1));
|
|
|
|
EXPECT_EQ(2, M[1]);
|
|
|
|
}
|
|
|
|
|
2012-10-23 20:47:35 +02:00
|
|
|
struct ContiguousDenseMapInfo {
|
|
|
|
static inline unsigned getEmptyKey() { return ~0; }
|
|
|
|
static inline unsigned getTombstoneKey() { return ~0U - 1; }
|
|
|
|
static unsigned getHashValue(const unsigned& Val) { return Val; }
|
|
|
|
static bool isEqual(const unsigned& LHS, const unsigned& RHS) {
|
|
|
|
return LHS == RHS;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
// Test that filling a small dense map with exactly the number of elements in
|
|
|
|
// the map grows to have enough space for an empty bucket.
|
|
|
|
TEST(DenseMapCustomTest, SmallDenseMapGrowTest) {
|
|
|
|
SmallDenseMap<unsigned, unsigned, 32, ContiguousDenseMapInfo> map;
|
|
|
|
// Add some number of elements, then delete a few to leave us some tombstones.
|
|
|
|
// If we just filled the map with 32 elements we'd grow because of not enough
|
|
|
|
// tombstones which masks the issue here.
|
|
|
|
for (unsigned i = 0; i < 20; ++i)
|
|
|
|
map[i] = i + 1;
|
|
|
|
for (unsigned i = 0; i < 10; ++i)
|
|
|
|
map.erase(i);
|
|
|
|
for (unsigned i = 20; i < 32; ++i)
|
|
|
|
map[i] = i + 1;
|
|
|
|
|
|
|
|
// Size tests
|
|
|
|
EXPECT_EQ(22u, map.size());
|
|
|
|
|
|
|
|
// Try to find an element which doesn't exist. There was a bug in
|
|
|
|
// SmallDenseMap which led to a map with num elements == small capacity not
|
|
|
|
// having an empty bucket any more. Finding an element not in the map would
|
|
|
|
// therefore never terminate.
|
|
|
|
EXPECT_TRUE(map.find(32) == map.end());
|
|
|
|
}
|
|
|
|
|
2019-12-11 21:17:29 +01:00
|
|
|
TEST(DenseMapCustomTest, LargeSmallDenseMapCompaction) {
|
|
|
|
SmallDenseMap<unsigned, unsigned, 128, ContiguousDenseMapInfo> map;
|
|
|
|
// Fill to < 3/4 load.
|
|
|
|
for (unsigned i = 0; i < 95; ++i)
|
|
|
|
map[i] = i;
|
|
|
|
// And erase, leaving behind tombstones.
|
|
|
|
for (unsigned i = 0; i < 95; ++i)
|
|
|
|
map.erase(i);
|
|
|
|
// Fill further, so that less than 1/8 are empty, but still below 3/4 load.
|
|
|
|
for (unsigned i = 95; i < 128; ++i)
|
|
|
|
map[i] = i;
|
|
|
|
|
|
|
|
EXPECT_EQ(33u, map.size());
|
|
|
|
// Similar to the previous test, check for a non-existing element, as an
|
|
|
|
// indirect check that tombstones have been removed.
|
|
|
|
EXPECT_TRUE(map.find(0) == map.end());
|
|
|
|
}
|
|
|
|
|
2016-07-21 15:37:53 +02:00
|
|
|
TEST(DenseMapCustomTest, TryEmplaceTest) {
|
|
|
|
DenseMap<int, std::unique_ptr<int>> Map;
|
|
|
|
std::unique_ptr<int> P(new int(2));
|
|
|
|
auto Try1 = Map.try_emplace(0, new int(1));
|
|
|
|
EXPECT_TRUE(Try1.second);
|
|
|
|
auto Try2 = Map.try_emplace(0, std::move(P));
|
|
|
|
EXPECT_FALSE(Try2.second);
|
|
|
|
EXPECT_EQ(Try1.first, Try2.first);
|
|
|
|
EXPECT_NE(nullptr, P);
|
|
|
|
}
|
2017-03-10 01:25:26 +01:00
|
|
|
|
|
|
|
TEST(DenseMapCustomTest, ConstTest) {
|
|
|
|
// Test that const pointers work okay for count and find, even when the
|
|
|
|
// underlying map is a non-const pointer.
|
|
|
|
DenseMap<int *, int> Map;
|
|
|
|
int A;
|
|
|
|
int *B = &A;
|
|
|
|
const int *C = &A;
|
|
|
|
Map.insert({B, 0});
|
|
|
|
EXPECT_EQ(Map.count(B), 1u);
|
|
|
|
EXPECT_EQ(Map.count(C), 1u);
|
|
|
|
EXPECT_NE(Map.find(B), Map.end());
|
|
|
|
EXPECT_NE(Map.find(C), Map.end());
|
|
|
|
}
|
2020-02-27 22:11:17 +01:00
|
|
|
|
|
|
|
struct IncompleteStruct;
|
|
|
|
|
|
|
|
TEST(DenseMapCustomTest, OpaquePointerKey) {
|
|
|
|
// Test that we can use a pointer to an incomplete type as a DenseMap key.
|
|
|
|
// This is an important build time optimization, since many classes have
|
|
|
|
// DenseMap members.
|
|
|
|
DenseMap<IncompleteStruct *, int> Map;
|
|
|
|
int Keys[3] = {0, 0, 0};
|
|
|
|
IncompleteStruct *K1 = reinterpret_cast<IncompleteStruct *>(&Keys[0]);
|
|
|
|
IncompleteStruct *K2 = reinterpret_cast<IncompleteStruct *>(&Keys[1]);
|
|
|
|
IncompleteStruct *K3 = reinterpret_cast<IncompleteStruct *>(&Keys[2]);
|
|
|
|
Map.insert({K1, 1});
|
|
|
|
Map.insert({K2, 2});
|
|
|
|
Map.insert({K3, 3});
|
|
|
|
EXPECT_EQ(Map.count(K1), 1u);
|
|
|
|
EXPECT_EQ(Map[K1], 1);
|
|
|
|
EXPECT_EQ(Map[K2], 2);
|
|
|
|
EXPECT_EQ(Map[K3], 3);
|
|
|
|
Map.clear();
|
|
|
|
EXPECT_EQ(Map.find(K1), Map.end());
|
|
|
|
EXPECT_EQ(Map.find(K2), Map.end());
|
|
|
|
EXPECT_EQ(Map.find(K3), Map.end());
|
|
|
|
}
|
2009-01-01 03:24:48 +01:00
|
|
|
}
|