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