[PATCH] D139818: [IndVars][NFCI] Avoid supposedly redundant query to save some CT

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/lib/Transforms/Scalar/IndVarSimplify.cpp:1387
   // Can we prove it to be trivially true or false?
-  if (auto EV = SE->evaluatePredicateAt(Pred, LHSS, RHSS, BI)) {
-    foldExit(L, ExitingBB, /*IsTaken*/ !*EV, DeadInsts);
+  if (SE->isKnownPredicate(Pred, LHSS, RHSS, BI)) {
+    foldExit(L, ExitingBB, /*IsTaken*/ false, DeadInsts);
----------------
nikic wrote:
> Was this supposed to be isKnownPredicateAt?
Yes... Haven't committed the last revision of patch :(


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D139818/new/

https://reviews.llvm.org/D139818