Lines Matching defs:CtxI

522     // If Inv and CtxI are in the same block, check if the assume (Inv) is first
2647                                                   const Instruction *CtxI,
2651   if (!CtxI || !DT)
2669             DT->dominates(CB, CtxI))
2678           DT->dominates(UI, CtxI))
2684         isValidAssumeForContext(UI, CtxI, DT))
2729           if (Edge.isSingleEdge() && DT->dominates(Edge, CtxI->getParent()))
2732                    DT->dominates(cast<Instruction>(Curr), CtxI)) {
7053                                         const Instruction *CtxI,
7058   return isSafeToSpeculativelyExecuteWithOpcode(Inst->getOpcode(), Inst, CtxI,
7063     unsigned Opcode, const Instruction *Inst, const Instruction *CtxI,
7128                                               CtxI, AC, DT, TLI);
7706     const Value *V, AssumptionCache *AC, const Instruction *CtxI,
7755     return isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth + 1, Kind);
7800   if (!CtxI || !CtxI->getParent() || !DT)
7803   auto *DNode = DT->getNode(CtxI->getParent());
7808   // If V is used as a branch condition before reaching CtxI, V cannot be
7812   //   CtxI ; V cannot be undef or poison here
7844   if (getKnowledgeValidInContext(V, {Attribute::NoUndef}, CtxI, DT, AC))
7851                                             const Instruction *CtxI,
7854   return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth,
7859                                      const Instruction *CtxI,
7861   return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth,
7866                                     const Instruction *CtxI,
7868   return ::isGuaranteedNotToBeUndefOrPoison(V, AC, CtxI, DT, Depth,
10089                                          const Instruction *CtxI,
10113         SI->getTrueValue(), ForSigned, UseInstrInfo, AC, CtxI, DT, Depth + 1);
10115         SI->getFalseValue(), ForSigned, UseInstrInfo, AC, CtxI, DT, Depth + 1);
10137   if (CtxI && AC) {
10143       assert(I->getParent()->getParent() == CtxI->getParent()->getParent() &&
10148       if (!isValidAssumeForContext(I, CtxI, DT))