864   if (Q.IIQ.UseInstrInfo &&  in SimplifyMulInst()
1040     if ((IsSigned && Q.IIQ.hasNoSignedWrap(Mul)) ||  in simplifyDiv()
1041         (!IsSigned && Q.IIQ.hasNoUnsignedWrap(Mul)))  in simplifyDiv()
1099   if (Q.IIQ.UseInstrInfo &&  in simplifyRem()
1301   if (Q.IIQ.UseInstrInfo &&  in SimplifyShlInst()
1372   if (Q.IIQ.UseInstrInfo && match(Op0, m_NSWShl(m_Value(X), m_Specific(Op1))))  in SimplifyAShrInst()
1560                                         const InstrInfoQuery &IIQ) {  in simplifyAndOfICmpsWithAdd()  argument
1576   bool isNSW = IIQ.hasNoSignedWrap(AddInst);  in simplifyAndOfICmpsWithAdd()
1577   bool isNUW = IIQ.hasNoUnsignedWrap(AddInst);  in simplifyAndOfICmpsWithAdd()
1607                                  const InstrInfoQuery &IIQ) {  in simplifyAndOfICmps()  argument
1624   if (Value *X = simplifyAndOfICmpsWithAdd(Op0, Op1, IIQ))  in simplifyAndOfICmps()
1626   if (Value *X = simplifyAndOfICmpsWithAdd(Op1, Op0, IIQ))  in simplifyAndOfICmps()
1633                                        const InstrInfoQuery &IIQ) {  in simplifyOrOfICmpsWithAdd()  argument
1649   bool isNSW = IIQ.hasNoSignedWrap(AddInst);  in simplifyOrOfICmpsWithAdd()
1650   bool isNUW = IIQ.hasNoUnsignedWrap(AddInst);  in simplifyOrOfICmpsWithAdd()
1680                                 const InstrInfoQuery &IIQ) {  in simplifyOrOfICmps()  argument
1697   if (Value *X = simplifyOrOfICmpsWithAdd(Op0, Op1, IIQ))  in simplifyOrOfICmps()
1699   if (Value *X = simplifyOrOfICmpsWithAdd(Op1, Op0, IIQ))  in simplifyOrOfICmps()
1758     V = IsAnd ? simplifyAndOfICmps(ICmp0, ICmp1, Q.IIQ)  in simplifyAndOrOfCmps()
1759               : simplifyOrOfICmps(ICmp0, ICmp1, Q.IIQ);  in simplifyAndOrOfCmps()
2155                    const InstrInfoQuery &IIQ, Value *LHS, Value *RHS) {  in computePointerICmp()  argument
2162                            IIQ.UseInstrInfo) &&  in computePointerICmp()
2428     if (isKnownNonZero(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT, Q.IIQ.UseInstrInfo))  in simplifyICmpWithZero()
2433     if (isKnownNonZero(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT, Q.IIQ.UseInstrInfo))  in simplifyICmpWithZero()
2479                               const InstrInfoQuery &IIQ) {  in setLimitsForBinOp()  argument
2486       if (IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(&BO))) {  in setLimitsForBinOp()
2489       } else if (IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(&BO))) {  in setLimitsForBinOp()
2522       if (!C->isNullValue() && IIQ.isExact(&BO))  in setLimitsForBinOp()
2543       if (!C->isNullValue() && IIQ.isExact(&BO))  in setLimitsForBinOp()
2552       if (IIQ.hasNoUnsignedWrap(&BO)) {  in setLimitsForBinOp()
2698                                        Value *RHS, const InstrInfoQuery &IIQ) {  in simplifyICmpWithConstant()  argument
2729     setLimitsForBinOp(*BO, Lower, Upper, IIQ);  in simplifyICmpWithConstant()
2737     if (auto *Ranges = IIQ.getMetadata(I, LLVMContext::MD_range))  in simplifyICmpWithConstant()
2771            Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(LBO))) ||  in simplifyICmpWithBinOp()
2773            Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(LBO)));  in simplifyICmpWithBinOp()
2781            Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(RBO))) ||  in simplifyICmpWithBinOp()
2783            Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(RBO)));  in simplifyICmpWithBinOp()
3001         if (Q.IIQ.hasNoSignedWrap(cast<OverflowingBinaryOperator>(LBO)) ||  in simplifyICmpWithBinOp()
3002             Q.IIQ.hasNoUnsignedWrap(cast<OverflowingBinaryOperator>(LBO)) ||  in simplifyICmpWithBinOp()
3026       if (ICmpInst::isSigned(Pred) || !Q.IIQ.isExact(LBO) ||  in simplifyICmpWithBinOp()
3027           !Q.IIQ.isExact(RBO))  in simplifyICmpWithBinOp()
3034       if (!ICmpInst::isEquality(Pred) || !Q.IIQ.isExact(LBO) ||  in simplifyICmpWithBinOp()
3035           !Q.IIQ.isExact(RBO))  in simplifyICmpWithBinOp()
3042       if (!Q.IIQ.isExact(LBO) || !Q.IIQ.isExact(RBO))  in simplifyICmpWithBinOp()
3049       bool NUW = Q.IIQ.hasNoUnsignedWrap(LBO) && Q.IIQ.hasNoUnsignedWrap(RBO);  in simplifyICmpWithBinOp()
3050       bool NSW = Q.IIQ.hasNoSignedWrap(LBO) && Q.IIQ.hasNoSignedWrap(RBO);  in simplifyICmpWithBinOp()
3336   if (Value *V = simplifyICmpWithConstant(Pred, LHS, RHS, Q.IIQ))  in SimplifyICmpInst()
3345     if (Q.IIQ.getMetadata(RHS_Instr, LLVMContext::MD_range) &&  in SimplifyICmpInst()
3346         Q.IIQ.getMetadata(LHS_Instr, LLVMContext::MD_range)) {  in SimplifyICmpInst()
3524       isKnownNonEqual(LHS, RHS, Q.DL, Q.AC, Q.CxtI, Q.DT, Q.IIQ.UseInstrInfo)) {  in SimplifyICmpInst()
3541                                      Q.IIQ, LHS, RHS))  in SimplifyICmpInst()
3550                                          Q.IIQ, CLHS->getPointerOperand(),  in SimplifyICmpInst()
3769       if (Q.IIQ.hasNoSignedWrap(B) || Q.IIQ.hasNoUnsignedWrap(B))  in SimplifyWithOpReplaced()
3771     if (isa<PossiblyExactOperator>(B) && Q.IIQ.isExact(B))  in SimplifyWithOpReplaced()
5213                         Q.IIQ.hasNoSignedWrap(cast<BinaryOperator>(I)),  in SimplifyInstruction()
5214                         Q.IIQ.hasNoUnsignedWrap(cast<BinaryOperator>(I)), Q);  in SimplifyInstruction()
5223                         Q.IIQ.hasNoSignedWrap(cast<BinaryOperator>(I)),  in SimplifyInstruction()
5224                         Q.IIQ.hasNoUnsignedWrap(cast<BinaryOperator>(I)), Q);  in SimplifyInstruction()
5256                         Q.IIQ.hasNoSignedWrap(cast<BinaryOperator>(I)),  in SimplifyInstruction()
5257                         Q.IIQ.hasNoUnsignedWrap(cast<BinaryOperator>(I)), Q);  in SimplifyInstruction()
5261                               Q.IIQ.isExact(cast<BinaryOperator>(I)), Q);  in SimplifyInstruction()
5265                               Q.IIQ.isExact(cast<BinaryOperator>(I)), Q);  in SimplifyInstruction()