69   const Instruction *CxtI;  member
72   Query(AssumptionCache *AC = nullptr, const Instruction *CxtI = nullptr,  in Query()
74       : AC(AC), CxtI(CxtI), DT(DT) {}  in Query()
77       : ExclInvs(Q.ExclInvs), AC(Q.AC), CxtI(Q.CxtI), DT(Q.DT) {  in Query()
85 static const Instruction *safeCxtI(const Value *V, const Instruction *CxtI) {  in safeCxtI()  argument
88   if (CxtI && CxtI->getParent())  in safeCxtI()
89     return CxtI;  in safeCxtI()
92   CxtI = dyn_cast<Instruction>(V);  in safeCxtI()
93   if (CxtI && CxtI->getParent())  in safeCxtI()
94     return CxtI;  in safeCxtI()
105                             AssumptionCache *AC, const Instruction *CxtI,  in computeKnownBits()  argument
108                      Query(AC, safeCxtI(V, CxtI), DT));  in computeKnownBits()
117                           AssumptionCache *AC, const Instruction *CxtI,  in ComputeSignBit()  argument
120                    Query(AC, safeCxtI(V, CxtI), DT));  in ComputeSignBit()
127                                   AssumptionCache *AC, const Instruction *CxtI,  in isKnownToBeAPowerOfTwo()  argument
130                                   Query(AC, safeCxtI(V, CxtI), DT));  in isKnownToBeAPowerOfTwo()
137                           AssumptionCache *AC, const Instruction *CxtI,  in isKnownNonZero()  argument
139   return ::isKnownNonZero(V, TD, Depth, Query(AC, safeCxtI(V, CxtI), DT));  in isKnownNonZero()
148                              const Instruction *CxtI, const DominatorTree *DT) {  in MaskedValueIsZero()  argument
150                              Query(AC, safeCxtI(V, CxtI), DT));  in MaskedValueIsZero()
158                                   const Instruction *CxtI,  in ComputeNumSignBits()  argument
160   return ::ComputeNumSignBits(V, TD, Depth, Query(AC, safeCxtI(V, CxtI), DT));  in ComputeNumSignBits()
398     if (Q.DT->dominates(Inv, Q.CxtI)) {  in isValidAssumeForContext()
400     } else if (Inv->getParent() == Q.CxtI->getParent()) {  in isValidAssumeForContext()
404              std::next(BasicBlock::const_iterator(Q.CxtI)),  in isValidAssumeForContext()
410       return !isEphemeralValueOf(Inv, Q.CxtI);  in isValidAssumeForContext()
417   if (Inv->getParent() == Q.CxtI->getParent()->getSinglePredecessor()) {  in isValidAssumeForContext()
419   } else if (Inv->getParent() == Q.CxtI->getParent()) {  in isValidAssumeForContext()
424       if (I == Q.CxtI)  in isValidAssumeForContext()
429            std::next(BasicBlock::const_iterator(Q.CxtI)),  in isValidAssumeForContext()
435     return !isEphemeralValueOf(Inv, Q.CxtI);  in isValidAssumeForContext()
442                                    const Instruction *CxtI,  in isValidAssumeForContext()  argument
446                                    Query(nullptr, CxtI, DT), DL);  in isValidAssumeForContext()
483   if (!Q.AC || !Q.CxtI)  in computeKnownBitsFromAssume()
492     assert(I->getParent()->getParent() == Q.CxtI->getParent()->getParent() &&  in computeKnownBitsFromAssume()
2686                                                    const Instruction *CxtI,  in computeOverflowForUnsignedMul()  argument
2699   computeKnownBits(LHS, LHSKnownZero, LHSKnownOne, DL, /*Depth=*/0, AC, CxtI,  in computeOverflowForUnsignedMul()
2701   computeKnownBits(RHS, RHSKnownZero, RHSKnownOne, DL, /*Depth=*/0, AC, CxtI,  in computeOverflowForUnsignedMul()
2736                                                    const Instruction *CxtI,  in computeOverflowForUnsignedAdd()  argument
2740                  AC, CxtI, DT);  in computeOverflowForUnsignedAdd()
2744                    AC, CxtI, DT);  in computeOverflowForUnsignedAdd()