diff mbox series

[bpf-next,2/2] selftests/bpf: Add a test where map key_type_id with decl_tag type

Message ID 20230527223137.1580717-1-yhs@fb.com (mailing list archive)
State Superseded
Delegated to: BPF
Headers show
Series [bpf-next,1/2] bpf: Silence a warning in btf_type_id_size() | expand

Checks

Context Check Description
netdev/series_format success Single patches do not need cover letters
netdev/tree_selection success Clearly marked for bpf-next
netdev/fixes_present success Fixes tag not required for -next series
netdev/header_inline success No static functions without inline keyword in header files
netdev/build_32bit success Errors and warnings before: 8 this patch: 8
netdev/cc_maintainers warning 12 maintainers not CCed: eddyz87@gmail.com kpsingh@kernel.org martin.lau@linux.dev john.fastabend@gmail.com song@kernel.org sdf@google.com shuah@kernel.org mykolal@fb.com iii@linux.ibm.com linux-kselftest@vger.kernel.org jolsa@kernel.org haoluo@google.com
netdev/build_clang success Errors and warnings before: 8 this patch: 8
netdev/verify_signedoff success Signed-off-by tag matches author and committer
netdev/deprecated_api success None detected
netdev/check_selftest success No net selftest shell script
netdev/verify_fixes success No Fixes tag
netdev/build_allmodconfig_warn success Errors and warnings before: 8 this patch: 8
netdev/checkpatch success total: 0 errors, 0 warnings, 0 checks, 26 lines checked
netdev/kdoc success Errors and warnings before: 0 this patch: 0
netdev/source_inline success Was 0 now: 0
bpf/vmtest-bpf-next-VM_Test-1 success Logs for ShellCheck
bpf/vmtest-bpf-next-VM_Test-2 success Logs for build for aarch64 with gcc
bpf/vmtest-bpf-next-VM_Test-4 success Logs for build for x86_64 with gcc
bpf/vmtest-bpf-next-VM_Test-5 success Logs for build for x86_64 with llvm-16
bpf/vmtest-bpf-next-VM_Test-6 success Logs for set-matrix
bpf/vmtest-bpf-next-VM_Test-3 success Logs for build for s390x with gcc
bpf/vmtest-bpf-next-VM_Test-25 success Logs for test_verifier on aarch64 with gcc
bpf/vmtest-bpf-next-VM_Test-29 success Logs for veristat
bpf/vmtest-bpf-next-VM_Test-7 success Logs for test_maps on aarch64 with gcc
bpf/vmtest-bpf-next-VM_Test-9 success Logs for test_maps on x86_64 with gcc
bpf/vmtest-bpf-next-VM_Test-10 success Logs for test_maps on x86_64 with llvm-16
bpf/vmtest-bpf-next-VM_Test-11 success Logs for test_progs on aarch64 with gcc
bpf/vmtest-bpf-next-VM_Test-13 success Logs for test_progs on x86_64 with gcc
bpf/vmtest-bpf-next-VM_Test-15 success Logs for test_progs_no_alu32 on aarch64 with gcc
bpf/vmtest-bpf-next-VM_Test-17 success Logs for test_progs_no_alu32 on x86_64 with gcc
bpf/vmtest-bpf-next-VM_Test-18 success Logs for test_progs_no_alu32 on x86_64 with llvm-16
bpf/vmtest-bpf-next-VM_Test-19 success Logs for test_progs_no_alu32_parallel on aarch64 with gcc
bpf/vmtest-bpf-next-VM_Test-20 success Logs for test_progs_no_alu32_parallel on x86_64 with gcc
bpf/vmtest-bpf-next-VM_Test-21 success Logs for test_progs_no_alu32_parallel on x86_64 with llvm-16
bpf/vmtest-bpf-next-VM_Test-22 success Logs for test_progs_parallel on aarch64 with gcc
bpf/vmtest-bpf-next-VM_Test-23 success Logs for test_progs_parallel on x86_64 with gcc
bpf/vmtest-bpf-next-VM_Test-24 success Logs for test_progs_parallel on x86_64 with llvm-16
bpf/vmtest-bpf-next-VM_Test-27 success Logs for test_verifier on x86_64 with gcc
bpf/vmtest-bpf-next-VM_Test-28 success Logs for test_verifier on x86_64 with llvm-16
bpf/vmtest-bpf-next-VM_Test-14 success Logs for test_progs on x86_64 with llvm-16
bpf/vmtest-bpf-next-VM_Test-12 fail Logs for test_progs on s390x with gcc
bpf/vmtest-bpf-next-VM_Test-26 success Logs for test_verifier on s390x with gcc
bpf/vmtest-bpf-next-VM_Test-16 success Logs for test_progs_no_alu32 on s390x with gcc
bpf/vmtest-bpf-next-PR fail PR summary
bpf/vmtest-bpf-next-VM_Test-8 success Logs for test_maps on s390x with gcc

Commit Message

Yonghong Song May 27, 2023, 10:31 p.m. UTC
Add a selftest where map creation key type_id is a decl_tag
pointing to a struct. Without previous patch, a kernel warning will
appear similar to the one in the previous patch. With the previous
patch, the kernel warning is silenced.

Signed-off-by: Yonghong Song <yhs@fb.com>
---
 tools/testing/selftests/bpf/prog_tests/btf.c | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

Comments

Eduard Zingerman May 29, 2023, 3:17 p.m. UTC | #1
On Sat, 2023-05-27 at 15:31 -0700, Yonghong Song wrote:
> Add a selftest where map creation key type_id is a decl_tag
> pointing to a struct. Without previous patch, a kernel warning will
> appear similar to the one in the previous patch. With the previous
> patch, the kernel warning is silenced.

Looks good to me with a nitpick:
commit message says "map creation key type_id is a decl_tag",
but test case uses ".key_type_id = 1" which is INT
and ".value_type_id = 3" which is DECL_TAG.

syscall.c:map_check_btf.c applies the same check both for key and value,
maybe make two tests?

> 
> Signed-off-by: Yonghong Song <yhs@fb.com>
> ---
>  tools/testing/selftests/bpf/prog_tests/btf.c | 20 ++++++++++++++++++++
>  1 file changed, 20 insertions(+)
> 
> diff --git a/tools/testing/selftests/bpf/prog_tests/btf.c b/tools/testing/selftests/bpf/prog_tests/btf.c
> index 210d643fda6c..69521e1dc330 100644
> --- a/tools/testing/selftests/bpf/prog_tests/btf.c
> +++ b/tools/testing/selftests/bpf/prog_tests/btf.c
> @@ -3990,6 +3990,26 @@ static struct btf_raw_test raw_tests[] = {
>  	.btf_load_err = true,
>  	.err_str = "Invalid arg#1",
>  },
> +{
> +	.descr = "decl_tag test #18, struct member, decl_tag as the value type",
> +	.raw_types = {
> +		BTF_TYPE_INT_ENC(0, BTF_INT_SIGNED, 0, 32, 4),	/* [1] */
> +		BTF_STRUCT_ENC(0, 2, 8),			/* [2] */
> +		BTF_MEMBER_ENC(NAME_TBD, 1, 0),
> +		BTF_MEMBER_ENC(NAME_TBD, 1, 32),
> +		BTF_DECL_TAG_ENC(NAME_TBD, 2, -1),		/* [3] */
> +		BTF_END_RAW,
> +	},
> +	BTF_STR_SEC("\0m1\0m2\0tag"),
> +	.map_type = BPF_MAP_TYPE_ARRAY,
> +	.map_name = "tag_type_check_btf",
> +	.key_size = sizeof(int),
> +	.value_size = 8,
> +	.key_type_id = 1,
> +	.value_type_id = 3,
> +	.max_entries = 1,
> +	.map_create_err = true,
> +},
>  {
>  	.descr = "type_tag test #1",
>  	.raw_types = {
Yonghong Song May 30, 2023, 5:48 p.m. UTC | #2
On 5/29/23 8:17 AM, Eduard Zingerman wrote:
> On Sat, 2023-05-27 at 15:31 -0700, Yonghong Song wrote:
>> Add a selftest where map creation key type_id is a decl_tag
>> pointing to a struct. Without previous patch, a kernel warning will
>> appear similar to the one in the previous patch. With the previous
>> patch, the kernel warning is silenced.
> 
> Looks good to me with a nitpick:
> commit message says "map creation key type_id is a decl_tag",
> but test case uses ".key_type_id = 1" which is INT
> and ".value_type_id = 3" which is DECL_TAG.
> 
> syscall.c:map_check_btf.c applies the same check both for key and value,
> maybe make two tests?

Sounds good. Will fix the commit message and add one more test so both
key and value are covered.

> 
>>
>> Signed-off-by: Yonghong Song <yhs@fb.com>
>> ---
>>   tools/testing/selftests/bpf/prog_tests/btf.c | 20 ++++++++++++++++++++
>>   1 file changed, 20 insertions(+)
>>
>> diff --git a/tools/testing/selftests/bpf/prog_tests/btf.c b/tools/testing/selftests/bpf/prog_tests/btf.c
>> index 210d643fda6c..69521e1dc330 100644
>> --- a/tools/testing/selftests/bpf/prog_tests/btf.c
>> +++ b/tools/testing/selftests/bpf/prog_tests/btf.c
>> @@ -3990,6 +3990,26 @@ static struct btf_raw_test raw_tests[] = {
>>   	.btf_load_err = true,
>>   	.err_str = "Invalid arg#1",
>>   },
>> +{
>> +	.descr = "decl_tag test #18, struct member, decl_tag as the value type",
>> +	.raw_types = {
>> +		BTF_TYPE_INT_ENC(0, BTF_INT_SIGNED, 0, 32, 4),	/* [1] */
>> +		BTF_STRUCT_ENC(0, 2, 8),			/* [2] */
>> +		BTF_MEMBER_ENC(NAME_TBD, 1, 0),
>> +		BTF_MEMBER_ENC(NAME_TBD, 1, 32),
>> +		BTF_DECL_TAG_ENC(NAME_TBD, 2, -1),		/* [3] */
>> +		BTF_END_RAW,
>> +	},
>> +	BTF_STR_SEC("\0m1\0m2\0tag"),
>> +	.map_type = BPF_MAP_TYPE_ARRAY,
>> +	.map_name = "tag_type_check_btf",
>> +	.key_size = sizeof(int),
>> +	.value_size = 8,
>> +	.key_type_id = 1,
>> +	.value_type_id = 3,
>> +	.max_entries = 1,
>> +	.map_create_err = true,
>> +},
>>   {
>>   	.descr = "type_tag test #1",
>>   	.raw_types = {
>
diff mbox series

Patch

diff --git a/tools/testing/selftests/bpf/prog_tests/btf.c b/tools/testing/selftests/bpf/prog_tests/btf.c
index 210d643fda6c..69521e1dc330 100644
--- a/tools/testing/selftests/bpf/prog_tests/btf.c
+++ b/tools/testing/selftests/bpf/prog_tests/btf.c
@@ -3990,6 +3990,26 @@  static struct btf_raw_test raw_tests[] = {
 	.btf_load_err = true,
 	.err_str = "Invalid arg#1",
 },
+{
+	.descr = "decl_tag test #18, struct member, decl_tag as the value type",
+	.raw_types = {
+		BTF_TYPE_INT_ENC(0, BTF_INT_SIGNED, 0, 32, 4),	/* [1] */
+		BTF_STRUCT_ENC(0, 2, 8),			/* [2] */
+		BTF_MEMBER_ENC(NAME_TBD, 1, 0),
+		BTF_MEMBER_ENC(NAME_TBD, 1, 32),
+		BTF_DECL_TAG_ENC(NAME_TBD, 2, -1),		/* [3] */
+		BTF_END_RAW,
+	},
+	BTF_STR_SEC("\0m1\0m2\0tag"),
+	.map_type = BPF_MAP_TYPE_ARRAY,
+	.map_name = "tag_type_check_btf",
+	.key_size = sizeof(int),
+	.value_size = 8,
+	.key_type_id = 1,
+	.value_type_id = 3,
+	.max_entries = 1,
+	.map_create_err = true,
+},
 {
 	.descr = "type_tag test #1",
 	.raw_types = {