1 //===- llvm/unittest/ADT/PriorityWorklist.cpp -----------------------------===//
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 // PriorityWorklist unit tests.
11 //===----------------------------------------------------------------------===//
13 #include "llvm/ADT/PriorityWorklist.h"
14 #include "gtest/gtest.h"
22 template <typename T
> class PriorityWorklistTest
: public ::testing::Test
{};
23 typedef ::testing::Types
<PriorityWorklist
<int>, SmallPriorityWorklist
<int, 2>>
25 TYPED_TEST_SUITE(PriorityWorklistTest
, TestTypes
, );
27 TYPED_TEST(PriorityWorklistTest
, Basic
) {
29 EXPECT_TRUE(W
.empty());
30 EXPECT_EQ(0u, W
.size());
31 EXPECT_FALSE(W
.count(42));
33 EXPECT_TRUE(W
.insert(21));
34 EXPECT_TRUE(W
.insert(42));
35 EXPECT_TRUE(W
.insert(17));
37 EXPECT_FALSE(W
.empty());
38 EXPECT_EQ(3u, W
.size());
39 EXPECT_TRUE(W
.count(42));
41 EXPECT_FALSE(W
.erase(75));
42 EXPECT_EQ(3u, W
.size());
43 EXPECT_EQ(17, W
.back());
45 EXPECT_TRUE(W
.erase(17));
46 EXPECT_FALSE(W
.count(17));
47 EXPECT_EQ(2u, W
.size());
48 EXPECT_EQ(42, W
.back());
51 EXPECT_TRUE(W
.empty());
52 EXPECT_EQ(0u, W
.size());
54 EXPECT_TRUE(W
.insert(21));
55 EXPECT_TRUE(W
.insert(42));
56 EXPECT_TRUE(W
.insert(12));
57 EXPECT_TRUE(W
.insert(17));
58 EXPECT_TRUE(W
.count(12));
59 EXPECT_TRUE(W
.count(17));
60 EXPECT_EQ(4u, W
.size());
61 EXPECT_EQ(17, W
.back());
62 EXPECT_TRUE(W
.erase(12));
63 EXPECT_FALSE(W
.count(12));
64 EXPECT_TRUE(W
.count(17));
65 EXPECT_EQ(3u, W
.size());
66 EXPECT_EQ(17, W
.back());
68 EXPECT_FALSE(W
.insert(42));
69 EXPECT_EQ(3u, W
.size());
70 EXPECT_EQ(42, W
.pop_back_val());
71 EXPECT_EQ(17, W
.pop_back_val());
72 EXPECT_EQ(21, W
.pop_back_val());
73 EXPECT_TRUE(W
.empty());
76 TYPED_TEST(PriorityWorklistTest
, InsertSequence
) {
78 ASSERT_TRUE(W
.insert(2));
79 ASSERT_TRUE(W
.insert(4));
80 ASSERT_TRUE(W
.insert(7));
81 // Insert a sequence that has internal duplicates and a duplicate among
83 W
.insert(std::vector
<int>({42, 13, 42, 7, 8}));
84 EXPECT_EQ(8, W
.pop_back_val());
85 EXPECT_EQ(7, W
.pop_back_val());
86 EXPECT_EQ(42, W
.pop_back_val());
87 EXPECT_EQ(13, W
.pop_back_val());
88 EXPECT_EQ(4, W
.pop_back_val());
89 EXPECT_EQ(2, W
.pop_back_val());
90 ASSERT_TRUE(W
.empty());
92 // Simpler tests with various other input types.
93 ASSERT_TRUE(W
.insert(2));
94 ASSERT_TRUE(W
.insert(7));
95 // Use a non-random-access container.
96 W
.insert(std::list
<int>({7, 5}));
97 EXPECT_EQ(5, W
.pop_back_val());
98 EXPECT_EQ(7, W
.pop_back_val());
99 EXPECT_EQ(2, W
.pop_back_val());
100 ASSERT_TRUE(W
.empty());
102 ASSERT_TRUE(W
.insert(2));
103 ASSERT_TRUE(W
.insert(7));
107 EXPECT_EQ(5, W
.pop_back_val());
108 EXPECT_EQ(7, W
.pop_back_val());
109 EXPECT_EQ(2, W
.pop_back_val());
110 ASSERT_TRUE(W
.empty());
112 ASSERT_TRUE(W
.insert(2));
113 ASSERT_TRUE(W
.insert(7));
114 // Inserting an empty sequence does nothing.
115 W
.insert(std::vector
<int>());
116 EXPECT_EQ(7, W
.pop_back_val());
117 EXPECT_EQ(2, W
.pop_back_val());
118 ASSERT_TRUE(W
.empty());
121 TYPED_TEST(PriorityWorklistTest
, EraseIf
) {
131 EXPECT_EQ(6u, W
.size());
133 EXPECT_FALSE(W
.erase_if([](int i
) { return i
> 100; }));
134 EXPECT_EQ(6u, W
.size());
135 EXPECT_EQ(42, W
.back());
137 EXPECT_TRUE(W
.erase_if([](int i
) {
138 assert(i
!= 0 && "Saw a null value!");
141 EXPECT_EQ(3u, W
.size());
142 EXPECT_FALSE(W
.count(42));
143 EXPECT_FALSE(W
.count(26));
144 EXPECT_FALSE(W
.count(10));
145 EXPECT_FALSE(W
.insert(47));
146 EXPECT_FALSE(W
.insert(23));
147 EXPECT_EQ(23, W
.pop_back_val());
148 EXPECT_EQ(47, W
.pop_back_val());
149 EXPECT_EQ(13, W
.pop_back_val());