This patch set adds a number of new tests to the test_bpf.ko test suite.
The tests are intended to verify the correctness of eBPF JITs.
Changes since v1:
* Fixed ASCII diagram of staggered jump test pattern (6/13).
* Fixed R0 initialization issue found by kbuild CI. Add comment on
diagnostics/debugging instead of setting R0 to the current
instruction index (3,4,7/13).
Link: https://lore.kernel.org/bpf/20210902185229.1840281-1-johan.almbladh@anyfinetworks.com/ (local)
Johan Almbladh (13):
bpf/tests: Allow different number of runs per test case
bpf/tests: Reduce memory footprint of test suite
bpf/tests: Add exhaustive tests of ALU shift values
bpf/tests: Add exhaustive tests of ALU operand magnitudes
bpf/tests: Add exhaustive tests of JMP operand magnitudes
bpf/tests: Add staggered JMP and JMP32 tests
bpf/tests: Add exhaustive test of LD_IMM64 immediate magnitudes
bpf/tests: Add test case flag for verifier zero-extension
bpf/tests: Add JMP tests with small offsets
bpf/tests: Add JMP tests with degenerate conditional
bpf/tests: Expand branch conversion JIT test
bpf/tests: Add more BPF_END byte order conversion tests
bpf/tests: Add tail call limit test with external function call
lib/test_bpf.c | 3316 +++++++++++++++++++++++++++++++++++++++++++++++-
1 file changed, 3274 insertions(+), 42 deletions(-)
--
2.25.1