615         if (Q.CxtI != nullptr)  in foldOrCommuteConstant()
616           return ConstantFoldFPInstOperands(Opcode, CLHS, CRHS, Q.DL, Q.CxtI);  in foldOrCommuteConstant()
775     KnownBits Known = computeKnownBits(Op1, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifySubInst()
1092       computeKnownBits(X, Q.DL, 0, Q.AC, Q.CxtI, Q.DT).getMaxValue().ult(*C))  in isDivZero()
1315   KnownBits KnownAmt = computeKnownBits(Op1, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyShift()
1328     KnownBits KnownVal = computeKnownBits(Op0, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyShift()
1364         computeKnownBits(Op0, Q.DL, /*Depth=*/0, Q.AC, Q.CxtI, Q.DT);  in simplifyRightShift()
1428     const KnownBits YKnown = computeKnownBits(Y, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyLShrInst()
1463   unsigned NumSignBits = ComputeNumSignBits(Op0, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyAShrInst()
1526           isKnownNonZero(B, Q.DL, /*Depth=*/0, Q.AC, Q.CxtI, Q.DT))  in simplifyUnsignedRangeCheck()
1530           isKnownNonZero(B, Q.DL, /*Depth=*/0, Q.AC, Q.CxtI, Q.DT))  in simplifyUnsignedRangeCheck()
1548       isKnownNonZero(X, Q.DL, /*Depth=*/0, Q.AC, Q.CxtI, Q.DT))  in simplifyUnsignedRangeCheck()
1554       isKnownNonZero(X, Q.DL, /*Depth=*/0, Q.AC, Q.CxtI, Q.DT))  in simplifyUnsignedRangeCheck()
2121     if (isKnownToBeAPowerOfTwo(Op0, Q.DL, /*OrZero*/ true, 0, Q.AC, Q.CxtI,  in simplifyAndInst()
2124     if (isKnownToBeAPowerOfTwo(Op1, Q.DL, /*OrZero*/ true, 0, Q.AC, Q.CxtI,  in simplifyAndInst()
2133       isKnownToBeAPowerOfTwo(Op1, Q.DL, /*OrZero*/ true, 0, Q.AC, Q.CxtI, Q.DT))  in simplifyAndInst()
2136       isKnownToBeAPowerOfTwo(Op0, Q.DL, /*OrZero*/ true, 0, Q.AC, Q.CxtI, Q.DT))  in simplifyAndInst()
2197     const KnownBits YKnown = computeKnownBits(Y, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyAndInst()
2200       const KnownBits XKnown = computeKnownBits(X, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyAndInst()
2444         if (MaskedValueIsZero(N, *C2, Q.DL, 0, Q.AC, Q.CxtI, Q.DT))  in simplifyOrInst()
2450         if (MaskedValueIsZero(N, *C1, Q.DL, 0, Q.AC, Q.CxtI, Q.DT))  in simplifyOrInst()
2674   const Instruction *CxtI = Q.CxtI;  in computePointerICmp()  local
2789         llvm::isKnownNonZero(RHS, DL, 0, nullptr, CxtI, DT))  in computePointerICmp()
2792              llvm::isKnownNonZero(LHS, DL, 0, nullptr, CxtI, DT))  in computePointerICmp()
2919     if (isKnownNonZero(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT, Q.IIQ.UseInstrInfo))  in simplifyICmpWithZero()
2924     if (isKnownNonZero(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT, Q.IIQ.UseInstrInfo))  in simplifyICmpWithZero()
2928     KnownBits LHSKnown = computeKnownBits(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyICmpWithZero()
2936     KnownBits LHSKnown = computeKnownBits(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyICmpWithZero()
2940         isKnownNonZero(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT))  in simplifyICmpWithZero()
2945     KnownBits LHSKnown = computeKnownBits(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyICmpWithZero()
2953     KnownBits LHSKnown = computeKnownBits(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyICmpWithZero()
2957         isKnownNonZero(LHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT))  in simplifyICmpWithZero()
3030       KnownBits RHSKnown = computeKnownBits(RHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyICmpWithBinOpOnLHS()
3031       KnownBits YKnown = computeKnownBits(Y, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyICmpWithBinOpOnLHS()
3054       KnownBits Known = computeKnownBits(RHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyICmpWithBinOpOnLHS()
3065       KnownBits Known = computeKnownBits(RHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT);  in simplifyICmpWithBinOpOnLHS()
3111     if (isKnownNonZero(RHS, Q.DL, 0, Q.AC, Q.CxtI, Q.DT)) {  in simplifyICmpWithBinOpOnLHS()
3564   if (!Q.AC || !Q.CxtI || !Q.CxtI->getParent())  in simplifyICmpWithDominatingAssume()
3575         if (isValidAssumeForContext(Assume, Q.CxtI, Q.DT))  in simplifyICmpWithDominatingAssume()
3833       isKnownNonEqual(LHS, RHS, Q.DL, Q.AC, Q.CxtI, Q.DT, Q.IIQ.UseInstrInfo)) {  in simplifyICmpInst()
3892                                              Q.CxtI);  in simplifyFCmpInst()
4379       Q.CxtI && isa<FPMathOperator>(Q.CxtI) && Q.CxtI->hasNoSignedZeros();  in simplifySelectWithFCmp()
4457        isGuaranteedNotToBePoison(FalseVal, Q.AC, Q.CxtI, Q.DT)))  in simplifySelectInst()
4463        isGuaranteedNotToBePoison(TrueVal, Q.AC, Q.CxtI, Q.DT)))  in simplifySelectInst()
4508   Optional<bool> Imp = isImpliedByDomCondition(Cond, Q.CxtI, Q.DL);  in simplifySelectInst()
5662                           Q.DL, 0, Q.AC, Q.CxtI, Q.DT))  in simplifyUnaryIntrinsic()
5668     if (Q.CxtI->hasAllowReassoc() &&  in simplifyUnaryIntrinsic()
5674     if (Q.CxtI->hasAllowReassoc() &&  in simplifyUnaryIntrinsic()
5680     if (Q.CxtI->hasAllowReassoc() &&  in simplifyUnaryIntrinsic()
5686     if (Q.CxtI->hasAllowReassoc() &&  in simplifyUnaryIntrinsic()
5694     if (Q.CxtI->hasAllowReassoc() &&  in simplifyUnaryIntrinsic()
5843             isImpliedByDomCondition(Pred, Op0, Op1, Q.CxtI, Q.DL))  in simplifyBinaryIntrinsic()
5846             isImpliedByDomCondition(Pred, Op1, Op0, Q.CxtI, Q.DL))  in simplifyBinaryIntrinsic()
5970         (C->isInfinity() || (Q.CxtI->hasNoInfs() && C->isLargest()))) {  in simplifyBinaryIntrinsic()
5975       if (C->isNegative() == IsMin && (!PropagateNaN || Q.CxtI->hasNoNaNs()))  in simplifyBinaryIntrinsic()
5982       if (C->isNegative() != IsMin && (PropagateNaN || Q.CxtI->hasNoNaNs()))  in simplifyBinaryIntrinsic()
6256   if (llvm::isGuaranteedNotToBeUndefOrPoison(Op0, Q.AC, Q.CxtI, Q.DT))  in simplifyFreezeInst()
6297   const SimplifyQuery Q = SQ.CxtI ? SQ : SQ.getWithInstruction(I);  in simplifyInstructionWithOperands()