]> www.infradead.org Git - users/hch/misc.git/commit
selftests/bpf: test cases for compute_live_registers()
authorEduard Zingerman <eddyz87@gmail.com>
Tue, 4 Mar 2025 19:50:24 +0000 (11:50 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Sat, 15 Mar 2025 18:48:30 +0000 (11:48 -0700)
commit2ea8f6a1cda773bdc7dd6aec458217ac69b6fcd9
treedd49e7011dc00cd64b989a960c34147685db1afe
parent0fb3cf6110a5b16dc37324ea25cec0fb5733e63a
selftests/bpf: test cases for compute_live_registers()

Cover instructions from each kind:
- assignment
- arithmetic
- store/load
- endian conversion
- atomics
- branches, conditional branches, may_goto, calls
- LD_ABS/LD_IND
- address_space_cast

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20250304195024.2478889-6-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/prog_tests/compute_live_registers.c [new file with mode: 0644]
tools/testing/selftests/bpf/progs/bpf_misc.h
tools/testing/selftests/bpf/progs/compute_live_registers.c [new file with mode: 0644]
tools/testing/selftests/bpf/progs/verifier_gotol.c
tools/testing/selftests/bpf/progs/verifier_iterating_callbacks.c
tools/testing/selftests/bpf/progs/verifier_load_acquire.c