From: Puranjay Mohan <puranjay@kernel.org>
To: bpf@vger.kernel.org
Cc: Puranjay Mohan <puranjay@kernel.org>,
Puranjay Mohan <puranjay12@gmail.com>,
Alexei Starovoitov <ast@kernel.org>,
Andrii Nakryiko <andrii@kernel.org>,
Daniel Borkmann <daniel@iogearbox.net>,
Martin KaFai Lau <martin.lau@kernel.org>,
Eduard Zingerman <eddyz87@gmail.com>,
Kumar Kartikeya Dwivedi <memxor@gmail.com>,
Mykyta Yatsenko <mykyta.yatsenko5@gmail.com>,
kernel-team@meta.com, sunhao.th@gmail.com
Subject: [PATCH bpf-next v3 0/2] bpf: Recognize special arithmetic shift in the verifier
Date: Fri, 2 Jan 2026 18:23:05 -0800 [thread overview]
Message-ID: <20260103022310.935686-1-puranjay@kernel.org> (raw)
v2: https://lore.kernel.org/bpf/20251115022611.64898-1-alexei.starovoitov@gmail.com/
Changes in v2->v3:
- fork verifier state while processing BPF_AND when src_reg has [-1,0]
range and 2nd operand is a constant.
v1->v2:
Use __mark_reg32_known() or __mark_reg_known() for zero too.
Add comment to selftest.
v1:
https://lore.kernel.org/bpf/20251114031039.63852-1-alexei.starovoitov@gmail.com/
Alexei Starovoitov (2):
bpf: Recognize special arithmetic shift in the verifier
selftests/bpf: Add tests for s>>=31 and s>>=63
kernel/bpf/verifier.c | 34 ++++++++++++++
.../selftests/bpf/progs/verifier_subreg.c | 45 +++++++++++++++++++
2 files changed, 79 insertions(+)
base-commit: 7694ff8f6ca7f7cdf2e5636ecbe6dacaeb71678d
--
2.47.3
next reply other threads:[~2026-01-03 2:24 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2026-01-03 2:23 Puranjay Mohan [this message]
2026-01-03 2:23 ` [PATCH bpf-next v3 1/2] bpf: Recognize special arithmetic shift in the verifier Puranjay Mohan
2026-01-06 17:21 ` Andrii Nakryiko
2026-01-08 18:28 ` Puranjay Mohan
2026-01-08 18:45 ` Eduard Zingerman
2026-01-09 1:18 ` Alexei Starovoitov
2026-01-09 2:07 ` Eduard Zingerman
2026-01-09 2:53 ` Alexei Starovoitov
2026-01-12 19:58 ` Puranjay Mohan
2026-01-08 1:03 ` Eduard Zingerman
2026-01-08 1:07 ` Alexei Starovoitov
2026-01-08 1:19 ` Eduard Zingerman
2026-01-03 2:23 ` [PATCH bpf-next v3 2/2] selftests/bpf: Add tests for s>>=31 and s>>=63 Puranjay Mohan
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20260103022310.935686-1-puranjay@kernel.org \
--to=puranjay@kernel.org \
--cc=andrii@kernel.org \
--cc=ast@kernel.org \
--cc=bpf@vger.kernel.org \
--cc=daniel@iogearbox.net \
--cc=eddyz87@gmail.com \
--cc=kernel-team@meta.com \
--cc=martin.lau@kernel.org \
--cc=memxor@gmail.com \
--cc=mykyta.yatsenko5@gmail.com \
--cc=puranjay12@gmail.com \
--cc=sunhao.th@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox