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

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev updated this revision to Diff 482033.
mkazantsev added a comment.

Fixed comment


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

https://reviews.llvm.org/D139818

Files:
  llvm/lib/Transforms/Scalar/IndVarSimplify.cpp


Index: llvm/lib/Transforms/Scalar/IndVarSimplify.cpp
===================================================================
--- llvm/lib/Transforms/Scalar/IndVarSimplify.cpp
+++ llvm/lib/Transforms/Scalar/IndVarSimplify.cpp
@@ -1383,9 +1383,9 @@
 
   const SCEV *LHSS = SE->getSCEVAtScope(LHS, L);
   const SCEV *RHSS = SE->getSCEVAtScope(RHS, L);
-  // 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);
+  // Can we prove it to be trivially true?
+  if (SE->isKnownPredicateAt(Pred, LHSS, RHSS, BI)) {
+    foldExit(L, ExitingBB, /*IsTaken*/ false, DeadInsts);
     return true;
   }
 


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D139818.482033.patch
Type: text/x-patch
Size: 705 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20221212/cbdcd54b/attachment.bin>