selftests/bpf: 32-bit copy of the counter compared at the latch

When building SCEV expressions for the loop:

  w7 = w1;    r7 = (zext32 r1)
  w1 = w7;    r1 = (zext32 (zext32 r1))
  w1 += 2;    r1 = (zext32 (+ (zext32 (zext32 r1)) 2))

Computed SCEV expression for r1:

  (zext32 (linear r1 2))

Substituting this into r7's expression at the latch:

  (zext32 (zext32 (linear r1 2)))

Without (zext32 (zext32 X)) -> (zext32 X) simplification rule
the latch would not be recognized as linear and header_count
won't be computed.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Link: https://patch.msgid.link/20261026-scev-simpler-clamp-v2-10-f373aec9825f@gmail.com

0 files changed, 0 insertions, 0 deletions