2159                                                   const Instruction *CtxI,  in isKnownNonNullFromDominatingCondition()  argument
2163   if (!CtxI || !DT)  in isKnownNonNullFromDominatingCondition()
2180               DT->dominates(CB, CtxI))  in isKnownNonNullFromDominatingCondition()
2188           DT->dominates(I, CtxI))  in isKnownNonNullFromDominatingCondition()
2194         isValidAssumeForContext(cast<Instruction>(U), CtxI, DT))  in isKnownNonNullFromDominatingCondition()
2239           if (Edge.isSingleEdge() && DT->dominates(Edge, CtxI->getParent()))  in isKnownNonNullFromDominatingCondition()
2242                    DT->dominates(cast<Instruction>(Curr), CtxI)) {  in isKnownNonNullFromDominatingCondition()
6146                                         const Instruction *CtxI,  in isSafeToSpeculativelyExecute()  argument
6150   return isSafeToSpeculativelyExecuteWithOpcode(Inst->getOpcode(), Inst, CtxI,  in isSafeToSpeculativelyExecute()
6155     unsigned Opcode, const Instruction *Inst, const Instruction *CtxI,  in isSafeToSpeculativelyExecuteWithOpcode()  argument
6217                                               CtxI, AC, DT, TLI);  in isSafeToSpeculativelyExecuteWithOpcode()
6792     const Value *V, AssumptionCache *AC, const Instruction *CtxI,  in isGuaranteedNotToBeUndefOrPoison()  argument
6838     return isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth + 1, Kind);  in isGuaranteedNotToBeUndefOrPoison()
6883   if (!CtxI || !CtxI->getParent() || !DT)  in isGuaranteedNotToBeUndefOrPoison()
6886   auto *DNode = DT->getNode(CtxI->getParent());  in isGuaranteedNotToBeUndefOrPoison()
6923   if (getKnowledgeValidInContext(V, {Attribute::NoUndef}, CtxI, DT, AC))  in isGuaranteedNotToBeUndefOrPoison()
6930                                             const Instruction *CtxI,  in isGuaranteedNotToBeUndefOrPoison()  argument
6933   return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth,  in isGuaranteedNotToBeUndefOrPoison()
6938                                      const Instruction *CtxI,  in isGuaranteedNotToBePoison()  argument
6940   return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth,  in isGuaranteedNotToBePoison()
6945                                     const Instruction *CtxI,  in isGuaranteedNotToBeUndef()  argument
6947   return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth,  in isGuaranteedNotToBeUndef()
8877                                          const Instruction *CtxI,  in computeConstantRange()  argument
8910         SI->getTrueValue(), ForSigned, UseInstrInfo, AC, CtxI, DT, Depth + 1);  in computeConstantRange()
8912         SI->getFalseValue(), ForSigned, UseInstrInfo, AC, CtxI, DT, Depth + 1);  in computeConstantRange()
8927   if (CtxI && AC) {  in computeConstantRange()
8933       assert(I->getParent()->getParent() == CtxI->getParent()->getParent() &&  in computeConstantRange()
8938       if (!isValidAssumeForContext(I, CtxI, DT))  in computeConstantRange()