2455                                                   const Instruction *CtxI,  in isKnownNonNullFromDominatingCondition()  argument
2459   if (!CtxI || !DT)  in isKnownNonNullFromDominatingCondition()
2476               DT->dominates(CB, CtxI))  in isKnownNonNullFromDominatingCondition()
2484           DT->dominates(I, CtxI))  in isKnownNonNullFromDominatingCondition()
2490         isValidAssumeForContext(cast<Instruction>(U), CtxI, DT))  in isKnownNonNullFromDominatingCondition()
2535           if (Edge.isSingleEdge() && DT->dominates(Edge, CtxI->getParent()))  in isKnownNonNullFromDominatingCondition()
2538                    DT->dominates(cast<Instruction>(Curr), CtxI)) {  in isKnownNonNullFromDominatingCondition()
6813                                         const Instruction *CtxI,  in isSafeToSpeculativelyExecute()  argument
6818   return isSafeToSpeculativelyExecuteWithOpcode(Inst->getOpcode(), Inst, CtxI,  in isSafeToSpeculativelyExecute()
6823     unsigned Opcode, const Instruction *Inst, const Instruction *CtxI,  in isSafeToSpeculativelyExecuteWithOpcode()  argument
6888                                               CtxI, AC, DT, TLI);  in isSafeToSpeculativelyExecuteWithOpcode()
7469     const Value *V, AssumptionCache *AC, const Instruction *CtxI,  in isGuaranteedNotToBeUndefOrPoison()  argument
7518     return isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth + 1, Kind);  in isGuaranteedNotToBeUndefOrPoison()
7563   if (!CtxI || !CtxI->getParent() || !DT)  in isGuaranteedNotToBeUndefOrPoison()
7566   auto *DNode = DT->getNode(CtxI->getParent());  in isGuaranteedNotToBeUndefOrPoison()
7607   if (getKnowledgeValidInContext(V, {Attribute::NoUndef}, CtxI, DT, AC))  in isGuaranteedNotToBeUndefOrPoison()
7614                                             const Instruction *CtxI,  in isGuaranteedNotToBeUndefOrPoison()  argument
7617   return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth,  in isGuaranteedNotToBeUndefOrPoison()
7622                                      const Instruction *CtxI,  in isGuaranteedNotToBePoison()  argument
7624   return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth,  in isGuaranteedNotToBePoison()
7629                                     const Instruction *CtxI,  in isGuaranteedNotToBeUndef()  argument
7631   return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth,  in isGuaranteedNotToBeUndef()
9688                                          const Instruction *CtxI,  in computeConstantRange()  argument
9712         SI->getTrueValue(), ForSigned, UseInstrInfo, AC, CtxI, DT, Depth + 1);  in computeConstantRange()
9714         SI->getFalseValue(), ForSigned, UseInstrInfo, AC, CtxI, DT, Depth + 1);  in computeConstantRange()
9736   if (CtxI && AC) {  in computeConstantRange()
9742       assert(I->getParent()->getParent() == CtxI->getParent()->getParent() &&  in computeConstantRange()
9747       if (!isValidAssumeForContext(I, CtxI, DT))  in computeConstantRange()