Re: [PATCH v3 bpf-next 00/10] Add precision propagation for subprogs and callbacks

[patchwork-bot+netdevbpf@kernel.org]

Hello:

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

On Thu, 4 May 2023 21:33:07 -0700 you wrote:
> As more and more real-world BPF programs become more complex
> and increasingly use subprograms (both static and global), scalar precision
> tracking and its (previously weak) support for BPF subprograms (and callbacks
> as a special case of that) is becoming more and more of an issue and
> limitation. Couple that with increasing reliance on state equivalence (BPF
> open-coded iterators have a hard requirement for state equivalence to converge
> and successfully validate loops), and it becomes pretty critical to address
> this limitation and make precision tracking universally supported for BPF
> programs of any complexity and composition.
> 
> [...]

Here is the summary with links:
  - [v3,bpf-next,01/10] veristat: add -t flag for adding BPF_F_TEST_STATE_FREQ program flag
    https://git.kernel.org/bpf/bpf-next/c/5956f3011604
  - [v3,bpf-next,02/10] bpf: mark relevant stack slots scratched for register read instructions
    https://git.kernel.org/bpf/bpf-next/c/e0bf462276b6
  - [v3,bpf-next,03/10] bpf: encapsulate precision backtracking bookkeeping
    https://git.kernel.org/bpf/bpf-next/c/407958a0e980
  - [v3,bpf-next,04/10] bpf: improve precision backtrack logging
    https://git.kernel.org/bpf/bpf-next/c/d9439c21a9e4
  - [v3,bpf-next,05/10] bpf: maintain bitmasks across all active frames in __mark_chain_precision
    https://git.kernel.org/bpf/bpf-next/c/1ef22b6865a7
  - [v3,bpf-next,06/10] bpf: fix propagate_precision() logic for inner frames
    https://git.kernel.org/bpf/bpf-next/c/f655badf2a8f
  - [v3,bpf-next,07/10] bpf: fix mark_all_scalars_precise use in mark_chain_precision
    https://git.kernel.org/bpf/bpf-next/c/c50c0b57a515
  - [v3,bpf-next,08/10] bpf: support precision propagation in the presence of subprogs
    https://git.kernel.org/bpf/bpf-next/c/fde2a3882bd0
  - [v3,bpf-next,09/10] selftests/bpf: add precision propagation tests in the presence of subprogs
    https://git.kernel.org/bpf/bpf-next/c/3ef3d2177b1a
  - [v3,bpf-next,10/10] selftests/bpf: revert iter test subprog precision workaround
    https://git.kernel.org/bpf/bpf-next/c/c91ab90cea7a

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