2012-05-20 14:38:46 +01:00
|
|
|
#include <check.h>
|
|
|
|
|
|
|
|
#include "bitset.h"
|
|
|
|
|
2013-07-23 17:22:23 +01:00
|
|
|
#define assert_bitset_is( map, val ) {\
|
|
|
|
uint64_t *num = (uint64_t*) map->bits; \
|
2013-07-23 17:13:40 +01:00
|
|
|
ck_assert_int_eq( val, *num ); \
|
|
|
|
}
|
|
|
|
|
2012-05-20 14:38:46 +01:00
|
|
|
START_TEST(test_bit_set)
|
|
|
|
{
|
2012-05-21 03:17:32 +01:00
|
|
|
uint64_t num = 0;
|
2012-05-20 14:38:46 +01:00
|
|
|
char *bits = (char*) #
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-20 14:38:46 +01:00
|
|
|
#define TEST_BIT_SET(bit, newvalue) \
|
|
|
|
bit_set(bits, (bit)); \
|
|
|
|
fail_unless(num == (newvalue), "num was %x instead of %x", num, (newvalue));
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-20 14:38:46 +01:00
|
|
|
TEST_BIT_SET(0, 1);
|
|
|
|
TEST_BIT_SET(1, 3);
|
|
|
|
TEST_BIT_SET(2, 7);
|
|
|
|
TEST_BIT_SET(7, 0x87);
|
2012-05-21 03:17:32 +01:00
|
|
|
TEST_BIT_SET(63, 0x8000000000000087);
|
2012-05-20 14:38:46 +01:00
|
|
|
}
|
|
|
|
END_TEST
|
|
|
|
|
|
|
|
START_TEST(test_bit_clear)
|
|
|
|
{
|
2012-05-21 03:17:32 +01:00
|
|
|
uint64_t num = 0xffffffffffffffff;
|
2012-05-20 14:38:46 +01:00
|
|
|
char *bits = (char*) #
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-20 14:38:46 +01:00
|
|
|
#define TEST_BIT_CLEAR(bit, newvalue) \
|
|
|
|
bit_clear(bits, (bit)); \
|
|
|
|
fail_unless(num == (newvalue), "num was %x instead of %x", num, (newvalue));
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
TEST_BIT_CLEAR(0, 0xfffffffffffffffe);
|
|
|
|
TEST_BIT_CLEAR(1, 0xfffffffffffffffc);
|
|
|
|
TEST_BIT_CLEAR(2, 0xfffffffffffffff8);
|
|
|
|
TEST_BIT_CLEAR(7, 0xffffffffffffff78);
|
|
|
|
TEST_BIT_CLEAR(63,0x7fffffffffffff78);
|
|
|
|
}
|
|
|
|
END_TEST
|
|
|
|
|
|
|
|
START_TEST(test_bit_tests)
|
|
|
|
{
|
|
|
|
uint64_t num = 0x5555555555555555;
|
|
|
|
char *bits = (char*) #
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
fail_unless(bit_has_value(bits, 0, 1), "bit_has_value malfunction");
|
|
|
|
fail_unless(bit_has_value(bits, 1, 0), "bit_has_value malfunction");
|
|
|
|
fail_unless(bit_has_value(bits, 63, 0), "bit_has_value malfunction");
|
|
|
|
fail_unless(bit_is_set(bits, 0), "bit_is_set malfunction");
|
|
|
|
fail_unless(bit_is_clear(bits, 1), "bit_is_clear malfunction");
|
|
|
|
fail_unless(bit_is_set(bits, 62), "bit_is_set malfunction");
|
|
|
|
fail_unless(bit_is_clear(bits, 63), "bit_is_clear malfunction");
|
|
|
|
}
|
|
|
|
END_TEST
|
|
|
|
|
|
|
|
START_TEST(test_bit_ranges)
|
|
|
|
{
|
|
|
|
char buffer[4160];
|
|
|
|
uint64_t *longs = (unsigned long*) buffer;
|
|
|
|
uint64_t i;
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
memset(buffer, 0, 4160);
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
for (i=0; i<64; i++) {
|
|
|
|
bit_set_range(buffer, i*64, i);
|
|
|
|
fail_unless(
|
2012-06-11 13:57:03 +01:00
|
|
|
longs[i] == (1UL<<i)-1,
|
2012-05-21 03:17:32 +01:00
|
|
|
"longs[%ld] = %lx SHOULD BE %lx",
|
|
|
|
i, longs[i], (1L<<i)-1
|
|
|
|
);
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
fail_unless(longs[i+1] == 0, "bit_set_range overshot at i=%d", i);
|
|
|
|
}
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
for (i=0; i<64; i++) {
|
|
|
|
bit_clear_range(buffer, i*64, i);
|
|
|
|
fail_unless(longs[i] == 0, "bit_clear_range didn't work at i=%d", i);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
END_TEST
|
|
|
|
|
|
|
|
START_TEST(test_bit_runs)
|
|
|
|
{
|
|
|
|
char buffer[256];
|
|
|
|
int i, ptr=0, runs[] = {
|
|
|
|
56,97,22,12,83,1,45,80,85,51,64,40,63,67,75,64,94,81,79,62
|
|
|
|
};
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
memset(buffer,0,256);
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
for (i=0; i < 20; i += 2) {
|
|
|
|
ptr += runs[i];
|
|
|
|
bit_set_range(buffer, ptr, runs[i+1]);
|
|
|
|
ptr += runs[i+1];
|
|
|
|
}
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
ptr = 0;
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
for (i=0; i < 20; i += 1) {
|
2013-08-09 16:49:38 +01:00
|
|
|
int run = bit_run_count(buffer, ptr, 2048-ptr, NULL);
|
2012-05-21 03:17:32 +01:00
|
|
|
fail_unless(
|
|
|
|
run == runs[i],
|
|
|
|
"run %d should have been %d, was %d",
|
|
|
|
i, runs[i], run
|
|
|
|
);
|
|
|
|
ptr += runs[i];
|
|
|
|
}
|
|
|
|
}
|
|
|
|
END_TEST
|
|
|
|
|
|
|
|
START_TEST(test_bitset)
|
|
|
|
{
|
|
|
|
struct bitset_mapping* map;
|
|
|
|
uint64_t *num;
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
map = bitset_alloc(6400, 100);
|
|
|
|
num = (uint64_t*) map->bits;
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
bitset_set_range(map,0,50);
|
|
|
|
ck_assert_int_eq(1, *num);
|
|
|
|
bitset_set_range(map,99,1);
|
|
|
|
ck_assert_int_eq(1, *num);
|
|
|
|
bitset_set_range(map,100,1);
|
|
|
|
ck_assert_int_eq(3, *num);
|
|
|
|
bitset_set_range(map,0,800);
|
|
|
|
ck_assert_int_eq(255, *num);
|
|
|
|
bitset_set_range(map,1499,2);
|
|
|
|
ck_assert_int_eq(0xc0ff, *num);
|
|
|
|
bitset_clear_range(map,1499,2);
|
|
|
|
ck_assert_int_eq(255, *num);
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
*num = 0;
|
|
|
|
bitset_set_range(map, 1499, 2);
|
|
|
|
bitset_clear_range(map, 1300, 200);
|
|
|
|
ck_assert_int_eq(0x8000, *num);
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-21 03:17:32 +01:00
|
|
|
*num = 0;
|
|
|
|
bitset_set_range(map, 0, 6400);
|
|
|
|
ck_assert_int_eq(0xffffffffffffffff, *num);
|
|
|
|
bitset_clear_range(map, 3200, 400);
|
|
|
|
ck_assert_int_eq(0xfffffff0ffffffff, *num);
|
2012-05-20 14:38:46 +01:00
|
|
|
}
|
|
|
|
END_TEST
|
|
|
|
|
2012-06-22 10:05:41 +01:00
|
|
|
|
|
|
|
START_TEST( test_bitset_set )
|
|
|
|
{
|
|
|
|
struct bitset_mapping* map;
|
2013-07-25 10:58:50 +01:00
|
|
|
uint64_t run;
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-06-22 10:05:41 +01:00
|
|
|
map = bitset_alloc(64, 1);
|
|
|
|
|
2013-07-24 15:08:29 +01:00
|
|
|
assert_bitset_is( map, 0x0000000000000000 );
|
|
|
|
bitset_set( map );
|
|
|
|
assert_bitset_is( map, 0xffffffffffffffff );
|
2013-09-11 16:09:27 +01:00
|
|
|
bitset_free( map );
|
2013-07-24 15:08:29 +01:00
|
|
|
|
|
|
|
map = bitset_alloc( 6400, 100 );
|
|
|
|
assert_bitset_is( map, 0x0000000000000000 );
|
2012-06-22 10:05:41 +01:00
|
|
|
bitset_set( map );
|
2013-07-24 15:08:29 +01:00
|
|
|
assert_bitset_is( map, 0xffffffffffffffff );
|
2013-09-11 16:09:27 +01:00
|
|
|
bitset_free( map );
|
2013-07-25 10:58:50 +01:00
|
|
|
|
|
|
|
// Now do something large and representative
|
|
|
|
map = bitset_alloc( 53687091200, 4096 );
|
|
|
|
bitset_set( map );
|
|
|
|
|
|
|
|
run = bitset_run_count( map, 0, 53687091200 );
|
|
|
|
ck_assert_int_eq( run, 53687091200 );
|
2013-09-11 16:09:27 +01:00
|
|
|
bitset_free( map );
|
2013-07-25 10:58:50 +01:00
|
|
|
|
|
|
|
|
2012-06-22 10:05:41 +01:00
|
|
|
}
|
|
|
|
END_TEST
|
|
|
|
|
|
|
|
|
|
|
|
START_TEST( test_bitset_clear )
|
|
|
|
{
|
|
|
|
struct bitset_mapping* map;
|
|
|
|
uint64_t *num;
|
2013-07-25 10:58:50 +01:00
|
|
|
uint64_t run;
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-06-22 10:05:41 +01:00
|
|
|
map = bitset_alloc(64, 1);
|
|
|
|
num = (uint64_t*) map->bits;
|
|
|
|
|
|
|
|
ck_assert_int_eq( 0x0000000000000000, *num );
|
|
|
|
bitset_set( map );
|
|
|
|
bitset_clear( map );
|
|
|
|
ck_assert_int_eq( 0x0000000000000000, *num );
|
2013-07-25 10:58:50 +01:00
|
|
|
|
2013-09-11 16:09:27 +01:00
|
|
|
bitset_free( map );
|
2013-07-25 10:58:50 +01:00
|
|
|
|
|
|
|
// Now do something large and representative
|
|
|
|
map = bitset_alloc( 53687091200, 4096 );
|
|
|
|
bitset_set( map );
|
|
|
|
bitset_clear( map );
|
|
|
|
run = bitset_run_count( map, 0, 53687091200 );
|
|
|
|
ck_assert_int_eq( run, 53687091200 );
|
2013-09-11 16:09:27 +01:00
|
|
|
bitset_free( map );
|
2013-07-25 10:58:50 +01:00
|
|
|
}
|
|
|
|
END_TEST
|
|
|
|
|
|
|
|
START_TEST( test_bitset_set_range )
|
|
|
|
{
|
|
|
|
struct bitset_mapping* map = bitset_alloc( 64, 1 );
|
|
|
|
assert_bitset_is( map, 0x0000000000000000 );
|
|
|
|
|
|
|
|
bitset_set_range( map, 8, 8 );
|
|
|
|
assert_bitset_is( map, 0x000000000000ff00 );
|
|
|
|
|
2013-07-26 17:09:21 +01:00
|
|
|
bitset_clear( map );
|
|
|
|
assert_bitset_is( map, 0x0000000000000000 );
|
|
|
|
bitset_set_range( map, 0, 0 );
|
|
|
|
assert_bitset_is( map, 0x0000000000000000 );
|
|
|
|
|
2013-09-11 16:09:27 +01:00
|
|
|
bitset_free( map );
|
2013-07-25 10:58:50 +01:00
|
|
|
}
|
|
|
|
END_TEST
|
|
|
|
|
|
|
|
START_TEST( test_bitset_clear_range )
|
|
|
|
{
|
|
|
|
struct bitset_mapping* map = bitset_alloc( 64, 1 );
|
|
|
|
bitset_set( map );
|
|
|
|
assert_bitset_is( map, 0xffffffffffffffff );
|
|
|
|
|
|
|
|
bitset_clear_range( map, 8, 8 );
|
|
|
|
assert_bitset_is( map, 0xffffffffffff00ff );
|
|
|
|
|
2013-07-26 17:09:21 +01:00
|
|
|
bitset_set( map );
|
|
|
|
assert_bitset_is( map, 0xffffffffffffffff );
|
|
|
|
bitset_clear_range( map, 0, 0 );
|
|
|
|
assert_bitset_is( map, 0xffffffffffffffff );
|
|
|
|
|
2013-09-11 16:09:27 +01:00
|
|
|
bitset_free( map );
|
2012-06-22 10:05:41 +01:00
|
|
|
}
|
|
|
|
END_TEST
|
|
|
|
|
2013-07-23 17:13:40 +01:00
|
|
|
START_TEST( test_bitset_run_count )
|
|
|
|
{
|
|
|
|
struct bitset_mapping* map = bitset_alloc( 64, 1 );
|
|
|
|
uint64_t run;
|
|
|
|
|
2013-07-23 17:22:23 +01:00
|
|
|
assert_bitset_is( map, 0x0000000000000000 );
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2013-07-24 17:42:08 +01:00
|
|
|
run = bitset_run_count( map, 0, 64 );
|
|
|
|
ck_assert_int_eq( 64, run );
|
|
|
|
|
2013-07-23 17:13:40 +01:00
|
|
|
bitset_set_range( map, 0, 32 );
|
|
|
|
assert_bitset_is( map, 0x00000000ffffffff );
|
|
|
|
|
|
|
|
run = bitset_run_count( map, 0, 64 );
|
|
|
|
ck_assert_int_eq( 32, run );
|
|
|
|
|
|
|
|
run = bitset_run_count( map, 0, 16 );
|
|
|
|
ck_assert_int_eq( 16, run );
|
|
|
|
|
|
|
|
run = bitset_run_count( map, 16, 64 );
|
|
|
|
ck_assert_int_eq( 16, run );
|
|
|
|
|
|
|
|
run = bitset_run_count( map, 31, 64 );
|
|
|
|
ck_assert_int_eq( 1, run );
|
|
|
|
|
|
|
|
run = bitset_run_count( map, 32, 64 );
|
|
|
|
ck_assert_int_eq( 32, run );
|
|
|
|
|
|
|
|
run = bitset_run_count( map, 32, 32 );
|
|
|
|
ck_assert_int_eq( 32, run );
|
|
|
|
|
|
|
|
run = bitset_run_count( map, 32, 16 );
|
|
|
|
ck_assert_int_eq( 16, run );
|
|
|
|
|
2013-09-11 16:09:27 +01:00
|
|
|
bitset_free( map );
|
2013-07-23 17:13:40 +01:00
|
|
|
|
|
|
|
map = bitset_alloc( 6400, 100 );
|
2013-07-24 17:42:08 +01:00
|
|
|
assert_bitset_is( map, 0x0000000000000000 );
|
|
|
|
|
|
|
|
run = bitset_run_count( map, 0, 6400 );
|
|
|
|
ck_assert_int_eq( 6400, run );
|
|
|
|
|
2013-07-23 17:13:40 +01:00
|
|
|
bitset_set_range( map, 0, 3200 );
|
|
|
|
|
|
|
|
run = bitset_run_count( map, 0, 6400 );
|
|
|
|
ck_assert_int_eq( 3200, run );
|
|
|
|
|
|
|
|
run = bitset_run_count( map, 1, 6400 );
|
|
|
|
ck_assert_int_eq( 3199, run );
|
|
|
|
|
|
|
|
run = bitset_run_count( map, 3200, 6400 );
|
|
|
|
ck_assert_int_eq( 3200, run );
|
|
|
|
|
|
|
|
run = bitset_run_count( map, 6500, 6400 );
|
|
|
|
ck_assert_int_eq( 0, run );
|
2013-09-11 16:09:27 +01:00
|
|
|
bitset_free( map );
|
2013-07-24 17:42:08 +01:00
|
|
|
|
|
|
|
// Now do something large and representative
|
|
|
|
map = bitset_alloc( 53687091200, 4096 );
|
|
|
|
bitset_set( map );
|
|
|
|
run = bitset_run_count( map, 0, 53687091200 );
|
|
|
|
ck_assert_int_eq( run, 53687091200 );
|
|
|
|
|
2013-09-11 16:09:27 +01:00
|
|
|
bitset_free( map );
|
2013-07-24 17:42:08 +01:00
|
|
|
|
2013-07-23 17:13:40 +01:00
|
|
|
}
|
|
|
|
END_TEST
|
2012-06-22 10:05:41 +01:00
|
|
|
|
2012-06-11 13:57:03 +01:00
|
|
|
Suite* bitset_suite(void)
|
2012-05-20 14:38:46 +01:00
|
|
|
{
|
|
|
|
Suite *s = suite_create("bitset");
|
2012-06-22 10:05:41 +01:00
|
|
|
TCase *tc_bit = tcase_create("bit");
|
|
|
|
TCase *tc_bitset = tcase_create("bitset");
|
|
|
|
tcase_add_test(tc_bit, test_bit_set);
|
|
|
|
tcase_add_test(tc_bit, test_bit_clear);
|
|
|
|
tcase_add_test(tc_bit, test_bit_tests);
|
|
|
|
tcase_add_test(tc_bit, test_bit_ranges);
|
|
|
|
tcase_add_test(tc_bit, test_bit_runs);
|
|
|
|
tcase_add_test(tc_bitset, test_bitset);
|
|
|
|
tcase_add_test(tc_bitset, test_bitset_set);
|
|
|
|
tcase_add_test(tc_bitset, test_bitset_clear);
|
2013-07-23 17:13:40 +01:00
|
|
|
tcase_add_test(tc_bitset, test_bitset_run_count);
|
2013-07-25 10:58:50 +01:00
|
|
|
tcase_add_test(tc_bitset, test_bitset_set_range);
|
|
|
|
tcase_add_test(tc_bitset, test_bitset_clear_range);
|
2012-06-22 10:05:41 +01:00
|
|
|
suite_add_tcase(s, tc_bit);
|
|
|
|
suite_add_tcase(s, tc_bitset);
|
2013-07-23 17:13:40 +01:00
|
|
|
|
2012-05-20 14:38:46 +01:00
|
|
|
return s;
|
|
|
|
}
|
|
|
|
|
|
|
|
int main(void)
|
|
|
|
{
|
|
|
|
int number_failed;
|
|
|
|
Suite *s = bitset_suite();
|
|
|
|
SRunner *sr = srunner_create(s);
|
|
|
|
srunner_run_all(sr, CK_NORMAL);
|
|
|
|
number_failed = srunner_ntests_failed(sr);
|
|
|
|
srunner_free(sr);
|
|
|
|
return (number_failed == 0) ? 0 : 1;
|
|
|
|
}
|
2012-05-21 03:17:32 +01:00
|
|
|
|