1ad37f24dSPeter Xu /*
2ad37f24dSPeter Xu * SPDX-License-Identifier: GPL-2.0-or-later
3ad37f24dSPeter Xu *
4ad37f24dSPeter Xu * Bitmap.c unit-tests.
5ad37f24dSPeter Xu *
6ad37f24dSPeter Xu * Copyright (C) 2019, Red Hat, Inc.
7ad37f24dSPeter Xu *
8ad37f24dSPeter Xu * Author: Peter Xu <peterx@redhat.com>
9ad37f24dSPeter Xu */
10ad37f24dSPeter Xu
11ad37f24dSPeter Xu #include "qemu/osdep.h"
12ad37f24dSPeter Xu #include "qemu/bitmap.h"
13ad37f24dSPeter Xu
14ad37f24dSPeter Xu #define BMAP_SIZE 1024
15ad37f24dSPeter Xu
check_bitmap_copy_with_offset(void)16ad37f24dSPeter Xu static void check_bitmap_copy_with_offset(void)
17ad37f24dSPeter Xu {
18ad37f24dSPeter Xu unsigned long *bmap1, *bmap2, *bmap3, total;
19ad37f24dSPeter Xu
20ad37f24dSPeter Xu bmap1 = bitmap_new(BMAP_SIZE);
21ad37f24dSPeter Xu bmap2 = bitmap_new(BMAP_SIZE);
22ad37f24dSPeter Xu bmap3 = bitmap_new(BMAP_SIZE);
23ad37f24dSPeter Xu
24*0f555602SPaolo Bonzini bmap1[0] = g_test_rand_int();
25*0f555602SPaolo Bonzini bmap1[1] = g_test_rand_int();
26*0f555602SPaolo Bonzini bmap1[2] = g_test_rand_int();
27*0f555602SPaolo Bonzini bmap1[3] = g_test_rand_int();
28ad37f24dSPeter Xu total = BITS_PER_LONG * 4;
29ad37f24dSPeter Xu
30ad37f24dSPeter Xu /* Shift 115 bits into bmap2 */
31ad37f24dSPeter Xu bitmap_copy_with_dst_offset(bmap2, bmap1, 115, total);
32ad37f24dSPeter Xu /* Shift another 85 bits into bmap3 */
33ad37f24dSPeter Xu bitmap_copy_with_dst_offset(bmap3, bmap2, 85, total + 115);
34ad37f24dSPeter Xu /* Shift back 200 bits back */
35ad37f24dSPeter Xu bitmap_copy_with_src_offset(bmap2, bmap3, 200, total);
36ad37f24dSPeter Xu
37ad37f24dSPeter Xu g_assert_cmpmem(bmap1, total / BITS_PER_LONG,
38ad37f24dSPeter Xu bmap2, total / BITS_PER_LONG);
39ad37f24dSPeter Xu
40ad37f24dSPeter Xu bitmap_clear(bmap1, 0, BMAP_SIZE);
41ad37f24dSPeter Xu /* Set bits in bmap1 are 100-245 */
42ad37f24dSPeter Xu bitmap_set(bmap1, 100, 145);
43ad37f24dSPeter Xu
44ad37f24dSPeter Xu /* Set bits in bmap2 are 60-205 */
45ad37f24dSPeter Xu bitmap_copy_with_src_offset(bmap2, bmap1, 40, 250);
46ad37f24dSPeter Xu g_assert_cmpint(find_first_bit(bmap2, 60), ==, 60);
47ad37f24dSPeter Xu g_assert_cmpint(find_next_zero_bit(bmap2, 205, 60), ==, 205);
48ad37f24dSPeter Xu g_assert(test_bit(205, bmap2) == 0);
49ad37f24dSPeter Xu
50ad37f24dSPeter Xu /* Set bits in bmap3 are 135-280 */
51ad37f24dSPeter Xu bitmap_copy_with_dst_offset(bmap3, bmap1, 35, 250);
52ad37f24dSPeter Xu g_assert_cmpint(find_first_bit(bmap3, 135), ==, 135);
53ad37f24dSPeter Xu g_assert_cmpint(find_next_zero_bit(bmap3, 280, 135), ==, 280);
54ad37f24dSPeter Xu g_assert(test_bit(280, bmap3) == 0);
55ad37f24dSPeter Xu
56ad37f24dSPeter Xu g_free(bmap1);
57ad37f24dSPeter Xu g_free(bmap2);
58ad37f24dSPeter Xu g_free(bmap3);
59ad37f24dSPeter Xu }
60ad37f24dSPeter Xu
612f950b1eSWei Yang typedef void (*bmap_set_func)(unsigned long *map, long i, long len);
bitmap_set_case(bmap_set_func set_func)622f950b1eSWei Yang static void bitmap_set_case(bmap_set_func set_func)
632f950b1eSWei Yang {
642f950b1eSWei Yang unsigned long *bmap;
652f950b1eSWei Yang int offset;
662f950b1eSWei Yang
672f950b1eSWei Yang bmap = bitmap_new(BMAP_SIZE);
682f950b1eSWei Yang
69a0602978SWei Yang /* Set one bit at offset in second word */
70a0602978SWei Yang for (offset = 0; offset <= BITS_PER_LONG; offset++) {
71a0602978SWei Yang bitmap_clear(bmap, 0, BMAP_SIZE);
72a0602978SWei Yang set_func(bmap, BITS_PER_LONG + offset, 1);
73a0602978SWei Yang g_assert_cmpint(find_first_bit(bmap, 2 * BITS_PER_LONG),
74a0602978SWei Yang ==, BITS_PER_LONG + offset);
75a0602978SWei Yang g_assert_cmpint(find_next_zero_bit(bmap,
76a0602978SWei Yang 3 * BITS_PER_LONG,
77a0602978SWei Yang BITS_PER_LONG + offset),
78a0602978SWei Yang ==, BITS_PER_LONG + offset + 1);
79a0602978SWei Yang }
80a0602978SWei Yang
812f950b1eSWei Yang /* Both Aligned, set bits [BITS_PER_LONG, 3*BITS_PER_LONG] */
822f950b1eSWei Yang set_func(bmap, BITS_PER_LONG, 2 * BITS_PER_LONG);
832f950b1eSWei Yang g_assert_cmpuint(bmap[1], ==, -1ul);
842f950b1eSWei Yang g_assert_cmpuint(bmap[2], ==, -1ul);
852f950b1eSWei Yang g_assert_cmpint(find_first_bit(bmap, BITS_PER_LONG), ==, BITS_PER_LONG);
862f950b1eSWei Yang g_assert_cmpint(find_next_zero_bit(bmap, 3 * BITS_PER_LONG, BITS_PER_LONG),
872f950b1eSWei Yang ==, 3 * BITS_PER_LONG);
882f950b1eSWei Yang
892f950b1eSWei Yang for (offset = 0; offset <= BITS_PER_LONG; offset++) {
902f950b1eSWei Yang bitmap_clear(bmap, 0, BMAP_SIZE);
912f950b1eSWei Yang /* End Aligned, set bits [BITS_PER_LONG - offset, 3*BITS_PER_LONG] */
922f950b1eSWei Yang set_func(bmap, BITS_PER_LONG - offset, 2 * BITS_PER_LONG + offset);
932f950b1eSWei Yang g_assert_cmpuint(bmap[1], ==, -1ul);
942f950b1eSWei Yang g_assert_cmpuint(bmap[2], ==, -1ul);
952f950b1eSWei Yang g_assert_cmpint(find_first_bit(bmap, BITS_PER_LONG),
962f950b1eSWei Yang ==, BITS_PER_LONG - offset);
972f950b1eSWei Yang g_assert_cmpint(find_next_zero_bit(bmap,
982f950b1eSWei Yang 3 * BITS_PER_LONG,
992f950b1eSWei Yang BITS_PER_LONG - offset),
1002f950b1eSWei Yang ==, 3 * BITS_PER_LONG);
1012f950b1eSWei Yang }
1022f950b1eSWei Yang
1032f950b1eSWei Yang for (offset = 0; offset <= BITS_PER_LONG; offset++) {
1042f950b1eSWei Yang bitmap_clear(bmap, 0, BMAP_SIZE);
1052f950b1eSWei Yang /* Start Aligned, set bits [BITS_PER_LONG, 3*BITS_PER_LONG + offset] */
1062f950b1eSWei Yang set_func(bmap, BITS_PER_LONG, 2 * BITS_PER_LONG + offset);
1072f950b1eSWei Yang g_assert_cmpuint(bmap[1], ==, -1ul);
1082f950b1eSWei Yang g_assert_cmpuint(bmap[2], ==, -1ul);
1092f950b1eSWei Yang g_assert_cmpint(find_first_bit(bmap, BITS_PER_LONG),
1102f950b1eSWei Yang ==, BITS_PER_LONG);
1112f950b1eSWei Yang g_assert_cmpint(find_next_zero_bit(bmap,
1122f950b1eSWei Yang 3 * BITS_PER_LONG + offset,
1132f950b1eSWei Yang BITS_PER_LONG),
1142f950b1eSWei Yang ==, 3 * BITS_PER_LONG + offset);
1152f950b1eSWei Yang }
1162f950b1eSWei Yang
1172f950b1eSWei Yang g_free(bmap);
1182f950b1eSWei Yang }
1192f950b1eSWei Yang
check_bitmap_set(void)1202f950b1eSWei Yang static void check_bitmap_set(void)
1212f950b1eSWei Yang {
1222f950b1eSWei Yang bitmap_set_case(bitmap_set);
1232f950b1eSWei Yang bitmap_set_case(bitmap_set_atomic);
1242f950b1eSWei Yang }
1252f950b1eSWei Yang
main(int argc,char ** argv)126ad37f24dSPeter Xu int main(int argc, char **argv)
127ad37f24dSPeter Xu {
128ad37f24dSPeter Xu g_test_init(&argc, &argv, NULL);
129ad37f24dSPeter Xu
130ad37f24dSPeter Xu g_test_add_func("/bitmap/bitmap_copy_with_offset",
131ad37f24dSPeter Xu check_bitmap_copy_with_offset);
1322f950b1eSWei Yang g_test_add_func("/bitmap/bitmap_set",
1332f950b1eSWei Yang check_bitmap_set);
134ad37f24dSPeter Xu
135ad37f24dSPeter Xu g_test_run();
136ad37f24dSPeter Xu
137ad37f24dSPeter Xu return 0;
138ad37f24dSPeter Xu }
139