Home
last modified time | relevance | path

Searched refs:isNonNegative (Results 1 – 25 of 45) sorted by relevance

12

/freebsd-14.2/contrib/llvm-project/llvm/lib/Support/
H A DKnownBits.cpp76 if (LHS.isNonNegative() && RHS.isNonNegative()) in computeForAddSub()
241 if (LHS.isNonNegative()) in shl()
429 if (isNonNegative()) in abs()
505 Overflow = (LHS.isNonNegative() == RHS.isNonNegative() && in computeForSatAddSub()
506 Res.isNonNegative() != LHS.isNonNegative()); in computeForSatAddSub()
509 Overflow = (LHS.isNonNegative() != RHS.isNonNegative() && in computeForSatAddSub()
510 Res.isNonNegative() != LHS.isNonNegative()); in computeForSatAddSub()
539 if (LHS.isNonNegative() && RHS.isNonNegative()) { in computeForSatAddSub()
550 if (LHS.isNegative() && RHS.isNonNegative()) { in computeForSatAddSub()
802 if (LHS.isNonNegative() && RHS.isNonNegative()) in sdiv()
[all …]
H A DAPInt.cpp1936 Overflow = isNonNegative() == RHS.isNonNegative() && in sadd_ov()
1937 Res.isNonNegative() != isNonNegative(); in sadd_ov()
1949 Overflow = isNonNegative() != RHS.isNonNegative() && in ssub_ov()
1950 Res.isNonNegative() != isNonNegative(); in ssub_ov()
2003 if (isNonNegative()) // Don't allow sign change. in sshl_ov()
2870 if (B.isNonNegative()) { in SolveQuadraticEquationWrap()
2918 assert(D.isNonNegative() && "Negative discriminant"); in SolveQuadraticEquationWrap()
2945 assert(X.isNonNegative() && "Solution should be non-negative"); in SolveQuadraticEquationWrap()
/freebsd-14.2/contrib/llvm-project/llvm/lib/IR/
H A DConstantRange.cpp68 if (!IsSigned || Known.isNegative() || Known.isNonNegative()) in fromKnownBits()
423 return !isSignWrappedSet() && Lower.isNonNegative(); in isAllNonNegative()
1402 if (MinLHS.isNonNegative()) { in srem()
1559 if (getSignedMin().isNonNegative()) { in ashr()
1699 if (SMin.isNonNegative()) in abs()
1892 if (Min.isNonNegative() && OtherMin.isNonNegative() && in signedAddMayOverflow()
1899 if (Max.isNonNegative() && OtherMax.isNonNegative() && in signedAddMayOverflow()
1938 if (Min.isNonNegative() && OtherMax.isNegative() && in signedSubMayOverflow()
1941 if (Max.isNegative() && OtherMin.isNonNegative() && in signedSubMayOverflow()
1945 if (Max.isNonNegative() && OtherMin.isNegative() && in signedSubMayOverflow()
[all …]
H A DDataLayout.cpp963 assert(Offset.isNonNegative() && "Remaining offset shouldn't be negative"); in getElementIndex()
/freebsd-14.2/contrib/llvm-project/llvm/include/llvm/Support/
H A DKnownBits.h99 bool isNonNegative() const { return Zero.isSignBitSet(); } in isNonNegative() function
247 if (isNonNegative()) in countMinSignBits()
/freebsd-14.2/contrib/llvm-project/clang/lib/AST/Interp/
H A DIntegralAP.h139 bool isPositive() const { return V.isNonNegative(); } in isPositive()
140 bool isNegative() const { return !V.isNonNegative(); } in isNegative()
/freebsd-14.2/contrib/llvm-project/llvm/include/llvm/ADT/
H A DAPSInt.h54 bool isNonNegative() const { return !isNegative(); } in isNonNegative() function
62 bool isStrictlyPositive() const { return isNonNegative() && !isZero(); } in isStrictlyPositive()
H A DAPInt.h312 bool isNonNegative() const { return !isNegative(); } in isNonNegative() function
334 bool isStrictlyPositive() const { return isNonNegative() && !isZero(); } in isStrictlyPositive()
429 if (isNonNegative()) in isNegatedPowerOf2()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/Instrumentation/
H A DBoundsChecking.cpp100 !SizeRange.getSignedMin().isNonNegative()) { in getBoundsCheckCond()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DSCCPSolver.cpp159 auto isNonNegative = [&Solver](Value *V) { in replaceSignedInst() local
178 if (InsertedValues.count(Op0) || !isNonNegative(Op0)) in replaceSignedInst()
187 if (InsertedValues.count(Op0) || !isNonNegative(Op0)) in replaceSignedInst()
198 !isNonNegative(Op0) || !isNonNegative(Op1)) in replaceSignedInst()
H A DSimplifyIndVar.cpp1901 NonNegativeUse = RangeInfo->getSignedMin().isNonNegative(); in pushNarrowIVUsers()
2031 !NarrowDefRHS->isNonNegative()) in calculatePostIncRange()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Analysis/
H A DValueTracking.cpp288 return computeKnownBits(V, Depth, SQ).isNonNegative(); in isKnownNonNegative()
412 else if (isKnownNegative && !Known.isNonNegative()) in computeKnownBitsMul()
1327 if (Known2.isNonNegative() && Known3.isNonNegative()) in computeKnownBitsFromOperator()
1344 Known3.isNonNegative()) in computeKnownBitsFromOperator()
2308 if (XKnown.isNonNegative() && YKnown.isNonNegative()) in isNonZeroAdd()
2328 if (XKnown.isNonNegative() && in isNonZeroAdd()
2331 if (YKnown.isNonNegative() && in isNonZeroAdd()
2733 .isNonNegative(); in isKnownNonZeroFromOperator()
3440 if (Known.isNonNegative()) in ComputeNumSignBitsImpl()
3465 if (Known.isNonNegative()) in ComputeNumSignBitsImpl()
[all …]
H A DInstructionSimplify.cpp2997 if (LHSKnown.isNonNegative()) in simplifyICmpWithZero()
3005 if (LHSKnown.isNonNegative() && in simplifyICmpWithZero()
3014 if (LHSKnown.isNonNegative()) in simplifyICmpWithZero()
3022 if (LHSKnown.isNonNegative() && in simplifyICmpWithZero()
3098 if (RHSKnown.isNonNegative() && YKnown.isNegative()) in simplifyICmpWithBinOpOnLHS()
3100 if (RHSKnown.isNegative() || YKnown.isNonNegative()) in simplifyICmpWithBinOpOnLHS()
3121 if (!Known.isNonNegative()) in simplifyICmpWithBinOpOnLHS()
3132 if (!Known.isNonNegative()) in simplifyICmpWithBinOpOnLHS()
3256 return (C1->slt(*C2) && C1->isNonNegative()) || in trySimplifyICmpWithAdds()
3356 if (C->isNonNegative()) { in simplifyICmpWithBinOp()
[all …]
H A DIVDescriptors.cpp119 if (!Bits.isNonNegative()) { in computeRecurrenceType()
H A DBasicAliasAnalysis.cpp1282 OffsetHi.isNonNegative() && OffsetHi.uge(V2Size.getValue())) in aliasGEP()
/freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/
H A DBitwiseShiftChecker.cpp254 assert(Left->getValue().isNonNegative()); in checkLeftShiftOverflow()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Target/AArch64/GISel/
H A DAArch64PostLegalizerCombiner.cpp191 if (ConstValue.isNonNegative()) { in matchAArch64MulConstCombine()
/freebsd-14.2/contrib/llvm-project/llvm/lib/CodeGen/GlobalISel/
H A DGISelKnownBits.cpp747 if (Known.isNonNegative()) { // sign bit is 0 in computeNumSignBits()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineSimplifyDemanded.cpp478 if (InputKnown.isNonNegative() || in SimplifyDemandedUseBits()
859 if (LHSKnown.isNonNegative() || LowBits.isSubsetOf(LHSKnown.Zero)) in SimplifyDemandedUseBits()
H A DInstCombineCalls.cpp1054 if (Known.isNonNegative()) in getKnownSign()
2182 else if (Val->isNonNegative() == Val2->isNonNegative()) { in visitCallInst()
H A DInstructionCombining.cpp2211 IsInBounds &= Idx.isNonNegative() == ConstIndices[0].isNonNegative(); in visitGEPOfGEP()
2659 BasePtrOffset.isNonNegative()) { in visitGetElementPtrInst()
H A DInstCombineLoadStoreAlloca.cpp941 if (Known.isNonNegative()) in canReplaceGEPIdxWithZero()
/freebsd-14.2/contrib/llvm-project/llvm/lib/CodeGen/SelectionDAG/
H A DSelectionDAG.cpp3947 if (ValueLow.isNonNegative() && ValueHigh.isNonNegative()) { in computeKnownBits()
3967 if (ValueLow.isNonNegative()) { in computeKnownBits()
4163 if (N0Known.isNonNegative() || N1Known.isNonNegative()) in computeOverflowForSignedMul()
4580 if (Known.isNonNegative()) in ComputeNumSignBits()
4604 if (Known.isNonNegative()) in ComputeNumSignBits()
H A DTargetLowering.cpp2483 if (Known.isNonNegative()) { in SimplifyDemandedBits()
4669 return DAG.getConstant(C1.isNonNegative(), dl, VT); in SimplifySetCC()
6143 if (Divisor.isNonNegative()) in buildSDIVPow2WithCMov()
10087 bool LHSIsNonNegative = KnownLHS.isNonNegative(); in expandAddSubSat()
10088 bool RHSIsNonNegative = Opcode == ISD::SADDSAT ? KnownRHS.isNonNegative() in expandAddSubSat()
10097 : KnownRHS.isNonNegative(); in expandAddSubSat()
/freebsd-14.2/contrib/llvm-project/llvm/lib/Target/AMDGPU/
H A DAMDGPUCodeGenPrepare.cpp1362 if (Known.isNonNegative()) in getSign32()

12