[PATCH] D121937: [BPF] handle unsigned icmp ops in BPFAdjustOpt pass

[Alexei Starovoitov via Phabricator via llvm-commits]

ast accepted this revision.
ast added a comment.
This revision is now accepted and ready to land.

makes sense. without scalar evolution in the verfiier we cannot really propagate the range of r3 back into r2 and adjust it through reverse transformation of 13: (07) r3 += -3.
The llvm path is better.
Thanks!


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D121937/new/

https://reviews.llvm.org/D121937