mbox series

[v2,bpf-next,0/2] bpf: Introduce bpf_can_loop

Message ID 20240227055235.23463-1-alexei.starovoitov@gmail.com (mailing list archive)
Headers show
Series bpf: Introduce bpf_can_loop | expand

Message

Alexei Starovoitov Feb. 27, 2024, 5:52 a.m. UTC 
From: Alexei Starovoitov <ast@kernel.org>

v1->v2:
- Address Eduard's feedback: factor out get_iter_reg
- Add comment that stack_extra adjustment logic supports bpf_can_loop only for now
- More tests
- Fixed minor bug in stack_extra in subprog

Alexei Starovoitov (2):
  bpf: Introduce bpf_can_loop() kfunc
  selftests/bpf: Test bpf_can_loop

 include/linux/bpf_verifier.h                  |   3 +
 kernel/bpf/helpers.c                          |  12 ++
 kernel/bpf/verifier.c                         | 163 +++++++++++++++---
 tools/lib/bpf/bpf_helpers.h                   |   1 +
 .../bpf/progs/verifier_iterating_callbacks.c  |  47 +++++
 5 files changed, 198 insertions(+), 28 deletions(-)