selftests/bpf: Add tests for >8 byte return value and 128-bit arguments

Browse source

The BPF trampoline preserves only 8 bytes of the target's return value
(R0), so attaching an fexit/fmod_ret/fsession program to a function that
returns a >8 byte value is now rejected by the verifier. Add a bpf_testmod
function returning __int128 and an fexit program that targets it. The
program is expected to fail to load with the "with a >8 byte return value
is not supported for this attach type" message.

A 128-bit __int128 argument is passed in a register pair and occupies two
trampoline context slots. Add a bpf_testmod function taking a leading
__int128 argument followed by an int and a long, and an fexit program that
reads those two trailing arguments and the return value, verifying that the
trampoline reserves enough stack for the 128-bit argument and places the
following arguments and the return value at the right context slots.

__int128 is only available on 64-bit targets (where the compiler defines
__SIZEOF_INT128__). The argument test additionally depends on the calling
convention: x86_64 and arm64 pass an __int128 in a register pair as the
trampoline expects, while other architectures pass it differently (e.g.
s390x passes larger arguments by reference), so that subtest runs only on
x86_64 and arm64 and is skipped elsewhere.

Signed-off-by: Yonghong Song <yonghong.song@linux.dev>
Acked-by: Leon Hwang <leon.hwang@linux.dev>
Link: https://lore.kernel.org/bpf/20260729050209.2587581-1-yonghong.song@linux.dev
Signed-off-by: Kumar Kartikeya Dwivedi <memxor@gmail.com>

...

This commit is contained in:

Yonghong Song 2026-07-28 22:02:09 -07:00 • committed by Kumar Kartikeya Dwivedi

parent 814cba835e

commit 13cc6b788b

No known key found for this signature in database

GPG key ID: 472D377B63542F83

5 changed files with 112 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

20

tools/testing/selftests/bpf/prog_tests/tracing_failure.c

View file

36

tools/testing/selftests/bpf/prog_tests/tracing_struct.c

View file

6

tools/testing/selftests/bpf/progs/tracing_failure.c

View file

18

tools/testing/selftests/bpf/progs/tracing_struct_int128.c

View file

32

tools/testing/selftests/bpf/test_kmods/bpf_testmod.c

View file