1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0+
2*4882a593Smuzhiyun /*
3*4882a593Smuzhiyun * Test cases for bitfield helpers.
4*4882a593Smuzhiyun */
5*4882a593Smuzhiyun
6*4882a593Smuzhiyun #define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
7*4882a593Smuzhiyun
8*4882a593Smuzhiyun #include <kunit/test.h>
9*4882a593Smuzhiyun #include <linux/bitfield.h>
10*4882a593Smuzhiyun
11*4882a593Smuzhiyun #define CHECK_ENC_GET_U(tp, v, field, res) do { \
12*4882a593Smuzhiyun { \
13*4882a593Smuzhiyun u##tp _res; \
14*4882a593Smuzhiyun \
15*4882a593Smuzhiyun _res = u##tp##_encode_bits(v, field); \
16*4882a593Smuzhiyun KUNIT_ASSERT_FALSE_MSG(context, _res != res, \
17*4882a593Smuzhiyun "u" #tp "_encode_bits(" #v ", " #field ") is 0x%llx != " #res "\n", \
18*4882a593Smuzhiyun (u64)_res); \
19*4882a593Smuzhiyun KUNIT_ASSERT_FALSE(context, \
20*4882a593Smuzhiyun u##tp##_get_bits(_res, field) != v); \
21*4882a593Smuzhiyun } \
22*4882a593Smuzhiyun } while (0)
23*4882a593Smuzhiyun
24*4882a593Smuzhiyun #define CHECK_ENC_GET_LE(tp, v, field, res) do { \
25*4882a593Smuzhiyun { \
26*4882a593Smuzhiyun __le##tp _res; \
27*4882a593Smuzhiyun \
28*4882a593Smuzhiyun _res = le##tp##_encode_bits(v, field); \
29*4882a593Smuzhiyun KUNIT_ASSERT_FALSE_MSG(context, \
30*4882a593Smuzhiyun _res != cpu_to_le##tp(res), \
31*4882a593Smuzhiyun "le" #tp "_encode_bits(" #v ", " #field ") is 0x%llx != 0x%llx",\
32*4882a593Smuzhiyun (u64)le##tp##_to_cpu(_res), \
33*4882a593Smuzhiyun (u64)(res)); \
34*4882a593Smuzhiyun KUNIT_ASSERT_FALSE(context, \
35*4882a593Smuzhiyun le##tp##_get_bits(_res, field) != v);\
36*4882a593Smuzhiyun } \
37*4882a593Smuzhiyun } while (0)
38*4882a593Smuzhiyun
39*4882a593Smuzhiyun #define CHECK_ENC_GET_BE(tp, v, field, res) do { \
40*4882a593Smuzhiyun { \
41*4882a593Smuzhiyun __be##tp _res; \
42*4882a593Smuzhiyun \
43*4882a593Smuzhiyun _res = be##tp##_encode_bits(v, field); \
44*4882a593Smuzhiyun KUNIT_ASSERT_FALSE_MSG(context, \
45*4882a593Smuzhiyun _res != cpu_to_be##tp(res), \
46*4882a593Smuzhiyun "be" #tp "_encode_bits(" #v ", " #field ") is 0x%llx != 0x%llx", \
47*4882a593Smuzhiyun (u64)be##tp##_to_cpu(_res), \
48*4882a593Smuzhiyun (u64)(res)); \
49*4882a593Smuzhiyun KUNIT_ASSERT_FALSE(context, \
50*4882a593Smuzhiyun be##tp##_get_bits(_res, field) != v);\
51*4882a593Smuzhiyun } \
52*4882a593Smuzhiyun } while (0)
53*4882a593Smuzhiyun
54*4882a593Smuzhiyun #define CHECK_ENC_GET(tp, v, field, res) do { \
55*4882a593Smuzhiyun CHECK_ENC_GET_U(tp, v, field, res); \
56*4882a593Smuzhiyun CHECK_ENC_GET_LE(tp, v, field, res); \
57*4882a593Smuzhiyun CHECK_ENC_GET_BE(tp, v, field, res); \
58*4882a593Smuzhiyun } while (0)
59*4882a593Smuzhiyun
test_bitfields_constants(struct kunit * context)60*4882a593Smuzhiyun static void __init test_bitfields_constants(struct kunit *context)
61*4882a593Smuzhiyun {
62*4882a593Smuzhiyun /*
63*4882a593Smuzhiyun * NOTE
64*4882a593Smuzhiyun * This whole function compiles (or at least should, if everything
65*4882a593Smuzhiyun * is going according to plan) to nothing after optimisation.
66*4882a593Smuzhiyun */
67*4882a593Smuzhiyun
68*4882a593Smuzhiyun CHECK_ENC_GET(16, 1, 0x000f, 0x0001);
69*4882a593Smuzhiyun CHECK_ENC_GET(16, 3, 0x00f0, 0x0030);
70*4882a593Smuzhiyun CHECK_ENC_GET(16, 5, 0x0f00, 0x0500);
71*4882a593Smuzhiyun CHECK_ENC_GET(16, 7, 0xf000, 0x7000);
72*4882a593Smuzhiyun CHECK_ENC_GET(16, 14, 0x000f, 0x000e);
73*4882a593Smuzhiyun CHECK_ENC_GET(16, 15, 0x00f0, 0x00f0);
74*4882a593Smuzhiyun
75*4882a593Smuzhiyun CHECK_ENC_GET_U(8, 1, 0x0f, 0x01);
76*4882a593Smuzhiyun CHECK_ENC_GET_U(8, 3, 0xf0, 0x30);
77*4882a593Smuzhiyun CHECK_ENC_GET_U(8, 14, 0x0f, 0x0e);
78*4882a593Smuzhiyun CHECK_ENC_GET_U(8, 15, 0xf0, 0xf0);
79*4882a593Smuzhiyun
80*4882a593Smuzhiyun CHECK_ENC_GET(32, 1, 0x00000f00, 0x00000100);
81*4882a593Smuzhiyun CHECK_ENC_GET(32, 3, 0x0000f000, 0x00003000);
82*4882a593Smuzhiyun CHECK_ENC_GET(32, 5, 0x000f0000, 0x00050000);
83*4882a593Smuzhiyun CHECK_ENC_GET(32, 7, 0x00f00000, 0x00700000);
84*4882a593Smuzhiyun CHECK_ENC_GET(32, 14, 0x0f000000, 0x0e000000);
85*4882a593Smuzhiyun CHECK_ENC_GET(32, 15, 0xf0000000, 0xf0000000);
86*4882a593Smuzhiyun
87*4882a593Smuzhiyun CHECK_ENC_GET(64, 1, 0x00000f0000000000ull, 0x0000010000000000ull);
88*4882a593Smuzhiyun CHECK_ENC_GET(64, 3, 0x0000f00000000000ull, 0x0000300000000000ull);
89*4882a593Smuzhiyun CHECK_ENC_GET(64, 5, 0x000f000000000000ull, 0x0005000000000000ull);
90*4882a593Smuzhiyun CHECK_ENC_GET(64, 7, 0x00f0000000000000ull, 0x0070000000000000ull);
91*4882a593Smuzhiyun CHECK_ENC_GET(64, 14, 0x0f00000000000000ull, 0x0e00000000000000ull);
92*4882a593Smuzhiyun CHECK_ENC_GET(64, 15, 0xf000000000000000ull, 0xf000000000000000ull);
93*4882a593Smuzhiyun }
94*4882a593Smuzhiyun
95*4882a593Smuzhiyun #define CHECK(tp, mask) do { \
96*4882a593Smuzhiyun u64 v; \
97*4882a593Smuzhiyun \
98*4882a593Smuzhiyun for (v = 0; v < 1 << hweight32(mask); v++) \
99*4882a593Smuzhiyun KUNIT_ASSERT_FALSE(context, \
100*4882a593Smuzhiyun tp##_encode_bits(v, mask) != v << __ffs64(mask));\
101*4882a593Smuzhiyun } while (0)
102*4882a593Smuzhiyun
test_bitfields_variables(struct kunit * context)103*4882a593Smuzhiyun static void __init test_bitfields_variables(struct kunit *context)
104*4882a593Smuzhiyun {
105*4882a593Smuzhiyun CHECK(u8, 0x0f);
106*4882a593Smuzhiyun CHECK(u8, 0xf0);
107*4882a593Smuzhiyun CHECK(u8, 0x38);
108*4882a593Smuzhiyun
109*4882a593Smuzhiyun CHECK(u16, 0x0038);
110*4882a593Smuzhiyun CHECK(u16, 0x0380);
111*4882a593Smuzhiyun CHECK(u16, 0x3800);
112*4882a593Smuzhiyun CHECK(u16, 0x8000);
113*4882a593Smuzhiyun
114*4882a593Smuzhiyun CHECK(u32, 0x80000000);
115*4882a593Smuzhiyun CHECK(u32, 0x7f000000);
116*4882a593Smuzhiyun CHECK(u32, 0x07e00000);
117*4882a593Smuzhiyun CHECK(u32, 0x00018000);
118*4882a593Smuzhiyun
119*4882a593Smuzhiyun CHECK(u64, 0x8000000000000000ull);
120*4882a593Smuzhiyun CHECK(u64, 0x7f00000000000000ull);
121*4882a593Smuzhiyun CHECK(u64, 0x0001800000000000ull);
122*4882a593Smuzhiyun CHECK(u64, 0x0000000080000000ull);
123*4882a593Smuzhiyun CHECK(u64, 0x000000007f000000ull);
124*4882a593Smuzhiyun CHECK(u64, 0x0000000018000000ull);
125*4882a593Smuzhiyun CHECK(u64, 0x0000001f8000000ull);
126*4882a593Smuzhiyun }
127*4882a593Smuzhiyun
128*4882a593Smuzhiyun #ifdef TEST_BITFIELD_COMPILE
test_bitfields_compile(struct kunit * context)129*4882a593Smuzhiyun static void __init test_bitfields_compile(struct kunit *context)
130*4882a593Smuzhiyun {
131*4882a593Smuzhiyun /* these should fail compilation */
132*4882a593Smuzhiyun CHECK_ENC_GET(16, 16, 0x0f00, 0x1000);
133*4882a593Smuzhiyun u32_encode_bits(7, 0x06000000);
134*4882a593Smuzhiyun
135*4882a593Smuzhiyun /* this should at least give a warning */
136*4882a593Smuzhiyun u16_encode_bits(0, 0x60000);
137*4882a593Smuzhiyun }
138*4882a593Smuzhiyun #endif
139*4882a593Smuzhiyun
140*4882a593Smuzhiyun static struct kunit_case __refdata bitfields_test_cases[] = {
141*4882a593Smuzhiyun KUNIT_CASE(test_bitfields_constants),
142*4882a593Smuzhiyun KUNIT_CASE(test_bitfields_variables),
143*4882a593Smuzhiyun {}
144*4882a593Smuzhiyun };
145*4882a593Smuzhiyun
146*4882a593Smuzhiyun static struct kunit_suite bitfields_test_suite = {
147*4882a593Smuzhiyun .name = "bitfields",
148*4882a593Smuzhiyun .test_cases = bitfields_test_cases,
149*4882a593Smuzhiyun };
150*4882a593Smuzhiyun
151*4882a593Smuzhiyun kunit_test_suites(&bitfields_test_suite);
152*4882a593Smuzhiyun
153*4882a593Smuzhiyun MODULE_AUTHOR("Johannes Berg <johannes@sipsolutions.net>");
154*4882a593Smuzhiyun MODULE_LICENSE("GPL");
155