aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/bpf/scev.c
AgeCommit message (Expand)AuthorFilesLines
13 daysbpf: Reset the range of a packet pointer that scalar evolution clampsAlexei Starovoitov1-0/+7
13 daysbpf: Don't clamp a register whose type changed in the loopAlexei Starovoitov1-0/+8
13 daysbpf: Don't widen a pointer to a buffer in scalar evolutionAlexei Starovoitov1-1/+0
13 daysbpf: Clear delta of a register that scalar evolution widensAlexei Starovoitov1-1/+1
13 daysbpf: Print 32-bit SCEV bounds as 32-bit numbersEduard Zingerman1-3/+5
13 daysbpf: (zext32 (zext32 X)) -> (zext32 X) SCEV simplification ruleEduard Zingerman1-0/+4
13 daysbpf: Check the iteration count before the predicted exit valueEduard Zingerman1-11/+8
13 daysbpf: Do not intersect with current register range on clampEduard Zingerman1-6/+0
13 daysbpf: Reject pointer operands for 32-bit recurrences/latchesEduard Zingerman1-3/+7
2026-10-21bpf: Support 32-bit linear scalar evolutionEduard Zingerman1-105/+259
2026-10-11bpf: Use div64_u64{,_rem}() in scev.cEduard Zingerman1-19/+20
2026-10-09bpf: Avoid widening registers that hinder exact stack-slot trackingEduard Zingerman1-2/+84
2026-10-09bpf: Use SCEV to widen bounded loopsEduard Zingerman1-0/+1039
2026-10-09bpf: Compute scalar evolution expressions for loopsEduard Zingerman1-0/+1640