Lines Matching refs:CtxI
271 const Instruction *CtxI, bool UseValueSimplify = true, int MaxValues = 16, in genericValueTraversal() argument
286 Worklist.push_back({InitialV, CtxI}); in genericValueTraversal()
292 CtxI = I.second; in genericValueTraversal()
321 Worklist.push_back({NewV, CtxI}); in genericValueTraversal()
335 Worklist.push_back({SI->getFalseValue(), CtxI}); in genericValueTraversal()
337 Worklist.push_back({SI->getTrueValue(), CtxI}); in genericValueTraversal()
341 Worklist.push_back({SI->getTrueValue(), CtxI}); in genericValueTraversal()
342 Worklist.push_back({SI->getFalseValue(), CtxI}); in genericValueTraversal()
375 Worklist.push_back({NewV, CtxI}); in genericValueTraversal()
381 if (!VisitValueCB(*V, CtxI, State, Iteration > 1)) in genericValueTraversal()
396 const Instruction *CtxI) { in getAssumedUnderlyingObjects() argument
407 A, IRPosition::value(Ptr), QueryingAA, Objects, VisitValueCB, CtxI, in getAssumedUnderlyingObjects()
669 const Instruction *CtxI, in followUsesInContext() argument
672 auto EIt = Explorer.begin(CtxI), EEnd = Explorer.end(CtxI); in followUsesInContext()
695 Instruction &CtxI) { in followUsesInMBEC() argument
705 followUsesInContext<AAType>(AA, A, Explorer, &CtxI, Uses, S); in followUsesInMBEC()
750 Explorer.checkForAllContext(&CtxI, Pred); in followUsesInMBEC()
1694 auto ReturnValueCB = [&](Value &V, const Instruction *CtxI, ReturnInst &Ret, in updateImpl()
2208 if (Instruction *CtxI = getCtxI()) in initialize() local
2209 followUsesInMBEC(*this, A, getState(), *CtxI); in initialize()
2250 auto VisitValueCB = [&](Value &V, const Instruction *CtxI, in updateImpl()
2255 if (!isKnownNonZero(&V, DL, 0, AC, CtxI, DT)) in updateImpl()
4046 if (Instruction *CtxI = getCtxI()) in initialize() local
4047 followUsesInMBEC(*this, A, getState(), *CtxI); in initialize()
4341 if (Instruction *CtxI = getCtxI()) in initialize() local
4342 followUsesInMBEC(*this, A, getState(), *CtxI); in initialize()
5149 const Instruction *CtxI = getCtxI(); in getReplacementValue() local
5150 if (CtxI && !AA::isValidAtPosition(*NewV, *CtxI, A.getInfoCache())) in getReplacementValue()
5152 if (!CtxI && !AA::isValidInScope(*NewV, getAnchorScope())) in getReplacementValue()
5607 auto VisitValueCB = [&](Value &V, const Instruction *CtxI, bool &, in updateImpl()
6148 Instruction *CtxI = isa<InvokeInst>(AI.CB) ? AI.CB : AI.CB->getNextNode(); in updateImpl() local
6149 if (!Explorer.findInContextOf(UniqueFree, CtxI)) { in updateImpl()
8007 const Instruction *CtxI = nullptr) const { in getConstantRangeFromLVI()
8015 if (!LVI || !CtxI) in getConstantRangeFromLVI()
8018 const_cast<Instruction *>(CtxI)); in getConstantRangeFromLVI()
8027 const Instruction *CtxI, in isValidCtxInstructionForOutsideAnalysis()
8029 if (!CtxI || (!AllowAACtxI && CtxI == getCtxI())) in isValidCtxInstructionForOutsideAnalysis()
8034 if (!AA::isValidInScope(getAssociatedValue(), CtxI->getFunction())) in isValidCtxInstructionForOutsideAnalysis()
8045 return DT && DT->dominates(I, CtxI); in isValidCtxInstructionForOutsideAnalysis()
8054 const Instruction *CtxI = nullptr) const override { in getKnownConstantRange()
8055 if (!isValidCtxInstructionForOutsideAnalysis(A, CtxI, in getKnownConstantRange()
8059 ConstantRange LVIR = getConstantRangeFromLVI(A, CtxI); in getKnownConstantRange()
8060 ConstantRange SCEVR = getConstantRangeFromSCEV(A, CtxI); in getKnownConstantRange()
8067 const Instruction *CtxI = nullptr) const override { in getAssumedConstantRange()
8072 if (!isValidCtxInstructionForOutsideAnalysis(A, CtxI, in getAssumedConstantRange()
8076 ConstantRange LVIR = getConstantRangeFromLVI(A, CtxI); in getAssumedConstantRange()
8077 ConstantRange SCEVR = getConstantRangeFromSCEV(A, CtxI); in getAssumedConstantRange()
8255 const Instruction *CtxI, in calculateBinaryOperator()
8288 auto LHSAARange = LHSAA.getAssumedConstantRange(A, CtxI); in calculateBinaryOperator()
8294 auto RHSAARange = RHSAA.getAssumedConstantRange(A, CtxI); in calculateBinaryOperator()
8307 const Instruction *CtxI, in calculateCastInst()
8338 const Instruction *CtxI, in calculateCmpInst()
8375 auto LHSAARange = LHSAA.getAssumedConstantRange(A, CtxI); in calculateCmpInst()
8376 auto RHSAARange = RHSAA.getAssumedConstantRange(A, CtxI); in calculateCmpInst()
8412 auto VisitValueCB = [&](Value &V, const Instruction *CtxI, in updateImpl()
8434 T.unionAssumed(AA.getAssumedConstantRange(A, CtxI)); in updateImpl()
8441 if (!calculateBinaryOperator(A, BinOp, T, CtxI, QuerriedAAs)) in updateImpl()
8444 if (!calculateCmpInst(A, CmpI, T, CtxI, QuerriedAAs)) in updateImpl()
8447 if (!calculateCastInst(A, CastI, T, CtxI, QuerriedAAs)) in updateImpl()
9272 if (Instruction *CtxI = getCtxI()) in initialize() local
9273 followUsesInMBEC(*this, A, getState(), *CtxI); in initialize()
9278 auto VisitValueCB = [&](Value &V, const Instruction *CtxI, in updateImpl()
9357 auto VisitValue = [&](Value &V, const Instruction *CtxI, bool &HasUnknown, in updateImpl()