selftests/bpf: Some more atomic tests
authorBrendan Jackman <jackmanb@google.com>
Fri, 15 Oct 2021 09:33:18 +0000 (09:33 +0000)
committerAlexei Starovoitov <ast@kernel.org>
Thu, 21 Oct 2021 01:09:08 +0000 (18:09 -0700)
commit7960d02dddccc0676d4a1b58e9964718b47388e1
tree1e045b2641a5203a836bad3beaab5f848ac28ef0
parent99aaebfc288a15f1d5a99f8cd15d1d4d355fc179
selftests/bpf: Some more atomic tests

Some new verifier tests that hit some important gaps in the parameter
space for atomic ops.

There are already exhaustive tests for the JIT part in
lib/test_bpf.c, but these exercise the verifier too.

Signed-off-by: Brendan Jackman <jackmanb@google.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://lore.kernel.org/bpf/20211015093318.1273686-1-jackmanb@google.com
tools/testing/selftests/bpf/verifier/atomic_cmpxchg.c
tools/testing/selftests/bpf/verifier/atomic_fetch.c [new file with mode: 0644]
tools/testing/selftests/bpf/verifier/atomic_invalid.c [new file with mode: 0644]