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