Lines Matching refs:SQ
192 const SimplifyQuery &SQ) { in haveNoCommonBitsSetSpecialCases() argument
198 isGuaranteedNotToBeUndef(M, SQ.AC, SQ.CxtI, SQ.DT)) in haveNoCommonBitsSetSpecialCases()
204 isGuaranteedNotToBeUndef(LHS, SQ.AC, SQ.CxtI, SQ.DT)) in haveNoCommonBitsSetSpecialCases()
212 isGuaranteedNotToBeUndef(LHS, SQ.AC, SQ.CxtI, SQ.DT) && in haveNoCommonBitsSetSpecialCases()
213 isGuaranteedNotToBeUndef(Y, SQ.AC, SQ.CxtI, SQ.DT)) in haveNoCommonBitsSetSpecialCases()
220 isGuaranteedNotToBeUndef(Y, SQ.AC, SQ.CxtI, SQ.DT)) in haveNoCommonBitsSetSpecialCases()
228 isGuaranteedNotToBeUndef(A, SQ.AC, SQ.CxtI, SQ.DT) && in haveNoCommonBitsSetSpecialCases()
229 isGuaranteedNotToBeUndef(B, SQ.AC, SQ.CxtI, SQ.DT)) in haveNoCommonBitsSetSpecialCases()
238 const SimplifyQuery &SQ) { in haveNoCommonBitsSet() argument
247 if (haveNoCommonBitsSetSpecialCases(LHS, RHS, SQ) || in haveNoCommonBitsSet()
248 haveNoCommonBitsSetSpecialCases(RHS, LHS, SQ)) in haveNoCommonBitsSet()
251 return KnownBits::haveNoCommonBitsSet(LHSCache.getKnownBits(SQ), in haveNoCommonBitsSet()
252 RHSCache.getKnownBits(SQ)); in haveNoCommonBitsSet()
284 bool llvm::isKnownNonNegative(const Value *V, const SimplifyQuery &SQ, in isKnownNonNegative() argument
286 return computeKnownBits(V, Depth, SQ).isNonNegative(); in isKnownNonNegative()
289 bool llvm::isKnownPositive(const Value *V, const SimplifyQuery &SQ, in isKnownPositive() argument
296 KnownBits Known = computeKnownBits(V, Depth, SQ); in isKnownPositive()
298 (Known.isNonZero() || isKnownNonZero(V, SQ, Depth)); in isKnownPositive()
301 bool llvm::isKnownNegative(const Value *V, const SimplifyQuery &SQ, in isKnownNegative() argument
303 return computeKnownBits(V, Depth, SQ).isNegative(); in isKnownNegative()
325 const SimplifyQuery &SQ, unsigned Depth) { in MaskedValueIsZero() argument
327 computeKnownBits(V, Known, Depth, SQ); in MaskedValueIsZero()
739 const SimplifyQuery &SQ, bool Invert) { in computeKnownBitsFromICmpCond() argument
748 computeKnownBitsFromCmp(LHS, Pred, LHS, RHS, DstKnown, SQ); in computeKnownBitsFromICmpCond()
753 computeKnownBitsFromCmp(V, Pred, LHS, RHS, Known, SQ); in computeKnownBitsFromICmpCond()
758 const SimplifyQuery &SQ, bool Invert) { in computeKnownBitsFromCond() argument
764 computeKnownBitsFromCond(V, A, Known2, Depth + 1, SQ, Invert); in computeKnownBitsFromCond()
765 computeKnownBitsFromCond(V, B, Known3, Depth + 1, SQ, Invert); in computeKnownBitsFromCond()
775 computeKnownBitsFromICmpCond(V, Cmp, Known, SQ, Invert); in computeKnownBitsFromCond()
999 const SimplifyQuery &SQ) { in analyzeKnownBitsFromAndXorOr() argument
1005 SQ); in analyzeKnownBitsFromAndXorOr()
5940 const SimplifyQuery &SQ) { in computeKnownFPClass() argument
5943 SQ); in computeKnownFPClass()
5950 const SimplifyQuery &SQ) { in computeKnownFPClass() argument
5952 ::computeKnownFPClass(V, Known, InterestedClasses, Depth, SQ); in computeKnownFPClass()
6960 const SimplifyQuery &SQ) { in computeConstantRangeIncludingKnownBits() argument
6962 ConstantRange::fromKnownBits(V.getKnownBits(SQ), ForSigned); in computeConstantRangeIncludingKnownBits()
6963 ConstantRange CR2 = computeConstantRange(V, ForSigned, SQ.IIQ.UseInstrInfo); in computeConstantRangeIncludingKnownBits()
6971 const SimplifyQuery &SQ, in computeOverflowForUnsignedMul() argument
6973 KnownBits LHSKnown = computeKnownBits(LHS, /*Depth=*/0, SQ); in computeOverflowForUnsignedMul()
6974 KnownBits RHSKnown = computeKnownBits(RHS, /*Depth=*/0, SQ); in computeOverflowForUnsignedMul()
6987 const SimplifyQuery &SQ) { in computeOverflowForSignedMul() argument
6999 ::ComputeNumSignBits(LHS, 0, SQ) + ::ComputeNumSignBits(RHS, 0, SQ); in computeOverflowForSignedMul()
7016 KnownBits LHSKnown = computeKnownBits(LHS, /*Depth=*/0, SQ); in computeOverflowForSignedMul()
7017 KnownBits RHSKnown = computeKnownBits(RHS, /*Depth=*/0, SQ); in computeOverflowForSignedMul()
7027 const SimplifyQuery &SQ) { in computeOverflowForUnsignedAdd() argument
7029 computeConstantRangeIncludingKnownBits(LHS, /*ForSigned=*/false, SQ); in computeOverflowForUnsignedAdd()
7031 computeConstantRangeIncludingKnownBits(RHS, /*ForSigned=*/false, SQ); in computeOverflowForUnsignedAdd()
7038 const AddOperator *Add, const SimplifyQuery &SQ) { in computeOverflowForSignedAdd() argument
7057 if (::ComputeNumSignBits(LHS, 0, SQ) > 1 && in computeOverflowForSignedAdd()
7058 ::ComputeNumSignBits(RHS, 0, SQ) > 1) in computeOverflowForSignedAdd()
7062 computeConstantRangeIncludingKnownBits(LHS, /*ForSigned=*/true, SQ); in computeOverflowForSignedAdd()
7064 computeConstantRangeIncludingKnownBits(RHS, /*ForSigned=*/true, SQ); in computeOverflowForSignedAdd()
7085 computeKnownBitsFromContext(Add, AddKnown, /*Depth=*/0, SQ); in computeOverflowForSignedAdd()
7096 const SimplifyQuery &SQ) { in computeOverflowForUnsignedSub() argument
7110 if (isGuaranteedNotToBeUndef(LHS, SQ.AC, SQ.CxtI, SQ.DT)) in computeOverflowForUnsignedSub()
7115 if (match(SQ.CxtI, in computeOverflowForUnsignedSub()
7117 if (auto C = isImpliedByDomCondition(CmpInst::ICMP_UGE, LHS, RHS, SQ.CxtI, in computeOverflowForUnsignedSub()
7118 SQ.DL)) { in computeOverflowForUnsignedSub()
7124 computeConstantRangeIncludingKnownBits(LHS, /*ForSigned=*/false, SQ); in computeOverflowForUnsignedSub()
7126 computeConstantRangeIncludingKnownBits(RHS, /*ForSigned=*/false, SQ); in computeOverflowForUnsignedSub()
7132 const SimplifyQuery &SQ) { in computeOverflowForSignedSub() argument
7143 if (isGuaranteedNotToBeUndef(LHS, SQ.AC, SQ.CxtI, SQ.DT)) in computeOverflowForSignedSub()
7148 if (::ComputeNumSignBits(LHS, 0, SQ) > 1 && in computeOverflowForSignedSub()
7149 ::ComputeNumSignBits(RHS, 0, SQ) > 1) in computeOverflowForSignedSub()
7153 computeConstantRangeIncludingKnownBits(LHS, /*ForSigned=*/true, SQ); in computeOverflowForSignedSub()
7155 computeConstantRangeIncludingKnownBits(RHS, /*ForSigned=*/true, SQ); in computeOverflowForSignedSub()
7680 const SimplifyQuery &SQ) { in computeOverflowForSignedAdd() argument
7682 Add, SQ); in computeOverflowForSignedAdd()
7688 const SimplifyQuery &SQ) { in computeOverflowForSignedAdd() argument
7689 return ::computeOverflowForSignedAdd(LHS, RHS, nullptr, SQ); in computeOverflowForSignedAdd()