122514Sdarrenr/* $NetBSD: t_bitstring.c,v 1.4 2012/03/25 06:54:04 joerg Exp $ */ 253024Sguido 322514Sdarrenr/*- 431183Speter * Copyright (c) 1993, 2008, 2010 The NetBSD Foundation, Inc. 531183Speter * All rights reserved. 631183Speter * 722514Sdarrenr * Redistribution and use in source and binary forms, with or without 831183Speter * modification, are permitted provided that the following conditions 931183Speter * are met: 1031183Speter * 1. Redistributions of source code must retain the above copyright 1122514Sdarrenr * notice, this list of conditions and the following disclaimer. 1222514Sdarrenr * 2. Redistributions in binary form must reproduce the above copyright 1322514Sdarrenr * notice, this list of conditions and the following disclaimer in the 1431183Speter * documentation and/or other materials provided with the distribution. 1522514Sdarrenr * 1622514Sdarrenr * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 1722514Sdarrenr * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 1822514Sdarrenr * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 1931183Speter * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 2031183Speter * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 2131183Speter * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 2222514Sdarrenr * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 2331183Speter * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 2431183Speter * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 2531183Speter * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 2631183Speter * POSSIBILITY OF SUCH DAMAGE. 2731183Speter */ 2831183Speter 2931183Speter#include <assert.h> 3031183Speter#include <bitstring.h> 3131183Speter#include <stdio.h> 3231183Speter#include <stdlib.h> 3322514Sdarrenr 3422514Sdarrenr#include <atf-c.h> 3522514Sdarrenr 3622514Sdarrenrstatic void 3722514Sdarrenrclearbits(bitstr_t *b, int n) 3822514Sdarrenr{ 3931183Speter int i = bitstr_size(n); 4022514Sdarrenr 4122514Sdarrenr while(i--) 4222514Sdarrenr *(b + i) = 0; 4331183Speter} 4431183Speter 4531183Speterstatic void 4631183Speterprintbits(FILE *file, bitstr_t *b, int n) 4731183Speter{ 4831183Speter int i; 4931183Speter int jc, js; 5031183Speter 5131183Speter bit_ffc(b, n, &jc); 5231183Speter bit_ffs(b, n, &js); 5331183Speter 5431183Speter (void) fprintf(file, "%3d %3d ", jc, js); 5531183Speter 5631183Speter for (i=0; i < n; i++) { 5731183Speter (void) fprintf(file, "%c", (bit_test(b, i) ? '1' : '0')); 5831183Speter } 5931183Speter 6031183Speter (void) fprintf(file, "%c", '\n'); 6131183Speter} 6222514Sdarrenr 6322514Sdarrenrstatic void 6422514Sdarrenrcalculate_data(FILE *file, const int test_length) 6526119Sdarrenr{ 6626119Sdarrenr int i; 6726119Sdarrenr bitstr_t *bs; 6822514Sdarrenr 6922514Sdarrenr assert(test_length >= 4); 7053024Sguido 7122514Sdarrenr (void) fprintf(file, "Testing with TEST_LENGTH = %d\n\n", test_length); 7222514Sdarrenr 7322514Sdarrenr (void) fprintf(file, "test _bit_byte, _bit_mask, and bitstr_size\n"); 7422514Sdarrenr (void) fprintf(file, " i _bit_byte(i) _bit_mask(i) bitstr_size(i)\n"); 7522514Sdarrenr 7622514Sdarrenr for (i=0; i < test_length; i++) { 7722514Sdarrenr (void) fprintf(file, "%3d%15u%15u%15zu\n", 7853024Sguido i, _bit_byte(i), _bit_mask(i), bitstr_size(i)); 7922514Sdarrenr } 8022514Sdarrenr 8122514Sdarrenr bs = bit_alloc(test_length); 8222514Sdarrenr clearbits(bs, test_length); 8322514Sdarrenr (void) fprintf(file, "\ntest bit_alloc, clearbits, bit_ffc, bit_ffs\n"); 8422514Sdarrenr (void) fprintf(file, "be: 0 -1 "); 8522514Sdarrenr for (i=0; i < test_length; i++) 8653024Sguido (void) fprintf(file, "%c", '0'); 8753024Sguido (void) fprintf(file, "\nis: "); 8822514Sdarrenr printbits(file, bs, test_length); 8922514Sdarrenr 9022514Sdarrenr (void) fprintf(file, "\ntest bit_set\n"); 9122514Sdarrenr for (i=0; i < test_length; i+=3) 9222514Sdarrenr bit_set(bs, i); 9322514Sdarrenr (void) fprintf(file, "be: 1 0 "); 9422514Sdarrenr for (i=0; i < test_length; i++) 9553024Sguido (void) fprintf(file, "%c", "100"[i % 3]); 9622514Sdarrenr (void) fprintf(file, "\nis: "); 9722514Sdarrenr printbits(file, bs, test_length); 9822514Sdarrenr 9922514Sdarrenr (void) fprintf(file, "\ntest bit_clear\n"); 10022514Sdarrenr for (i=0; i < test_length; i+=6) 10122514Sdarrenr bit_clear(bs, i); 10222514Sdarrenr (void) fprintf(file, "be: 0 3 "); 10353024Sguido for (i=0; i < test_length; i++) 10422514Sdarrenr (void) fprintf(file, "%c", "000100"[i % 6]); 10531183Speter (void) fprintf(file, "\nis: "); 10622514Sdarrenr printbits(file, bs, test_length); 10731183Speter 10822514Sdarrenr (void) fprintf(file, "\ntest bit_test using previous bitstring\n"); 10922514Sdarrenr (void) fprintf(file, " i bit_test(i)\n"); 11031183Speter for (i=0; i < test_length; i++) 11131183Speter (void) fprintf(file, "%3d%15d\n", i, bit_test(bs, i)); 11222514Sdarrenr 11331183Speter clearbits(bs, test_length); 11431183Speter (void) fprintf(file, "\ntest clearbits\n"); 11531183Speter (void) fprintf(file, "be: 0 -1 "); 11631183Speter for (i=0; i < test_length; i++) 11722514Sdarrenr (void) fprintf(file, "%c", '0'); 11831183Speter (void) fprintf(file, "\nis: "); 11931183Speter printbits(file, bs, test_length); 12022514Sdarrenr 12131183Speter (void) fprintf(file, "\ntest bit_nset and bit_nclear\n"); 12231183Speter bit_nset(bs, 1, test_length - 2); 12353024Sguido (void) fprintf(file, "be: 0 1 0"); 12431183Speter for (i=0; i < test_length - 2; i++) 12531183Speter (void) fprintf(file, "%c", '1'); 12631183Speter (void) fprintf(file, "0\nis: "); 12731183Speter printbits(file, bs, test_length); 12822514Sdarrenr 12931183Speter bit_nclear(bs, 2, test_length - 3); 13031183Speter (void) fprintf(file, "be: 0 1 01"); 13153024Sguido for (i=0; i < test_length - 4; i++) 13231183Speter (void) fprintf(file, "%c", '0'); 13331183Speter (void) fprintf(file, "10\nis: "); 13431183Speter printbits(file, bs, test_length); 13531183Speter 13631183Speter bit_nclear(bs, 0, test_length - 1); 13731183Speter (void) fprintf(file, "be: 0 -1 "); 13831183Speter for (i=0; i < test_length; i++) 13931183Speter (void) fprintf(file, "%c", '0'); 14022514Sdarrenr (void) fprintf(file, "\nis: "); 14131183Speter printbits(file, bs, test_length); 14222514Sdarrenr bit_nset(bs, 0, test_length - 2); 14322514Sdarrenr (void) fprintf(file, "be: %3d 0 ",test_length - 1); 14431183Speter for (i=0; i < test_length - 1; i++) 14522514Sdarrenr (void) fprintf(file, "%c", '1'); 14631183Speter fprintf(file, "%c", '0'); 14731183Speter (void) fprintf(file, "\nis: "); 14831183Speter printbits(file, bs, test_length); 14931183Speter bit_nclear(bs, 0, test_length - 1); 15031183Speter (void) fprintf(file, "be: 0 -1 "); 15131183Speter for (i=0; i < test_length; i++) 15231183Speter (void) fprintf(file, "%c", '0'); 15331183Speter (void) fprintf(file, "\nis: "); 15431183Speter printbits(file, bs, test_length); 15531183Speter 15631183Speter (void) fprintf(file, "\n"); 15731183Speter (void) fprintf(file, "first 1 bit should move right 1 position each line\n"); 15831183Speter for (i=0; i < test_length; i++) { 15931183Speter bit_nclear(bs, 0, test_length - 1); 16031183Speter bit_nset(bs, i, test_length - 1); 16131183Speter (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length); 16231183Speter } 16331183Speter 16431183Speter (void) fprintf(file, "\n"); 16531183Speter (void) fprintf(file, "first 0 bit should move right 1 position each line\n"); 16631183Speter for (i=0; i < test_length; i++) { 16731183Speter bit_nset(bs, 0, test_length - 1); 16831183Speter bit_nclear(bs, i, test_length - 1); 16931183Speter (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length); 17022514Sdarrenr } 17122514Sdarrenr 17231183Speter (void) fprintf(file, "\n"); 17331183Speter (void) fprintf(file, "first 0 bit should move left 1 position each line\n"); 17431183Speter for (i=0; i < test_length; i++) { 17531183Speter bit_nclear(bs, 0, test_length - 1); 17631183Speter bit_nset(bs, 0, test_length - 1 - i); 17731183Speter (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 207static void 208one_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 227ATF_TC(bits_8); 228ATF_TC_HEAD(bits_8, tc) 229{ 230 atf_tc_set_md_var(tc, "descr", "Checks 8-bit long bitstrings"); 231} 232ATF_TC_BODY(bits_8, tc) 233{ 234 one_check(tc, 8); 235} 236 237ATF_TC(bits_27); 238ATF_TC_HEAD(bits_27, tc) 239{ 240 atf_tc_set_md_var(tc, "descr", "Checks 27-bit long bitstrings"); 241} 242ATF_TC_BODY(bits_27, tc) 243{ 244 one_check(tc, 27); 245} 246 247ATF_TC(bits_32); 248ATF_TC_HEAD(bits_32, tc) 249{ 250 atf_tc_set_md_var(tc, "descr", "Checks 32-bit long bitstrings"); 251} 252ATF_TC_BODY(bits_32, tc) 253{ 254 one_check(tc, 32); 255} 256 257ATF_TC(bits_49); 258ATF_TC_HEAD(bits_49, tc) 259{ 260 atf_tc_set_md_var(tc, "descr", "Checks 49-bit long bitstrings"); 261} 262ATF_TC_BODY(bits_49, tc) 263{ 264 one_check(tc, 49); 265} 266 267ATF_TC(bits_64); 268ATF_TC_HEAD(bits_64, tc) 269{ 270 atf_tc_set_md_var(tc, "descr", "Checks 64-bit long bitstrings"); 271} 272ATF_TC_BODY(bits_64, tc) 273{ 274 one_check(tc, 64); 275} 276 277ATF_TC(bits_67); 278ATF_TC_HEAD(bits_67, tc) 279{ 280 atf_tc_set_md_var(tc, "descr", "Checks 67-bit long bitstrings"); 281} 282ATF_TC_BODY(bits_67, tc) 283{ 284 one_check(tc, 67); 285} 286 287ATF_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