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

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added inline comments.


================
Comment at: include/llvm/Analysis/ScalarEvolution.h:884
+  /// Test if the given expression is known to satisfy the condition described
+  /// by Pred, LHS, and RHS. Do not use complex induction implications.
+  bool isKnownPredicateWithoutInduction(ICmpInst::Predicate Pred,
----------------
s/Do not/Does not/ ?


================
Comment at: include/llvm/Analysis/ScalarEvolution.h:1864
+  /// Test if the given expression is known to satisfy the condition described
+  /// by Pred, LHS, and RHS. Do not use complex induction implications.
+  /// Expects that SimplifyICmpOperands is already done.
----------------
Same


https://reviews.llvm.org/D46046