diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2026-10-09 03:47:43 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2026-10-09 20:29:13 +0000 |
| commit | f849c3a145eb243ef1c4b08ec320a2538c9e722b (patch) | |
| tree | a808d23b4198cad6b75def6b51a724ddb4f7b826 /include/linux | |
| parent | 9ae7f5e8bf1d8be74797f937cdbeb730178a8c3d (diff) | |
| download | linux-f849c3a145eb243ef1c4b08ec320a2538c9e722b.tar.gz linux-f849c3a145eb243ef1c4b08ec320a2538c9e722b.zip | |
bpf: Add bpf_set_reg_range()
A utility function for setting a register's range and step information.
Used by SCEV widening and clamping logic further in the series.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://patch.msgid.link/20261009-scev-minimal-rebase-v3-25-bcba9bc53ac9@gmail.com
Diffstat (limited to 'include/linux')
| -rw-r--r-- | include/linux/bpf_verifier.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/linux/bpf_verifier.h b/include/linux/bpf_verifier.h index d1ebbfef5455..bc901d649472 100644 --- a/include/linux/bpf_verifier.h +++ b/include/linux/bpf_verifier.h @@ -1820,6 +1820,8 @@ struct arg_access_info bpf_global_subprog_stack_access_bytes(struct bpf_verifier_env *env, struct bpf_insn *insn, int arg, int insn_idx); int bpf_compute_subprog_arg_access(struct bpf_verifier_env *env); +int bpf_set_reg_range(struct bpf_verifier_env *env, struct bpf_reg_state *reg, + struct cnum64 range, u16 base, u16 step); int bpf_stack_liveness_init(struct bpf_verifier_env *env); void bpf_stack_liveness_free(struct bpf_verifier_env *env); |