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

[Nikita Popov via llvm-commits]

nikic wrote:

@bavly-bob CI isn't running because there is a merge conflict. You need to rebase or merge for CI to work again.

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