summaryrefslogtreecommitdiff
path: root/kernel/bpf/scev.c
AgeCommit message (Expand)Author
4 daysbpf: Invalidate a dynptr slice when its stack buffer is writtenAlexei Starovoitov
5 daysbpf: Keep the valid bytes of a packet pointer in scalar evolutionAlexei Starovoitov
10 daysbpf: Reset the range of a packet pointer that scalar evolution clampsAlexei Starovoitov
10 daysbpf: Don't clamp a register whose type changed in the loopAlexei Starovoitov
10 daysbpf: Don't widen a pointer to a buffer in scalar evolutionAlexei Starovoitov
10 daysbpf: Clear delta of a register that scalar evolution widensAlexei Starovoitov
11 daysbpf: Print 32-bit SCEV bounds as 32-bit numbersEduard Zingerman
11 daysbpf: (zext32 (zext32 X)) -> (zext32 X) SCEV simplification ruleEduard Zingerman
11 daysbpf: Check the iteration count before the predicted exit valueEduard Zingerman
11 daysbpf: Do not intersect with current register range on clampEduard Zingerman
11 daysbpf: 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