[PATCH bpf-next v2 0/8] bpf, riscv64: Support load-acquire and store-release instructions

[Peilin Ye]

Hi Lehui,

On Wed, May 07, 2025 at 03:42:29AM +0000, Peilin Ye wrote:
> v1: https://lore.kernel.org/bpf/cover.1745970908.git.yepeilin@google.com/
> Changes since v1:
> 
>  * add Acked-by:, Reviewed-by: and Tested-by: tags from Lehui and Björn
>  * simplify code logic in PATCH 1 (Lehui)
>  * in PATCH 3, avoid changing 'return 0;' to 'return ret;' at the end of
>    bpf_jit_emit_insn() (Lehui)
> 
> Please refer to individual patches for details.  Thanks!
> 
> [1] https://lore.kernel.org/all/cover.1741049567.git.yepeilin@google.com/
> 
> Andrea Parri (2):
>   bpf, riscv64: Introduce emit_load_*() and emit_store_*()
>   bpf, riscv64: Support load-acquire and store-release instructions
> 
> Peilin Ye (6):
>   bpf/verifier: Handle BPF_LOAD_ACQ instructions in insn_def_regno()
>   bpf, riscv64: Skip redundant zext instruction after load-acquire
>   selftests/bpf: Use CAN_USE_LOAD_ACQ_STORE_REL when appropriate
>   selftests/bpf: Avoid passing out-of-range values to __retval()
>   selftests/bpf: Verify zero-extension behavior in load-acquire tests
>   selftests/bpf: Enable non-arena load-acquire/store-release selftests
>     for riscv64
> 
>  arch/riscv/net/bpf_jit.h                      |  15 +
>  arch/riscv/net/bpf_jit_comp64.c               | 332 ++++++++++++------
>  arch/riscv/net/bpf_jit_core.c                 |   3 +-
>  kernel/bpf/verifier.c                         |  12 +-
>  tools/testing/selftests/bpf/progs/bpf_misc.h  |   5 +-
>  .../bpf/progs/verifier_load_acquire.c         |  48 ++-
>  .../selftests/bpf/progs/verifier_precision.c  |   5 +-
>  .../bpf/progs/verifier_store_release.c        |  39 +-
>  8 files changed, 313 insertions(+), 146 deletions(-)

Please take another look at v2 PATCH 1/8 and 3/8, thanks!

Peilin Ye