On Sat, 2024-12-21 at 01:26 +0000, Peilin Ye wrote: > Add the following ./test_progs tests: > > * atomics/load_acquire > * atomics/store_release > * arena_atomics/load_acquire > * arena_atomics/store_release [...] > --- > include/linux/filter.h | 2 + > .../selftests/bpf/prog_tests/arena_atomics.c | 61 +++++++++++++++- > .../selftests/bpf/prog_tests/atomics.c | 57 ++++++++++++++- > .../selftests/bpf/progs/arena_atomics.c | 62 +++++++++++++++- > tools/testing/selftests/bpf/progs/atomics.c | 62 +++++++++++++++- > .../selftests/bpf/verifier/atomic_invalid.c | 26 +++---- > .../selftests/bpf/verifier/atomic_load.c | 71 +++++++++++++++++++ > .../selftests/bpf/verifier/atomic_store.c | 70 ++++++++++++++++++ > 8 files changed, 393 insertions(+), 18 deletions(-) > create mode 100644 tools/testing/selftests/bpf/verifier/atomic_load.c > create mode 100644 tools/testing/selftests/bpf/verifier/atomic_store.c test_verifier tests runner is currently in a maintenance mode, new tests should be added as parts of a test_progs runner. Please take a look at selftests/bpf/progs/verifier_ldsx.c, selftests/bpf/prog_tests/verifier.c and selftests/bpf/bpf_misc.h. [...]
