Re: [PATCH bpf-next v2 3/5] bpf: simple DFA-based live registers analysis

[Alexei Starovoitov <alexei.starovoitov@xxxxxxxxx>]

On Mon, Mar 3, 2025 at 11:43 PM Eduard Zingerman <eddyz87@xxxxxxxxx> wrote:
>
> +       case BPF_STX:
> +               switch (mode) {
> +               case BPF_MEM:
> +                       def = 0;
> +                       use = dst | src;
> +                       break;
> +               case BPF_ATOMIC:
> +                       use = dst | src;
> +                       if (insn->imm & BPF_FETCH) {
> +                               if (insn->imm == BPF_CMPXCHG)
> +                                       def = r0;
> +                               else
> +                                       def = src;
> +                       } else {
> +                               def = 0;
> +                       }
> +                       break;
> +               }

This would need a follow up to recognize newly introduced
load_acq/store_rel insns.