1*c3f8962fSAlex Bennée /*
2*c3f8962fSAlex Bennée * Test bit count routines
3*c3f8962fSAlex Bennée *
4*c3f8962fSAlex Bennée * This work is licensed under the terms of the GNU LGPL, version 2 or later.
5*c3f8962fSAlex Bennée * See the COPYING.LIB file in the top-level directory.
6*c3f8962fSAlex Bennée *
7*c3f8962fSAlex Bennée */
8*c3f8962fSAlex Bennée
9*c3f8962fSAlex Bennée #include "qemu/osdep.h"
10*c3f8962fSAlex Bennée #include "qemu/host-utils.h"
11*c3f8962fSAlex Bennée
12*c3f8962fSAlex Bennée struct bitcnt_test_data {
13*c3f8962fSAlex Bennée /* value to count */
14*c3f8962fSAlex Bennée union {
15*c3f8962fSAlex Bennée uint8_t w8;
16*c3f8962fSAlex Bennée uint16_t w16;
17*c3f8962fSAlex Bennée uint32_t w32;
18*c3f8962fSAlex Bennée uint64_t w64;
19*c3f8962fSAlex Bennée } value;
20*c3f8962fSAlex Bennée /* expected result */
21*c3f8962fSAlex Bennée int popct;
22*c3f8962fSAlex Bennée };
23*c3f8962fSAlex Bennée
24*c3f8962fSAlex Bennée struct bitcnt_test_data eight_bit_data[] = {
25*c3f8962fSAlex Bennée { { .w8 = 0x00 }, .popct=0 },
26*c3f8962fSAlex Bennée { { .w8 = 0x01 }, .popct=1 },
27*c3f8962fSAlex Bennée { { .w8 = 0x03 }, .popct=2 },
28*c3f8962fSAlex Bennée { { .w8 = 0x04 }, .popct=1 },
29*c3f8962fSAlex Bennée { { .w8 = 0x0f }, .popct=4 },
30*c3f8962fSAlex Bennée { { .w8 = 0x3f }, .popct=6 },
31*c3f8962fSAlex Bennée { { .w8 = 0x40 }, .popct=1 },
32*c3f8962fSAlex Bennée { { .w8 = 0xf0 }, .popct=4 },
33*c3f8962fSAlex Bennée { { .w8 = 0x7f }, .popct=7 },
34*c3f8962fSAlex Bennée { { .w8 = 0x80 }, .popct=1 },
35*c3f8962fSAlex Bennée { { .w8 = 0xf1 }, .popct=5 },
36*c3f8962fSAlex Bennée { { .w8 = 0xfe }, .popct=7 },
37*c3f8962fSAlex Bennée { { .w8 = 0xff }, .popct=8 },
38*c3f8962fSAlex Bennée };
39*c3f8962fSAlex Bennée
test_ctpop8(void)40*c3f8962fSAlex Bennée static void test_ctpop8(void)
41*c3f8962fSAlex Bennée {
42*c3f8962fSAlex Bennée int i;
43*c3f8962fSAlex Bennée
44*c3f8962fSAlex Bennée for (i = 0; i < ARRAY_SIZE(eight_bit_data); i++) {
45*c3f8962fSAlex Bennée struct bitcnt_test_data *d = &eight_bit_data[i];
46*c3f8962fSAlex Bennée g_assert(ctpop8(d->value.w8)==d->popct);
47*c3f8962fSAlex Bennée }
48*c3f8962fSAlex Bennée }
49*c3f8962fSAlex Bennée
50*c3f8962fSAlex Bennée struct bitcnt_test_data sixteen_bit_data[] = {
51*c3f8962fSAlex Bennée { { .w16 = 0x0000 }, .popct=0 },
52*c3f8962fSAlex Bennée { { .w16 = 0x0001 }, .popct=1 },
53*c3f8962fSAlex Bennée { { .w16 = 0x0003 }, .popct=2 },
54*c3f8962fSAlex Bennée { { .w16 = 0x000f }, .popct=4 },
55*c3f8962fSAlex Bennée { { .w16 = 0x003f }, .popct=6 },
56*c3f8962fSAlex Bennée { { .w16 = 0x00f0 }, .popct=4 },
57*c3f8962fSAlex Bennée { { .w16 = 0x0f0f }, .popct=8 },
58*c3f8962fSAlex Bennée { { .w16 = 0x1f1f }, .popct=10 },
59*c3f8962fSAlex Bennée { { .w16 = 0x4000 }, .popct=1 },
60*c3f8962fSAlex Bennée { { .w16 = 0x4001 }, .popct=2 },
61*c3f8962fSAlex Bennée { { .w16 = 0x7000 }, .popct=3 },
62*c3f8962fSAlex Bennée { { .w16 = 0x7fff }, .popct=15 },
63*c3f8962fSAlex Bennée };
64*c3f8962fSAlex Bennée
test_ctpop16(void)65*c3f8962fSAlex Bennée static void test_ctpop16(void)
66*c3f8962fSAlex Bennée {
67*c3f8962fSAlex Bennée int i;
68*c3f8962fSAlex Bennée
69*c3f8962fSAlex Bennée for (i = 0; i < ARRAY_SIZE(sixteen_bit_data); i++) {
70*c3f8962fSAlex Bennée struct bitcnt_test_data *d = &sixteen_bit_data[i];
71*c3f8962fSAlex Bennée g_assert(ctpop16(d->value.w16)==d->popct);
72*c3f8962fSAlex Bennée }
73*c3f8962fSAlex Bennée }
74*c3f8962fSAlex Bennée
75*c3f8962fSAlex Bennée struct bitcnt_test_data thirtytwo_bit_data[] = {
76*c3f8962fSAlex Bennée { { .w32 = 0x00000000 }, .popct=0 },
77*c3f8962fSAlex Bennée { { .w32 = 0x00000001 }, .popct=1 },
78*c3f8962fSAlex Bennée { { .w32 = 0x0000000f }, .popct=4 },
79*c3f8962fSAlex Bennée { { .w32 = 0x00000f0f }, .popct=8 },
80*c3f8962fSAlex Bennée { { .w32 = 0x00001f1f }, .popct=10 },
81*c3f8962fSAlex Bennée { { .w32 = 0x00004001 }, .popct=2 },
82*c3f8962fSAlex Bennée { { .w32 = 0x00007000 }, .popct=3 },
83*c3f8962fSAlex Bennée { { .w32 = 0x00007fff }, .popct=15 },
84*c3f8962fSAlex Bennée { { .w32 = 0x55555555 }, .popct=16 },
85*c3f8962fSAlex Bennée { { .w32 = 0xaaaaaaaa }, .popct=16 },
86*c3f8962fSAlex Bennée { { .w32 = 0xff000000 }, .popct=8 },
87*c3f8962fSAlex Bennée { { .w32 = 0xc0c0c0c0 }, .popct=8 },
88*c3f8962fSAlex Bennée { { .w32 = 0x0ffffff0 }, .popct=24 },
89*c3f8962fSAlex Bennée { { .w32 = 0x80000000 }, .popct=1 },
90*c3f8962fSAlex Bennée { { .w32 = 0xffffffff }, .popct=32 },
91*c3f8962fSAlex Bennée };
92*c3f8962fSAlex Bennée
test_ctpop32(void)93*c3f8962fSAlex Bennée static void test_ctpop32(void)
94*c3f8962fSAlex Bennée {
95*c3f8962fSAlex Bennée int i;
96*c3f8962fSAlex Bennée
97*c3f8962fSAlex Bennée for (i = 0; i < ARRAY_SIZE(thirtytwo_bit_data); i++) {
98*c3f8962fSAlex Bennée struct bitcnt_test_data *d = &thirtytwo_bit_data[i];
99*c3f8962fSAlex Bennée g_assert(ctpop32(d->value.w32)==d->popct);
100*c3f8962fSAlex Bennée }
101*c3f8962fSAlex Bennée }
102*c3f8962fSAlex Bennée
103*c3f8962fSAlex Bennée struct bitcnt_test_data sixtyfour_bit_data[] = {
104*c3f8962fSAlex Bennée { { .w64 = 0x0000000000000000ULL }, .popct=0 },
105*c3f8962fSAlex Bennée { { .w64 = 0x0000000000000001ULL }, .popct=1 },
106*c3f8962fSAlex Bennée { { .w64 = 0x000000000000000fULL }, .popct=4 },
107*c3f8962fSAlex Bennée { { .w64 = 0x0000000000000f0fULL }, .popct=8 },
108*c3f8962fSAlex Bennée { { .w64 = 0x0000000000001f1fULL }, .popct=10 },
109*c3f8962fSAlex Bennée { { .w64 = 0x0000000000004001ULL }, .popct=2 },
110*c3f8962fSAlex Bennée { { .w64 = 0x0000000000007000ULL }, .popct=3 },
111*c3f8962fSAlex Bennée { { .w64 = 0x0000000000007fffULL }, .popct=15 },
112*c3f8962fSAlex Bennée { { .w64 = 0x0000005500555555ULL }, .popct=16 },
113*c3f8962fSAlex Bennée { { .w64 = 0x00aa0000aaaa00aaULL }, .popct=16 },
114*c3f8962fSAlex Bennée { { .w64 = 0x000f000000f00000ULL }, .popct=8 },
115*c3f8962fSAlex Bennée { { .w64 = 0x0c0c0000c0c0c0c0ULL }, .popct=12 },
116*c3f8962fSAlex Bennée { { .w64 = 0xf00f00f0f0f0f000ULL }, .popct=24 },
117*c3f8962fSAlex Bennée { { .w64 = 0x8000000000000000ULL }, .popct=1 },
118*c3f8962fSAlex Bennée { { .w64 = 0xf0f0f0f0f0f0f0f0ULL }, .popct=32 },
119*c3f8962fSAlex Bennée { { .w64 = 0xffffffffffffffffULL }, .popct=64 },
120*c3f8962fSAlex Bennée };
121*c3f8962fSAlex Bennée
test_ctpop64(void)122*c3f8962fSAlex Bennée static void test_ctpop64(void)
123*c3f8962fSAlex Bennée {
124*c3f8962fSAlex Bennée int i;
125*c3f8962fSAlex Bennée
126*c3f8962fSAlex Bennée for (i = 0; i < ARRAY_SIZE(sixtyfour_bit_data); i++) {
127*c3f8962fSAlex Bennée struct bitcnt_test_data *d = &sixtyfour_bit_data[i];
128*c3f8962fSAlex Bennée g_assert(ctpop64(d->value.w64)==d->popct);
129*c3f8962fSAlex Bennée }
130*c3f8962fSAlex Bennée }
131*c3f8962fSAlex Bennée
main(int argc,char ** argv)132*c3f8962fSAlex Bennée int main(int argc, char **argv)
133*c3f8962fSAlex Bennée {
134*c3f8962fSAlex Bennée g_test_init(&argc, &argv, NULL);
135*c3f8962fSAlex Bennée g_test_add_func("/bitcnt/ctpop8", test_ctpop8);
136*c3f8962fSAlex Bennée g_test_add_func("/bitcnt/ctpop16", test_ctpop16);
137*c3f8962fSAlex Bennée g_test_add_func("/bitcnt/ctpop32", test_ctpop32);
138*c3f8962fSAlex Bennée g_test_add_func("/bitcnt/ctpop64", test_ctpop64);
139*c3f8962fSAlex Bennée return g_test_run();
140*c3f8962fSAlex Bennée }
141