]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - tests/sys/sys/bitstring_test.c
MFC r354977: bitstring: add functions to find contiguous set/unset bit sequences
[FreeBSD/FreeBSD.git] / tests / sys / sys / bitstring_test.c
1 /*-
2  * Copyright (c) 2014 Spectra Logic Corporation
3  * All rights reserved.
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that the following conditions
7  * are met:
8  * 1. Redistributions of source code must retain the above copyright
9  *    notice, this list of conditions, and the following disclaimer,
10  *    without modification.
11  * 2. Redistributions in binary form must reproduce at minimum a disclaimer
12  *    substantially similar to the "NO WARRANTY" disclaimer below
13  *    ("Disclaimer") and any redistribution must be conditioned upon
14  *    including a substantially similar Disclaimer requirement for further
15  *    binary redistribution.
16  *
17  * NO WARRANTY
18  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
19  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
20  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTIBILITY AND FITNESS FOR
21  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
22  * HOLDERS OR CONTRIBUTORS BE LIABLE FOR SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
23  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
24  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
25  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
26  * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
27  * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
28  * POSSIBILITY OF SUCH DAMAGES.
29  *
30  * $FreeBSD$
31  */
32 #include <sys/param.h>
33
34 #include <bitstring.h>
35 #include <stdio.h>
36
37 #include <atf-c.h>
38
39 typedef void (testfunc_t)(bitstr_t *bstr, int nbits, const char *memloc);
40
41 static void
42 bitstring_run_stack_test(testfunc_t *test, int nbits)
43 {
44         bitstr_t bit_decl(bitstr, nbits);
45
46         test(bitstr, nbits, "stack");
47 }
48
49 static void
50 bitstring_run_heap_test(testfunc_t *test, int nbits)
51 {
52         bitstr_t *bitstr = bit_alloc(nbits);
53
54         test(bitstr, nbits, "heap");
55 }
56
57 static void
58 bitstring_test_runner(testfunc_t *test)
59 {
60         const int bitstr_sizes[] = {
61                 0,
62                 1,
63                 _BITSTR_BITS - 1,
64                 _BITSTR_BITS,
65                 _BITSTR_BITS + 1,
66                 2 * _BITSTR_BITS - 1,
67                 2 * _BITSTR_BITS,
68                 1023,
69                 1024
70         };
71
72         for (unsigned long i = 0; i < nitems(bitstr_sizes); i++) {
73                 bitstring_run_stack_test(test, bitstr_sizes[i]);
74                 bitstring_run_heap_test(test, bitstr_sizes[i]);
75         }
76 }
77
78 #define BITSTRING_TC_DEFINE(name)                               \
79 ATF_TC_WITHOUT_HEAD(name);                                      \
80 static testfunc_t name ## _test;                                \
81                                                                 \
82 ATF_TC_BODY(name, tc)                                           \
83 {                                                               \
84         bitstring_test_runner(name ## _test);                   \
85 }                                                               \
86                                                                 \
87 static void                                                     \
88 name ## _test(bitstr_t *bitstr, int nbits, const char *memloc)
89
90 #define BITSTRING_TC_ADD(tp, name)                              \
91 do {                                                            \
92         ATF_TP_ADD_TC(tp, name);                                \
93 } while (0)
94
95 ATF_TC_WITHOUT_HEAD(bitstr_in_struct);
96 ATF_TC_BODY(bitstr_in_struct, tc)
97 {
98         struct bitstr_containing_struct {
99                 bitstr_t bit_decl(bitstr, 8);
100         } test_struct;
101
102         bit_nclear(test_struct.bitstr, 0, 8);
103 }
104
105 ATF_TC_WITHOUT_HEAD(bitstr_size);
106 ATF_TC_BODY(bitstr_size, tc)
107 {
108         size_t sob = sizeof(bitstr_t);
109
110         ATF_CHECK_EQ(0, bitstr_size(0));
111         ATF_CHECK_EQ(sob, bitstr_size(1));
112         ATF_CHECK_EQ(sob, bitstr_size(sob * 8));
113         ATF_CHECK_EQ(2 * sob, bitstr_size(sob * 8 + 1));
114 }
115
116 BITSTRING_TC_DEFINE(bit_set)
117 /* bitstr_t *bitstr, int nbits, const char *memloc */
118 {
119         memset(bitstr, 0, bitstr_size(nbits));
120         
121         for (int i = 0; i < nbits; i++) {
122                 bit_set(bitstr, i);
123
124                 for (int j = 0; j < nbits; j++) {
125                         ATF_REQUIRE_MSG(bit_test(bitstr, j) == (j == i) ? 1 : 0,
126                             "bit_set_%d_%s: Failed on bit %d",
127                             nbits, memloc, i);
128                 }
129
130                 bit_clear(bitstr, i);
131         }
132 }
133
134 BITSTRING_TC_DEFINE(bit_clear)
135 /* bitstr_t *bitstr, int nbits, const char *memloc */
136 {
137         int i, j;
138
139         memset(bitstr, 0xFF, bitstr_size(nbits));
140         for (i = 0; i < nbits; i++) {
141                 bit_clear(bitstr, i);
142
143                 for (j = 0; j < nbits; j++) {
144                         ATF_REQUIRE_MSG(bit_test(bitstr, j) == (j == i) ? 0 : 1,
145                             "bit_clear_%d_%s: Failed on bit %d",
146                             nbits, memloc, i);
147                 }
148
149                 bit_set(bitstr, i);
150         }
151 }
152
153 BITSTRING_TC_DEFINE(bit_ffs)
154 /* bitstr_t *bitstr, int nbits, const char *memloc */
155 {
156         int i;
157         int found_set_bit;
158
159         memset(bitstr, 0, bitstr_size(nbits));
160         bit_ffs(bitstr, nbits, &found_set_bit);
161         ATF_REQUIRE_MSG(found_set_bit == -1,
162             "bit_ffs_%d_%s: Failed all clear bits.", nbits, memloc);
163
164         for (i = 0; i < nbits; i++) {
165                 memset(bitstr, 0xFF, bitstr_size(nbits));
166                 if (i > 0)
167                         bit_nclear(bitstr, 0, i - 1);
168
169                 bit_ffs(bitstr, nbits, &found_set_bit);
170                 ATF_REQUIRE_MSG(found_set_bit == i,
171                     "bit_ffs_%d_%s: Failed on bit %d, Result %d",
172                     nbits, memloc, i, found_set_bit);
173         }
174 }
175
176 BITSTRING_TC_DEFINE(bit_ffc)
177 /* bitstr_t *bitstr, int nbits, const char *memloc */
178 {
179         int i;
180         int found_clear_bit;
181
182         memset(bitstr, 0xFF, bitstr_size(nbits));
183         bit_ffc(bitstr, nbits, &found_clear_bit);
184         ATF_REQUIRE_MSG(found_clear_bit == -1,
185             "bit_ffc_%d_%s: Failed all set bits.", nbits, memloc);
186
187         for (i = 0; i < nbits; i++) {
188                 memset(bitstr, 0, bitstr_size(nbits));
189                 if (i > 0)
190                         bit_nset(bitstr, 0, i - 1);
191
192                 bit_ffc(bitstr, nbits, &found_clear_bit);
193                 ATF_REQUIRE_MSG(found_clear_bit == i,
194                     "bit_ffc_%d_%s: Failed on bit %d, Result %d",
195                     nbits, memloc, i, found_clear_bit);
196         }
197 }
198
199 BITSTRING_TC_DEFINE(bit_ffs_at)
200 /* bitstr_t *bitstr, int nbits, const char *memloc */
201 {
202         int i;
203         int found_set_bit;
204
205         memset(bitstr, 0xFF, bitstr_size(nbits));
206         for (i = 0; i < nbits; i++) {
207                 bit_ffs_at(bitstr, i, nbits, &found_set_bit);
208                 ATF_REQUIRE_MSG(found_set_bit == i,
209                     "bit_ffs_at_%d_%s: Failed on bit %d, Result %d",
210                     nbits, memloc, i, found_set_bit);
211         }
212
213         memset(bitstr, 0, bitstr_size(nbits));
214         for (i = 0; i < nbits; i++) {
215                 bit_ffs_at(bitstr, i, nbits, &found_set_bit);
216                 ATF_REQUIRE_MSG(found_set_bit == -1,
217                     "bit_ffs_at_%d_%s: Failed on bit %d, Result %d",
218                     nbits, memloc, i, found_set_bit);
219         }
220
221         memset(bitstr, 0x55, bitstr_size(nbits));
222         for (i = 0; i < nbits; i++) {
223                 bit_ffs_at(bitstr, i, nbits, &found_set_bit);
224                 if (i == nbits - 1 && (nbits & 1) == 0) {
225                         ATF_REQUIRE_MSG(found_set_bit == -1,
226                             "bit_ffs_at_%d_%s: Failed on bit %d, Result %d",
227                             nbits, memloc, i, found_set_bit);
228                 } else {
229                         ATF_REQUIRE_MSG(found_set_bit == i + (i & 1),
230                             "bit_ffs_at_%d_%s: Failed on bit %d, Result %d",
231                             nbits, memloc, i, found_set_bit);
232                 }
233         }
234
235         memset(bitstr, 0xAA, bitstr_size(nbits));
236         for (i = 0; i < nbits; i++) {
237                 bit_ffs_at(bitstr, i, nbits, &found_set_bit);
238                 if (i == nbits - 1 && (nbits & 1) != 0) {
239                         ATF_REQUIRE_MSG(found_set_bit == -1,
240                             "bit_ffs_at_%d_%s: Failed on bit %d, Result %d",
241                             nbits, memloc, i, found_set_bit);
242                 } else {
243                         ATF_REQUIRE_MSG(
244                             found_set_bit == i + ((i & 1) ? 0 : 1),
245                             "bit_ffs_at_%d_%s: Failed on bit %d, Result %d",
246                             nbits, memloc, i, found_set_bit);
247                 }
248         }
249
250         /* Pass a start value beyond the size of the bit string */
251         bit_ffs_at(bitstr, nbits, nbits, &found_set_bit);
252         ATF_REQUIRE_MSG(found_set_bit == -1,
253                         "bit_ffs_at_%d_%s: Failed with high start value of %d, Result %d",
254                         nbits, memloc, nbits, found_set_bit);
255
256         bit_ffs_at(bitstr, nbits + 3, nbits, &found_set_bit);
257         ATF_REQUIRE_MSG(found_set_bit == -1,
258                         "bit_ffs_at_%d_%s: Failed with high start value of %d, Result %d",
259                         nbits, memloc, nbits + 3, found_set_bit);
260 }
261
262 BITSTRING_TC_DEFINE(bit_ffc_at)
263 /* bitstr_t *bitstr, int nbits, const char *memloc */
264 {
265         int i, found_clear_bit;
266
267         memset(bitstr, 0, bitstr_size(nbits));
268         for (i = 0; i < nbits; i++) {
269                 bit_ffc_at(bitstr, i, nbits, &found_clear_bit);
270                 ATF_REQUIRE_MSG(found_clear_bit == i,
271                     "bit_ffc_at_%d_%s: Failed on bit %d, Result %d",
272                     nbits, memloc, i, found_clear_bit);
273         }
274
275         memset(bitstr, 0xFF, bitstr_size(nbits));
276         for (i = 0; i < nbits; i++) {
277                 bit_ffc_at(bitstr, i, nbits, &found_clear_bit);
278                 ATF_REQUIRE_MSG(found_clear_bit == -1,
279                     "bit_ffc_at_%d_%s: Failed on bit %d, Result %d",
280                     nbits, memloc, i, found_clear_bit);
281         }
282
283         memset(bitstr, 0x55, bitstr_size(nbits));
284         for (i = 0; i < nbits; i++) {
285                 bit_ffc_at(bitstr, i, nbits, &found_clear_bit);
286                 if (i == nbits - 1 && (nbits & 1) != 0) {
287                         ATF_REQUIRE_MSG(found_clear_bit == -1,
288                             "bit_ffc_at_%d_%s: Failed on bit %d, Result %d",
289                             nbits, memloc, i, found_clear_bit);
290                 } else {
291                         ATF_REQUIRE_MSG(
292                             found_clear_bit == i + ((i & 1) ? 0 : 1),
293                             "bit_ffc_at_%d_%s: Failed on bit %d, Result %d",
294                             nbits, memloc, i, found_clear_bit);
295                 }
296         }
297
298         memset(bitstr, 0xAA, bitstr_size(nbits));
299         for (i = 0; i < nbits; i++) {
300                 bit_ffc_at(bitstr, i, nbits, &found_clear_bit);
301                 if (i == nbits - 1 && (nbits & 1) == 0) {
302                         ATF_REQUIRE_MSG(found_clear_bit == -1,
303                             "bit_ffc_at_%d_%s: Failed on bit %d, Result %d",
304                             nbits, memloc, i, found_clear_bit);
305                 } else {
306                         ATF_REQUIRE_MSG(found_clear_bit == i + (i & 1),
307                             "bit_ffc_at_%d_%s: Failed on bit %d, Result %d",
308                             nbits, memloc, i, found_clear_bit);
309                 }
310         }
311
312         /* Pass a start value beyond the size of the bit string */
313         bit_ffc_at(bitstr, nbits, nbits, &found_clear_bit);
314         ATF_REQUIRE_MSG(found_clear_bit == -1,
315                         "bit_ffc_at_%d_%s: Failed with high start value, Result %d",
316                         nbits, memloc, found_clear_bit);
317
318         bit_ffc_at(bitstr, nbits + 3, nbits, &found_clear_bit);
319         ATF_REQUIRE_MSG(found_clear_bit == -1,
320                         "bit_ffc_at_%d_%s: Failed with high start value of %d, Result %d",
321                         nbits, memloc, nbits + 3, found_clear_bit);
322 }
323
324 BITSTRING_TC_DEFINE(bit_ffc_area_no_match)
325 /* bitstr_t *bitstr, int nbits, const char *memloc */
326 {
327         int found_clear_bits;
328
329         memset(bitstr, 0xFF, bitstr_size(nbits));
330         bit_ffc_area(bitstr, nbits, 2, &found_clear_bits);
331         ATF_REQUIRE_EQ_MSG(-1, found_clear_bits,
332                 "bit_ffc_area_%d_%s: Failed all set bits.", nbits, memloc);
333 }
334
335 BITSTRING_TC_DEFINE(bit_ffs_area_no_match)
336 /* bitstr_t *bitstr, int nbits, const char *memloc */
337 {
338         int found_clear_bits;
339
340         memset(bitstr, 0, bitstr_size(nbits));
341         bit_ffs_area(bitstr, nbits, 2, &found_clear_bits);
342         ATF_REQUIRE_EQ_MSG(-1, found_clear_bits,
343                 "bit_ffs_area_%d_%s: Failed all clear bits.", nbits, memloc);
344 }
345
346 ATF_TC_WITHOUT_HEAD(bit_ffs_area);
347 ATF_TC_BODY(bit_ffs_area, tc)
348 {
349         const int nbits = 72;
350         bitstr_t bit_decl(bitstr, nbits) = {};
351         int location;
352
353         bit_set(bitstr, 5);
354         bit_set(bitstr, 6);
355
356         location = 0;
357         bit_ffs_area(bitstr, nbits, 3, &location);
358         ATF_REQUIRE_EQ_MSG(-1, location,
359                         "bit_ffs_area: found location of size 3 when only 2 bits are set");
360
361         bit_set(bitstr, 7);
362
363         location = 0;
364         bit_ffs_area(bitstr, nbits, 3, &location);
365         ATF_REQUIRE_EQ_MSG(5, location,
366                         "bit_ffs_area: failed to find location of size 3");
367
368         bit_set(bitstr, 8);
369
370         location = 0;
371         bit_ffs_area(bitstr, nbits, 3, &location);
372         ATF_REQUIRE_EQ_MSG(5, location,
373                         "bit_ffs_area: failed to find location of size 3");
374
375         location = 0;
376         bit_ffs_area_at(bitstr, 2, nbits, 3, &location);
377         ATF_REQUIRE_EQ_MSG(5, location,
378                         "bit_ffs_area_at: failed to find location of size 3");
379
380         location = 0;
381         bit_ffs_area_at(bitstr, 6, nbits, 3, &location);
382         ATF_REQUIRE_EQ_MSG(6, location,
383                         "bit_ffs_area_at: failed to find location of size 3");
384
385         location = 0;
386         bit_ffs_area_at(bitstr, 8, nbits, 3, &location);
387         ATF_REQUIRE_EQ_MSG(-1, location,
388                         "bit_ffs_area_at: found invalid location");
389
390         bit_set(bitstr, 69);
391         bit_set(bitstr, 70);
392         bit_set(bitstr, 71);
393
394         location = 0;
395         bit_ffs_area_at(bitstr, 8, nbits, 3, &location);
396         ATF_REQUIRE_EQ_MSG(69, location,
397                         "bit_ffs_area_at: failed to find location of size 3");
398
399         location = 0;
400         bit_ffs_area_at(bitstr, 69, nbits, 3, &location);
401         ATF_REQUIRE_EQ_MSG(69, location,
402                         "bit_ffs_area_at: failed to find location of size 3");
403
404         location = 0;
405         bit_ffs_area_at(bitstr, 70, nbits, 3, &location);
406         ATF_REQUIRE_EQ_MSG(-1, location,
407                         "bit_ffs_area_at: found invalid location");
408
409         location = 0;
410         bit_ffs_area_at(bitstr, 72, nbits, 3, &location);
411         ATF_REQUIRE_EQ_MSG(-1, location,
412                         "bit_ffs_area_at: found invalid location");
413 }
414
415 ATF_TC_WITHOUT_HEAD(bit_ffc_area);
416 ATF_TC_BODY(bit_ffc_area, tc)
417 {
418         const int nbits = 80;
419         bitstr_t bit_decl(bitstr, nbits) = {};
420         int location;
421
422         /* set all bits */
423         memset(bitstr, 0xFF, bitstr_size(nbits));
424
425         bit_clear(bitstr, 7);
426         bit_clear(bitstr, 8);
427
428         location = 0;
429         bit_ffc_area(bitstr, nbits, 3, &location);
430         ATF_REQUIRE_EQ_MSG(-1, location,
431                         "bit_ffc_area: found location of size 3 when only 2 bits are set");
432
433         bit_clear(bitstr, 9);
434
435         location = 0;
436         bit_ffc_area(bitstr, nbits, 3, &location);
437         ATF_REQUIRE_EQ_MSG(7, location,
438                         "bit_ffc_area: failed to find location of size 3");
439
440         bit_clear(bitstr, 10);
441
442         location = 0;
443         bit_ffc_area(bitstr, nbits, 3, &location);
444         ATF_REQUIRE_EQ_MSG(7, location,
445                         "bit_ffc_area: failed to find location of size 3");
446
447         location = 0;
448         bit_ffc_area_at(bitstr, 2, nbits, 3, &location);
449         ATF_REQUIRE_EQ_MSG(7, location,
450                         "bit_ffc_area_at: failed to find location of size 3");
451
452         location = 0;
453         bit_ffc_area_at(bitstr, 8, nbits, 3, &location);
454         ATF_REQUIRE_EQ_MSG(8, location,
455                         "bit_ffc_area_at: failed to find location of size 3");
456
457         location = 0;
458         bit_ffc_area_at(bitstr, 9, nbits, 3, &location);
459         ATF_REQUIRE_EQ_MSG(-1, location,
460                         "bit_ffc_area_at: found invalid bit location");
461
462         bit_clear(bitstr, 77);
463         bit_clear(bitstr, 78);
464         bit_clear(bitstr, 79);
465
466         location = 0;
467         bit_ffc_area_at(bitstr, 12, nbits, 3, &location);
468         ATF_REQUIRE_EQ_MSG(77, location,
469                         "bit_ffc_area_at: failed to find location of size 3");
470
471         location = 0;
472         bit_ffc_area_at(bitstr, 77, nbits, 3, &location);
473         ATF_REQUIRE_EQ_MSG(77, location,
474                         "bit_ffc_area_at: failed to find location of size 3");
475
476         location = 0;
477         bit_ffc_area_at(bitstr, 78, nbits, 3, &location);
478         ATF_REQUIRE_EQ_MSG(-1, location,
479                         "bit_ffc_area_at: found invalid location");
480
481         location = 0;
482         bit_ffc_area_at(bitstr, 85, nbits, 3, &location);
483         ATF_REQUIRE_EQ_MSG(-1, location,
484                         "bit_ffc_area_at: found invalid location");
485 }
486
487 BITSTRING_TC_DEFINE(bit_nclear)
488 /* bitstr_t *bitstr, int nbits, const char *memloc */
489 {
490         int i, j;
491         int found_set_bit;
492         int found_clear_bit;
493
494         for (i = 0; i < nbits; i++) {
495                 for (j = i; j < nbits; j++) {
496                         memset(bitstr, 0xFF, bitstr_size(nbits));
497                         bit_nclear(bitstr, i, j);
498
499                         bit_ffc(bitstr, nbits, &found_clear_bit);
500                         ATF_REQUIRE_MSG(
501                             found_clear_bit == i,
502                             "bit_nclear_%d_%d_%d%s: Failed with result %d",
503                             nbits, i, j, memloc, found_clear_bit);
504
505                         bit_ffs_at(bitstr, i, nbits, &found_set_bit);
506                         ATF_REQUIRE_MSG(
507                             (j + 1 < nbits) ? found_set_bit == j + 1 : -1,
508                             "bit_nset_%d_%d_%d%s: Failed with result %d",
509                             nbits, i, j, memloc, found_set_bit);
510                 }
511         }
512 }
513
514 BITSTRING_TC_DEFINE(bit_nset)
515 /* bitstr_t *bitstr, int nbits, const char *memloc */
516 {
517         int i, j;
518         int found_set_bit;
519         int found_clear_bit;
520
521         for (i = 0; i < nbits; i++) {
522                 for (j = i; j < nbits; j++) {
523                         memset(bitstr, 0, bitstr_size(nbits));
524                         bit_nset(bitstr, i, j);
525
526                         bit_ffs(bitstr, nbits, &found_set_bit);
527                         ATF_REQUIRE_MSG(
528                             found_set_bit == i,
529                             "bit_nset_%d_%d_%d%s: Failed with result %d",
530                             nbits, i, j, memloc, found_set_bit);
531
532                         bit_ffc_at(bitstr, i, nbits, &found_clear_bit);
533                         ATF_REQUIRE_MSG(
534                             (j + 1 < nbits) ? found_clear_bit == j + 1 : -1,
535                             "bit_nset_%d_%d_%d%s: Failed with result %d",
536                             nbits, i, j, memloc, found_clear_bit);
537                 }
538         }
539 }
540
541 BITSTRING_TC_DEFINE(bit_count)
542 /* bitstr_t *bitstr, int nbits, const char *memloc */
543 {
544         int result, s, e, expected;
545
546         /* Empty bitstr */
547         memset(bitstr, 0, bitstr_size(nbits));
548         bit_count(bitstr, 0, nbits, &result);
549         ATF_CHECK_MSG(0 == result,
550                         "bit_count_%d_%s_%s: Failed with result %d",
551                         nbits, "clear", memloc, result);
552
553         /* Full bitstr */
554         memset(bitstr, 0xFF, bitstr_size(nbits));
555         bit_count(bitstr, 0, nbits, &result);
556         ATF_CHECK_MSG(nbits == result,
557                         "bit_count_%d_%s_%s: Failed with result %d",
558                         nbits, "set", memloc, result);
559
560         /* Invalid _start value */
561         memset(bitstr, 0xFF, bitstr_size(nbits));
562         bit_count(bitstr, nbits, nbits, &result);
563         ATF_CHECK_MSG(0 == result,
564                         "bit_count_%d_%s_%s: Failed with result %d",
565                         nbits, "invalid_start", memloc, result);
566         
567         /* Alternating bitstr, starts with 0 */
568         memset(bitstr, 0xAA, bitstr_size(nbits));
569         bit_count(bitstr, 0, nbits, &result);
570         ATF_CHECK_MSG(nbits / 2 == result,
571                         "bit_count_%d_%s_%d_%s: Failed with result %d",
572                         nbits, "alternating", 0, memloc, result);
573
574         /* Alternating bitstr, starts with 1 */
575         memset(bitstr, 0x55, bitstr_size(nbits));
576         bit_count(bitstr, 0, nbits, &result);
577         ATF_CHECK_MSG((nbits + 1) / 2 == result,
578                         "bit_count_%d_%s_%d_%s: Failed with result %d",
579                         nbits, "alternating", 1, memloc, result);
580
581         /* Varying start location */
582         memset(bitstr, 0xAA, bitstr_size(nbits));
583         for (s = 0; s < nbits; s++) {
584                 expected = s % 2 == 0 ? (nbits - s) / 2 : (nbits - s + 1) / 2;
585                 bit_count(bitstr, s, nbits, &result);
586                 ATF_CHECK_MSG(expected == result,
587                                 "bit_count_%d_%s_%d_%s: Failed with result %d",
588                                 nbits, "vary_start", s, memloc, result);
589         }
590
591         /* Varying end location */
592         memset(bitstr, 0xAA, bitstr_size(nbits));
593         for (e = 0; e < nbits; e++) {
594                 bit_count(bitstr, 0, e, &result);
595                 ATF_CHECK_MSG(e / 2 == result,
596                                 "bit_count_%d_%s_%d_%s: Failed with result %d",
597                                 nbits, "vary_end", e, memloc, result);
598         }
599
600 }
601
602 ATF_TP_ADD_TCS(tp)
603 {
604
605         ATF_TP_ADD_TC(tp, bitstr_in_struct);
606         ATF_TP_ADD_TC(tp, bitstr_size);
607         ATF_TP_ADD_TC(tp, bit_ffc_area);
608         ATF_TP_ADD_TC(tp, bit_ffs_area);
609         BITSTRING_TC_ADD(tp, bit_set);
610         BITSTRING_TC_ADD(tp, bit_clear);
611         BITSTRING_TC_ADD(tp, bit_ffs);
612         BITSTRING_TC_ADD(tp, bit_ffc);
613         BITSTRING_TC_ADD(tp, bit_ffs_at);
614         BITSTRING_TC_ADD(tp, bit_ffc_at);
615         BITSTRING_TC_ADD(tp, bit_nclear);
616         BITSTRING_TC_ADD(tp, bit_nset);
617         BITSTRING_TC_ADD(tp, bit_count);
618         BITSTRING_TC_ADD(tp, bit_ffs_area_no_match);
619         BITSTRING_TC_ADD(tp, bit_ffc_area_no_match);
620
621         return (atf_no_error());
622 }