On Fri, Mar 1, 2024 at 5:20 PM Eduard Zingerman <eddyz87@xxxxxxxxx> wrote: > > On Thu, 2024-02-29 at 19:37 -0800, Alexei Starovoitov wrote: > > From: Alexei Starovoitov <ast@xxxxxxxxxx> > > > > v2 -> v3: Major change > > - drop bpf_can_loop() kfunc and introduce may_goto instruction instead > > kfunc is a function call while may_goto doesn't consume any registers > > and LLVM can produce much better code due to less register pressure. > > - instead of counting from zero to BPF_MAX_LOOPS start from it instead > > and break out of the loop when count reaches zero > > - use may_goto instruction in cond_break macro > > - recognize that 'exact' state comparison doesn't need to be truly exact. > > regsafe() should ignore precision and liveness marks, but range_within > > logic is safe to use while evaluating open coded iterators. > > Sorry for the delay, I will look through this patch-set over the weekend. I fixed the drain issue reported by John, fixed no_alu32, and will resubmit soon. Ignore this set.