[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-Id:
<171116462707.20726.11825470378202448490.git-patchwork-notify@kernel.org>
Date: Sat, 23 Mar 2024 03:30:27 +0000
From: patchwork-bot+netdevbpf@...nel.org
To: Puranjay Mohan <puranjay12@...il.com>
Cc: ast@...nel.org, daniel@...earbox.net, john.fastabend@...il.com,
andrii@...nel.org, martin.lau@...ux.dev, eddyz87@...il.com, song@...nel.org,
yonghong.song@...ux.dev, kpsingh@...nel.org, sdf@...gle.com,
haoluo@...gle.com, jolsa@...nel.org, bpf@...r.kernel.org,
linux-kernel@...r.kernel.org
Subject: Re: [RESEND PATCH bpf] bpf: verifier: fix addr_space_cast from as(1) to
as(0)
Hello:
This patch was applied to bpf/bpf.git (master)
by Alexei Starovoitov <ast@...nel.org>:
On Thu, 21 Mar 2024 15:39:39 +0000 you wrote:
> The verifier currently converts addr_space_cast from as(1) to as(0) that
> is: BPF_ALU64 | BPF_MOV | BPF_X with off=1 and imm=1
> to
> BPF_ALU | BPF_MOV | BPF_X with imm=1 (32-bit mov)
>
> Because of this imm=1, the JITs that have bpf_jit_needs_zext() == true,
> interpret the converted instruction as BPF_ZEXT_REG(DST) which is a
> special form of mov32, used for doing explicit zero extension on dst.
> These JITs will just zero extend the dst reg and will not move the src to
> dst before the zext.
>
> [...]
Here is the summary with links:
- [RESEND,bpf] bpf: verifier: fix addr_space_cast from as(1) to as(0)
https://git.kernel.org/bpf/bpf/c/c49cdf5b88aa
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html
Powered by blists - more mailing lists