Lines Matching refs:isImpliedCond
9364 isImpliedCond(Pred, LHS, RHS, Condition, false); in isImpliedViaGuard()
9394 isImpliedCond(Pred, LHS, RHS, in isLoopBackedgeGuardedByCond()
9417 if (isImpliedCond(Pred, LHS, RHS, ICmpInst::ICMP_ULT, LoopCounter, in isLoopBackedgeGuardedByCond()
9430 if (isImpliedCond(Pred, LHS, RHS, CI->getArgOperand(0), false)) in isLoopBackedgeGuardedByCond()
9472 if (isImpliedCond(Pred, LHS, RHS, Condition, in isLoopBackedgeGuardedByCond()
9540 if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse)) in isLoopEntryGuardedByCond()
9545 isImpliedCond(NonStrictPredicate, LHS, RHS, Condition, Inverse); in isLoopEntryGuardedByCond()
9548 isImpliedCond(ICmpInst::ICMP_NE, LHS, RHS, Condition, Inverse); in isLoopEntryGuardedByCond()
9592 bool ScalarEvolution::isImpliedCond(ICmpInst::Predicate Pred, in isImpliedCond() function in ScalarEvolution
9606 return isImpliedCond(Pred, LHS, RHS, BO->getOperand(0), Inverse) || in isImpliedCond()
9607 isImpliedCond(Pred, LHS, RHS, BO->getOperand(1), Inverse); in isImpliedCond()
9610 return isImpliedCond(Pred, LHS, RHS, BO->getOperand(0), Inverse) || in isImpliedCond()
9611 isImpliedCond(Pred, LHS, RHS, BO->getOperand(1), Inverse); in isImpliedCond()
9629 return isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS); in isImpliedCond()
9632 bool ScalarEvolution::isImpliedCond(ICmpInst::Predicate Pred, const SCEV *LHS, in isImpliedCond() function in ScalarEvolution