/external/llvm-project/llvm/unittests/ADT/ |
D | APSIntTest.cpp | 196 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/ |
D | KnownBits.cpp | 69 if (!KnownOut.isNegative() && !KnownOut.isNonNegative()) { in computeForAddSub() 73 if (LHS.isNonNegative() && RHS.isNonNegative()) in computeForAddSub()
|
D | APInt.cpp | 1958 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/ |
D | KnownBits.cpp | 70 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()
|
D | APInt.cpp | 1957 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/ |
D | KnownBits.h | 98 bool isNonNegative() const { return Zero.isSignBitSet(); } in isNonNegative() function 183 if (isNonNegative()) in countMinSignBits()
|
/external/llvm-project/llvm/lib/IR/ |
D | ConstantRange.cpp | 67 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/ |
D | ConstantRange.cpp | 66 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/ |
D | KnownBits.h | 98 bool isNonNegative() const { return Zero.isSignBitSet(); } in isNonNegative() function 220 if (isNonNegative()) in countMinSignBits()
|
/external/swiftshader/third_party/llvm-10.0/llvm/lib/Analysis/ |
D | ValueTracking.cpp | 253 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 …]
|
D | InstructionSimplify.cpp | 2629 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/ |
D | APSInt.h | 53 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/ |
D | APSInt.h | 53 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/ |
D | SignedCharMisuseCheck.cpp | 145 if (Value.isNonNegative()) in check()
|
/external/swiftshader/third_party/llvm-subzero/lib/Support/ |
D | APInt.cpp | 1985 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/ |
D | APInt.cpp | 2011 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/ |
D | CorrelatedValuePropagation.cpp | 596 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/ |
D | ValueTracking.cpp | 330 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 …]
|
D | BasicAliasAnalysis.cpp | 1214 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/ |
D | BoundsChecking.cpp | 101 !SizeRange.getSignedMin().isNonNegative()) { in getBoundsCheckCond()
|
/external/llvm-project/llvm/lib/Transforms/Instrumentation/ |
D | BoundsChecking.cpp | 101 !SizeRange.getSignedMin().isNonNegative()) { in getBoundsCheckCond()
|
/external/llvm-project/llvm/lib/Target/AArch64/GISel/ |
D | AArch64PostLegalizerCombiner.cpp | 173 if (ConstValue.isNonNegative()) { in matchAArch64MulConstCombine()
|
/external/llvm/include/llvm/ADT/ |
D | APInt.h | 325 bool isNonNegative() const { return !isNegative(); } in isNonNegative() function 333 bool isStrictlyPositive() const { return isNonNegative() && !!*this; } in isStrictlyPositive()
|
/external/llvm-project/llvm/lib/Transforms/InstCombine/ |
D | InstCombineSimplifyDemanded.cpp | 425 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/ |
D | APInt.h | 329 bool isNonNegative() const { return !isNegative(); } in isNonNegative() function 337 bool isStrictlyPositive() const { return isNonNegative() && !!*this; } in isStrictlyPositive()
|