From 750f1d062565a2290b22b1bb80ec59b8456a19a8 Mon Sep 17 00:00:00 2001 From: Fiona Glaser Date: Tue, 15 Mar 2016 01:50:46 +0000 Subject: [PATCH] DenseMap: make .resize() do the intuitive thing In some places, like InstCombine, we resize a DenseMap to fit the elements we intend to put in it, then insert those elements (to avoid continual reallocations as it grows). But .resize(foo) doesn't actually do what people think; it resizes to foo buckets (which is really an implementation detail the user of DenseMap probably shouldn't care about), not the space required to fit foo elements. DenseMap grows if 3/4 of its buckets are full, so this actually causes one forced reallocation every time instead of avoiding a reallocation. This patch makes .resize(foo) do the intuitive thing: it grows to the size necessary to fit foo elements without new allocations. Also include a test to verify that .resize() actually does what we think it does. llvm-svn: 263522 --- include/llvm/ADT/DenseMap.h | 6 +++++- unittests/ADT/DenseMapTest.cpp | 13 +++++++++++++ 2 files changed, 18 insertions(+), 1 deletion(-) diff --git a/include/llvm/ADT/DenseMap.h b/include/llvm/ADT/DenseMap.h index 4cf0d6d328b..4dee41f1729 100644 --- a/include/llvm/ADT/DenseMap.h +++ b/include/llvm/ADT/DenseMap.h @@ -81,8 +81,12 @@ public: } unsigned size() const { return getNumEntries(); } - /// Grow the densemap so that it has at least Size buckets. Does not shrink + /// Grow the densemap so that it can contain at least Size items before + /// resizing again. This means somewhat more than Size buckets because + /// densemap resizes upon reaching 3/4 full. void resize(size_type Size) { + // Size *= (4/3), rounding up. + Size = (Size * 4 + 2) / 3; incrementEpoch(); if (Size > getNumBuckets()) grow(Size); diff --git a/unittests/ADT/DenseMapTest.cpp b/unittests/ADT/DenseMapTest.cpp index f3dcf95e92f..0fda2c62332 100644 --- a/unittests/ADT/DenseMapTest.cpp +++ b/unittests/ADT/DenseMapTest.cpp @@ -339,6 +339,19 @@ TYPED_TEST(DenseMapTest, ConstIteratorTest) { EXPECT_TRUE(cit == cit2); } +// Make sure resize actually gives us enough buckets to insert N items +// without increasing allocation size. +TEST(DenseMapCustomTest, ResizeTest) { + for (unsigned Size = 16; Size < 32; ++Size) { + DenseMap Map; + Map.resize(Size); + unsigned MemorySize = Map.getMemorySize(); + for (unsigned i = 0; i < Size; ++i) + Map[i] = i; + EXPECT_TRUE(Map.getMemorySize() == MemorySize); + } +} + // Make sure DenseMap works with StringRef keys. TEST(DenseMapCustomTest, StringRefTest) { DenseMap M;