[bpf-next,00/10] bpf/tests: Extend eBPF JIT test suite

Message

Johan Almbladh Oct. 1, 2021, 1:03 p.m. UTC

This patch set adds a number of new tests to the test_bpf.ko test suite.
The new tests focus on the behaviour of operations with different
combinations of register operands, and in particular, when two or more
register operands are in fact the same register. It also verifies things
like a src register not being zero-extended in-place in ALU32 operations,
and that operations implemented with function calls do not clobber any
other eBPF registers.

Johan Almbladh (10):
  bpf/tests: Add tests of BPF_LDX and BPF_STX with small sizes
  bpf/tests: Add zero-extension checks in BPF_ATOMIC tests
  bpf/tests: Add exhaustive tests of BPF_ATOMIC magnitudes
  bpf/tests: Add tests to check source register zero-extension
  bpf/tests: Add more tests for ALU and ATOMIC register clobbering
  bpf/tests: Minor restructuring of ALU tests
  bpf/tests: Add exhaustive tests of ALU register combinations
  bpf/tests: Add exhaustive tests of BPF_ATOMIC register combinations
  bpf/tests: Add test of ALU shifts with operand register aliasing
  bpf/tests: Add test of LDX_MEM with operand aliasing

 lib/test_bpf.c | 2803 ++++++++++++++++++++++++++++++++++++++++++++----
 1 file changed, 2571 insertions(+), 232 deletions(-)

Comments

[e-mail] Oct. 1, 2021, 3:10 p.m. UTC | #1

Hello:

This series was applied to bpf/bpf-next.git (refs/heads/master):

On Fri,  1 Oct 2021 15:03:38 +0200 you wrote:
> This patch set adds a number of new tests to the test_bpf.ko test suite.
> The new tests focus on the behaviour of operations with different
> combinations of register operands, and in particular, when two or more
> register operands are in fact the same register. It also verifies things
> like a src register not being zero-extended in-place in ALU32 operations,
> and that operations implemented with function calls do not clobber any
> other eBPF registers.
> 
> [...]

Here is the summary with links:
  - [bpf-next,01/10] bpf/tests: Add tests of BPF_LDX and BPF_STX with small sizes
    https://git.kernel.org/bpf/bpf-next/c/caaaa1667bf1
  - [bpf-next,02/10] bpf/tests: Add zero-extension checks in BPF_ATOMIC tests
    https://git.kernel.org/bpf/bpf-next/c/89b63462765c
  - [bpf-next,03/10] bpf/tests: Add exhaustive tests of BPF_ATOMIC magnitudes
    https://git.kernel.org/bpf/bpf-next/c/f68e8efd7fa5
  - [bpf-next,04/10] bpf/tests: Add tests to check source register zero-extension
    https://git.kernel.org/bpf/bpf-next/c/0bbaa02b4816
  - [bpf-next,05/10] bpf/tests: Add more tests for ALU and ATOMIC register clobbering
    https://git.kernel.org/bpf/bpf-next/c/e2f9797b3c73
  - [bpf-next,06/10] bpf/tests: Minor restructuring of ALU tests
    https://git.kernel.org/bpf/bpf-next/c/e42fc3c2c40e
  - [bpf-next,07/10] bpf/tests: Add exhaustive tests of ALU register combinations
    https://git.kernel.org/bpf/bpf-next/c/daed6083f4fb
  - [bpf-next,08/10] bpf/tests: Add exhaustive tests of BPF_ATOMIC register combinations
    https://git.kernel.org/bpf/bpf-next/c/6fae2e8a1d9e
  - [bpf-next,09/10] bpf/tests: Add test of ALU shifts with operand register aliasing
    https://git.kernel.org/bpf/bpf-next/c/68813605dea6
  - [bpf-next,10/10] bpf/tests: Add test of LDX_MEM with operand aliasing
    https://git.kernel.org/bpf/bpf-next/c/7bceeb95726b

You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html