[llvm] c019099 - [IndVars] Use contextual knowledge when proving trivial conds

[Max Kazantsev via llvm-commits]

Author: Max Kazantsev
Date: 2020-10-26T13:48:32+07:00
New Revision: c019099053c147c6fb924a88e30c0993144ce22e

URL: https://github.com/llvm/llvm-project/commit/c019099053c147c6fb924a88e30c0993144ce22e
DIFF: https://github.com/llvm/llvm-project/commit/c019099053c147c6fb924a88e30c0993144ce22e.diff

LOG: [IndVars] Use contextual knowledge when proving trivial conds

No exact example where it would help, but it's a generally a more
powerful way to prove predicates.

Added: 
    

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

Removed: 
    


################################################################################
diff  --git a/llvm/lib/Transforms/Scalar/IndVarSimplify.cpp b/llvm/lib/Transforms/Scalar/IndVarSimplify.cpp
index 5a7b4e976b50..30f8f11f81a7 100644
--- a/llvm/lib/Transforms/Scalar/IndVarSimplify.cpp
+++ b/llvm/lib/Transforms/Scalar/IndVarSimplify.cpp
@@ -2332,7 +2332,7 @@ static bool isTrivialCond(const Loop *L, BranchInst *BI, ScalarEvolution *SE,
   const SCEV *LHSS = SE->getSCEVAtScope(LHS, L);
   const SCEV *RHSS = SE->getSCEVAtScope(RHS, L);
   // Can we prove it to be trivially true?
-  if (SE->isKnownPredicate(Pred, LHSS, RHSS))
+  if (SE->isKnownPredicateAt(Pred, LHSS, RHSS, BI))
     return true;
 
   return false;