Lines Matching refs:CtxI

2137                                                   const Instruction *CtxI,  in isKnownNonNullFromDominatingCondition()  argument
2142 if (!CtxI || !DT) in isKnownNonNullFromDominatingCondition()
2159 DT->dominates(CB, CtxI)) in isKnownNonNullFromDominatingCondition()
2167 DT->dominates(I, CtxI)) in isKnownNonNullFromDominatingCondition()
2213 if (Edge.isSingleEdge() && DT->dominates(Edge, CtxI->getParent())) in isKnownNonNullFromDominatingCondition()
2216 DT->dominates(cast<Instruction>(Curr), CtxI)) { in isKnownNonNullFromDominatingCondition()
4584 const Instruction *CtxI, in isSafeToSpeculativelyExecute() argument
4633 DL, CtxI, DT, TLI); in isSafeToSpeculativelyExecute()
5107 const Instruction *CtxI, in isGuaranteedNotToBeUndefOrPoison() argument
5149 return isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth + 1, in isGuaranteedNotToBeUndefOrPoison()
5189 if (!CtxI || !CtxI->getParent() || !DT) in isGuaranteedNotToBeUndefOrPoison()
5192 auto *DNode = DT->getNode(CtxI->getParent()); in isGuaranteedNotToBeUndefOrPoison()
5229 if (getKnowledgeValidInContext(V, AttrKinds, CtxI, DT, AC)) in isGuaranteedNotToBeUndefOrPoison()
5236 const Instruction *CtxI, in isGuaranteedNotToBeUndefOrPoison() argument
5239 return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth, false); in isGuaranteedNotToBeUndefOrPoison()
5243 const Instruction *CtxI, in isGuaranteedNotToBePoison() argument
5245 return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth, true); in isGuaranteedNotToBePoison()
7001 const Instruction *CtxI, in computeConstantRange() argument
7029 if (CtxI && AC) { in computeConstantRange()
7035 assert(I->getParent()->getParent() == CtxI->getParent()->getParent() && in computeConstantRange()
7040 if (!isValidAssumeForContext(I, CtxI, nullptr)) in computeConstantRange()