summaryrefslogtreecommitdiff
path: root/kernel/bpf/scev.c
AgeCommit message (Expand)Author
9 daystreewide: refresh kmalloc_obj() conversionsKees Cook
12 daysbpf: Invalidate a dynptr slice when its stack buffer is writtenAlexei Starovoitov
13 daysbpf: Keep the valid bytes of a packet pointer in scalar evolutionAlexei Starovoitov
2026-10-28bpf: Reset the range of a packet pointer that scalar evolution clampsAlexei Starovoitov
2026-10-28bpf: Don't clamp a register whose type changed in the loopAlexei Starovoitov
2026-10-28bpf: Don't widen a pointer to a buffer in scalar evolutionAlexei Starovoitov
2026-10-28bpf: Clear delta of a register that scalar evolution widensAlexei Starovoitov
2026-10-27bpf: Print 32-bit SCEV bounds as 32-bit numbersEduard Zingerman
2026-10-27bpf: (zext32 (zext32 X)) -> (zext32 X) SCEV simplification ruleEduard Zingerman
2026-10-27bpf: Check the iteration count before the predicted exit valueEduard Zingerman
2026-10-27bpf: Do not intersect with current register range on clampEduard Zingerman
2026-10-27bpf: Reject pointer operands for 32-bit recurrences/latchesEduard Zingerman
2026-10-21bpf: Support 32-bit linear scalar evolutionEduard Zingerman
2026-10-11bpf: Use div64_u64{,_rem}() in scev.cEduard Zingerman
2026-10-09bpf: Avoid widening registers that hinder exact stack-slot trackingEduard Zingerman
2026-10-09bpf: Use SCEV to widen bounded loopsEduard Zingerman
2026-10-09bpf: Compute scalar evolution expressions for loopsEduard Zingerman