Lines Matching defs:isImpliedCond

11507            isImpliedCond(Pred, LHS, RHS, Condition, false);
11539       isImpliedCond(Pred, LHS, RHS,
11562     if (isImpliedCond(Pred, LHS, RHS, ICmpInst::ICMP_ULT, LoopCounter,
11575     if (isImpliedCond(Pred, LHS, RHS, CI->getArgOperand(0), false))
11611       if (isImpliedCond(Pred, LHS, RHS, Condition,
11659   // Try to prove (Pred, LHS, RHS) using isImpliedCond.
11662     if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse, CtxI))
11666         return isImpliedCond(P, LHS, RHS, Condition, Inverse, CtxI);
11739 bool ScalarEvolution::isImpliedCond(CmpPredicate Pred, const SCEV *LHS,
11758       return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) ||
11759              isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI);
11762       return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) ||
11763              isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI);
11780   return isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS, CtxI);
11783 bool ScalarEvolution::isImpliedCond(CmpPredicate Pred, const SCEV *LHS,
13703   assert(PendingLoopPredicates.empty() && "isImpliedCond garbage");