Re: [PATCH bpf-next v2 00/43] bpf: use scalar evolution to widen bounded loops

[patchwork-bot+netdevbpf@kernel.org]

Hello:

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

On Sun,  4 Oct 2026 06:37:42 -0700 you wrote:
> This series implements the scalar evolution (SCEV) technique for
> verification of loops.
> 
> Scalar evolution is a static analysis technique that infers algebraic
> expressions describing how variables change within a loop body.
> These expressions can then be used to estimate the number of loop body
> executions. This estimate can be used to represent induction variables
> as ranges instead of enumerating each possible value.
> 
> [...]

Here is the summary with links:
  - [bpf-next,v2,01/43] bpf: represent stack access effects with arg_access_info
    https://git.kernel.org/bpf/bpf-next/c/0672c5556244
  - [bpf-next,v2,02/43] bpf: describe helper stack accesses with arg_access_info
    https://git.kernel.org/bpf/bpf-next/c/32aa356d6703
  - [bpf-next,v2,03/43] bpf: describe kfunc stack accesses with arg_access_info
    https://git.kernel.org/bpf/bpf-next/c/9aa0211998a7
  - [bpf-next,v2,04/43] bpf: track may_write flags in liveness
    https://git.kernel.org/bpf/bpf-next/c/8de0510cdb1c
  - [bpf-next,v2,05/43] bpf: summarize may write stack slots in insn_aux_data
    https://git.kernel.org/bpf/bpf-next/c/ccd41f1e7257
  - [bpf-next,v2,06/43] bpf: summarize live stack slots in insn_aux_data
    https://git.kernel.org/bpf/bpf-next/c/2ff0e602d931
  - [bpf-next,v2,07/43] bpf: summarize regs that may hold a frame pointer in insn_aux_data
    https://git.kernel.org/bpf/bpf-next/c/440ad035bbda
  - [bpf-next,v2,08/43] bpf: record write effects for atomic operations in liveness.c
    https://git.kernel.org/bpf/bpf-next/c/c695981052dc
  - [bpf-next,v2,09/43] bpf: add tnum_alignment()
    https://git.kernel.org/bpf/bpf-next/c/61f39d3292ca
  - [bpf-next,v2,10/43] bpf: add cnum{32,64}_union()
    https://git.kernel.org/bpf/bpf-next/c/7372e0fd2035
  - [bpf-next,v2,11/43] bpf: add cnum64_intersect_linear()
    https://git.kernel.org/bpf/bpf-next/c/575fbdd131db
  - [bpf-next,v2,12/43] bpf: expose comparison opcode transformations
    https://git.kernel.org/bpf/bpf-next/c/f244cbfba3ea
  - [bpf-next,v2,13/43] bpf: allow subrange relations for PTR_TO_STACK in regsafe()
    https://git.kernel.org/bpf/bpf-next/c/7ddae43ac5e7
  - [bpf-next,v2,14/43] bpf: representation for intervals with steps
    https://git.kernel.org/bpf/bpf-next/c/6499523b1636
  - [bpf-next,v2,15/43] bpf: varying offset access support for PTR_TO_BTF_ID pointers
    https://git.kernel.org/bpf/bpf-next/c/17cd31244f50
  - [bpf-next,v2,16/43] bpf: save DFS postorder numbers for program instructions
    https://git.kernel.org/bpf/bpf-next/c/6bab25c91a66
  - [bpf-next,v2,17/43] bpf: move the live-register and SCC printout to a standalone function
    https://git.kernel.org/bpf/bpf-next/c/ba536c460daa
  - [bpf-next,v2,18/43] bpf: compute immediate dominators
    https://git.kernel.org/bpf/bpf-next/c/695c19b3d36e
  - [bpf-next,v2,19/43] bpf: compute loop hierarchy
    https://git.kernel.org/bpf/bpf-next/c/62083ae4dd10
  - [bpf-next,v2,20/43] bpf: add bpf_set_reg_range()
    https://git.kernel.org/bpf/bpf-next/c/651f832d9b06
  - [bpf-next,v2,21/43] bpf: add bpf_mark_reg_known_scalar()
    https://git.kernel.org/bpf/bpf-next/c/8767ffd4e718
  - [bpf-next,v2,22/43] bpf: add bpf_reg_union()
    https://git.kernel.org/bpf/bpf-next/c/297788154c13
  - [bpf-next,v2,23/43] bpf: add a min-heap for ordered analysis worklists
    https://git.kernel.org/bpf/bpf-next/c/5048674597c7
  - [bpf-next,v2,24/43] bpf: record basic-block ends in insn_aux_data
    https://git.kernel.org/bpf/bpf-next/c/141bd53be1c8
  - [bpf-next,v2,25/43] bpf: add bpf_split_cur_state()
    https://git.kernel.org/bpf/bpf-next/c/0547bc753c30
  - [bpf-next,v2,26/43] bpf: add bpf_same_memory_origin()
    https://git.kernel.org/bpf/bpf-next/c/29a555f49246
  - [bpf-next,v2,27/43] bpf: allow precision backtracking between overlapping checkpoints
    https://git.kernel.org/bpf/bpf-next/c/57eb802c24bf
  - [bpf-next,v2,28/43] bpf: compute scalar evolution expressions for loops
    https://git.kernel.org/bpf/bpf-next/c/82bcc4f665cb
  - [bpf-next,v2,29/43] bpf: use SCEV to widen bounded loops
    https://git.kernel.org/bpf/bpf-next/c/408aff9a0159
  - [bpf-next,v2,30/43] bpf: avoid widening registers that hinder exact stack-slot tracking
    https://git.kernel.org/bpf/bpf-next/c/a6474f5f8464
  - [bpf-next,v2,31/43] bpf: bpf_func_state size optimization
    https://git.kernel.org/bpf/bpf-next/c/422ffa508a7b
  - [bpf-next,v2,32/43] selftests/bpf: __msg_next tag for matching messages on consecutive lines
    https://git.kernel.org/bpf/bpf-next/c/2db7911e0e7f
  - [bpf-next,v2,33/43] selftests/bpf: bound UNIX socket path loops by sun_path size
    https://git.kernel.org/bpf/bpf-next/c/6a697681f8ab
  - [bpf-next,v2,34/43] selftests/bpf: test for stack-pointer subrange pruning
    https://git.kernel.org/bpf/bpf-next/c/a8606df987d1
  - [bpf-next,v2,35/43] selftests/bpf: tests for may_write stack-liveness tracking
    https://git.kernel.org/bpf/bpf-next/c/95cf9a876448
  - [bpf-next,v2,36/43] selftests/bpf: tests for may_def marks of atomic RMW operations
    https://git.kernel.org/bpf/bpf-next/c/64a98c9510a0
  - [bpf-next,v2,37/43] selftests/bpf: tests for map special cases in bpf_helper_stack_access_bytes()
    https://git.kernel.org/bpf/bpf-next/c/22a9679beb90
  - [bpf-next,v2,38/43] selftests/bpf: tests for register base/step arithmetic
    https://git.kernel.org/bpf/bpf-next/c/a7d81f0f457d
  - [bpf-next,v2,39/43] selftests/bpf: tests for register base/step state pruning
    https://git.kernel.org/bpf/bpf-next/c/ff12031da64f
  - [bpf-next,v2,40/43] selftests/bpf: tests for varying offset access to PTR_TO_BTF_ID
    https://git.kernel.org/bpf/bpf-next/c/295ac48d3de6
  - [bpf-next,v2,41/43] selftests/bpf: tests for loop hierarchy computation
    https://git.kernel.org/bpf/bpf-next/c/09b89711604a
  - [bpf-next,v2,42/43] selftests/bpf: tests for immediate dominator computation
    https://git.kernel.org/bpf/bpf-next/c/6f7651bd3f68
  - [bpf-next,v2,43/43] selftests/bpf: tests for SCEV analysis and loop widening
    https://git.kernel.org/bpf/bpf-next/c/ca78d19fd106

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