[PATCH] D46046: [SCEV] Do not use induction in isKnownPredicate for simplification umax

[Sanjoy Das via Phabricator via llvm-commits]

sanjoy added a comment.

I'm a bit worried about adding yet another `IsKnownViaXXX` codepath (there are already too many!).  Can we be a bit smarter in `isKnownPredicate` so that it avoids the recursive compile time blowup?  If that's not possible, can we instead push the logic in `isKnownPredicateWithoutInduction` into `isKnownViaNonRecursiveReasoning`?


https://reviews.llvm.org/D46046