Home
last modified time | relevance | path

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

1234

/external/llvm-project/llvm/unittests/ADT/
DAPSIntTest.cpp196 EXPECT_TRUE(False.isNonNegative()); in TEST()
200 EXPECT_FALSE(True.isNonNegative()); in TEST()
204 EXPECT_TRUE(CharMin.isNonNegative()); in TEST()
208 EXPECT_TRUE(CharSmall.isNonNegative()); in TEST()
212 EXPECT_TRUE(CharBoundaryUnder.isNonNegative()); in TEST()
216 EXPECT_FALSE(CharBoundaryOver.isNonNegative()); in TEST()
220 EXPECT_FALSE(CharLarge.isNonNegative()); in TEST()
224 EXPECT_FALSE(CharMax.isNonNegative()); in TEST()
239 EXPECT_TRUE(False.isNonNegative()); in TEST()
243 EXPECT_TRUE(True.isNonNegative()); in TEST()
[all …]
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Support/
DKnownBits.cpp69 if (!KnownOut.isNegative() && !KnownOut.isNonNegative()) { in computeForAddSub()
73 if (LHS.isNonNegative() && RHS.isNonNegative()) in computeForAddSub()
DAPInt.cpp1958 Overflow = isNonNegative() == RHS.isNonNegative() && in sadd_ov()
1959 Res.isNonNegative() != isNonNegative(); in sadd_ov()
1971 Overflow = isNonNegative() != RHS.isNonNegative() && in ssub_ov()
1972 Res.isNonNegative() != isNonNegative(); in ssub_ov()
2020 if (isNonNegative()) // Don't allow sign change. in sshl_ov()
2947 if (B.isNonNegative()) { in SolveQuadraticEquationWrap()
2995 assert(D.isNonNegative() && "Negative discriminant"); in SolveQuadraticEquationWrap()
3022 assert(X.isNonNegative() && "Solution should be non-negative"); in SolveQuadraticEquationWrap()
/external/llvm-project/llvm/lib/Support/
DKnownBits.cpp70 if (!KnownOut.isNegative() && !KnownOut.isNonNegative()) { in computeForAddSub()
74 if (LHS.isNonNegative() && RHS.isNonNegative()) in computeForAddSub()
273 if (isNonNegative()) in abs()
422 if (LHS.isNonNegative() || LowBits.isSubsetOf(LHS.Zero)) in srem()
434 if (LHS.isNonNegative()) in srem()
DAPInt.cpp1957 Overflow = isNonNegative() == RHS.isNonNegative() && in sadd_ov()
1958 Res.isNonNegative() != isNonNegative(); in sadd_ov()
1970 Overflow = isNonNegative() != RHS.isNonNegative() && in ssub_ov()
1971 Res.isNonNegative() != isNonNegative(); in ssub_ov()
2019 if (isNonNegative()) // Don't allow sign change. in sshl_ov()
2946 if (B.isNonNegative()) { in SolveQuadraticEquationWrap()
2994 assert(D.isNonNegative() && "Negative discriminant"); in SolveQuadraticEquationWrap()
3021 assert(X.isNonNegative() && "Solution should be non-negative"); in SolveQuadraticEquationWrap()
/external/swiftshader/third_party/llvm-10.0/llvm/include/llvm/Support/
DKnownBits.h98 bool isNonNegative() const { return Zero.isSignBitSet(); } in isNonNegative() function
183 if (isNonNegative()) in countMinSignBits()
/external/llvm-project/llvm/lib/IR/
DConstantRange.cpp67 if (!IsSigned || Known.isNegative() || Known.isNonNegative()) in fromKnownBits()
362 return !isSignWrappedSet() && Lower.isNonNegative(); in isAllNonNegative()
1030 (UR.getUpper().isNonNegative() || UR.getUpper().isMinSignedValue())) in multiply()
1233 if (MinLHS.isNonNegative()) { in srem()
1386 if (getSignedMin().isNonNegative()) { in ashr()
1488 APInt NewL = Min.sshl_sat(Min.isNonNegative() ? ShAmtMin : ShAmtMax); in sshl_sat()
1531 if (SMin.isNonNegative()) in abs()
1572 if (Min.isNonNegative() && OtherMin.isNonNegative() && in signedAddMayOverflow()
1579 if (Max.isNonNegative() && OtherMax.isNonNegative() && in signedAddMayOverflow()
1618 if (Min.isNonNegative() && OtherMax.isNegative() && in signedSubMayOverflow()
[all …]
/external/swiftshader/third_party/llvm-10.0/llvm/lib/IR/
DConstantRange.cpp66 if (!IsSigned || Known.isNegative() || Known.isNonNegative()) in fromKnownBits()
361 return !isSignWrappedSet() && Lower.isNonNegative(); in isAllNonNegative()
964 (UR.getUpper().isNonNegative() || UR.getUpper().isMinSignedValue())) in multiply()
1167 if (MinLHS.isNonNegative()) { in srem()
1284 if (getSignedMin().isNonNegative()) { in ashr()
1386 APInt NewL = Min.sshl_sat(Min.isNonNegative() ? ShAmtMin : ShAmtMax); in sshl_sat()
1418 if (SMin.isNonNegative()) in abs()
1459 if (Min.isNonNegative() && OtherMin.isNonNegative() && in signedAddMayOverflow()
1466 if (Max.isNonNegative() && OtherMax.isNonNegative() && in signedAddMayOverflow()
1505 if (Min.isNonNegative() && OtherMax.isNegative() && in signedSubMayOverflow()
[all …]
/external/llvm-project/llvm/include/llvm/Support/
DKnownBits.h98 bool isNonNegative() const { return Zero.isSignBitSet(); } in isNonNegative() function
220 if (isNonNegative()) in countMinSignBits()
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/
DValueTracking.cpp253 return Known.isNonNegative(); in isKnownNonNegative()
339 bool isKnownNonNegativeOp1 = Known.isNonNegative(); in computeKnownBitsMul()
340 bool isKnownNonNegativeOp0 = Known2.isNonNegative(); in computeKnownBitsMul()
436 else if (isKnownNegative && !Known.isNonNegative()) in computeKnownBitsMul()
849 if (RHSKnown.isNonNegative()) { in computeKnownBitsFromAssume()
862 if (RHSKnown.isAllOnes() || RHSKnown.isNonNegative()) { in computeKnownBitsFromAssume()
1146 else if (Known.isNonNegative() || Known2.isNonNegative()) in computeKnownBitsFromOperator()
1150 if (Known.isNonNegative() && Known2.isNonNegative()) in computeKnownBitsFromOperator()
1314 if (Known2.isNonNegative() || LowBits.isSubsetOf(Known2.Zero)) in computeKnownBitsFromOperator()
1331 if (Known2.isNonNegative()) in computeKnownBitsFromOperator()
[all …]
DInstructionSimplify.cpp2629 if (LHSKnown.isNonNegative()) in simplifyICmpWithZero()
2637 if (LHSKnown.isNonNegative() && in simplifyICmpWithZero()
2646 if (LHSKnown.isNonNegative()) in simplifyICmpWithZero()
2654 if (LHSKnown.isNonNegative() && in simplifyICmpWithZero()
2792 if (RHSKnown.isNonNegative() && YKnown.isNegative()) in simplifyICmpWithBinOp()
2794 if (RHSKnown.isNegative() || YKnown.isNonNegative()) in simplifyICmpWithBinOp()
2808 if (LHSKnown.isNonNegative() && YKnown.isNegative()) in simplifyICmpWithBinOp()
2810 if (LHSKnown.isNegative() || YKnown.isNonNegative()) in simplifyICmpWithBinOp()
2844 if (RHSC->getValue().isNonNegative()) { in simplifyICmpWithBinOp()
2861 if (!Known.isNonNegative()) in simplifyICmpWithBinOp()
[all …]
/external/llvm-project/llvm/include/llvm/ADT/
DAPSInt.h53 bool isNonNegative() const { return !isNegative(); } in isNonNegative() function
61 bool isStrictlyPositive() const { return isNonNegative() && !isNullValue(); } in isStrictlyPositive()
/external/swiftshader/third_party/llvm-10.0/llvm/include/llvm/ADT/
DAPSInt.h53 bool isNonNegative() const { return !isNegative(); } in isNonNegative() function
61 bool isStrictlyPositive() const { return isNonNegative() && !isNullValue(); } in isStrictlyPositive()
/external/llvm-project/clang-tools-extra/clang-tidy/bugprone/
DSignedCharMisuseCheck.cpp145 if (Value.isNonNegative()) in check()
/external/swiftshader/third_party/llvm-subzero/lib/Support/
DAPInt.cpp1985 Overflow = isNonNegative() == RHS.isNonNegative() && in sadd_ov()
1986 Res.isNonNegative() != isNonNegative(); in sadd_ov()
1998 Overflow = isNonNegative() != RHS.isNonNegative() && in ssub_ov()
1999 Res.isNonNegative() != isNonNegative(); in ssub_ov()
2040 if (isNonNegative()) // Don't allow sign change. in sshl_ov()
/external/llvm/lib/Support/
DAPInt.cpp2011 Overflow = isNonNegative() == RHS.isNonNegative() && in sadd_ov()
2012 Res.isNonNegative() != isNonNegative(); in sadd_ov()
2024 Overflow = isNonNegative() != RHS.isNonNegative() && in ssub_ov()
2025 Res.isNonNegative() != isNonNegative(); in ssub_ov()
2066 if (isNonNegative()) // Don't allow sign change. in sshl_ov()
/external/llvm-project/llvm/lib/Transforms/Scalar/
DCorrelatedValuePropagation.cpp596 static bool isNonNegative(Value *V, LazyValueInfo *LVI, Instruction *CxtI) { in isNonNegative() function
611 if (isNonNegative(V, LVI, CxtI)) in getDomain()
845 if (!isNonNegative(SDI->getOperand(0), LVI, SDI)) in processAShr()
865 if (!isNonNegative(Base, LVI, SDI)) in processSExt()
/external/llvm-project/llvm/lib/Analysis/
DValueTracking.cpp330 return Known.isNonNegative(); in isKnownNonNegative()
430 bool isKnownNonNegativeOp1 = Known.isNonNegative(); in computeKnownBitsMul()
431 bool isKnownNonNegativeOp0 = Known2.isNonNegative(); in computeKnownBitsMul()
456 else if (isKnownNegative && !Known.isNonNegative()) in computeKnownBitsMul()
879 if (RHSKnown.isNonNegative()) { in computeKnownBitsFromAssume()
892 if (RHSKnown.isAllOnes() || RHSKnown.isNonNegative()) { in computeKnownBitsFromAssume()
1438 if (Known2.isNonNegative() && Known3.isNonNegative()) in computeKnownBitsFromOperator()
1447 if (Known2.isNonNegative() && Known3.isNegative()) in computeKnownBitsFromOperator()
1449 else if (Known2.isNegative() && Known3.isNonNegative()) in computeKnownBitsFromOperator()
1454 else if (Opcode == Instruction::Mul && Known2.isNonNegative() && in computeKnownBitsFromOperator()
[all …]
DBasicAliasAnalysis.cpp1214 bool AllNonNegative = DecompGEP1.Offset.isNonNegative(); in aliasGEP()
1231 bool SignKnownZero = Known.isNonNegative(); in aliasGEP()
1240 AllNonNegative &= (SignKnownZero && Scale.isNonNegative()) || in aliasGEP()
1243 (SignKnownOne && Scale.isNonNegative()); in aliasGEP()
1297 OffsetHi.isNonNegative() && OffsetHi.uge(V2Size.getValue())) in aliasGEP()
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/Instrumentation/
DBoundsChecking.cpp101 !SizeRange.getSignedMin().isNonNegative()) { in getBoundsCheckCond()
/external/llvm-project/llvm/lib/Transforms/Instrumentation/
DBoundsChecking.cpp101 !SizeRange.getSignedMin().isNonNegative()) { in getBoundsCheckCond()
/external/llvm-project/llvm/lib/Target/AArch64/GISel/
DAArch64PostLegalizerCombiner.cpp173 if (ConstValue.isNonNegative()) { in matchAArch64MulConstCombine()
/external/llvm/include/llvm/ADT/
DAPInt.h325 bool isNonNegative() const { return !isNegative(); } in isNonNegative() function
333 bool isStrictlyPositive() const { return isNonNegative() && !!*this; } in isStrictlyPositive()
/external/llvm-project/llvm/lib/Transforms/InstCombine/
DInstCombineSimplifyDemanded.cpp425 if (InputKnown.isNonNegative() || in SimplifyDemandedUseBits()
695 if (LHSKnown.isNonNegative() || LowBits.isSubsetOf(LHSKnown.Zero)) in SimplifyDemandedUseBits()
713 if (LHSKnown.isNonNegative()) in SimplifyDemandedUseBits()
/external/swiftshader/third_party/llvm-subzero/include/llvm/ADT/
DAPInt.h329 bool isNonNegative() const { return !isNegative(); } in isNonNegative() function
337 bool isStrictlyPositive() const { return isNonNegative() && !!*this; } in isStrictlyPositive()

1234