Hello:
This series was applied to bpf/bpf-next.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
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
