Lines Matching refs:CtxI
2300 const Instruction *CtxI) { in willNotOverflow() argument
2334 if (!CtxI) in willNotOverflow()
2364 return isKnownPredicateAt(Pred, getConstant(Limit), LHS, CtxI); in willNotOverflow()
2370 return isKnownPredicateAt(Pred, LHS, getConstant(Limit), CtxI); in willNotOverflow()
2398 const Instruction *CtxI = in getStrengthenedNoWrapFlagsFromBinOp() local
2402 /* Signed */ false, LHS, RHS, CtxI)) { in getStrengthenedNoWrapFlagsFromBinOp()
2409 /* Signed */ true, LHS, RHS, CtxI)) { in getStrengthenedNoWrapFlagsFromBinOp()
10883 const Instruction *CtxI) { in isKnownPredicateAt() argument
10886 isBasicBlockEntryGuardedByCond(CtxI->getParent(), Pred, LHS, RHS); in isKnownPredicateAt()
10891 const SCEV *RHS, const Instruction *CtxI) { in evaluatePredicateAt() argument
10896 if (isBasicBlockEntryGuardedByCond(CtxI->getParent(), Pred, LHS, RHS)) in evaluatePredicateAt()
10898 if (isBasicBlockEntryGuardedByCond(CtxI->getParent(), in evaluatePredicateAt()
10980 const Instruction *CtxI) { in getLoopInvariantPredicate() argument
11021 if (!CtxI) in getLoopInvariantPredicate()
11053 isKnownPredicateAt(SignFlippedPred, ArLHS, RHS, CtxI)) in getLoopInvariantPredicate()
11065 const Instruction *CtxI, const SCEV *MaxIter) { in getLoopInvariantExitCondDuringFirstIterations() argument
11067 Pred, LHS, RHS, L, CtxI, MaxIter)) in getLoopInvariantExitCondDuringFirstIterations()
11077 Pred, LHS, RHS, L, CtxI, Op)) in getLoopInvariantExitCondDuringFirstIterations()
11085 const Instruction *CtxI, const SCEV *MaxIter) { in getLoopInvariantExitCondDuringFirstIterationsImpl() argument
11139 if (!isKnownPredicateAt(NoOverflowPred, Start, Last, CtxI)) in getLoopInvariantExitCondDuringFirstIterationsImpl()
11471 const Instruction *CtxI = &BB->front(); in isBasicBlockEntryGuardedByCond() local
11472 if (isImpliedCond(Pred, LHS, RHS, Condition, Inverse, CtxI)) in isBasicBlockEntryGuardedByCond()
11476 return isImpliedCond(P, LHS, RHS, Condition, Inverse, CtxI); in isBasicBlockEntryGuardedByCond()
11553 const Instruction *CtxI) { in isImpliedCond() argument
11569 return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) || in isImpliedCond()
11570 isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI); in isImpliedCond()
11573 return isImpliedCond(Pred, LHS, RHS, Op0, Inverse, CtxI) || in isImpliedCond()
11574 isImpliedCond(Pred, LHS, RHS, Op1, Inverse, CtxI); in isImpliedCond()
11591 return isImpliedCond(Pred, LHS, RHS, FoundPred, FoundLHS, FoundRHS, CtxI); in isImpliedCond()
11598 const Instruction *CtxI) { in isImpliedCond() argument
11619 TruncFoundRHS, CtxI)) in isImpliedCond()
11646 FoundRHS, CtxI); in isImpliedCond()
11652 const Instruction *CtxI) { in isImpliedCondBalancedTypes() argument
11678 return isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS, CtxI); in isImpliedCondBalancedTypes()
11694 CtxI); in isImpliedCondBalancedTypes()
11696 return isImpliedCondOperands(Pred, LHS, RHS, FoundRHS, FoundLHS, CtxI); in isImpliedCondBalancedTypes()
11703 FoundLHS, FoundRHS, CtxI)) in isImpliedCondBalancedTypes()
11709 getNotSCEV(FoundRHS), CtxI)) in isImpliedCondBalancedTypes()
11726 return isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS, CtxI); in isImpliedCondBalancedTypes()
11795 CtxI)) in isImpliedCondBalancedTypes()
11810 if (isImpliedCondOperands(Pred, LHS, RHS, V, getConstant(Min), CtxI)) in isImpliedCondBalancedTypes()
11818 LHS, V, getConstant(SharperMin), CtxI)) in isImpliedCondBalancedTypes()
11825 LHS, V, getConstant(Min), CtxI)) in isImpliedCondBalancedTypes()
11839 if (isImpliedCondOperands(Pred, LHS, RHS, FoundLHS, FoundRHS, CtxI)) in isImpliedCondBalancedTypes()
11843 if (isImpliedCondOperands(FoundPred, LHS, RHS, FoundLHS, FoundRHS, CtxI)) in isImpliedCondBalancedTypes()
11927 const SCEV *FoundLHS, const SCEV *FoundRHS, const Instruction *CtxI) { in isImpliedCondOperandsViaAddRecStart() argument
11941 if (!CtxI) in isImpliedCondOperandsViaAddRecStart()
11943 const BasicBlock *ContextBB = CtxI->getParent(); in isImpliedCondOperandsViaAddRecStart()
12207 const Instruction *CtxI) { in isImpliedCondOperands() argument
12218 CtxI)) in isImpliedCondOperands()