Lines Matching defs:isImpliedCond

11394            isImpliedCond(Pred, LHS, RHS, Condition, false);
11426       isImpliedCond(Pred, LHS, RHS,
11449     if (isImpliedCond(Pred, LHS, RHS, ICmpInst::ICMP_ULT, LoopCounter,
11462     if (isImpliedCond(Pred, LHS, RHS, CI->getArgOperand(0), false))
11498       if (isImpliedCond(Pred, LHS, RHS, Condition,
11547   // Try to prove (Pred, LHS, RHS) using isImpliedCond.
11550     if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse, CtxI))
11554         return isImpliedCond(P, LHS, RHS, Condition, Inverse, CtxI);
11628 bool ScalarEvolution::isImpliedCond(ICmpInst::Predicate Pred, const SCEV *LHS,
11647       return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) ||
11648              isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI);
11651       return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) ||
11652              isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI);
11669   return isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS, CtxI);
11672 bool ScalarEvolution::isImpliedCond(ICmpInst::Predicate Pred, const SCEV *LHS,
13580   assert(PendingLoopPredicates.empty() && "isImpliedCond garbage");