Re: [PATCH bpf-next v4 00/46] bpf: A verifier that joins states

[patchwork-bot+netdevbpf@kernel.org]

Hello:

This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@kernel.org>:

On Sat,  7 Nov 2026 03:37:08 +0000 you wrote:
> From: Alexei Starovoitov <ast@kernel.org>
> 
> The verifier follows each path of a prog, and each branch can double the
> number of paths. The work grows with the paths, not with the prog:
>   insns processed                                    today    this series
>   rust-bpf  scx_beerland/beerland_init_task        1000001 *        16430
>   rust-bpf  scx_qmap/qmap_init_cids                 131088 *          196
>   scx       scx_eevdf/eevdf_dispatch                350041          15322
>   Cilium    bpf_host/cil_to_netdev, Oct 2026         64658           7538
>   * "BPF program is too large", "The sequence of 8193 jumps is too complex"
> 
> [...]

Here is the summary with links:
  - [bpf-next,v4,01/46] bpf: Add may_goto to the loops that the verifier marks
    https://git.kernel.org/bpf/bpf-next/c/8ed7285ee075
  - [bpf-next,v4,02/46] bpf: Limit depth and time of recursive subprogs at run time
    https://git.kernel.org/bpf/bpf-next/c/7b7dc9c6e8e9
  - [bpf-next,v4,03/46] bpf: Add union and widening of the range of a register
    https://git.kernel.org/bpf/bpf-next/c/ff3712ef1106
  - [bpf-next,v4,04/46] bpf: Add join of registers and stack slots
    https://git.kernel.org/bpf/bpf-next/c/47388a4c175e
  - [bpf-next,v4,05/46] bpf: Add join of verifier states
    https://git.kernel.org/bpf/bpf-next/c/ff30ca620432
  - [bpf-next,v4,06/46] bpf: Tell which arguments of a call a join must leave alone
    https://git.kernel.org/bpf/bpf-next/c/af6bda3802af
  - [bpf-next,v4,07/46] bpf: Add the data structures of the main pass over the control flow graph
    https://git.kernel.org/bpf/bpf-next/c/0c30e60b214c
  - [bpf-next,v4,08/46] bpf: Order the insns, find what stops a loop and where may_goto can go
    https://git.kernel.org/bpf/bpf-next/c/9075b1169d6b
  - [bpf-next,v4,09/46] bpf: Find the registers that hold a number or a pointer to arena
    https://git.kernel.org/bpf/bpf-next/c/0c5ce2587057
  - [bpf-next,v4,10/46] bpf: Find the registers and stack slots that later checks depend on
    https://git.kernel.org/bpf/bpf-next/c/a8bfc00bacb4
  - [bpf-next,v4,11/46] bpf: Add the sets of states at an insn and the entries of functions
    https://git.kernel.org/bpf/bpf-next/c/8468842a8950
  - [bpf-next,v4,12/46] bpf: Compare states of different iterations of a loop
    https://git.kernel.org/bpf/bpf-next/c/6a3204708703
  - [bpf-next,v4,13/46] bpf: Decide which states are not joined
    https://git.kernel.org/bpf/bpf-next/c/773b03804ab1
  - [bpf-next,v4,14/46] bpf: Merge the state that arrives into the set at an insn
    https://git.kernel.org/bpf/bpf-next/c/9b56d2e47f3a
  - [bpf-next,v4,15/46] bpf: Move states along edges, into loops and subprogs and out of them
    https://git.kernel.org/bpf/bpf-next/c/19d27a501a52
  - [bpf-next,v4,16/46] bpf: Make the state after a call from the caller's state and an exit state
    https://git.kernel.org/bpf/bpf-next/c/8875170bb1d2
  - [bpf-next,v4,17/46] bpf: Enter and leave loops in the main pass, build flow.c
    https://git.kernel.org/bpf/bpf-next/c/a784eb58f12b
  - [bpf-next,v4,18/46] bpf: Tell the passes over the graph where an added may_goto goes
    https://git.kernel.org/bpf/bpf-next/c/51bfd6314dcc
  - [bpf-next,v4,19/46] bpf: Verify programs as a fixpoint over the control flow graph
    https://git.kernel.org/bpf/bpf-next/c/5395aa9bbeb5
  - [bpf-next,v4,20/46] bpf: Keep the count of a loop when a register has no closed form
    https://git.kernel.org/bpf/bpf-next/c/9b202a8c7722
  - [bpf-next,v4,21/46] bpf: Verify static subprogs on their own
    https://git.kernel.org/bpf/bpf-next/c/8fd58560b71e
  - [bpf-next,v4,22/46] bpf: Allow recursive subprogs
    https://git.kernel.org/bpf/bpf-next/c/eaea73907052
  - [bpf-next,v4,23/46] bpf: Remove is_state_visited(), bpf_compute_scc() and iter.depth
    https://git.kernel.org/bpf/bpf-next/c/6771f70a4733
  - [bpf-next,v4,24/46] bpf: Remove precision tracking
    https://git.kernel.org/bpf/bpf-next/c/9f644d937dcf
  - [bpf-next,v4,25/46] bpf: Remove prune points, levels of state comparison and pop_stack()
    https://git.kernel.org/bpf/bpf-next/c/8ecf70baad8b
  - [bpf-next,v4,26/46] bpf: Update comments about paths, pruning and explored states
    https://git.kernel.org/bpf/bpf-next/c/b7bf79dd6f1e
  - [bpf-next,v4,27/46] bpf: Track a pointer to one of a set of functions
    https://git.kernel.org/bpf/bpf-next/c/edcafaec6256
  - [bpf-next,v4,28/46] bpf: callx reads what the subprogs whose address is taken read
    https://git.kernel.org/bpf/bpf-next/c/6d4131627eae
  - [bpf-next,v4,29/46] bpf: Keep the first iteration of a counted loop apart
    https://git.kernel.org/bpf/bpf-next/c/df9b13a441c9
  - [bpf-next,v4,30/46] bpf: What a call returns in each iteration is like what the loop loads
    https://git.kernel.org/bpf/bpf-next/c/89557ca1fc86
  - [bpf-next,v4,31/46] bpf: Find where the jumps of a loop stop a number
    https://git.kernel.org/bpf/bpf-next/c/e2b83f4db687
  - [bpf-next,v4,32/46] bpf: A loop is one iteration shorter behind the jump that counts it
    https://git.kernel.org/bpf/bpf-next/c/a00c8eafb381
  - [bpf-next,v4,33/46] bpf: Give the places of a back edge to the jumps that count
    https://git.kernel.org/bpf/bpf-next/c/95ff2abedf64
  - [bpf-next,v4,34/46] bpf: Count a loop whose exit tests a copy of the counter
    https://git.kernel.org/bpf/bpf-next/c/ab5fa7281144
  - [bpf-next,v4,35/46] bpf: Allow tail calls and LD_ABS in subprogs that return void
    https://git.kernel.org/bpf/bpf-next/c/1dcc217fefba
  - [bpf-next,v4,36/46] bpf: A part of a pointer that is spilled is a number
    https://git.kernel.org/bpf/bpf-next/c/50ea1f0797de
  - [bpf-next,v4,37/46] bpf: 32-bit add to a pointer and pointer op pointer make a number
    https://git.kernel.org/bpf/bpf-next/c/4a3a9c2d6896
  - [bpf-next,v4,38/46] selftests/bpf: Adjust tests to log lines that are gone
    https://git.kernel.org/bpf/bpf-next/c/7e363442447f
  - [bpf-next,v4,39/46] selftests/bpf: Adjust tests to new verdicts, messages and order
    https://git.kernel.org/bpf/bpf-next/c/dd43eeaf99eb
  - [bpf-next,v4,40/46] selftests/bpf: Test states that are not joined
    https://git.kernel.org/bpf/bpf-next/c/8292b648ae99
  - [bpf-next,v4,41/46] selftests/bpf: Test static subprogs that are verified on their own
    https://git.kernel.org/bpf/bpf-next/c/489b946f5f6a
  - [bpf-next,v4,42/46] selftests/bpf: Test loops that are counted, walked or widened
    https://git.kernel.org/bpf/bpf-next/c/d0a8c63bfc66
  - [bpf-next,v4,43/46] selftests/bpf: Test progs that run out of budget
    https://git.kernel.org/bpf/bpf-next/c/bab5cb94006e
  - [bpf-next,v4,44/46] selftests/bpf: Test callx of one of a set of functions
    https://git.kernel.org/bpf/bpf-next/c/d14f973f1559
  - [bpf-next,v4,45/46] selftests/bpf: Test pointers that become numbers and subprogs that return void
    https://git.kernel.org/bpf/bpf-next/c/d13baed274e6
  - [bpf-next,v4,46/46] selftests/bpf: Test progs without bpf_for(), zero, can_loop and such
    https://git.kernel.org/bpf/bpf-next/c/b5ae07f77d27

You are awesome, thank you!
-- 
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html