mirrors/linux
2
0
Fork 0
mirror of https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git synced 2026-08-30 11:03:07 -04:00
Code Issues Packages Projects Releases Wiki Activity

selftests/bpf: Verify decl tags emission in resolve_btfids test

Browse Source 
Extend test_resolve_btfids() to assert that resolve_btfids emits a
BTF_KIND_DECL_TAG named "bpf_kfunc" for every kfunc, and
"bpf_fastcall" for kfuncs marked KF_FASTCALL.

Add a btf_has_decl_tag() helper that scans the output BTF for a decl
tag matching name and target.

Signed-off-by: Ihor Solodrai <ihor.solodrai@linux.dev>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://patch.msgid.link/20260807032029.78092-6-ihor.solodrai@linux.dev
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
This commit is contained in:
Ihor Solodrai
2026-08-06 20:20:28 -07:00
committed by Eduard Zingerman
parent 6923931049
commit 9f3881ecad
1 changed files with 40 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

40
tools/testing/selftests/bpf/prog_tests/resolve_btfids.c
View File

@@ -12,6 +12,8 @@
#define BTF_DATA_FILE "resolve_btfids.test.o.BTF"
#define DECL_TAG_FASTCALL "bpf_fastcall"
#define DECL_TAG_KFUNC "bpf_kfunc"
#define TYPE_ATTR_ARENA "address_space(1)"
#ifndef KF_FASTCALL
@@ -176,6 +178,28 @@ static int resolve_symbols(struct btf *btf)
return 0;
}
static bool btf_has_decl_tag(struct btf *btf, const char *tag_name, s32 target_id)
{
const struct btf_type *t;
const char *name;
int nr, id;
nr = btf__type_cnt(btf);
for (id = 1; id < nr; id++) {
t = btf__type_by_id(btf, id);
if (!btf_is_decl_tag(t))
continue;
if (t->type != (__u32)target_id)
continue;
if (btf_decl_tag(t)->component_idx != -1)
continue;
name = btf__name_by_offset(btf, t->name_off);
if (strcmp(name, tag_name) == 0)
return true;
}
return false;
}
static void check_kfunc_set(struct btf_id_set8 *set)
{
unsigned int i, j;
@@ -260,6 +284,22 @@ void test_resolve_btfids(void)
check_kfunc_set(&test_kfunc_set);
check_kfunc_set(&test_kfunc_set_rev);
/* Check resolve_btfids emitted a bpf_kfunc decl_tag for each kfunc */
for (i = 0; i < ARRAY_SIZE(kfunc_symbols); i++) {
ASSERT_TRUE(btf_has_decl_tag(btf, DECL_TAG_KFUNC,
kfunc_symbols[i].id),
kfunc_symbols[i].name);
}
/* Check resolve_btfids emitted bpf_fastcall for KF_FASTCALL kfuncs */
for (i = 0; i < ARRAY_SIZE(kfunc_symbols); i++) {
if (kfunc_symbols[i].flags & KF_FASTCALL) {
ASSERT_TRUE(btf_has_decl_tag(btf, DECL_TAG_FASTCALL,
kfunc_symbols[i].id),
kfunc_symbols[i].name);
}
}
/*
* Check resolve_btfids wrapped exactly the arena-flagged return/args
* with the address_space(1) type attribute, and left other