fb.c revision 1.1 1 1.1 christos #include "test/jemalloc_test.h"
2 1.1 christos
3 1.1 christos #include "jemalloc/internal/fb.h"
4 1.1 christos #include "test/nbits.h"
5 1.1 christos
6 1.1 christos static void
7 1.1 christos do_test_init(size_t nbits) {
8 1.1 christos size_t sz = FB_NGROUPS(nbits) * sizeof(fb_group_t);
9 1.1 christos fb_group_t *fb = malloc(sz);
10 1.1 christos /* Junk fb's contents. */
11 1.1 christos memset(fb, 99, sz);
12 1.1 christos fb_init(fb, nbits);
13 1.1 christos for (size_t i = 0; i < nbits; i++) {
14 1.1 christos expect_false(fb_get(fb, nbits, i),
15 1.1 christos "bitmap should start empty");
16 1.1 christos }
17 1.1 christos free(fb);
18 1.1 christos }
19 1.1 christos
20 1.1 christos TEST_BEGIN(test_fb_init) {
21 1.1 christos #define NB(nbits) \
22 1.1 christos do_test_init(nbits);
23 1.1 christos NBITS_TAB
24 1.1 christos #undef NB
25 1.1 christos }
26 1.1 christos TEST_END
27 1.1 christos
28 1.1 christos static void
29 1.1 christos do_test_get_set_unset(size_t nbits) {
30 1.1 christos size_t sz = FB_NGROUPS(nbits) * sizeof(fb_group_t);
31 1.1 christos fb_group_t *fb = malloc(sz);
32 1.1 christos fb_init(fb, nbits);
33 1.1 christos /* Set the bits divisible by 3. */
34 1.1 christos for (size_t i = 0; i < nbits; i++) {
35 1.1 christos if (i % 3 == 0) {
36 1.1 christos fb_set(fb, nbits, i);
37 1.1 christos }
38 1.1 christos }
39 1.1 christos /* Check them. */
40 1.1 christos for (size_t i = 0; i < nbits; i++) {
41 1.1 christos expect_b_eq(i % 3 == 0, fb_get(fb, nbits, i),
42 1.1 christos "Unexpected bit at position %zu", i);
43 1.1 christos }
44 1.1 christos /* Unset those divisible by 5. */
45 1.1 christos for (size_t i = 0; i < nbits; i++) {
46 1.1 christos if (i % 5 == 0) {
47 1.1 christos fb_unset(fb, nbits, i);
48 1.1 christos }
49 1.1 christos }
50 1.1 christos /* Check them. */
51 1.1 christos for (size_t i = 0; i < nbits; i++) {
52 1.1 christos expect_b_eq(i % 3 == 0 && i % 5 != 0, fb_get(fb, nbits, i),
53 1.1 christos "Unexpected bit at position %zu", i);
54 1.1 christos }
55 1.1 christos free(fb);
56 1.1 christos }
57 1.1 christos
58 1.1 christos TEST_BEGIN(test_get_set_unset) {
59 1.1 christos #define NB(nbits) \
60 1.1 christos do_test_get_set_unset(nbits);
61 1.1 christos NBITS_TAB
62 1.1 christos #undef NB
63 1.1 christos }
64 1.1 christos TEST_END
65 1.1 christos
66 1.1 christos static ssize_t
67 1.1 christos find_3_5_compute(ssize_t i, size_t nbits, bool bit, bool forward) {
68 1.1 christos for(; i < (ssize_t)nbits && i >= 0; i += (forward ? 1 : -1)) {
69 1.1 christos bool expected_bit = i % 3 == 0 || i % 5 == 0;
70 1.1 christos if (expected_bit == bit) {
71 1.1 christos return i;
72 1.1 christos }
73 1.1 christos }
74 1.1 christos return forward ? (ssize_t)nbits : (ssize_t)-1;
75 1.1 christos }
76 1.1 christos
77 1.1 christos static void
78 1.1 christos do_test_search_simple(size_t nbits) {
79 1.1 christos size_t sz = FB_NGROUPS(nbits) * sizeof(fb_group_t);
80 1.1 christos fb_group_t *fb = malloc(sz);
81 1.1 christos fb_init(fb, nbits);
82 1.1 christos
83 1.1 christos /* We pick multiples of 3 or 5. */
84 1.1 christos for (size_t i = 0; i < nbits; i++) {
85 1.1 christos if (i % 3 == 0) {
86 1.1 christos fb_set(fb, nbits, i);
87 1.1 christos }
88 1.1 christos /* This tests double-setting a little, too. */
89 1.1 christos if (i % 5 == 0) {
90 1.1 christos fb_set(fb, nbits, i);
91 1.1 christos }
92 1.1 christos }
93 1.1 christos for (size_t i = 0; i < nbits; i++) {
94 1.1 christos size_t ffs_compute = find_3_5_compute(i, nbits, true, true);
95 1.1 christos size_t ffs_search = fb_ffs(fb, nbits, i);
96 1.1 christos expect_zu_eq(ffs_compute, ffs_search, "ffs mismatch at %zu", i);
97 1.1 christos
98 1.1 christos ssize_t fls_compute = find_3_5_compute(i, nbits, true, false);
99 1.1 christos size_t fls_search = fb_fls(fb, nbits, i);
100 1.1 christos expect_zu_eq(fls_compute, fls_search, "fls mismatch at %zu", i);
101 1.1 christos
102 1.1 christos size_t ffu_compute = find_3_5_compute(i, nbits, false, true);
103 1.1 christos size_t ffu_search = fb_ffu(fb, nbits, i);
104 1.1 christos expect_zu_eq(ffu_compute, ffu_search, "ffu mismatch at %zu", i);
105 1.1 christos
106 1.1 christos size_t flu_compute = find_3_5_compute(i, nbits, false, false);
107 1.1 christos size_t flu_search = fb_flu(fb, nbits, i);
108 1.1 christos expect_zu_eq(flu_compute, flu_search, "flu mismatch at %zu", i);
109 1.1 christos }
110 1.1 christos
111 1.1 christos free(fb);
112 1.1 christos }
113 1.1 christos
114 1.1 christos TEST_BEGIN(test_search_simple) {
115 1.1 christos #define NB(nbits) \
116 1.1 christos do_test_search_simple(nbits);
117 1.1 christos NBITS_TAB
118 1.1 christos #undef NB
119 1.1 christos }
120 1.1 christos TEST_END
121 1.1 christos
122 1.1 christos static void
123 1.1 christos expect_exhaustive_results(fb_group_t *mostly_full, fb_group_t *mostly_empty,
124 1.1 christos size_t nbits, size_t special_bit, size_t position) {
125 1.1 christos if (position < special_bit) {
126 1.1 christos expect_zu_eq(special_bit, fb_ffs(mostly_empty, nbits, position),
127 1.1 christos "mismatch at %zu, %zu", position, special_bit);
128 1.1 christos expect_zd_eq(-1, fb_fls(mostly_empty, nbits, position),
129 1.1 christos "mismatch at %zu, %zu", position, special_bit);
130 1.1 christos expect_zu_eq(position, fb_ffu(mostly_empty, nbits, position),
131 1.1 christos "mismatch at %zu, %zu", position, special_bit);
132 1.1 christos expect_zd_eq(position, fb_flu(mostly_empty, nbits, position),
133 1.1 christos "mismatch at %zu, %zu", position, special_bit);
134 1.1 christos
135 1.1 christos expect_zu_eq(position, fb_ffs(mostly_full, nbits, position),
136 1.1 christos "mismatch at %zu, %zu", position, special_bit);
137 1.1 christos expect_zd_eq(position, fb_fls(mostly_full, nbits, position),
138 1.1 christos "mismatch at %zu, %zu", position, special_bit);
139 1.1 christos expect_zu_eq(special_bit, fb_ffu(mostly_full, nbits, position),
140 1.1 christos "mismatch at %zu, %zu", position, special_bit);
141 1.1 christos expect_zd_eq(-1, fb_flu(mostly_full, nbits, position),
142 1.1 christos "mismatch at %zu, %zu", position, special_bit);
143 1.1 christos } else if (position == special_bit) {
144 1.1 christos expect_zu_eq(special_bit, fb_ffs(mostly_empty, nbits, position),
145 1.1 christos "mismatch at %zu, %zu", position, special_bit);
146 1.1 christos expect_zd_eq(special_bit, fb_fls(mostly_empty, nbits, position),
147 1.1 christos "mismatch at %zu, %zu", position, special_bit);
148 1.1 christos expect_zu_eq(position + 1, fb_ffu(mostly_empty, nbits, position),
149 1.1 christos "mismatch at %zu, %zu", position, special_bit);
150 1.1 christos expect_zd_eq(position - 1, fb_flu(mostly_empty, nbits,
151 1.1 christos position), "mismatch at %zu, %zu", position, special_bit);
152 1.1 christos
153 1.1 christos expect_zu_eq(position + 1, fb_ffs(mostly_full, nbits, position),
154 1.1 christos "mismatch at %zu, %zu", position, special_bit);
155 1.1 christos expect_zd_eq(position - 1, fb_fls(mostly_full, nbits,
156 1.1 christos position), "mismatch at %zu, %zu", position, special_bit);
157 1.1 christos expect_zu_eq(position, fb_ffu(mostly_full, nbits, position),
158 1.1 christos "mismatch at %zu, %zu", position, special_bit);
159 1.1 christos expect_zd_eq(position, fb_flu(mostly_full, nbits, position),
160 1.1 christos "mismatch at %zu, %zu", position, special_bit);
161 1.1 christos } else {
162 1.1 christos /* position > special_bit. */
163 1.1 christos expect_zu_eq(nbits, fb_ffs(mostly_empty, nbits, position),
164 1.1 christos "mismatch at %zu, %zu", position, special_bit);
165 1.1 christos expect_zd_eq(special_bit, fb_fls(mostly_empty, nbits,
166 1.1 christos position), "mismatch at %zu, %zu", position, special_bit);
167 1.1 christos expect_zu_eq(position, fb_ffu(mostly_empty, nbits, position),
168 1.1 christos "mismatch at %zu, %zu", position, special_bit);
169 1.1 christos expect_zd_eq(position, fb_flu(mostly_empty, nbits, position),
170 1.1 christos "mismatch at %zu, %zu", position, special_bit);
171 1.1 christos
172 1.1 christos expect_zu_eq(position, fb_ffs(mostly_full, nbits, position),
173 1.1 christos "mismatch at %zu, %zu", position, special_bit);
174 1.1 christos expect_zd_eq(position, fb_fls(mostly_full, nbits, position),
175 1.1 christos "mismatch at %zu, %zu", position, special_bit);
176 1.1 christos expect_zu_eq(nbits, fb_ffu(mostly_full, nbits, position),
177 1.1 christos "mismatch at %zu, %zu", position, special_bit);
178 1.1 christos expect_zd_eq(special_bit, fb_flu(mostly_full, nbits, position),
179 1.1 christos "mismatch at %zu, %zu", position, special_bit);
180 1.1 christos }
181 1.1 christos }
182 1.1 christos
183 1.1 christos static void
184 1.1 christos do_test_search_exhaustive(size_t nbits) {
185 1.1 christos /* This test is quadratic; let's not get too big. */
186 1.1 christos if (nbits > 1000) {
187 1.1 christos return;
188 1.1 christos }
189 1.1 christos size_t sz = FB_NGROUPS(nbits) * sizeof(fb_group_t);
190 1.1 christos fb_group_t *empty = malloc(sz);
191 1.1 christos fb_init(empty, nbits);
192 1.1 christos fb_group_t *full = malloc(sz);
193 1.1 christos fb_init(full, nbits);
194 1.1 christos fb_set_range(full, nbits, 0, nbits);
195 1.1 christos
196 1.1 christos for (size_t i = 0; i < nbits; i++) {
197 1.1 christos fb_set(empty, nbits, i);
198 1.1 christos fb_unset(full, nbits, i);
199 1.1 christos
200 1.1 christos for (size_t j = 0; j < nbits; j++) {
201 1.1 christos expect_exhaustive_results(full, empty, nbits, i, j);
202 1.1 christos }
203 1.1 christos fb_unset(empty, nbits, i);
204 1.1 christos fb_set(full, nbits, i);
205 1.1 christos }
206 1.1 christos
207 1.1 christos free(empty);
208 1.1 christos free(full);
209 1.1 christos }
210 1.1 christos
211 1.1 christos TEST_BEGIN(test_search_exhaustive) {
212 1.1 christos #define NB(nbits) \
213 1.1 christos do_test_search_exhaustive(nbits);
214 1.1 christos NBITS_TAB
215 1.1 christos #undef NB
216 1.1 christos }
217 1.1 christos TEST_END
218 1.1 christos
219 1.1 christos TEST_BEGIN(test_range_simple) {
220 1.1 christos /*
221 1.1 christos * Just pick a constant big enough to have nontrivial middle sizes, and
222 1.1 christos * big enough that usages of things like weirdnum (below) near the
223 1.1 christos * beginning fit comfortably into the beginning of the bitmap.
224 1.1 christos */
225 1.1 christos size_t nbits = 64 * 10;
226 1.1 christos size_t ngroups = FB_NGROUPS(nbits);
227 1.1 christos fb_group_t *fb = malloc(sizeof(fb_group_t) * ngroups);
228 1.1 christos fb_init(fb, nbits);
229 1.1 christos for (size_t i = 0; i < nbits; i++) {
230 1.1 christos if (i % 2 == 0) {
231 1.1 christos fb_set_range(fb, nbits, i, 1);
232 1.1 christos }
233 1.1 christos }
234 1.1 christos for (size_t i = 0; i < nbits; i++) {
235 1.1 christos expect_b_eq(i % 2 == 0, fb_get(fb, nbits, i),
236 1.1 christos "mismatch at position %zu", i);
237 1.1 christos }
238 1.1 christos fb_set_range(fb, nbits, 0, nbits / 2);
239 1.1 christos fb_unset_range(fb, nbits, nbits / 2, nbits / 2);
240 1.1 christos for (size_t i = 0; i < nbits; i++) {
241 1.1 christos expect_b_eq(i < nbits / 2, fb_get(fb, nbits, i),
242 1.1 christos "mismatch at position %zu", i);
243 1.1 christos }
244 1.1 christos
245 1.1 christos static const size_t weirdnum = 7;
246 1.1 christos fb_set_range(fb, nbits, 0, nbits);
247 1.1 christos fb_unset_range(fb, nbits, weirdnum, FB_GROUP_BITS + weirdnum);
248 1.1 christos for (size_t i = 0; i < nbits; i++) {
249 1.1 christos expect_b_eq(7 <= i && i <= 2 * weirdnum + FB_GROUP_BITS - 1,
250 1.1 christos !fb_get(fb, nbits, i), "mismatch at position %zu", i);
251 1.1 christos }
252 1.1 christos free(fb);
253 1.1 christos }
254 1.1 christos TEST_END
255 1.1 christos
256 1.1 christos static void
257 1.1 christos do_test_empty_full_exhaustive(size_t nbits) {
258 1.1 christos size_t sz = FB_NGROUPS(nbits) * sizeof(fb_group_t);
259 1.1 christos fb_group_t *empty = malloc(sz);
260 1.1 christos fb_init(empty, nbits);
261 1.1 christos fb_group_t *full = malloc(sz);
262 1.1 christos fb_init(full, nbits);
263 1.1 christos fb_set_range(full, nbits, 0, nbits);
264 1.1 christos
265 1.1 christos expect_true(fb_full(full, nbits), "");
266 1.1 christos expect_false(fb_empty(full, nbits), "");
267 1.1 christos expect_false(fb_full(empty, nbits), "");
268 1.1 christos expect_true(fb_empty(empty, nbits), "");
269 1.1 christos
270 1.1 christos for (size_t i = 0; i < nbits; i++) {
271 1.1 christos fb_set(empty, nbits, i);
272 1.1 christos fb_unset(full, nbits, i);
273 1.1 christos
274 1.1 christos expect_false(fb_empty(empty, nbits), "error at bit %zu", i);
275 1.1 christos if (nbits != 1) {
276 1.1 christos expect_false(fb_full(empty, nbits),
277 1.1 christos "error at bit %zu", i);
278 1.1 christos expect_false(fb_empty(full, nbits),
279 1.1 christos "error at bit %zu", i);
280 1.1 christos } else {
281 1.1 christos expect_true(fb_full(empty, nbits),
282 1.1 christos "error at bit %zu", i);
283 1.1 christos expect_true(fb_empty(full, nbits),
284 1.1 christos "error at bit %zu", i);
285 1.1 christos }
286 1.1 christos expect_false(fb_full(full, nbits), "error at bit %zu", i);
287 1.1 christos
288 1.1 christos fb_unset(empty, nbits, i);
289 1.1 christos fb_set(full, nbits, i);
290 1.1 christos }
291 1.1 christos
292 1.1 christos free(empty);
293 1.1 christos free(full);
294 1.1 christos }
295 1.1 christos
296 1.1 christos TEST_BEGIN(test_empty_full) {
297 1.1 christos #define NB(nbits) \
298 1.1 christos do_test_empty_full_exhaustive(nbits);
299 1.1 christos NBITS_TAB
300 1.1 christos #undef NB
301 1.1 christos }
302 1.1 christos TEST_END
303 1.1 christos
304 1.1 christos /*
305 1.1 christos * This tests both iter_range and the longest range functionality, which is
306 1.1 christos * built closely on top of it.
307 1.1 christos */
308 1.1 christos TEST_BEGIN(test_iter_range_simple) {
309 1.1 christos size_t set_limit = 30;
310 1.1 christos size_t nbits = 100;
311 1.1 christos fb_group_t fb[FB_NGROUPS(100)];
312 1.1 christos
313 1.1 christos fb_init(fb, nbits);
314 1.1 christos
315 1.1 christos /*
316 1.1 christos * Failing to initialize these can lead to build failures with -Wall;
317 1.1 christos * the compiler can't prove that they're set.
318 1.1 christos */
319 1.1 christos size_t begin = (size_t)-1;
320 1.1 christos size_t len = (size_t)-1;
321 1.1 christos bool result;
322 1.1 christos
323 1.1 christos /* A set of checks with only the first set_limit bits *set*. */
324 1.1 christos fb_set_range(fb, nbits, 0, set_limit);
325 1.1 christos expect_zu_eq(set_limit, fb_srange_longest(fb, nbits),
326 1.1 christos "Incorrect longest set range");
327 1.1 christos expect_zu_eq(nbits - set_limit, fb_urange_longest(fb, nbits),
328 1.1 christos "Incorrect longest unset range");
329 1.1 christos for (size_t i = 0; i < set_limit; i++) {
330 1.1 christos result = fb_srange_iter(fb, nbits, i, &begin, &len);
331 1.1 christos expect_true(result, "Should have found a range at %zu", i);
332 1.1 christos expect_zu_eq(i, begin, "Incorrect begin at %zu", i);
333 1.1 christos expect_zu_eq(set_limit - i, len, "Incorrect len at %zu", i);
334 1.1 christos
335 1.1 christos result = fb_urange_iter(fb, nbits, i, &begin, &len);
336 1.1 christos expect_true(result, "Should have found a range at %zu", i);
337 1.1 christos expect_zu_eq(set_limit, begin, "Incorrect begin at %zu", i);
338 1.1 christos expect_zu_eq(nbits - set_limit, len, "Incorrect len at %zu", i);
339 1.1 christos
340 1.1 christos result = fb_srange_riter(fb, nbits, i, &begin, &len);
341 1.1 christos expect_true(result, "Should have found a range at %zu", i);
342 1.1 christos expect_zu_eq(0, begin, "Incorrect begin at %zu", i);
343 1.1 christos expect_zu_eq(i + 1, len, "Incorrect len at %zu", i);
344 1.1 christos
345 1.1 christos result = fb_urange_riter(fb, nbits, i, &begin, &len);
346 1.1 christos expect_false(result, "Should not have found a range at %zu", i);
347 1.1 christos }
348 1.1 christos for (size_t i = set_limit; i < nbits; i++) {
349 1.1 christos result = fb_srange_iter(fb, nbits, i, &begin, &len);
350 1.1 christos expect_false(result, "Should not have found a range at %zu", i);
351 1.1 christos
352 1.1 christos result = fb_urange_iter(fb, nbits, i, &begin, &len);
353 1.1 christos expect_true(result, "Should have found a range at %zu", i);
354 1.1 christos expect_zu_eq(i, begin, "Incorrect begin at %zu", i);
355 1.1 christos expect_zu_eq(nbits - i, len, "Incorrect len at %zu", i);
356 1.1 christos
357 1.1 christos result = fb_srange_riter(fb, nbits, i, &begin, &len);
358 1.1 christos expect_true(result, "Should have found a range at %zu", i);
359 1.1 christos expect_zu_eq(0, begin, "Incorrect begin at %zu", i);
360 1.1 christos expect_zu_eq(set_limit, len, "Incorrect len at %zu", i);
361 1.1 christos
362 1.1 christos result = fb_urange_riter(fb, nbits, i, &begin, &len);
363 1.1 christos expect_true(result, "Should have found a range at %zu", i);
364 1.1 christos expect_zu_eq(set_limit, begin, "Incorrect begin at %zu", i);
365 1.1 christos expect_zu_eq(i - set_limit + 1, len, "Incorrect len at %zu", i);
366 1.1 christos }
367 1.1 christos
368 1.1 christos /* A set of checks with only the first set_limit bits *unset*. */
369 1.1 christos fb_unset_range(fb, nbits, 0, set_limit);
370 1.1 christos fb_set_range(fb, nbits, set_limit, nbits - set_limit);
371 1.1 christos expect_zu_eq(nbits - set_limit, fb_srange_longest(fb, nbits),
372 1.1 christos "Incorrect longest set range");
373 1.1 christos expect_zu_eq(set_limit, fb_urange_longest(fb, nbits),
374 1.1 christos "Incorrect longest unset range");
375 1.1 christos for (size_t i = 0; i < set_limit; i++) {
376 1.1 christos result = fb_srange_iter(fb, nbits, i, &begin, &len);
377 1.1 christos expect_true(result, "Should have found a range at %zu", i);
378 1.1 christos expect_zu_eq(set_limit, begin, "Incorrect begin at %zu", i);
379 1.1 christos expect_zu_eq(nbits - set_limit, len, "Incorrect len at %zu", i);
380 1.1 christos
381 1.1 christos result = fb_urange_iter(fb, nbits, i, &begin, &len);
382 1.1 christos expect_true(result, "Should have found a range at %zu", i);
383 1.1 christos expect_zu_eq(i, begin, "Incorrect begin at %zu", i);
384 1.1 christos expect_zu_eq(set_limit - i, len, "Incorrect len at %zu", i);
385 1.1 christos
386 1.1 christos result = fb_srange_riter(fb, nbits, i, &begin, &len);
387 1.1 christos expect_false(result, "Should not have found a range at %zu", i);
388 1.1 christos
389 1.1 christos result = fb_urange_riter(fb, nbits, i, &begin, &len);
390 1.1 christos expect_true(result, "Should not have found a range at %zu", i);
391 1.1 christos expect_zu_eq(0, begin, "Incorrect begin at %zu", i);
392 1.1 christos expect_zu_eq(i + 1, len, "Incorrect len at %zu", i);
393 1.1 christos }
394 1.1 christos for (size_t i = set_limit; i < nbits; i++) {
395 1.1 christos result = fb_srange_iter(fb, nbits, i, &begin, &len);
396 1.1 christos expect_true(result, "Should have found a range at %zu", i);
397 1.1 christos expect_zu_eq(i, begin, "Incorrect begin at %zu", i);
398 1.1 christos expect_zu_eq(nbits - i, len, "Incorrect len at %zu", i);
399 1.1 christos
400 1.1 christos result = fb_urange_iter(fb, nbits, i, &begin, &len);
401 1.1 christos expect_false(result, "Should not have found a range at %zu", i);
402 1.1 christos
403 1.1 christos result = fb_srange_riter(fb, nbits, i, &begin, &len);
404 1.1 christos expect_true(result, "Should have found a range at %zu", i);
405 1.1 christos expect_zu_eq(set_limit, begin, "Incorrect begin at %zu", i);
406 1.1 christos expect_zu_eq(i - set_limit + 1, len, "Incorrect len at %zu", i);
407 1.1 christos
408 1.1 christos result = fb_urange_riter(fb, nbits, i, &begin, &len);
409 1.1 christos expect_true(result, "Should have found a range at %zu", i);
410 1.1 christos expect_zu_eq(0, begin, "Incorrect begin at %zu", i);
411 1.1 christos expect_zu_eq(set_limit, len, "Incorrect len at %zu", i);
412 1.1 christos }
413 1.1 christos
414 1.1 christos }
415 1.1 christos TEST_END
416 1.1 christos
417 1.1 christos /*
418 1.1 christos * Doing this bit-by-bit is too slow for a real implementation, but for testing
419 1.1 christos * code, it's easy to get right. In the exhaustive tests, we'll compare the
420 1.1 christos * (fast but tricky) real implementation against the (slow but simple) testing
421 1.1 christos * one.
422 1.1 christos */
423 1.1 christos static bool
424 1.1 christos fb_iter_simple(fb_group_t *fb, size_t nbits, size_t start, size_t *r_begin,
425 1.1 christos size_t *r_len, bool val, bool forward) {
426 1.1 christos ssize_t stride = (forward ? (ssize_t)1 : (ssize_t)-1);
427 1.1 christos ssize_t range_begin = (ssize_t)start;
428 1.1 christos for (; range_begin != (ssize_t)nbits && range_begin != -1;
429 1.1 christos range_begin += stride) {
430 1.1 christos if (fb_get(fb, nbits, range_begin) == val) {
431 1.1 christos ssize_t range_end = range_begin;
432 1.1 christos for (; range_end != (ssize_t)nbits && range_end != -1;
433 1.1 christos range_end += stride) {
434 1.1 christos if (fb_get(fb, nbits, range_end) != val) {
435 1.1 christos break;
436 1.1 christos }
437 1.1 christos }
438 1.1 christos if (forward) {
439 1.1 christos *r_begin = range_begin;
440 1.1 christos *r_len = range_end - range_begin;
441 1.1 christos } else {
442 1.1 christos *r_begin = range_end + 1;
443 1.1 christos *r_len = range_begin - range_end;
444 1.1 christos }
445 1.1 christos return true;
446 1.1 christos }
447 1.1 christos }
448 1.1 christos return false;
449 1.1 christos }
450 1.1 christos
451 1.1 christos /* Similar, but for finding longest ranges. */
452 1.1 christos static size_t
453 1.1 christos fb_range_longest_simple(fb_group_t *fb, size_t nbits, bool val) {
454 1.1 christos size_t longest_so_far = 0;
455 1.1 christos for (size_t begin = 0; begin < nbits; begin++) {
456 1.1 christos if (fb_get(fb, nbits, begin) != val) {
457 1.1 christos continue;
458 1.1 christos }
459 1.1 christos size_t end = begin + 1;
460 1.1 christos for (; end < nbits; end++) {
461 1.1 christos if (fb_get(fb, nbits, end) != val) {
462 1.1 christos break;
463 1.1 christos }
464 1.1 christos }
465 1.1 christos if (end - begin > longest_so_far) {
466 1.1 christos longest_so_far = end - begin;
467 1.1 christos }
468 1.1 christos }
469 1.1 christos return longest_so_far;
470 1.1 christos }
471 1.1 christos
472 1.1 christos static void
473 1.1 christos expect_iter_results_at(fb_group_t *fb, size_t nbits, size_t pos,
474 1.1 christos bool val, bool forward) {
475 1.1 christos bool iter_res;
476 1.1 christos size_t iter_begin JEMALLOC_CC_SILENCE_INIT(0);
477 1.1 christos size_t iter_len JEMALLOC_CC_SILENCE_INIT(0);
478 1.1 christos if (val) {
479 1.1 christos if (forward) {
480 1.1 christos iter_res = fb_srange_iter(fb, nbits, pos,
481 1.1 christos &iter_begin, &iter_len);
482 1.1 christos } else {
483 1.1 christos iter_res = fb_srange_riter(fb, nbits, pos,
484 1.1 christos &iter_begin, &iter_len);
485 1.1 christos }
486 1.1 christos } else {
487 1.1 christos if (forward) {
488 1.1 christos iter_res = fb_urange_iter(fb, nbits, pos,
489 1.1 christos &iter_begin, &iter_len);
490 1.1 christos } else {
491 1.1 christos iter_res = fb_urange_riter(fb, nbits, pos,
492 1.1 christos &iter_begin, &iter_len);
493 1.1 christos }
494 1.1 christos }
495 1.1 christos
496 1.1 christos bool simple_iter_res;
497 1.1 christos /*
498 1.1 christos * These are dead stores, but the compiler can't always figure that out
499 1.1 christos * statically, and warns on the uninitialized variable.
500 1.1 christos */
501 1.1 christos size_t simple_iter_begin = 0;
502 1.1 christos size_t simple_iter_len = 0;
503 1.1 christos simple_iter_res = fb_iter_simple(fb, nbits, pos, &simple_iter_begin,
504 1.1 christos &simple_iter_len, val, forward);
505 1.1 christos
506 1.1 christos expect_b_eq(iter_res, simple_iter_res, "Result mismatch at %zu", pos);
507 1.1 christos if (iter_res && simple_iter_res) {
508 1.1 christos assert_zu_eq(iter_begin, simple_iter_begin,
509 1.1 christos "Begin mismatch at %zu", pos);
510 1.1 christos expect_zu_eq(iter_len, simple_iter_len,
511 1.1 christos "Length mismatch at %zu", pos);
512 1.1 christos }
513 1.1 christos }
514 1.1 christos
515 1.1 christos static void
516 1.1 christos expect_iter_results(fb_group_t *fb, size_t nbits) {
517 1.1 christos for (size_t i = 0; i < nbits; i++) {
518 1.1 christos expect_iter_results_at(fb, nbits, i, false, false);
519 1.1 christos expect_iter_results_at(fb, nbits, i, false, true);
520 1.1 christos expect_iter_results_at(fb, nbits, i, true, false);
521 1.1 christos expect_iter_results_at(fb, nbits, i, true, true);
522 1.1 christos }
523 1.1 christos expect_zu_eq(fb_range_longest_simple(fb, nbits, true),
524 1.1 christos fb_srange_longest(fb, nbits), "Longest range mismatch");
525 1.1 christos expect_zu_eq(fb_range_longest_simple(fb, nbits, false),
526 1.1 christos fb_urange_longest(fb, nbits), "Longest range mismatch");
527 1.1 christos }
528 1.1 christos
529 1.1 christos static void
530 1.1 christos set_pattern_3(fb_group_t *fb, size_t nbits, bool zero_val) {
531 1.1 christos for (size_t i = 0; i < nbits; i++) {
532 1.1 christos if ((i % 6 < 3 && zero_val) || (i % 6 >= 3 && !zero_val)) {
533 1.1 christos fb_set(fb, nbits, i);
534 1.1 christos } else {
535 1.1 christos fb_unset(fb, nbits, i);
536 1.1 christos }
537 1.1 christos }
538 1.1 christos }
539 1.1 christos
540 1.1 christos static void
541 1.1 christos do_test_iter_range_exhaustive(size_t nbits) {
542 1.1 christos /* This test is also pretty slow. */
543 1.1 christos if (nbits > 1000) {
544 1.1 christos return;
545 1.1 christos }
546 1.1 christos size_t sz = FB_NGROUPS(nbits) * sizeof(fb_group_t);
547 1.1 christos fb_group_t *fb = malloc(sz);
548 1.1 christos fb_init(fb, nbits);
549 1.1 christos
550 1.1 christos set_pattern_3(fb, nbits, /* zero_val */ true);
551 1.1 christos expect_iter_results(fb, nbits);
552 1.1 christos
553 1.1 christos set_pattern_3(fb, nbits, /* zero_val */ false);
554 1.1 christos expect_iter_results(fb, nbits);
555 1.1 christos
556 1.1 christos fb_set_range(fb, nbits, 0, nbits);
557 1.1 christos fb_unset_range(fb, nbits, 0, nbits / 2 == 0 ? 1 : nbits / 2);
558 1.1 christos expect_iter_results(fb, nbits);
559 1.1 christos
560 1.1 christos fb_unset_range(fb, nbits, 0, nbits);
561 1.1 christos fb_set_range(fb, nbits, 0, nbits / 2 == 0 ? 1: nbits / 2);
562 1.1 christos expect_iter_results(fb, nbits);
563 1.1 christos
564 1.1 christos free(fb);
565 1.1 christos }
566 1.1 christos
567 1.1 christos /*
568 1.1 christos * Like test_iter_range_simple, this tests both iteration and longest-range
569 1.1 christos * computation.
570 1.1 christos */
571 1.1 christos TEST_BEGIN(test_iter_range_exhaustive) {
572 1.1 christos #define NB(nbits) \
573 1.1 christos do_test_iter_range_exhaustive(nbits);
574 1.1 christos NBITS_TAB
575 1.1 christos #undef NB
576 1.1 christos }
577 1.1 christos TEST_END
578 1.1 christos
579 1.1 christos /*
580 1.1 christos * If all set bits in the bitmap are contiguous, in [set_start, set_end),
581 1.1 christos * returns the number of set bits in [scount_start, scount_end).
582 1.1 christos */
583 1.1 christos static size_t
584 1.1 christos scount_contiguous(size_t set_start, size_t set_end, size_t scount_start,
585 1.1 christos size_t scount_end) {
586 1.1 christos /* No overlap. */
587 1.1 christos if (set_end <= scount_start || scount_end <= set_start) {
588 1.1 christos return 0;
589 1.1 christos }
590 1.1 christos /* set range contains scount range */
591 1.1 christos if (set_start <= scount_start && set_end >= scount_end) {
592 1.1 christos return scount_end - scount_start;
593 1.1 christos }
594 1.1 christos /* scount range contains set range. */
595 1.1 christos if (scount_start <= set_start && scount_end >= set_end) {
596 1.1 christos return set_end - set_start;
597 1.1 christos }
598 1.1 christos /* Partial overlap, with set range starting first. */
599 1.1 christos if (set_start < scount_start && set_end < scount_end) {
600 1.1 christos return set_end - scount_start;
601 1.1 christos }
602 1.1 christos /* Partial overlap, with scount range starting first. */
603 1.1 christos if (scount_start < set_start && scount_end < set_end) {
604 1.1 christos return scount_end - set_start;
605 1.1 christos }
606 1.1 christos /*
607 1.1 christos * Trigger an assert failure; the above list should have been
608 1.1 christos * exhaustive.
609 1.1 christos */
610 1.1 christos unreachable();
611 1.1 christos }
612 1.1 christos
613 1.1 christos static size_t
614 1.1 christos ucount_contiguous(size_t set_start, size_t set_end, size_t ucount_start,
615 1.1 christos size_t ucount_end) {
616 1.1 christos /* No overlap. */
617 1.1 christos if (set_end <= ucount_start || ucount_end <= set_start) {
618 1.1 christos return ucount_end - ucount_start;
619 1.1 christos }
620 1.1 christos /* set range contains ucount range */
621 1.1 christos if (set_start <= ucount_start && set_end >= ucount_end) {
622 1.1 christos return 0;
623 1.1 christos }
624 1.1 christos /* ucount range contains set range. */
625 1.1 christos if (ucount_start <= set_start && ucount_end >= set_end) {
626 1.1 christos return (ucount_end - ucount_start) - (set_end - set_start);
627 1.1 christos }
628 1.1 christos /* Partial overlap, with set range starting first. */
629 1.1 christos if (set_start < ucount_start && set_end < ucount_end) {
630 1.1 christos return ucount_end - set_end;
631 1.1 christos }
632 1.1 christos /* Partial overlap, with ucount range starting first. */
633 1.1 christos if (ucount_start < set_start && ucount_end < set_end) {
634 1.1 christos return set_start - ucount_start;
635 1.1 christos }
636 1.1 christos /*
637 1.1 christos * Trigger an assert failure; the above list should have been
638 1.1 christos * exhaustive.
639 1.1 christos */
640 1.1 christos unreachable();
641 1.1 christos }
642 1.1 christos
643 1.1 christos static void
644 1.1 christos expect_count_match_contiguous(fb_group_t *fb, size_t nbits, size_t set_start,
645 1.1 christos size_t set_end) {
646 1.1 christos for (size_t i = 0; i < nbits; i++) {
647 1.1 christos for (size_t j = i + 1; j <= nbits; j++) {
648 1.1 christos size_t cnt = j - i;
649 1.1 christos size_t scount_expected = scount_contiguous(set_start,
650 1.1 christos set_end, i, j);
651 1.1 christos size_t scount_computed = fb_scount(fb, nbits, i, cnt);
652 1.1 christos expect_zu_eq(scount_expected, scount_computed,
653 1.1 christos "fb_scount error with nbits=%zu, start=%zu, "
654 1.1 christos "cnt=%zu, with bits set in [%zu, %zu)",
655 1.1 christos nbits, i, cnt, set_start, set_end);
656 1.1 christos
657 1.1 christos size_t ucount_expected = ucount_contiguous(set_start,
658 1.1 christos set_end, i, j);
659 1.1 christos size_t ucount_computed = fb_ucount(fb, nbits, i, cnt);
660 1.1 christos assert_zu_eq(ucount_expected, ucount_computed,
661 1.1 christos "fb_ucount error with nbits=%zu, start=%zu, "
662 1.1 christos "cnt=%zu, with bits set in [%zu, %zu)",
663 1.1 christos nbits, i, cnt, set_start, set_end);
664 1.1 christos
665 1.1 christos }
666 1.1 christos }
667 1.1 christos }
668 1.1 christos
669 1.1 christos static void
670 1.1 christos do_test_count_contiguous(size_t nbits) {
671 1.1 christos size_t sz = FB_NGROUPS(nbits) * sizeof(fb_group_t);
672 1.1 christos fb_group_t *fb = malloc(sz);
673 1.1 christos
674 1.1 christos fb_init(fb, nbits);
675 1.1 christos
676 1.1 christos expect_count_match_contiguous(fb, nbits, 0, 0);
677 1.1 christos for (size_t i = 0; i < nbits; i++) {
678 1.1 christos fb_set(fb, nbits, i);
679 1.1 christos expect_count_match_contiguous(fb, nbits, 0, i + 1);
680 1.1 christos }
681 1.1 christos
682 1.1 christos for (size_t i = 0; i < nbits; i++) {
683 1.1 christos fb_unset(fb, nbits, i);
684 1.1 christos expect_count_match_contiguous(fb, nbits, i + 1, nbits);
685 1.1 christos }
686 1.1 christos
687 1.1 christos free(fb);
688 1.1 christos }
689 1.1 christos
690 1.1 christos TEST_BEGIN(test_count_contiguous_simple) {
691 1.1 christos enum {nbits = 300};
692 1.1 christos fb_group_t fb[FB_NGROUPS(nbits)];
693 1.1 christos fb_init(fb, nbits);
694 1.1 christos /* Just an arbitrary number. */
695 1.1 christos size_t start = 23;
696 1.1 christos
697 1.1 christos fb_set_range(fb, nbits, start, 30 - start);
698 1.1 christos expect_count_match_contiguous(fb, nbits, start, 30);
699 1.1 christos
700 1.1 christos fb_set_range(fb, nbits, start, 40 - start);
701 1.1 christos expect_count_match_contiguous(fb, nbits, start, 40);
702 1.1 christos
703 1.1 christos fb_set_range(fb, nbits, start, 70 - start);
704 1.1 christos expect_count_match_contiguous(fb, nbits, start, 70);
705 1.1 christos
706 1.1 christos fb_set_range(fb, nbits, start, 120 - start);
707 1.1 christos expect_count_match_contiguous(fb, nbits, start, 120);
708 1.1 christos
709 1.1 christos fb_set_range(fb, nbits, start, 150 - start);
710 1.1 christos expect_count_match_contiguous(fb, nbits, start, 150);
711 1.1 christos
712 1.1 christos fb_set_range(fb, nbits, start, 200 - start);
713 1.1 christos expect_count_match_contiguous(fb, nbits, start, 200);
714 1.1 christos
715 1.1 christos fb_set_range(fb, nbits, start, 290 - start);
716 1.1 christos expect_count_match_contiguous(fb, nbits, start, 290);
717 1.1 christos }
718 1.1 christos TEST_END
719 1.1 christos
720 1.1 christos TEST_BEGIN(test_count_contiguous) {
721 1.1 christos #define NB(nbits) \
722 1.1 christos /* This test is *particularly* slow in debug builds. */ \
723 1.1 christos if ((!config_debug && nbits < 300) || nbits < 150) { \
724 1.1 christos do_test_count_contiguous(nbits); \
725 1.1 christos }
726 1.1 christos NBITS_TAB
727 1.1 christos #undef NB
728 1.1 christos }
729 1.1 christos TEST_END
730 1.1 christos
731 1.1 christos static void
732 1.1 christos expect_count_match_alternating(fb_group_t *fb_even, fb_group_t *fb_odd,
733 1.1 christos size_t nbits) {
734 1.1 christos for (size_t i = 0; i < nbits; i++) {
735 1.1 christos for (size_t j = i + 1; j <= nbits; j++) {
736 1.1 christos size_t cnt = j - i;
737 1.1 christos size_t odd_scount = cnt / 2
738 1.1 christos + (size_t)(cnt % 2 == 1 && i % 2 == 1);
739 1.1 christos size_t odd_scount_computed = fb_scount(fb_odd, nbits,
740 1.1 christos i, j - i);
741 1.1 christos assert_zu_eq(odd_scount, odd_scount_computed,
742 1.1 christos "fb_scount error with nbits=%zu, start=%zu, "
743 1.1 christos "cnt=%zu, with alternating bits set.",
744 1.1 christos nbits, i, j - i);
745 1.1 christos
746 1.1 christos size_t odd_ucount = cnt / 2
747 1.1 christos + (size_t)(cnt % 2 == 1 && i % 2 == 0);
748 1.1 christos size_t odd_ucount_computed = fb_ucount(fb_odd, nbits,
749 1.1 christos i, j - i);
750 1.1 christos assert_zu_eq(odd_ucount, odd_ucount_computed,
751 1.1 christos "fb_ucount error with nbits=%zu, start=%zu, "
752 1.1 christos "cnt=%zu, with alternating bits set.",
753 1.1 christos nbits, i, j - i);
754 1.1 christos
755 1.1 christos size_t even_scount = cnt / 2
756 1.1 christos + (size_t)(cnt % 2 == 1 && i % 2 == 0);
757 1.1 christos size_t even_scount_computed = fb_scount(fb_even, nbits,
758 1.1 christos i, j - i);
759 1.1 christos assert_zu_eq(even_scount, even_scount_computed,
760 1.1 christos "fb_scount error with nbits=%zu, start=%zu, "
761 1.1 christos "cnt=%zu, with alternating bits set.",
762 1.1 christos nbits, i, j - i);
763 1.1 christos
764 1.1 christos size_t even_ucount = cnt / 2
765 1.1 christos + (size_t)(cnt % 2 == 1 && i % 2 == 1);
766 1.1 christos size_t even_ucount_computed = fb_ucount(fb_even, nbits,
767 1.1 christos i, j - i);
768 1.1 christos assert_zu_eq(even_ucount, even_ucount_computed,
769 1.1 christos "fb_ucount error with nbits=%zu, start=%zu, "
770 1.1 christos "cnt=%zu, with alternating bits set.",
771 1.1 christos nbits, i, j - i);
772 1.1 christos }
773 1.1 christos }
774 1.1 christos }
775 1.1 christos
776 1.1 christos static void
777 1.1 christos do_test_count_alternating(size_t nbits) {
778 1.1 christos if (nbits > 1000) {
779 1.1 christos return;
780 1.1 christos }
781 1.1 christos size_t sz = FB_NGROUPS(nbits) * sizeof(fb_group_t);
782 1.1 christos fb_group_t *fb_even = malloc(sz);
783 1.1 christos fb_group_t *fb_odd = malloc(sz);
784 1.1 christos
785 1.1 christos fb_init(fb_even, nbits);
786 1.1 christos fb_init(fb_odd, nbits);
787 1.1 christos
788 1.1 christos for (size_t i = 0; i < nbits; i++) {
789 1.1 christos if (i % 2 == 0) {
790 1.1 christos fb_set(fb_even, nbits, i);
791 1.1 christos } else {
792 1.1 christos fb_set(fb_odd, nbits, i);
793 1.1 christos }
794 1.1 christos }
795 1.1 christos
796 1.1 christos expect_count_match_alternating(fb_even, fb_odd, nbits);
797 1.1 christos
798 1.1 christos free(fb_even);
799 1.1 christos free(fb_odd);
800 1.1 christos }
801 1.1 christos
802 1.1 christos TEST_BEGIN(test_count_alternating) {
803 1.1 christos #define NB(nbits) \
804 1.1 christos do_test_count_alternating(nbits);
805 1.1 christos NBITS_TAB
806 1.1 christos #undef NB
807 1.1 christos }
808 1.1 christos TEST_END
809 1.1 christos
810 1.1 christos static void
811 1.1 christos do_test_bit_op(size_t nbits, bool (*op)(bool a, bool b),
812 1.1 christos void (*fb_op)(fb_group_t *dst, fb_group_t *src1, fb_group_t *src2, size_t nbits)) {
813 1.1 christos size_t sz = FB_NGROUPS(nbits) * sizeof(fb_group_t);
814 1.1 christos fb_group_t *fb1 = malloc(sz);
815 1.1 christos fb_group_t *fb2 = malloc(sz);
816 1.1 christos fb_group_t *fb_result = malloc(sz);
817 1.1 christos fb_init(fb1, nbits);
818 1.1 christos fb_init(fb2, nbits);
819 1.1 christos fb_init(fb_result, nbits);
820 1.1 christos
821 1.1 christos /* Just two random numbers. */
822 1.1 christos const uint64_t prng_init1 = (uint64_t)0X4E9A9DE6A35691CDULL;
823 1.1 christos const uint64_t prng_init2 = (uint64_t)0X7856E396B063C36EULL;
824 1.1 christos
825 1.1 christos uint64_t prng1 = prng_init1;
826 1.1 christos uint64_t prng2 = prng_init2;
827 1.1 christos
828 1.1 christos for (size_t i = 0; i < nbits; i++) {
829 1.1 christos bool bit1 = ((prng1 & (1ULL << (i % 64))) != 0);
830 1.1 christos bool bit2 = ((prng2 & (1ULL << (i % 64))) != 0);
831 1.1 christos
832 1.1 christos if (bit1) {
833 1.1 christos fb_set(fb1, nbits, i);
834 1.1 christos }
835 1.1 christos if (bit2) {
836 1.1 christos fb_set(fb2, nbits, i);
837 1.1 christos }
838 1.1 christos
839 1.1 christos if (i % 64 == 0) {
840 1.1 christos prng1 = prng_state_next_u64(prng1);
841 1.1 christos prng2 = prng_state_next_u64(prng2);
842 1.1 christos }
843 1.1 christos }
844 1.1 christos
845 1.1 christos fb_op(fb_result, fb1, fb2, nbits);
846 1.1 christos
847 1.1 christos /* Reset the prngs to replay them. */
848 1.1 christos prng1 = prng_init1;
849 1.1 christos prng2 = prng_init2;
850 1.1 christos
851 1.1 christos for (size_t i = 0; i < nbits; i++) {
852 1.1 christos bool bit1 = ((prng1 & (1ULL << (i % 64))) != 0);
853 1.1 christos bool bit2 = ((prng2 & (1ULL << (i % 64))) != 0);
854 1.1 christos
855 1.1 christos /* Original bitmaps shouldn't change. */
856 1.1 christos expect_b_eq(bit1, fb_get(fb1, nbits, i), "difference at bit %zu", i);
857 1.1 christos expect_b_eq(bit2, fb_get(fb2, nbits, i), "difference at bit %zu", i);
858 1.1 christos
859 1.1 christos /* New one should be bitwise and. */
860 1.1 christos expect_b_eq(op(bit1, bit2), fb_get(fb_result, nbits, i),
861 1.1 christos "difference at bit %zu", i);
862 1.1 christos
863 1.1 christos /* Update the same way we did last time. */
864 1.1 christos if (i % 64 == 0) {
865 1.1 christos prng1 = prng_state_next_u64(prng1);
866 1.1 christos prng2 = prng_state_next_u64(prng2);
867 1.1 christos }
868 1.1 christos }
869 1.1 christos
870 1.1 christos free(fb1);
871 1.1 christos free(fb2);
872 1.1 christos free(fb_result);
873 1.1 christos }
874 1.1 christos
875 1.1 christos static bool
876 1.1 christos binary_and(bool a, bool b) {
877 1.1 christos return a & b;
878 1.1 christos }
879 1.1 christos
880 1.1 christos static void
881 1.1 christos do_test_bit_and(size_t nbits) {
882 1.1 christos do_test_bit_op(nbits, &binary_and, &fb_bit_and);
883 1.1 christos }
884 1.1 christos
885 1.1 christos TEST_BEGIN(test_bit_and) {
886 1.1 christos #define NB(nbits) \
887 1.1 christos do_test_bit_and(nbits);
888 1.1 christos NBITS_TAB
889 1.1 christos #undef NB
890 1.1 christos }
891 1.1 christos TEST_END
892 1.1 christos
893 1.1 christos static bool
894 1.1 christos binary_or(bool a, bool b) {
895 1.1 christos return a | b;
896 1.1 christos }
897 1.1 christos
898 1.1 christos static void
899 1.1 christos do_test_bit_or(size_t nbits) {
900 1.1 christos do_test_bit_op(nbits, &binary_or, &fb_bit_or);
901 1.1 christos }
902 1.1 christos
903 1.1 christos TEST_BEGIN(test_bit_or) {
904 1.1 christos #define NB(nbits) \
905 1.1 christos do_test_bit_or(nbits);
906 1.1 christos NBITS_TAB
907 1.1 christos #undef NB
908 1.1 christos }
909 1.1 christos TEST_END
910 1.1 christos
911 1.1 christos static bool
912 1.1 christos binary_not(bool a, bool b) {
913 1.1 christos (void)b;
914 1.1 christos return !a;
915 1.1 christos }
916 1.1 christos
917 1.1 christos static void
918 1.1 christos fb_bit_not_shim(fb_group_t *dst, fb_group_t *src1, fb_group_t *src2,
919 1.1 christos size_t nbits) {
920 1.1 christos (void)src2;
921 1.1 christos fb_bit_not(dst, src1, nbits);
922 1.1 christos }
923 1.1 christos
924 1.1 christos static void
925 1.1 christos do_test_bit_not(size_t nbits) {
926 1.1 christos do_test_bit_op(nbits, &binary_not, &fb_bit_not_shim);
927 1.1 christos }
928 1.1 christos
929 1.1 christos TEST_BEGIN(test_bit_not) {
930 1.1 christos #define NB(nbits) \
931 1.1 christos do_test_bit_not(nbits);
932 1.1 christos NBITS_TAB
933 1.1 christos #undef NB
934 1.1 christos }
935 1.1 christos TEST_END
936 1.1 christos
937 1.1 christos int
938 1.1 christos main(void) {
939 1.1 christos return test_no_reentrancy(
940 1.1 christos test_fb_init,
941 1.1 christos test_get_set_unset,
942 1.1 christos test_search_simple,
943 1.1 christos test_search_exhaustive,
944 1.1 christos test_range_simple,
945 1.1 christos test_empty_full,
946 1.1 christos test_iter_range_simple,
947 1.1 christos test_iter_range_exhaustive,
948 1.1 christos test_count_contiguous_simple,
949 1.1 christos test_count_contiguous,
950 1.1 christos test_count_alternating,
951 1.1 christos test_bit_and,
952 1.1 christos test_bit_or,
953 1.1 christos test_bit_not);
954 1.1 christos }
955