Lines Matching refs:isImpliedCond
9835 isImpliedCond(Pred, LHS, RHS, Condition, false); in isImpliedViaGuard()
9865 isImpliedCond(Pred, LHS, RHS, in isLoopBackedgeGuardedByCond()
9888 if (isImpliedCond(Pred, LHS, RHS, ICmpInst::ICMP_ULT, LoopCounter, in isLoopBackedgeGuardedByCond()
9901 if (isImpliedCond(Pred, LHS, RHS, CI->getArgOperand(0), false)) in isLoopBackedgeGuardedByCond()
9943 if (isImpliedCond(Pred, LHS, RHS, Condition, in isLoopBackedgeGuardedByCond()
10002 if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse, Context)) in isBasicBlockEntryGuardedByCond()
10006 ProvedNonStrictComparison = isImpliedCond(NonStrictPredicate, LHS, RHS, in isBasicBlockEntryGuardedByCond()
10009 ProvedNonEquality = isImpliedCond(ICmpInst::ICMP_NE, LHS, RHS, in isBasicBlockEntryGuardedByCond()
10074 bool ScalarEvolution::isImpliedCond(ICmpInst::Predicate Pred, const SCEV *LHS, in isImpliedCond() function in ScalarEvolution
10088 return isImpliedCond(Pred, LHS, RHS, BO->getOperand(0), Inverse, in isImpliedCond()
10090 isImpliedCond(Pred, LHS, RHS, BO->getOperand(1), Inverse, in isImpliedCond()
10094 return isImpliedCond(Pred, LHS, RHS, BO->getOperand(0), Inverse, in isImpliedCond()
10096 isImpliedCond(Pred, LHS, RHS, BO->getOperand(1), Inverse, in isImpliedCond()
10115 return isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS, Context); in isImpliedCond()
10118 bool ScalarEvolution::isImpliedCond(ICmpInst::Predicate Pred, const SCEV *LHS, in isImpliedCond() function in ScalarEvolution