lib: kunit: add bitfield test conversion to KUnit
This adds the conversion of the runtime tests of test_bitfield, from `lib/test_bitfield.c` to KUnit tests. Code Style Documentation: [0] Signed-off-by: Vitor Massaru Iha <vitor@massaru.org> Link: [0] https://lore.kernel.org/linux-kselftest/20200620054944.167330-1-davidgow@google.com/T/#u Reviewed-by: Brendan Higgins <brendanhiggins@google.com> Signed-off-by: Shuah Khan <skhan@linuxfoundation.org>
This commit is contained in:
Vitor Massaru Iha
committed by
Shuah Khan
Shuah Khan
parent
a82763e63e
commit
d2585f5164
156
lib/bitfield_kunit.c
Normal file
156
lib/bitfield_kunit.c
Normal file
@@ -0,0 +1,156 @@
|
||||
// SPDX-License-Identifier: GPL-2.0+
|
||||
/*
|
||||
* Test cases for bitfield helpers.
|
||||
*/
|
||||
|
||||
#define pr_fmt(fmt) KBUILD_MODNAME ": " fmt
|
||||
|
||||
#include <kunit/test.h>
|
||||
#include <linux/bitfield.h>
|
||||
|
||||
#define CHECK_ENC_GET_U(tp, v, field, res) do { \
|
||||
{ \
|
||||
u##tp _res; \
|
||||
\
|
||||
_res = u##tp##_encode_bits(v, field); \
|
||||
KUNIT_ASSERT_FALSE_MSG(context, _res != res, \
|
||||
"u" #tp "_encode_bits(" #v ", " #field ") is 0x%llx != " #res "\n", \
|
||||
(u64)_res); \
|
||||
KUNIT_ASSERT_FALSE(context, \
|
||||
u##tp##_get_bits(_res, field) != v); \
|
||||
} \
|
||||
} while (0)
|
||||
|
||||
#define CHECK_ENC_GET_LE(tp, v, field, res) do { \
|
||||
{ \
|
||||
__le##tp _res; \
|
||||
\
|
||||
_res = le##tp##_encode_bits(v, field); \
|
||||
KUNIT_ASSERT_FALSE_MSG(context, \
|
||||
_res != cpu_to_le##tp(res), \
|
||||
"le" #tp "_encode_bits(" #v ", " #field ") is 0x%llx != 0x%llx",\
|
||||
(u64)le##tp##_to_cpu(_res), \
|
||||
(u64)(res)); \
|
||||
KUNIT_ASSERT_FALSE(context, \
|
||||
le##tp##_get_bits(_res, field) != v);\
|
||||
} \
|
||||
} while (0)
|
||||
|
||||
#define CHECK_ENC_GET_BE(tp, v, field, res) do { \
|
||||
{ \
|
||||
__be##tp _res; \
|
||||
\
|
||||
_res = be##tp##_encode_bits(v, field); \
|
||||
KUNIT_ASSERT_FALSE_MSG(context, \
|
||||
_res != cpu_to_be##tp(res), \
|
||||
"be" #tp "_encode_bits(" #v ", " #field ") is 0x%llx != 0x%llx", \
|
||||
(u64)be##tp##_to_cpu(_res), \
|
||||
(u64)(res)); \
|
||||
KUNIT_ASSERT_FALSE(context, \
|
||||
be##tp##_get_bits(_res, field) != v);\
|
||||
} \
|
||||
} while (0)
|
||||
|
||||
#define CHECK_ENC_GET(tp, v, field, res) do { \
|
||||
CHECK_ENC_GET_U(tp, v, field, res); \
|
||||
CHECK_ENC_GET_LE(tp, v, field, res); \
|
||||
CHECK_ENC_GET_BE(tp, v, field, res); \
|
||||
} while (0)
|
||||
|
||||
static void __init test_bitfields_constants(struct kunit *context)
|
||||
{
|
||||
/*
|
||||
* NOTE
|
||||
* This whole function compiles (or at least should, if everything
|
||||
* is going according to plan) to nothing after optimisation.
|
||||
*/
|
||||
|
||||
CHECK_ENC_GET(16, 1, 0x000f, 0x0001);
|
||||
CHECK_ENC_GET(16, 3, 0x00f0, 0x0030);
|
||||
CHECK_ENC_GET(16, 5, 0x0f00, 0x0500);
|
||||
CHECK_ENC_GET(16, 7, 0xf000, 0x7000);
|
||||
CHECK_ENC_GET(16, 14, 0x000f, 0x000e);
|
||||
CHECK_ENC_GET(16, 15, 0x00f0, 0x00f0);
|
||||
|
||||
CHECK_ENC_GET_U(8, 1, 0x0f, 0x01);
|
||||
CHECK_ENC_GET_U(8, 3, 0xf0, 0x30);
|
||||
CHECK_ENC_GET_U(8, 14, 0x0f, 0x0e);
|
||||
CHECK_ENC_GET_U(8, 15, 0xf0, 0xf0);
|
||||
|
||||
CHECK_ENC_GET(32, 1, 0x00000f00, 0x00000100);
|
||||
CHECK_ENC_GET(32, 3, 0x0000f000, 0x00003000);
|
||||
CHECK_ENC_GET(32, 5, 0x000f0000, 0x00050000);
|
||||
CHECK_ENC_GET(32, 7, 0x00f00000, 0x00700000);
|
||||
CHECK_ENC_GET(32, 14, 0x0f000000, 0x0e000000);
|
||||
CHECK_ENC_GET(32, 15, 0xf0000000, 0xf0000000);
|
||||
|
||||
CHECK_ENC_GET(64, 1, 0x00000f0000000000ull, 0x0000010000000000ull);
|
||||
CHECK_ENC_GET(64, 3, 0x0000f00000000000ull, 0x0000300000000000ull);
|
||||
CHECK_ENC_GET(64, 5, 0x000f000000000000ull, 0x0005000000000000ull);
|
||||
CHECK_ENC_GET(64, 7, 0x00f0000000000000ull, 0x0070000000000000ull);
|
||||
CHECK_ENC_GET(64, 14, 0x0f00000000000000ull, 0x0e00000000000000ull);
|
||||
CHECK_ENC_GET(64, 15, 0xf000000000000000ull, 0xf000000000000000ull);
|
||||
}
|
||||
|
||||
#define CHECK(tp, mask) do { \
|
||||
u64 v; \
|
||||
\
|
||||
for (v = 0; v < 1 << hweight32(mask); v++) \
|
||||
KUNIT_ASSERT_FALSE(context, \
|
||||
tp##_encode_bits(v, mask) != v << __ffs64(mask));\
|
||||
} while (0)
|
||||
|
||||
static void __init test_bitfields_variables(struct kunit *context)
|
||||
{
|
||||
CHECK(u8, 0x0f);
|
||||
CHECK(u8, 0xf0);
|
||||
CHECK(u8, 0x38);
|
||||
|
||||
CHECK(u16, 0x0038);
|
||||
CHECK(u16, 0x0380);
|
||||
CHECK(u16, 0x3800);
|
||||
CHECK(u16, 0x8000);
|
||||
|
||||
CHECK(u32, 0x80000000);
|
||||
CHECK(u32, 0x7f000000);
|
||||
CHECK(u32, 0x07e00000);
|
||||
CHECK(u32, 0x00018000);
|
||||
|
||||
CHECK(u64, 0x8000000000000000ull);
|
||||
CHECK(u64, 0x7f00000000000000ull);
|
||||
CHECK(u64, 0x0001800000000000ull);
|
||||
CHECK(u64, 0x0000000080000000ull);
|
||||
CHECK(u64, 0x000000007f000000ull);
|
||||
CHECK(u64, 0x0000000018000000ull);
|
||||
CHECK(u64, 0x0000001f8000000ull);
|
||||
}
|
||||
|
||||
|
||||
static void __init test_bitfields_compile(struct kunit *context)
|
||||
{
|
||||
/* these should fail compilation */
|
||||
CHECK_ENC_GET(16, 16, 0x0f00, 0x1000);
|
||||
u32_encode_bits(7, 0x06000000);
|
||||
|
||||
/* this should at least give a warning */
|
||||
u16_encode_bits(0, 0x60000);
|
||||
}
|
||||
|
||||
static struct kunit_case __refdata bitfields_test_cases[] = {
|
||||
KUNIT_CASE(test_bitfields_constants),
|
||||
KUNIT_CASE(test_bitfields_variables),
|
||||
#ifdef TEST_BITFIELD_COMPILE
|
||||
KUNIT_CASE(test_bitfields_compile),
|
||||
#endif
|
||||
{}
|
||||
};
|
||||
|
||||
static struct kunit_suite bitfields_test_suite = {
|
||||
.name = "bitfields",
|
||||
.test_cases = bitfields_test_cases,
|
||||
};
|
||||
|
||||
kunit_test_suites(&bitfields_test_suite);
|
||||
|
||||
MODULE_AUTHOR("Johannes Berg <johannes@sipsolutions.net>");
|
||||
MODULE_LICENSE("GPL");
|
||||
Reference in New Issue
Block a user