[llvm] [ScalarEvolution] Avoid recursive proof blowup for recurrence starts (PR #225000)

[Justin Leong via llvm-commits]

================
@@ -12909,7 +12909,7 @@ static bool IsKnownPredicateViaAddRecStart(ScalarEvolution &SE,
   if (!LAR->getNoWrapFlags(NW) || !RAR->getNoWrapFlags(NW))
     return false;
 
-  return SE.isKnownPredicate(Pred, LStart, RStart);
+  return IsKnown(LStart, RStart);
----------------
justinleong22 wrote:

made this a private member function and then replaced the callback with a direct call to isKnownViaNonRecursiveReasoning

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