On Wed, Jun 8, 2022 at 12:27 PM Eduard Zingerman <eddyz87@xxxxxxxxx> wrote: > > A number of test cases for BPF selftests test_verifier to check how > bpf_loop inline transformation rewrites the BPF program. The following > cases are covered: > - happy path > - no-rewrite when flags is non-zero > - no-rewrite when callback is non-constant > - subprogno in insn_aux is updated correctly when dead sub-programs > are removed > - check that correct stack offsets are assigned for spilling of R6-R8 > registers > > Signed-off-by: Eduard Zingerman <eddyz87@xxxxxxxxx> Acked-by: Song Liu <songliubraving@xxxxxx> PS: I already acked v3, so you can include it in v4.