On Tue, 2025-03-04 at 09:00 -0800, Alexei Starovoitov wrote: > 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. Missed that load_acq landed. Will send v3 shortly.