Home
last modified time | relevance | path

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

12

/freebsd/contrib/llvm-project/llvm/lib/Support/
H A DKnownBits.cpp116 if (MinVal.isNonNegative()) { in computeForAddSub()
340 if (LHS.isNonNegative()) in shl()
552 if (isNonNegative()) in abs()
627 Overflow = (LHS.isNonNegative() == RHS.isNonNegative() && in computeForSatAddSub()
628 Res.isNonNegative() != LHS.isNonNegative()); in computeForSatAddSub()
631 Overflow = (LHS.isNonNegative() != RHS.isNonNegative() && in computeForSatAddSub()
632 Res.isNonNegative() != LHS.isNonNegative()); in computeForSatAddSub()
661 if (LHS.isNonNegative() && RHS.isNonNegative()) { in computeForSatAddSub()
672 if (LHS.isNegative() && RHS.isNonNegative()) { in computeForSatAddSub()
676 } else if (LHS.isNonNegative() && RHS.isNegative()) { in computeForSatAddSub()
[all …]
H A DAPInt.cpp1900 Overflow = isNonNegative() == RHS.isNonNegative() && in sadd_ov()
1901 Res.isNonNegative() != isNonNegative(); in sadd_ov()
1913 Overflow = isNonNegative() != RHS.isNonNegative() && in ssub_ov()
1914 Res.isNonNegative() != isNonNegative(); in ssub_ov()
1967 if (isNonNegative()) // Don't allow sign change. in sshl_ov()
2862 if (B.isNonNegative()) { in SolveQuadraticEquationWrap()
2910 assert(D.isNonNegative() && "Negative discriminant"); in SolveQuadraticEquationWrap()
2937 assert(X.isNonNegative() && "Solution should be non-negative"); in SolveQuadraticEquationWrap()
/freebsd/contrib/llvm-project/llvm/lib/IR/
H A DConstantRange.cpp68 if (!IsSigned || Known.isNegative() || Known.isNonNegative()) in fromKnownBits()
469 return !isSignWrappedSet() && Lower.isNonNegative(); in isAllNonNegative()
1205 (UR.getUpper().isNonNegative() || UR.getUpper().isMinSignedValue())) in multiply()
1480 if (MinLHS.isNonNegative()) { in srem()
1652 if (getSignedMin().isNonNegative()) { in ashr()
1749 APInt NewL = Min.sshl_sat(Min.isNonNegative() ? ShAmtMin : ShAmtMax); in sshl_sat()
1792 if (SMin.isNonNegative()) in abs()
1985 if (Min.isNonNegative() && OtherMin.isNonNegative() && in signedAddMayOverflow()
1992 if (Max.isNonNegative() && OtherMax.isNonNegative() && in signedAddMayOverflow()
2031 if (Min.isNonNegative() && OtherMax.isNegative() && in signedSubMayOverflow()
[all …]
H A DDataLayout.cpp963 assert(Offset.isNonNegative() && "Remaining offset shouldn't be negative"); in getElementIndex()
/freebsd/contrib/llvm-project/llvm/include/llvm/Support/
H A DKnownBits.h97 bool isNonNegative() const { return Zero.isSignBitSet(); } in isNonNegative() function
245 if (isNonNegative()) in countMinSignBits()
/freebsd/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.h314 bool isNonNegative() const { return !isNegative(); } in isNonNegative() function
336 bool isStrictlyPositive() const { return isNonNegative() && !isZero(); } in isStrictlyPositive()
431 if (isNonNegative()) in isNegatedPowerOf2()
/freebsd/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/contrib/llvm-project/llvm/lib/Transforms/Instrumentation/
H A DBoundsChecking.cpp100 !SizeRange.getSignedMin().isNonNegative()) { in getBoundsCheckCond()
/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DValueTracking.cpp286 return computeKnownBits(V, Depth, SQ).isNonNegative(); in isKnownNonNegative()
297 return Known.isNonNegative() && in isKnownPositive()
389 bool isKnownNonNegativeOp1 = Known.isNonNegative(); in computeKnownBitsMul()
390 bool isKnownNonNegativeOp0 = Known2.isNonNegative(); in computeKnownBitsMul()
419 else if (isKnownNegative && !Known.isNonNegative()) in computeKnownBitsMul()
1502 if (Known2.isNonNegative() && Known3.isNonNegative()) in computeKnownBitsFromOperator()
1511 if (Known2.isNonNegative() && Known3.isNegative()) in computeKnownBitsFromOperator()
1513 else if (Known2.isNegative() && Known3.isNonNegative()) in computeKnownBitsFromOperator()
1518 else if (Opcode == Instruction::Mul && Known2.isNonNegative() && in computeKnownBitsFromOperator()
1519 Known3.isNonNegative()) in computeKnownBitsFromOperator()
[all …]
H A DInstructionSimplify.cpp2792 if (Dist.isNonNegative() ? Dist.ult(LHSSize) : (-Dist).ult(RHSSize)) in computePointerICmp()
3000 if (LHSKnown.isNonNegative()) in simplifyICmpWithZero()
3008 if (LHSKnown.isNonNegative() && isKnownNonZero(LHS, Q)) in simplifyICmpWithZero()
3016 if (LHSKnown.isNonNegative()) in simplifyICmpWithZero()
3024 if (LHSKnown.isNonNegative() && isKnownNonZero(LHS, Q)) 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()
[all …]
H A DIVDescriptors.cpp119 if (!Bits.isNonNegative()) { in computeRecurrenceType()
H A DBasicAliasAnalysis.cpp1355 OffsetHi.isNonNegative() && OffsetHi.uge(V2Size.getValue())) in aliasGEP()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DSCCPSolver.cpp172 auto isNonNegative = [&Solver](Value *V) { in replaceSignedInst() local
190 if (InsertedValues.count(Op0) || !isNonNegative(Op0)) in replaceSignedInst()
202 if (InsertedValues.count(Op0) || !isNonNegative(Op0)) in replaceSignedInst()
213 !isNonNegative(Op0) || !isNonNegative(Op1)) in replaceSignedInst()
H A DSimplifyIndVar.cpp2017 NonNegativeUse = RangeInfo->getSignedMin().isNonNegative(); in pushNarrowIVUsers()
2166 !NarrowDefRHS->isNonNegative()) in calculatePostIncRange()
/freebsd/contrib/llvm-project/llvm/lib/Target/AArch64/GISel/
H A DAArch64PostLegalizerCombiner.cpp191 if (ConstValue.isNonNegative()) { in matchAArch64MulConstCombine()
/freebsd/contrib/llvm-project/llvm/lib/CodeGen/GlobalISel/
H A DGISelKnownBits.cpp825 if (Known.isNonNegative()) { // sign bit is 0 in computeNumSignBits()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineSimplifyDemanded.cpp475 if (InputKnown.isNonNegative() || in SimplifyDemandedUseBits()
883 if (LHSKnown.isNonNegative() || LowBits.isSubsetOf(LHSKnown.Zero)) in SimplifyDemandedUseBits()
H A DInstructionCombining.cpp1468 return OpsKnown[OpNo].getKnownBits(SQ).isNonNegative(); in foldFBinOpOfIntCastsFromSign()
2453 IsInBounds &= Idx.isNonNegative() == ConstIndices[0].isNonNegative(); in visitGEPOfGEP()
3064 BasePtrOffset.isNonNegative()) { in visitGetElementPtrInst()
H A DInstCombineLoadStoreAlloca.cpp940 if (Known.isNonNegative()) in canReplaceGEPIdxWithZero()
H A DInstCombineCalls.cpp1046 if (Known.isNonNegative()) in getKnownSign()
2287 else if (Val->isNonNegative() == Val2->isNonNegative()) { in visitCallInst()
/freebsd/contrib/llvm-project/llvm/lib/CodeGen/SelectionDAG/
H A DSelectionDAG.cpp4109 if (ValueLow.isNonNegative() && ValueHigh.isNonNegative()) { in computeKnownBits()
4129 if (ValueLow.isNonNegative()) { in computeKnownBits()
4143 if (Known2.isNonNegative()) in computeKnownBits()
4339 if (N0Known.isNonNegative() || N1Known.isNonNegative()) in computeOverflowForSignedMul()
4781 if (Known.isNonNegative()) in ComputeNumSignBits()
4805 if (Known.isNonNegative()) in ComputeNumSignBits()
/freebsd/contrib/llvm-project/llvm/lib/Target/AMDGPU/
H A DAMDGPUCodeGenPrepare.cpp1367 if (Known.isNonNegative()) in getSign32()
/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DRegionStore.cpp868 assert(ExtentInt.isNonNegative() || ExtentInt.isUnsigned()); in collectSubRegionBindings()
/freebsd/contrib/llvm-project/llvm/lib/Target/Hexagon/
H A DHexagonLoopIdiomRecognition.cpp1574 return CI->getValue().isNonNegative(); in hasZeroSignBit()

12