Subject bpf: infer zext_dst based on static register liveness analysis
Author eddyz87@gmail.com
Date 2026-08-02 20:24:17 +0000 UTC
Version
Cc andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com gimm78064@gmail.com iii@linux.ibm.com kernel-team@fb.com martin.lau@linux.dev qmo@kernel.org yonghong.song@linux.dev
Patches (5)
Name Content [All]
[PATCH bpf-next v3 1/5] bpf: do not print a newline after disassembly in bpf_verbose_insn() [Body]
[PATCH bpf-next v3 2/5] bpf: track upper 32-bit register halves' liveness in compute_live_registers() [Body]
[PATCH bpf-next v3 3/5] bpf: infer zext_dst based on static register liveness analysis [Body]
[PATCH bpf-next v3 4/5] bpf: simplify the bpf_is_reg64() [Body]
[PATCH bpf-next v3 5/5] selftests/bpf: verify zext_dst annotations for various instructions [Body]
Series Summary
Passed
✓ All tests passed. No findings.
Sessions
Session 2026-08-02
Passed
ID (for dev) ad4564ee-9f46-4423-90e2-20c0bee0f955
Status finished
Triaged OK [Log] [Trajectory]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base fdec474c65fd35d5a6e1497ed50a9f98c07192f0 [Config] passed [Log]
[KASAN] Boot test: Base fdec474c65fd35d5a6e1497ed50a9f98c07192f0 [Config] passed [Log]
[KASAN] Build Patched fdec474c65fd35d5a6e1497ed50a9f98c07192f0 [Config] [patched] passed [Log]
[KASAN] Boot test: Patched fdec474c65fd35d5a6e1497ed50a9f98c07192f0 [Config] [patched] passed [Log]
[KASAN] Fuzz fdec474c65fd35d5a6e1497ed50a9f98c07192f0 [Config] fdec474c65fd35d5a6e1497ed50a9f98c07192f0 [Config] [patched] passed [Log] [Artifacts]