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

[Florian Hahn via llvm-commits]

================
@@ -1597,6 +1597,38 @@ TEST_F(ScalarEvolutionsTest, ImpliedCond) {
   });
 }
 
+TEST_F(ScalarEvolutionsTest, PredicatedBackedgeTakenCountForOverflowingStride) {
----------------
fhahn wrote:

I am not sure this adds any value, given the code path should already be covered by the exiting IR tests?

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