Lines Matching refs:SQ
191 const SimplifyQuery &SQ) { in haveNoCommonBitsSetSpecialCases() argument
197 isGuaranteedNotToBeUndef(M, SQ.AC, SQ.CxtI, SQ.DT)) in haveNoCommonBitsSetSpecialCases()
203 isGuaranteedNotToBeUndef(LHS, SQ.AC, SQ.CxtI, SQ.DT)) in haveNoCommonBitsSetSpecialCases()
211 isGuaranteedNotToBeUndef(LHS, SQ.AC, SQ.CxtI, SQ.DT) && in haveNoCommonBitsSetSpecialCases()
212 isGuaranteedNotToBeUndef(Y, SQ.AC, SQ.CxtI, SQ.DT)) in haveNoCommonBitsSetSpecialCases()
219 isGuaranteedNotToBeUndef(Y, SQ.AC, SQ.CxtI, SQ.DT)) in haveNoCommonBitsSetSpecialCases()
227 isGuaranteedNotToBeUndef(A, SQ.AC, SQ.CxtI, SQ.DT) && in haveNoCommonBitsSetSpecialCases()
228 isGuaranteedNotToBeUndef(B, SQ.AC, SQ.CxtI, SQ.DT)) in haveNoCommonBitsSetSpecialCases()
237 const SimplifyQuery &SQ) { in haveNoCommonBitsSet() argument
246 if (haveNoCommonBitsSetSpecialCases(LHS, RHS, SQ) || in haveNoCommonBitsSet()
247 haveNoCommonBitsSetSpecialCases(RHS, LHS, SQ)) in haveNoCommonBitsSet()
250 return KnownBits::haveNoCommonBitsSet(LHSCache.getKnownBits(SQ), in haveNoCommonBitsSet()
251 RHSCache.getKnownBits(SQ)); in haveNoCommonBitsSet()
286 bool llvm::isKnownNonNegative(const Value *V, const SimplifyQuery &SQ, in isKnownNonNegative() argument
288 return computeKnownBits(V, Depth, SQ).isNonNegative(); in isKnownNonNegative()
291 bool llvm::isKnownPositive(const Value *V, const SimplifyQuery &SQ, in isKnownPositive() argument
298 return isKnownNonNegative(V, SQ, Depth) && ::isKnownNonZero(V, Depth, SQ); in isKnownPositive()
301 bool llvm::isKnownNegative(const Value *V, const SimplifyQuery &SQ, in isKnownNegative() argument
303 return computeKnownBits(V, Depth, SQ).isNegative(); in isKnownNegative()
319 const SimplifyQuery &SQ, unsigned Depth) { in MaskedValueIsZero() argument
321 computeKnownBits(V, Known, Depth, SQ); in MaskedValueIsZero()
906 const SimplifyQuery &SQ) { in analyzeKnownBitsFromAndXorOr() argument
912 SQ); in analyzeKnownBitsFromAndXorOr()
6289 const SimplifyQuery &SQ) { in computeConstantRangeIncludingKnownBits() argument
6291 ConstantRange::fromKnownBits(V.getKnownBits(SQ), ForSigned); in computeConstantRangeIncludingKnownBits()
6292 ConstantRange CR2 = computeConstantRange(V, ForSigned, SQ.IIQ.UseInstrInfo); in computeConstantRangeIncludingKnownBits()
6300 const SimplifyQuery &SQ) { in computeOverflowForUnsignedMul() argument
6301 KnownBits LHSKnown = computeKnownBits(LHS, /*Depth=*/0, SQ); in computeOverflowForUnsignedMul()
6302 KnownBits RHSKnown = computeKnownBits(RHS, /*Depth=*/0, SQ); in computeOverflowForUnsignedMul()
6310 const SimplifyQuery &SQ) { in computeOverflowForSignedMul() argument
6322 ::ComputeNumSignBits(LHS, 0, SQ) + ::ComputeNumSignBits(RHS, 0, SQ); in computeOverflowForSignedMul()
6339 KnownBits LHSKnown = computeKnownBits(LHS, /*Depth=*/0, SQ); in computeOverflowForSignedMul()
6340 KnownBits RHSKnown = computeKnownBits(RHS, /*Depth=*/0, SQ); in computeOverflowForSignedMul()
6350 const SimplifyQuery &SQ) { in computeOverflowForUnsignedAdd() argument
6352 computeConstantRangeIncludingKnownBits(LHS, /*ForSigned=*/false, SQ); in computeOverflowForUnsignedAdd()
6354 computeConstantRangeIncludingKnownBits(RHS, /*ForSigned=*/false, SQ); in computeOverflowForUnsignedAdd()
6361 const AddOperator *Add, const SimplifyQuery &SQ) { in computeOverflowForSignedAdd() argument
6380 if (::ComputeNumSignBits(LHS, 0, SQ) > 1 && in computeOverflowForSignedAdd()
6381 ::ComputeNumSignBits(RHS, 0, SQ) > 1) in computeOverflowForSignedAdd()
6385 computeConstantRangeIncludingKnownBits(LHS, /*ForSigned=*/true, SQ); in computeOverflowForSignedAdd()
6387 computeConstantRangeIncludingKnownBits(RHS, /*ForSigned=*/true, SQ); in computeOverflowForSignedAdd()
6408 computeKnownBitsFromContext(Add, AddKnown, /*Depth=*/0, SQ); in computeOverflowForSignedAdd()
6419 const SimplifyQuery &SQ) { in computeOverflowForUnsignedSub() argument
6433 if (isGuaranteedNotToBeUndef(LHS, SQ.AC, SQ.CxtI, SQ.DT)) in computeOverflowForUnsignedSub()
6438 if (match(SQ.CxtI, in computeOverflowForUnsignedSub()
6440 if (auto C = isImpliedByDomCondition(CmpInst::ICMP_UGE, LHS, RHS, SQ.CxtI, in computeOverflowForUnsignedSub()
6441 SQ.DL)) { in computeOverflowForUnsignedSub()
6447 computeConstantRangeIncludingKnownBits(LHS, /*ForSigned=*/false, SQ); in computeOverflowForUnsignedSub()
6449 computeConstantRangeIncludingKnownBits(RHS, /*ForSigned=*/false, SQ); in computeOverflowForUnsignedSub()
6455 const SimplifyQuery &SQ) { in computeOverflowForSignedSub() argument
6466 if (isGuaranteedNotToBeUndef(LHS, SQ.AC, SQ.CxtI, SQ.DT)) in computeOverflowForSignedSub()
6471 if (::ComputeNumSignBits(LHS, 0, SQ) > 1 && in computeOverflowForSignedSub()
6472 ::ComputeNumSignBits(RHS, 0, SQ) > 1) in computeOverflowForSignedSub()
6476 computeConstantRangeIncludingKnownBits(LHS, /*ForSigned=*/true, SQ); in computeOverflowForSignedSub()
6478 computeConstantRangeIncludingKnownBits(RHS, /*ForSigned=*/true, SQ); in computeOverflowForSignedSub()
6996 const SimplifyQuery &SQ) { in computeOverflowForSignedAdd() argument
6998 Add, SQ); in computeOverflowForSignedAdd()
7004 const SimplifyQuery &SQ) { in computeOverflowForSignedAdd() argument
7005 return ::computeOverflowForSignedAdd(LHS, RHS, nullptr, SQ); in computeOverflowForSignedAdd()