diff options
| author | Eduard Zingerman <eddyz87@gmail.com> | 2026-10-09 03:47:24 -0700 |
|---|---|---|
| committer | Alexei Starovoitov <ast@kernel.org> | 2026-10-09 20:29:12 +0000 |
| commit | 30175f5d9b1a82e6664485bfe9e50e4dcaa6f2ac (patch) | |
| tree | 4d4f39d330ea9085f93d8a609c306684f0062cbd /include/linux | |
| parent | 0360ed8655cfe4ed25d5feb46c7f31addc59e63a (diff) | |
| download | linux-next-30175f5d9b1a82e6664485bfe9e50e4dcaa6f2ac.tar.gz linux-next-30175f5d9b1a82e6664485bfe9e50e4dcaa6f2ac.zip | |
bpf: Summarize live stack slots in insn_aux_data
SCEV needs live stack information in order to skip tracking dead
slots. Liveness tracks this per function instance, but SCEV is not
callchain-sensitive and needs a summary across calling contexts.
For each instruction, union the current-frame liveness masks from all
analyzed function instances. Represent 8-byte slots as a summary of
constituent halves. Store the summary in insn_aux_data.
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-6-bcba9bc53ac9@gmail.com
Diffstat (limited to 'include/linux')
| -rw-r--r-- | include/linux/bpf_verifier.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/linux/bpf_verifier.h b/include/linux/bpf_verifier.h index 4cb36ee3b6f7..5b615083ffa9 100644 --- a/include/linux/bpf_verifier.h +++ b/include/linux/bpf_verifier.h @@ -667,6 +667,7 @@ struct bpf_insn_aux_data { * that this instruction may write to. */ DECLARE_BITMAP(may_write_mask, MAX_BPF_STACK_SLOTS); + DECLARE_BITMAP(live_stack_before, MAX_BPF_STACK_SLOTS); int ctx_field_size; /* the ctx field size for load insn, maybe 0 */ u32 seen; /* this insn was processed by the verifier at env->pass_cnt */ bool nospec; /* do not execute this instruction speculatively */ |