Re: [PATCH bpf-next v3 00/29] bpf: Find linked registers by scalar evolution, remove scalar ids

[patchwork-bot+netdevbpf@kernel.org]

Hello:

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

On Wed, 11 Nov 2026 16:45:23 +0000 you wrote:
> From: Alexei Starovoitov <ast@kernel.org>
> 
>   char *buf = bpf_map_lookup_elem(&map, &key);    /* 128 bytes */
>   ..
>   p = buf + i;                                    /* i is a byte */
>   if (i > 100)
>           return 0;
>   *p = buf[0];
> 
> [...]

Here is the summary with links:
  - [bpf-next,v3,01/29] bpf: Keep the 32-bit range across a no-op sign extension
    https://git.kernel.org/bpf/bpf-next/c/7f2be76f66c1
  - [bpf-next,v3,02/29] bpf: Model 32-bit shifts and divisions exactly in scalar evolution
    https://git.kernel.org/bpf/bpf-next/c/af75e656127c
  - [bpf-next,v3,03/29] bpf: Construct scalar evolution expressions without allocations
    https://git.kernel.org/bpf/bpf-next/c/aba76dc75e35
  - [bpf-next,v3,04/29] bpf: Don't join dead registers in scalar evolution
    https://git.kernel.org/bpf/bpf-next/c/88835c2be483
  - [bpf-next,v3,05/29] bpf: Simplify scalar evolution expressions at construction
    https://git.kernel.org/bpf/bpf-next/c/221d14d4e8f2
  - [bpf-next,v3,06/29] bpf: Give SSA names to the values that scalar evolution does not track
    https://git.kernel.org/bpf/bpf-next/c/cfef7bfa2c2a
  - [bpf-next,v3,07/29] bpf: Compute scalar evolution expressions for whole subprogs
    https://git.kernel.org/bpf/bpf-next/c/490460d3b2ac
  - [bpf-next,v3,08/29] bpf: Mark the attr argument of bpf_sys_bpf() as MEM_WRITE
    https://git.kernel.org/bpf/bpf-next/c/ecb02a088761
  - [bpf-next,v3,09/29] bpf: Include older frames in a fill through an imprecise stack pointer
    https://git.kernel.org/bpf/bpf-next/c/616f6f3a0cd0
  - [bpf-next,v3,10/29] bpf: Detect a dead branch when a range and var_off don't overlap
    https://git.kernel.org/bpf/bpf-next/c/84d326943649
  - [bpf-next,v3,11/29] bpf: Don't treat half of a 64-bit spill as a 32-bit spill on big endian
    https://git.kernel.org/bpf/bpf-next/c/c5142859aed4
  - [bpf-next,v3,12/29] bpf: Refine registers linked by scalar evolution at conditional jumps
    https://git.kernel.org/bpf/bpf-next/c/e2f3d29e88d0
  - [bpf-next,v3,13/29] bpf: Value number the phis of scalar evolution
    https://git.kernel.org/bpf/bpf-next/c/527ebfb466f8
  - [bpf-next,v3,14/29] selftests/bpf: Test registers linked by scalar evolution
    https://git.kernel.org/bpf/bpf-next/c/6d679b770373
  - [bpf-next,v3,15/29] selftests/bpf: Test sign extensions of a range and of a linked register
    https://git.kernel.org/bpf/bpf-next/c/8dceb4e1dd54
  - [bpf-next,v3,16/29] bpf: Recompute a pointer after the jump that bounds its index
    https://git.kernel.org/bpf/bpf-next/c/94a5bec008d7
  - [bpf-next,v3,17/29] selftests/bpf: Test a pointer computed before its index is bounded
    https://git.kernel.org/bpf/bpf-next/c/8a52d7c8b3a4
  - [bpf-next,v3,18/29] bpf: Promote memory behind a pointer to SCEV registers
    https://git.kernel.org/bpf/bpf-next/c/fd8e6bf8d240
  - [bpf-next,v3,19/29] selftests/bpf: Test the memory of a caller that a jump tests
    https://git.kernel.org/bpf/bpf-next/c/bb264c399ccb
  - [bpf-next,v3,20/29] bpf: Find a copy of an induction variable without scalar ids
    https://git.kernel.org/bpf/bpf-next/c/1ff08ed619d4
  - [bpf-next,v3,21/29] bpf: Compute scalar evolution expressions in irreducible loops
    https://git.kernel.org/bpf/bpf-next/c/8b81ea69de07
  - [bpf-next,v3,22/29] bpf: Remove sync_linked_regs(), refine by scalar evolution only
    https://git.kernel.org/bpf/bpf-next/c/315a2adc00e2
  - [bpf-next,v3,23/29] bpf: Recognize copies of a scalar by their ranges in flow_join_makes_up()
    https://git.kernel.org/bpf/bpf-next/c/d0a2961adf22
  - [bpf-next,v3,24/29] bpf: Stop assigning ids to scalars
    https://git.kernel.org/bpf/bpf-next/c/5d3a85d3743d
  - [bpf-next,v3,25/29] bpf: Remove scalar ids from regsafe()
    https://git.kernel.org/bpf/bpf-next/c/c9a6eeaf44d1
  - [bpf-next,v3,26/29] bpf: Remove scalar ids from the join of states
    https://git.kernel.org/bpf/bpf-next/c/2efaa4901da0
  - [bpf-next,v3,27/29] bpf: Remove scalar ids from the log and from bpf_verifier.h
    https://git.kernel.org/bpf/bpf-next/c/ba3dfc8f872d
  - [bpf-next,v3,28/29] bpf: Support sign-extended 32-bit linear scalar evolution
    https://git.kernel.org/bpf/bpf-next/c/ab981af5e99c
  - [bpf-next,v3,29/29] selftests/bpf: Test loops with a sign-extended 32-bit induction variable
    https://git.kernel.org/bpf/bpf-next/c/e7a54ec8a3b7

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