Re: [PATCH bpf-next v3 0/5] bpf: simple DFA-based live registers analysis

[patchwork-bot+netdevbpf@kernel.org]

Hello:

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

On Tue,  4 Mar 2025 11:50:19 -0800 you wrote:
> This patch-set introduces a simple live registers DFA analysis.
> Analysis is done as a separate step before main verification pass.
> Results are stored in the env->insn_aux_data for each instruction.
> 
> The change helps with iterator/callback based loops handling,
> as regular register liveness marks are not finalized while
> loops are processed. See veristat results in patch #2.
> 
> [...]

Here is the summary with links:
  - [bpf-next,v3,1/5] bpf: jmp_offset() and verbose_insn() utility functions
    https://git.kernel.org/bpf/bpf-next/c/1c152572be59
  - [bpf-next,v3,2/5] bpf: get_call_summary() utility function
    https://git.kernel.org/bpf/bpf-next/c/0ae958eca164
  - [bpf-next,v3,3/5] bpf: simple DFA-based live registers analysis
    https://git.kernel.org/bpf/bpf-next/c/7dad03653567
  - [bpf-next,v3,4/5] bpf: use register liveness information for func_states_equal
    https://git.kernel.org/bpf/bpf-next/c/994a876a076a
  - [bpf-next,v3,5/5] selftests/bpf: test cases for compute_live_registers()
    https://git.kernel.org/bpf/bpf-next/c/8a3fc22ddec7

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