Lines Matching refs:CtxI

2291                                                   const Instruction *CtxI,  in isKnownNonNullFromDominatingCondition()  argument
2296 if (!CtxI || !DT) in isKnownNonNullFromDominatingCondition()
2313 DT->dominates(CB, CtxI)) in isKnownNonNullFromDominatingCondition()
2321 DT->dominates(I, CtxI)) in isKnownNonNullFromDominatingCondition()
2367 if (Edge.isSingleEdge() && DT->dominates(Edge, CtxI->getParent())) in isKnownNonNullFromDominatingCondition()
2370 DT->dominates(cast<Instruction>(Curr), CtxI)) { in isKnownNonNullFromDominatingCondition()
4693 const Instruction *CtxI, in isSafeToSpeculativelyExecute() argument
4696 return isSafeToSpeculativelyExecuteWithOpcode(Inst->getOpcode(), Inst, CtxI, in isSafeToSpeculativelyExecute()
4701 unsigned Opcode, const Instruction *Inst, const Instruction *CtxI, in isSafeToSpeculativelyExecuteWithOpcode() argument
4761 LI->getPointerOperand(), LI->getType(), LI->getAlign(), DL, CtxI, DT, in isSafeToSpeculativelyExecuteWithOpcode()
5270 const Instruction *CtxI, in isGuaranteedNotToBeUndefOrPoison() argument
5312 return isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth + 1, in isGuaranteedNotToBeUndefOrPoison()
5354 if (!CtxI || !CtxI->getParent() || !DT) in isGuaranteedNotToBeUndefOrPoison()
5357 auto *DNode = DT->getNode(CtxI->getParent()); in isGuaranteedNotToBeUndefOrPoison()
5393 if (getKnowledgeValidInContext(V, {Attribute::NoUndef}, CtxI, DT, AC)) in isGuaranteedNotToBeUndefOrPoison()
5400 const Instruction *CtxI, in isGuaranteedNotToBeUndefOrPoison() argument
5403 return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth, false); in isGuaranteedNotToBeUndefOrPoison()
5407 const Instruction *CtxI, in isGuaranteedNotToBePoison() argument
5409 return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth, true); in isGuaranteedNotToBePoison()
7222 const Instruction *CtxI, in computeConstantRange() argument
7253 if (CtxI && AC) { in computeConstantRange()
7259 assert(I->getParent()->getParent() == CtxI->getParent()->getParent() && in computeConstantRange()
7264 if (!isValidAssumeForContext(I, CtxI, DT)) in computeConstantRange()