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

[Javed Absar via Phabricator via llvm-commits]

javed.absar added a comment.

Would removing 'isKnownViaInduction' have any impact of the number of cases 'analyzeable by scev?



================
Comment at: lib/Analysis/ScalarEvolution.cpp:8729
+
+bool ScalarEvolution::isKnownPredicateWithoutInductionHelper(
+    ICmpInst::Predicate Pred, const SCEV *LHS, const SCEV *RHS) {
----------------
Hi Serguei. 

I tried to trace the split and code duplication, and I think it would probably be simpler to combine  'isKnownPredicateWithoutInduction' and 'isKnownPredicateWithoutInductionHelper' into just one function (if that's possible).


https://reviews.llvm.org/D46046