[llvm] [SCEV] Use a predicate in howManyLessThans() to prove overflow (PR #208581)

[Bavly Peter via llvm-commits]

bavly-bob wrote:

Hi, just following up on this PR. I corrected the line-ending issue from the previous update, but it looks like CI hasn't run on the latest changes. Could someone take a look when you have a chance? Thanks!

https://github.com/llvm/llvm-project/pull/208581