Re: [PATCH RFC bpf-next v1 4/4] selftests/bpf: Add selftests for load-acquire and store-release instructions

[Eduard Zingerman]

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.

[...]