[bpf-next,v2,00/13] bpf/tests: Extend JIT test suite coverage

Message

Johan Almbladh Sept. 7, 2021, 10:23 p.m. UTC

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/[e-mail]/

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(-)