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

[Florian Hahn via llvm-commits]

================
@@ -0,0 +1,34 @@
+; RUN: opt < %s -disable-output "-passes=print<scalar-evolution>" 2>&1 | FileCheck %s
----------------
fhahn wrote:

checks should be auto-generated. Any reason this cannot be part of `llvm/test/Analysis/ScalarEvolution/trip-count-non-unit-stride.ll`?

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