1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant//                     The LLVM Compiler Infrastructure
4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//
8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===//
9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// <unordered_map>
11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// template <class Key, class T, class Hash = hash<Key>, class Pred = equal_to<Key>,
13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//           class Alloc = allocator<pair<const Key, T>>>
14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// class unordered_multimap
15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// void rehash(size_type n);
17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <unordered_map>
19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <string>
20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert>
21f836d531b4146465342939fe32ae47d157ee07b2Howard Hinnant#include <cfloat>
22e5e9bff62a4ae030ca42d312dc73f03d9cf61c4eMarshall Clow#include <cmath>
2398605940df7a54649618c541b972a308cccaade9Stephan T. Lavavej#include <cstddef>
24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
250809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier#include "test_macros.h"
26061d0cc4db18d17bf01ed14c5db0be098205bd47Marshall Clow#include "min_allocator.h"
277a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant
287a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnanttemplate <class C>
297b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clowvoid rehash_postcondition(const C& c, size_t n)
307b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow{
317b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow	assert(c.bucket_count() >= c.size() / c.max_load_factor() && c.bucket_count() >= n);
327b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow}
337b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow
347b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clowtemplate <class C>
357a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnantvoid test(const C& c)
36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(c.size() == 6);
387a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant    typedef std::pair<typename C::const_iterator, typename C::const_iterator> Eq;
39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    Eq eq = c.equal_range(1);
40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(std::distance(eq.first, eq.second) == 2);
417a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant    typename C::const_iterator i = eq.first;
42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(i->first == 1);
43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(i->second == "one");
44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    ++i;
45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(i->first == 1);
46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(i->second == "four");
47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    eq = c.equal_range(2);
48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(std::distance(eq.first, eq.second) == 2);
49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    i = eq.first;
50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(i->first == 2);
51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(i->second == "two");
52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    ++i;
53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(i->first == 2);
54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(i->second == "four");
55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    eq = c.equal_range(3);
57bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(std::distance(eq.first, eq.second) == 1);
58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    i = eq.first;
59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(i->first == 3);
60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(i->second == "three");
61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    eq = c.equal_range(4);
62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(std::distance(eq.first, eq.second) == 1);
63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    i = eq.first;
64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(i->first == 4);
65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    assert(i->second == "four");
6698605940df7a54649618c541b972a308cccaade9Stephan T. Lavavej    assert(static_cast<std::size_t>(std::distance(c.begin(), c.end())) == c.size());
6798605940df7a54649618c541b972a308cccaade9Stephan T. Lavavej    assert(static_cast<std::size_t>(std::distance(c.cbegin(), c.cend())) == c.size());
68e5e9bff62a4ae030ca42d312dc73f03d9cf61c4eMarshall Clow    assert(std::fabs(c.load_factor() - (float)c.size()/c.bucket_count()) < FLT_EPSILON);
69bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant
71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main()
72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{
73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    {
74bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        typedef std::unordered_multimap<int, std::string> C;
75bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        typedef std::pair<int, std::string> P;
76bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        P a[] =
77bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        {
78bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            P(1, "one"),
79bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            P(2, "two"),
80bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            P(3, "three"),
81bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            P(4, "four"),
82bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            P(1, "four"),
83bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant            P(2, "four"),
84bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        };
85bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        C c(a, a + sizeof(a)/sizeof(a[0]));
86bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        test(c);
87bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        assert(c.bucket_count() >= 7);
88bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        c.rehash(3);
897b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow        rehash_postcondition(c, 3);
900809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier        LIBCPP_ASSERT(c.bucket_count() == 7);
91bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        test(c);
92bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        c.max_load_factor(2);
93bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        c.rehash(3);
947b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow        rehash_postcondition(c, 3);
950809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier        LIBCPP_ASSERT(c.bucket_count() == 3);
96bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        test(c);
97bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        c.rehash(31);
987b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow        rehash_postcondition(c, 31);
990809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier        LIBCPP_ASSERT(c.bucket_count() == 31);
100bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant        test(c);
101bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant    }
102d24c465beaec2fe9a0e365e6379cd5d3acaeb2caEric Fiselier#if TEST_STD_VER >= 11
1037a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant    {
1047a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        typedef std::unordered_multimap<int, std::string, std::hash<int>, std::equal_to<int>,
1057a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant                            min_allocator<std::pair<const int, std::string>>> C;
1067a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        typedef std::pair<int, std::string> P;
1077a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        P a[] =
1087a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        {
1097a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant            P(1, "one"),
1107a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant            P(2, "two"),
1117a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant            P(3, "three"),
1127a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant            P(4, "four"),
1137a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant            P(1, "four"),
1147a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant            P(2, "four"),
1157a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        };
1167a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        C c(a, a + sizeof(a)/sizeof(a[0]));
1177a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        test(c);
1187a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        assert(c.bucket_count() >= 7);
1197a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        c.rehash(3);
1207b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow        rehash_postcondition(c, 3);
1210809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier        LIBCPP_ASSERT(c.bucket_count() == 7);
1227a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        test(c);
1237a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        c.max_load_factor(2);
1247a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        c.rehash(3);
1257b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow        rehash_postcondition(c, 3);
1260809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier        LIBCPP_ASSERT(c.bucket_count() == 3);
1277a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        test(c);
1287a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        c.rehash(31);
1297b7c9ec3558ae51bb4fc3c1a499ddf988cee0086Marshall Clow        rehash_postcondition(c, 31);
1300809a7f62b7e43e2e5f3a31f66dd8cf097cfeb71Eric Fiselier        LIBCPP_ASSERT(c.bucket_count() == 31);
1317a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant        test(c);
1327a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant    }
1337a6b7cedcb3359ad7d77e355b02ab982d9d2b25bHoward Hinnant#endif
134bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant}
135