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

Nikita Popov via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Dec 12 01:30:40 PST 2022


nikic 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);
----------------
Was this supposed to be isKnownPredicateAt?


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

https://reviews.llvm.org/D139818



More information about the llvm-commits mailing list