2302                                       const Instruction *CtxI) {  in willNotOverflow()  argument
2336   if (!CtxI)  in willNotOverflow()
2366     return isKnownPredicateAt(Pred, getConstant(Limit), LHS, CtxI);  in willNotOverflow()
2372     return isKnownPredicateAt(Pred, LHS, getConstant(Limit), CtxI);  in willNotOverflow()
2400   const Instruction *CtxI =  in getStrengthenedNoWrapFlagsFromBinOp()  local
2404                       /* Signed */ false, LHS, RHS, CtxI)) {  in getStrengthenedNoWrapFlagsFromBinOp()
2411                       /* Signed */ true, LHS, RHS, CtxI)) {  in getStrengthenedNoWrapFlagsFromBinOp()
10961                                          const Instruction *CtxI) {  in isKnownPredicateAt()  argument
10964          isBasicBlockEntryGuardedByCond(CtxI->getParent(), Pred, LHS, RHS);  in isKnownPredicateAt()
10969                                      const SCEV *RHS, const Instruction *CtxI) {  in evaluatePredicateAt()  argument
10974   if (isBasicBlockEntryGuardedByCond(CtxI->getParent(), Pred, LHS, RHS))  in evaluatePredicateAt()
10976   if (isBasicBlockEntryGuardedByCond(CtxI->getParent(),  in evaluatePredicateAt()
11058                                            const Instruction *CtxI) {  in getLoopInvariantPredicate()  argument
11099   if (!CtxI)  in getLoopInvariantPredicate()
11131         isKnownPredicateAt(SignFlippedPred, ArLHS, RHS, CtxI))  in getLoopInvariantPredicate()
11143     const Instruction *CtxI, const SCEV *MaxIter) {  in getLoopInvariantExitCondDuringFirstIterations()  argument
11145           Pred, LHS, RHS, L, CtxI, MaxIter))  in getLoopInvariantExitCondDuringFirstIterations()
11155               Pred, LHS, RHS, L, CtxI, Op))  in getLoopInvariantExitCondDuringFirstIterations()
11163     const Instruction *CtxI, const SCEV *MaxIter) {  in getLoopInvariantExitCondDuringFirstIterationsImpl()  argument
11217   if (!isKnownPredicateAt(NoOverflowPred, Start, Last, CtxI))  in getLoopInvariantExitCondDuringFirstIterationsImpl()
11549     const Instruction *CtxI = &BB->front();  in isBasicBlockEntryGuardedByCond()  local
11550     if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse, CtxI))  in isBasicBlockEntryGuardedByCond()
11554         return isImpliedCond(P, LHS, RHS, Condition, Inverse, CtxI);  in isBasicBlockEntryGuardedByCond()
11631                                     const Instruction *CtxI) {  in isImpliedCond()  argument
11647       return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) ||  in isImpliedCond()
11648              isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI);  in isImpliedCond()
11651       return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) ||  in isImpliedCond()
11652              isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI);  in isImpliedCond()
11669   return isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS, CtxI);  in isImpliedCond()
11676                                     const Instruction *CtxI) {  in isImpliedCond()  argument
11697                                        TruncFoundRHS, CtxI))  in isImpliedCond()
11724                                     FoundRHS, CtxI);  in isImpliedCond()
11730     const Instruction *CtxI) {  in isImpliedCondBalancedTypes()  argument
11756     return isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS, CtxI);  in isImpliedCondBalancedTypes()
11772                                    CtxI);  in isImpliedCondBalancedTypes()
11774       return isImpliedCondOperands(Pred, LHS, RHS, FoundRHS, FoundLHS, CtxI);  in isImpliedCondBalancedTypes()
11781                               FoundLHS, FoundRHS, CtxI))  in isImpliedCondBalancedTypes()
11787                               getNotSCEV(FoundRHS), CtxI))  in isImpliedCondBalancedTypes()
11804       return isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS, CtxI);  in isImpliedCondBalancedTypes()
11873                                     CtxI))  in isImpliedCondBalancedTypes()
11888           if (isImpliedCondOperands(Pred, LHS, RHS, V, getConstant(Min), CtxI))  in isImpliedCondBalancedTypes()
11896                                     LHS, V, getConstant(SharperMin), CtxI))  in isImpliedCondBalancedTypes()
11903                                     LHS, V, getConstant(Min), CtxI))  in isImpliedCondBalancedTypes()
11917       if (isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS, CtxI))  in isImpliedCondBalancedTypes()
11921       if (isImpliedCondOperands(FoundPred, LHS, RHS, FoundLHS, FoundRHS, CtxI))  in isImpliedCondBalancedTypes()
12005     const SCEV *FoundLHS, const SCEV *FoundRHS, const Instruction *CtxI) {  in isImpliedCondOperandsViaAddRecStart()  argument
12019   if (!CtxI)  in isImpliedCondOperandsViaAddRecStart()
12021   const BasicBlock *ContextBB = CtxI->getParent();  in isImpliedCondOperandsViaAddRecStart()
12285                                             const Instruction *CtxI) {  in isImpliedCondOperands()  argument
12296                                           CtxI))  in isImpliedCondOperands()