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

[Nikita Popov 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);
----------------
nikic wrote:

Why is this getting passed in as a callback? You can call it directly. Make the static function a member function if necessary.

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