1 /* $NetBSD: t_bitstring.c,v 1.4 2012/03/25 06:54:04 joerg Exp $ */
2
3 /*-
4 * Copyright (c) 1993, 2008, 2010 The NetBSD Foundation, Inc.
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
15 *
16 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26 * POSSIBILITY OF SUCH DAMAGE.
27 */
28
29 #include <assert.h>
30 #include <bitstring.h>
31 #include <stdio.h>
32 #include <stdlib.h>
33
34 #include <atf-c.h>
35
36 static void
clearbits(bitstr_t * b,int n)37 clearbits(bitstr_t *b, int n)
38 {
39 int i = bitstr_size(n);
40
41 while(i--)
42 *(b + i) = 0;
43 }
44
45 static void
printbits(FILE * file,bitstr_t * b,int n)46 printbits(FILE *file, bitstr_t *b, int n)
47 {
48 int i;
49 int jc, js;
50
51 bit_ffc(b, n, &jc);
52 bit_ffs(b, n, &js);
53
54 (void) fprintf(file, "%3d %3d ", jc, js);
55
56 for (i=0; i < n; i++) {
57 (void) fprintf(file, "%c", (bit_test(b, i) ? '1' : '0'));
58 }
59
60 (void) fprintf(file, "%c", '\n');
61 }
62
63 static void
calculate_data(FILE * file,const int test_length)64 calculate_data(FILE *file, const int test_length)
65 {
66 int i;
67 bitstr_t *bs;
68
69 assert(test_length >= 4);
70
71 (void) fprintf(file, "Testing with TEST_LENGTH = %d\n\n", test_length);
72
73 (void) fprintf(file, "test _bit_byte, _bit_mask, and bitstr_size\n");
74 (void) fprintf(file, " i _bit_byte(i) _bit_mask(i) bitstr_size(i)\n");
75
76 for (i=0; i < test_length; i++) {
77 (void) fprintf(file, "%3d%15u%15u%15zu\n",
78 i, _bit_byte(i), _bit_mask(i), bitstr_size(i));
79 }
80
81 bs = bit_alloc(test_length);
82 clearbits(bs, test_length);
83 (void) fprintf(file, "\ntest bit_alloc, clearbits, bit_ffc, bit_ffs\n");
84 (void) fprintf(file, "be: 0 -1 ");
85 for (i=0; i < test_length; i++)
86 (void) fprintf(file, "%c", '0');
87 (void) fprintf(file, "\nis: ");
88 printbits(file, bs, test_length);
89
90 (void) fprintf(file, "\ntest bit_set\n");
91 for (i=0; i < test_length; i+=3)
92 bit_set(bs, i);
93 (void) fprintf(file, "be: 1 0 ");
94 for (i=0; i < test_length; i++)
95 (void) fprintf(file, "%c", "100"[i % 3]);
96 (void) fprintf(file, "\nis: ");
97 printbits(file, bs, test_length);
98
99 (void) fprintf(file, "\ntest bit_clear\n");
100 for (i=0; i < test_length; i+=6)
101 bit_clear(bs, i);
102 (void) fprintf(file, "be: 0 3 ");
103 for (i=0; i < test_length; i++)
104 (void) fprintf(file, "%c", "000100"[i % 6]);
105 (void) fprintf(file, "\nis: ");
106 printbits(file, bs, test_length);
107
108 (void) fprintf(file, "\ntest bit_test using previous bitstring\n");
109 (void) fprintf(file, " i bit_test(i)\n");
110 for (i=0; i < test_length; i++)
111 (void) fprintf(file, "%3d%15d\n", i, bit_test(bs, i));
112
113 clearbits(bs, test_length);
114 (void) fprintf(file, "\ntest clearbits\n");
115 (void) fprintf(file, "be: 0 -1 ");
116 for (i=0; i < test_length; i++)
117 (void) fprintf(file, "%c", '0');
118 (void) fprintf(file, "\nis: ");
119 printbits(file, bs, test_length);
120
121 (void) fprintf(file, "\ntest bit_nset and bit_nclear\n");
122 bit_nset(bs, 1, test_length - 2);
123 (void) fprintf(file, "be: 0 1 0");
124 for (i=0; i < test_length - 2; i++)
125 (void) fprintf(file, "%c", '1');
126 (void) fprintf(file, "0\nis: ");
127 printbits(file, bs, test_length);
128
129 bit_nclear(bs, 2, test_length - 3);
130 (void) fprintf(file, "be: 0 1 01");
131 for (i=0; i < test_length - 4; i++)
132 (void) fprintf(file, "%c", '0');
133 (void) fprintf(file, "10\nis: ");
134 printbits(file, bs, test_length);
135
136 bit_nclear(bs, 0, test_length - 1);
137 (void) fprintf(file, "be: 0 -1 ");
138 for (i=0; i < test_length; i++)
139 (void) fprintf(file, "%c", '0');
140 (void) fprintf(file, "\nis: ");
141 printbits(file, bs, test_length);
142 bit_nset(bs, 0, test_length - 2);
143 (void) fprintf(file, "be: %3d 0 ",test_length - 1);
144 for (i=0; i < test_length - 1; i++)
145 (void) fprintf(file, "%c", '1');
146 fprintf(file, "%c", '0');
147 (void) fprintf(file, "\nis: ");
148 printbits(file, bs, test_length);
149 bit_nclear(bs, 0, test_length - 1);
150 (void) fprintf(file, "be: 0 -1 ");
151 for (i=0; i < test_length; i++)
152 (void) fprintf(file, "%c", '0');
153 (void) fprintf(file, "\nis: ");
154 printbits(file, bs, test_length);
155
156 (void) fprintf(file, "\n");
157 (void) fprintf(file, "first 1 bit should move right 1 position each line\n");
158 for (i=0; i < test_length; i++) {
159 bit_nclear(bs, 0, test_length - 1);
160 bit_nset(bs, i, test_length - 1);
161 (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length);
162 }
163
164 (void) fprintf(file, "\n");
165 (void) fprintf(file, "first 0 bit should move right 1 position each line\n");
166 for (i=0; i < test_length; i++) {
167 bit_nset(bs, 0, test_length - 1);
168 bit_nclear(bs, i, test_length - 1);
169 (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length);
170 }
171
172 (void) fprintf(file, "\n");
173 (void) fprintf(file, "first 0 bit should move left 1 position each line\n");
174 for (i=0; i < test_length; i++) {
175 bit_nclear(bs, 0, test_length - 1);
176 bit_nset(bs, 0, test_length - 1 - i);
177 (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length);
178 }
179
180 (void) fprintf(file, "\n");
181 (void) fprintf(file, "first 1 bit should move left 1 position each line\n");
182 for (i=0; i < test_length; i++) {
183 bit_nset(bs, 0, test_length - 1);
184 bit_nclear(bs, 0, test_length - 1 - i);
185 (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length);
186 }
187
188 (void) fprintf(file, "\n");
189 (void) fprintf(file, "0 bit should move right 1 position each line\n");
190 for (i=0; i < test_length; i++) {
191 bit_nset(bs, 0, test_length - 1);
192 bit_nclear(bs, i, i);
193 (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length);
194 }
195
196 (void) fprintf(file, "\n");
197 (void) fprintf(file, "1 bit should move right 1 position each line\n");
198 for (i=0; i < test_length; i++) {
199 bit_nclear(bs, 0, test_length - 1);
200 bit_nset(bs, i, i);
201 (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length);
202 }
203
204 (void) free(bs);
205 }
206
207 static void
one_check(const atf_tc_t * tc,const int test_length)208 one_check(const atf_tc_t *tc, const int test_length)
209 {
210 FILE *out;
211 char command[1024];
212
213 ATF_REQUIRE((out = fopen("out", "w")) != NULL);
214 calculate_data(out, test_length);
215 fclose(out);
216
217 /* XXX The following is a huge hack that was added to simplify the
218 * conversion of these tests from src/regress/ to src/tests/. The
219 * tests in this file should be checking their own results, without
220 * having to resort to external data files. */
221 snprintf(command, sizeof(command), "diff -u %s/d_bitstring_%d.out out",
222 atf_tc_get_config_var(tc, "srcdir"), test_length);
223 if (system(command) != EXIT_SUCCESS)
224 atf_tc_fail("Test failed; see output for details");
225 }
226
227 ATF_TC(bits_8);
ATF_TC_HEAD(bits_8,tc)228 ATF_TC_HEAD(bits_8, tc)
229 {
230 atf_tc_set_md_var(tc, "descr", "Checks 8-bit long bitstrings");
231 }
ATF_TC_BODY(bits_8,tc)232 ATF_TC_BODY(bits_8, tc)
233 {
234 one_check(tc, 8);
235 }
236
237 ATF_TC(bits_27);
ATF_TC_HEAD(bits_27,tc)238 ATF_TC_HEAD(bits_27, tc)
239 {
240 atf_tc_set_md_var(tc, "descr", "Checks 27-bit long bitstrings");
241 }
ATF_TC_BODY(bits_27,tc)242 ATF_TC_BODY(bits_27, tc)
243 {
244 one_check(tc, 27);
245 }
246
247 ATF_TC(bits_32);
ATF_TC_HEAD(bits_32,tc)248 ATF_TC_HEAD(bits_32, tc)
249 {
250 atf_tc_set_md_var(tc, "descr", "Checks 32-bit long bitstrings");
251 }
ATF_TC_BODY(bits_32,tc)252 ATF_TC_BODY(bits_32, tc)
253 {
254 one_check(tc, 32);
255 }
256
257 ATF_TC(bits_49);
ATF_TC_HEAD(bits_49,tc)258 ATF_TC_HEAD(bits_49, tc)
259 {
260 atf_tc_set_md_var(tc, "descr", "Checks 49-bit long bitstrings");
261 }
ATF_TC_BODY(bits_49,tc)262 ATF_TC_BODY(bits_49, tc)
263 {
264 one_check(tc, 49);
265 }
266
267 ATF_TC(bits_64);
ATF_TC_HEAD(bits_64,tc)268 ATF_TC_HEAD(bits_64, tc)
269 {
270 atf_tc_set_md_var(tc, "descr", "Checks 64-bit long bitstrings");
271 }
ATF_TC_BODY(bits_64,tc)272 ATF_TC_BODY(bits_64, tc)
273 {
274 one_check(tc, 64);
275 }
276
277 ATF_TC(bits_67);
ATF_TC_HEAD(bits_67,tc)278 ATF_TC_HEAD(bits_67, tc)
279 {
280 atf_tc_set_md_var(tc, "descr", "Checks 67-bit long bitstrings");
281 }
ATF_TC_BODY(bits_67,tc)282 ATF_TC_BODY(bits_67, tc)
283 {
284 one_check(tc, 67);
285 }
286
ATF_TP_ADD_TCS(tp)287 ATF_TP_ADD_TCS(tp)
288 {
289
290 ATF_TP_ADD_TC(tp, bits_8);
291 ATF_TP_ADD_TC(tp, bits_27);
292 ATF_TP_ADD_TC(tp, bits_32);
293 ATF_TP_ADD_TC(tp, bits_49);
294 ATF_TP_ADD_TC(tp, bits_64);
295 ATF_TP_ADD_TC(tp, bits_67);
296
297 return atf_no_error();
298 }
299