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

[Florian Hahn via llvm-commits]

================
@@ -0,0 +1,45 @@
+; RUN: opt -passes=loop-vectorize -force-vector-width=4 -force-vector-interleave=1 -S < %s | FileCheck %s
----------------
fhahn wrote:

test check should be auto-generated with update_test_checks.py

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