[PATCH] D125792: [SCEV] Use nowrap flags to infer that start > start - stride in howManyLessThans

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

It isn't enough that AddRec is nowrap; you have to prove that the initial value of the AddRec was produced by a nowrap add.

I should probably get https://reviews.llvm.org/D106331 landed, assuming it still applies; forgot I never merged it.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D125792