diff options
author | 2022-06-21 02:53:43 +0300 | |
---|---|---|
committer | 2022-06-20 17:40:51 -0700 | |
commit | f8acfdd04410d26b096a7082444cdc402df10f89 (patch) | |
tree | f3ea7252815a35d68dc4058ff8c7c22b95c06631 /tools/testing/selftests/bpf/prog_tests | |
parent | bpf: Inline calls to bpf_loop when callback is known (diff) | |
download | linux-dev-f8acfdd04410d26b096a7082444cdc402df10f89.tar.xz linux-dev-f8acfdd04410d26b096a7082444cdc402df10f89.zip |
selftests/bpf: BPF test_verifier selftests for bpf_loop inlining
A number of test cases for BPF selftests test_verifier to check how
bpf_loop inline transformation rewrites the BPF program. The following
cases are covered:
- happy path
- no-rewrite when flags is non-zero
- no-rewrite when callback is non-constant
- subprogno in insn_aux is updated correctly when dead sub-programs
are removed
- check that correct stack offsets are assigned for spilling of R6-R8
registers
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Acked-by: Song Liu <songliubraving@fb.com>
Link: https://lore.kernel.org/r/20220620235344.569325-5-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to 'tools/testing/selftests/bpf/prog_tests')
0 files changed, 0 insertions, 0 deletions