Re: [PATCH bpf-next v2 0/4] bpf: Improve verifier for cond_op and spilled loop index variables

[patchwork-bot+netdevbpf@kernel.org]

Hello:

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

On Thu, 6 Apr 2023 09:44:50 -0700 you wrote:
> LLVM commit [1] introduced hoistMinMax optimization like
>   (i < VIRTIO_MAX_SGS) && (i < out_sgs)
> to
>   upper = MIN(VIRTIO_MAX_SGS, out_sgs)
>   ... i < upper ...
> and caused the verification failure. Commit [2] workarounded the issue by
> adding some bpf assembly code to prohibit the above optimization.
> This patch improved verifier such that verification can succeed without
> the above workaround.
> 
> [...]

Here is the summary with links:
  - [bpf-next,v2,1/4] bpf: Improve verifier JEQ/JNE insn branch taken checking
    https://git.kernel.org/bpf/bpf-next/c/13fbcee55706
  - [bpf-next,v2,2/4] selftests/bpf: Add tests for non-constant cond_op NE/EQ bound deduction
    https://git.kernel.org/bpf/bpf-next/c/aec08d677b4d
  - [bpf-next,v2,3/4] bpf: Improve handling of pattern '<const> <cond_op> <non_const>' in verifier
    https://git.kernel.org/bpf/bpf-next/c/953d9f5beaf7
  - [bpf-next,v2,4/4] selftests/bpf: Add verifier tests for code pattern '<const> <cond_op> <non_const>'
    https://git.kernel.org/bpf/bpf-next/c/23a88fae9f20

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