Home
last modified time | relevance | path

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

12

/freebsd-13.1/contrib/llvm-project/llvm/lib/IR/
H A DConstantRange.cpp67 if (!IsSigned || Known.isNegative() || Known.isNonNegative()) in fromKnownBits()
367 return !isSignWrappedSet() && Lower.isNonNegative(); in isAllNonNegative()
1268 if (MinLHS.isNonNegative()) { in srem()
1415 if (getSignedMin().isNonNegative()) { in ashr()
1560 if (SMin.isNonNegative()) in abs()
1601 if (Min.isNonNegative() && OtherMin.isNonNegative() && in signedAddMayOverflow()
1608 if (Max.isNonNegative() && OtherMax.isNonNegative() && in signedAddMayOverflow()
1647 if (Min.isNonNegative() && OtherMax.isNegative() && in signedSubMayOverflow()
1650 if (Max.isNegative() && OtherMin.isNonNegative() && in signedSubMayOverflow()
1654 if (Max.isNonNegative() && OtherMin.isNegative() && in signedSubMayOverflow()
[all …]
/freebsd-13.1/contrib/llvm-project/llvm/lib/Support/
H A DKnownBits.cpp72 if (!KnownOut.isNegative() && !KnownOut.isNonNegative()) { in computeForAddSub()
76 if (LHS.isNonNegative() && RHS.isNonNegative()) in computeForAddSub()
397 if (isNonNegative()) in abs()
565 if (LHS.isNonNegative() || LowBits.isSubsetOf(LHS.Zero)) in srem()
H A DAPInt.cpp1961 Overflow = isNonNegative() == RHS.isNonNegative() && in sadd_ov()
1962 Res.isNonNegative() != isNonNegative(); in sadd_ov()
1974 Overflow = isNonNegative() != RHS.isNonNegative() && in ssub_ov()
1975 Res.isNonNegative() != isNonNegative(); in ssub_ov()
2023 if (isNonNegative()) // Don't allow sign change. in sshl_ov()
2942 if (B.isNonNegative()) { in SolveQuadraticEquationWrap()
2990 assert(D.isNonNegative() && "Negative discriminant"); in SolveQuadraticEquationWrap()
3017 assert(X.isNonNegative() && "Solution should be non-negative"); in SolveQuadraticEquationWrap()
/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/Support/
H A DKnownBits.h99 bool isNonNegative() const { return Zero.isSignBitSet(); } in isNonNegative() function
246 if (isNonNegative()) in countMinSignBits()
/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/ADT/
H A DAPSInt.h53 bool isNonNegative() const { return !isNegative(); } in isNonNegative() function
61 bool isStrictlyPositive() const { return isNonNegative() && !isNullValue(); } in isStrictlyPositive()
H A DAPInt.h369 bool isNonNegative() const { return !isNegative(); }
391 bool isStrictlyPositive() const { return isNonNegative() && !isNullValue(); }
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DCorrelatedValuePropagation.cpp646 static bool isNonNegative(Value *V, LazyValueInfo *LVI, Instruction *CxtI) { in isNonNegative() function
663 if (isNonNegative(V, LVI, CxtI)) in getDomain()
897 if (!isNonNegative(SDI->getOperand(0), LVI, SDI)) in processAShr()
917 if (!isNonNegative(Base, LVI, SDI)) in processSExt()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Analysis/
H A DBasicAliasAnalysis.cpp1147 bool AllNonNegative = DecompGEP1.Offset.isNonNegative(); in aliasGEP()
1169 bool SignKnownZero = Known.isNonNegative(); in aliasGEP()
1178 AllNonNegative &= (SignKnownZero && Scale.isNonNegative()) || in aliasGEP()
1181 (SignKnownOne && Scale.isNonNegative()); in aliasGEP()
1242 OffsetHi.isNonNegative() && OffsetHi.uge(V2Size.getValue())) in aliasGEP()
H A DValueTracking.cpp323 return Known.isNonNegative(); in isKnownNonNegative()
449 else if (isKnownNegative && !Known.isNonNegative()) in computeKnownBitsMul()
851 if (RHSKnown.isNonNegative()) { in computeKnownBitsFromAssume()
1482 if (Known2.isNonNegative() && Known3.isNonNegative()) in computeKnownBitsFromOperator()
1499 Known3.isNonNegative()) in computeKnownBitsFromOperator()
2470 if (XKnown.isNonNegative() && YKnown.isNonNegative()) in isKnownNonZero()
2490 if (XKnown.isNonNegative() && in isKnownNonZero()
2493 if (YKnown.isNonNegative() && in isKnownNonZero()
3059 if (Known.isNonNegative()) in ComputeNumSignBitsImpl()
3084 if (Known.isNonNegative()) in ComputeNumSignBitsImpl()
[all …]
H A DInstructionSimplify.cpp2748 if (LHSKnown.isNonNegative()) in simplifyICmpWithZero()
2756 if (LHSKnown.isNonNegative() && in simplifyICmpWithZero()
2765 if (LHSKnown.isNonNegative()) in simplifyICmpWithZero()
2773 if (LHSKnown.isNonNegative() && in simplifyICmpWithZero()
2847 if (RHSKnown.isNonNegative() && YKnown.isNegative()) in simplifyICmpWithBinOpOnLHS()
2849 if (RHSKnown.isNegative() || YKnown.isNonNegative()) in simplifyICmpWithBinOpOnLHS()
2870 if (!Known.isNonNegative()) in simplifyICmpWithBinOpOnLHS()
2881 if (!Known.isNonNegative()) in simplifyICmpWithBinOpOnLHS()
2967 return (C1->slt(*C2) && C1->isNonNegative()) || in trySimplifyICmpWithAdds()
3068 if (C->isNonNegative()) { in simplifyICmpWithBinOp()
[all …]
H A DIVDescriptors.cpp142 if (!Bits.isNonNegative()) { in computeRecurrenceType()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/Instrumentation/
H A DBoundsChecking.cpp101 !SizeRange.getSignedMin().isNonNegative()) { in getBoundsCheckCond()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Target/AArch64/GISel/
H A DAArch64PostLegalizerCombiner.cpp177 if (ConstValue.isNonNegative()) { in matchAArch64MulConstCombine()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineSimplifyDemanded.cpp440 if (InputKnown.isNonNegative() || in SimplifyDemandedUseBits()
721 if (LHSKnown.isNonNegative() || LowBits.isSubsetOf(LHSKnown.Zero)) in SimplifyDemandedUseBits()
739 if (LHSKnown.isNonNegative()) in SimplifyDemandedUseBits()
H A DInstCombineCalls.cpp748 if (Known.isNonNegative()) in getKnownSign()
1294 else if (Val->isNonNegative() == Val2->isNonNegative()) { in visitCallInst()
H A DInstCombineLoadStoreAlloca.cpp881 if (Known.isNonNegative()) in canReplaceGEPIdxWithZero()
H A DInstCombineCasts.cpp1522 if (Known.isNonNegative()) in visitSExt()
/freebsd-13.1/contrib/llvm-project/llvm/lib/CodeGen/GlobalISel/
H A DGISelKnownBits.cpp662 if (Known.isNonNegative()) { // sign bit is 0 in computeNumSignBits()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DSimplifyIndVar.cpp1814 NonNegativeUse = RangeInfo->getSignedMin().isNonNegative(); in pushNarrowIVUsers()
1944 !NarrowDefRHS->isNonNegative()) in calculatePostIncRange()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Target/AMDGPU/
H A DAMDGPUCodeGenPrepare.cpp1035 if (Known.isNonNegative()) in getSign32()
H A DAMDGPUISelLowering.cpp4577 bool LHSNonNegative = LHSKnown.isNonNegative(); in computeKnownBitsForTargetNode()
4580 bool RHSNonNegative = RHSKnown.isNonNegative(); in computeKnownBitsForTargetNode()
/freebsd-13.1/contrib/llvm-project/llvm/lib/CodeGen/SelectionDAG/
H A DSelectionDAG.cpp3513 if (ValueLow.isNonNegative() && ValueHigh.isNonNegative()) { in computeKnownBits()
3960 if (Known.isNonNegative()) in ComputeNumSignBits()
3984 if (Known.isNonNegative()) in ComputeNumSignBits()
4236 if (Known.isNonNegative()) { // sign bit is 0 in ComputeNumSignBits()
/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp874 assert(ExtentInt.isNonNegative() || ExtentInt.isUnsigned()); in collectSubRegionBindings()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Target/ARM/
H A DARMTargetTransformInfo.cpp288 if (Imm.isNonNegative() && Imm.getLimitedValue() < 256) in getIntImmCodeSizeCost()
/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/IR/
H A DPatternMatch.h475 bool isValue(const APInt &C) { return C.isNonNegative(); } in isValue()

12