selftests/bpf: validate jit behaviour for tail calls
authorEduard Zingerman <eddyz87@gmail.com>
Tue, 20 Aug 2024 10:23:56 +0000 (03:23 -0700)
committerAlexei Starovoitov <ast@kernel.org>
Wed, 21 Aug 2024 18:03:01 +0000 (11:03 -0700)
commite5bdd6a8be783eb0c960723d9f37df7ee931d6d6
treee5f7b67743e0fe7e39eb1b5bdc5ae06af78dcff8
parent7d743e4c759c6bff0131d638158c3472358eda2b
selftests/bpf: validate jit behaviour for tail calls

A program calling sub-program which does a tail call.
The idea is to verify instructions generated by jit for tail calls:
- in program and sub-program prologues;
- for subprogram call instruction;
- for tail call itself.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20240820102357.3372779-9-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/prog_tests/verifier.c
tools/testing/selftests/bpf/progs/verifier_tailcall_jit.c [new file with mode: 0644]