1 //===- llvm/unittest/ADT/BitVectorTest.cpp - BitVector tests --------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 // Some of these tests fail on PowerPC for unknown reasons.
13 #include "llvm/ADT/BitVector.h"
14 #include "gtest/gtest.h"
20 TEST(BitVectorTest, TrivialOperation) {
22 EXPECT_EQ(0U, Vec.count());
23 EXPECT_EQ(0U, Vec.size());
24 EXPECT_FALSE(Vec.any());
25 EXPECT_TRUE(Vec.none());
26 EXPECT_TRUE(Vec.empty());
29 EXPECT_EQ(5U, Vec.count());
30 EXPECT_EQ(5U, Vec.size());
31 EXPECT_TRUE(Vec.any());
32 EXPECT_FALSE(Vec.none());
33 EXPECT_FALSE(Vec.empty());
36 EXPECT_EQ(5U, Vec.count());
37 EXPECT_EQ(11U, Vec.size());
38 EXPECT_TRUE(Vec.any());
39 EXPECT_FALSE(Vec.none());
40 EXPECT_FALSE(Vec.empty());
43 EXPECT_EQ(6U, Inv.count());
44 EXPECT_EQ(11U, Inv.size());
45 EXPECT_TRUE(Inv.any());
46 EXPECT_FALSE(Inv.none());
47 EXPECT_FALSE(Inv.empty());
49 EXPECT_FALSE(Inv == Vec);
50 EXPECT_TRUE(Inv != Vec);
52 EXPECT_TRUE(Inv == Vec);
53 EXPECT_FALSE(Inv != Vec);
55 // Add some "interesting" data to Vec.
57 Vec.resize(25, false);
59 Vec.resize(29, false);
61 Vec.resize(57, false);
63 for (unsigned i = Vec.find_first(); i != -1u; i = Vec.find_next(i)) {
66 EXPECT_TRUE(Vec.test(i));
68 EXPECT_EQ(Count, Vec.count());
69 EXPECT_EQ(Count, 23u);
72 EXPECT_FALSE(Vec[56]);
73 Vec.resize(61, false);
76 BitVector Alt(3, false);
79 EXPECT_TRUE(Copy == Alt);
80 EXPECT_TRUE(Vec.size() == 6);
81 EXPECT_TRUE(Vec.count() == 3);
82 EXPECT_TRUE(Vec.find_first() == 3);
85 // Add some more "interesting" data.
87 Vec.resize(78, false);
89 Vec.resize(90, false);
91 Vec.resize(130, false);
93 for (unsigned i = Vec.find_first(); i != -1u; i = Vec.find_next(i)) {
96 EXPECT_TRUE(Vec.test(i));
98 EXPECT_EQ(Count, Vec.count());
99 EXPECT_EQ(Count, 42u);
100 EXPECT_FALSE(Vec[0]);
101 EXPECT_TRUE(Vec[32]);
102 EXPECT_FALSE(Vec[60]);
103 EXPECT_FALSE(Vec[129]);
106 EXPECT_TRUE(Vec[60]);
107 EXPECT_EQ(Count + 1, Vec.count());
109 EXPECT_FALSE(Vec[60]);
110 EXPECT_EQ(Count, Vec.count());
113 EXPECT_FALSE(Vec[32]);
114 EXPECT_EQ(Count - 1, Vec.count());
116 EXPECT_TRUE(Vec[32]);
117 EXPECT_EQ(Count, Vec.count());
120 EXPECT_EQ(Vec.size() - Count, Vec.count());
123 EXPECT_EQ(0U, Vec.count());
124 EXPECT_EQ(130U, Vec.size());
125 EXPECT_FALSE(Vec.any());
126 EXPECT_TRUE(Vec.none());
127 EXPECT_FALSE(Vec.empty());
130 EXPECT_EQ(0U, Inv.count());
131 EXPECT_EQ(0U, Inv.size());
132 EXPECT_FALSE(Inv.any());
133 EXPECT_TRUE(Inv.none());
134 EXPECT_TRUE(Inv.empty());
137 EXPECT_EQ(0U, Vec.count());
138 EXPECT_EQ(0U, Vec.size());
139 EXPECT_FALSE(Vec.any());
140 EXPECT_TRUE(Vec.none());
141 EXPECT_TRUE(Vec.empty());
144 TEST(BitVectorTest, CompoundAssignment) {
156 EXPECT_TRUE(A.test(4));
157 EXPECT_TRUE(A.test(5));
158 EXPECT_TRUE(A.test(7));
159 EXPECT_TRUE(A.test(18));
160 EXPECT_EQ(4U, A.count());
161 EXPECT_EQ(50U, A.size());
168 EXPECT_FALSE(A.test(2));
169 EXPECT_FALSE(A.test(7));
170 EXPECT_EQ(2U, A.count());
171 EXPECT_EQ(50U, A.size());
177 EXPECT_TRUE(A.test(2));
178 EXPECT_TRUE(A.test(7));
179 EXPECT_EQ(98U, A.count());
180 EXPECT_EQ(100U, A.size());
183 TEST(BitVectorTest, ProxyIndex) {
185 EXPECT_TRUE(Vec.none());
186 Vec[0] = Vec[1] = Vec[2] = true;
187 EXPECT_EQ(Vec.size(), Vec.count());
188 Vec[2] = Vec[1] = Vec[0] = false;
189 EXPECT_TRUE(Vec.none());