diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-09 07:13:09 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-09 07:13:09 +0000 |
| commit | 6e9157d5885bfbb93c07e4b0f316229734de0e01 (patch) | |
| tree | a81cd85a84a00332775a18ba7476b9774893c4ac /llvm/lib/Analysis | |
| parent | 7bd7878d2222102248620a4c09b6b934673e326e (diff) | |
| download | bcm5719-llvm-6e9157d5885bfbb93c07e4b0f316229734de0e01.tar.gz bcm5719-llvm-6e9157d5885bfbb93c07e4b0f316229734de0e01.zip | |
[ValueTracking] Use ConstantRange methods; NFC
Switch part of the computeOverflowForSignedAdd() implementation to
use Range.isAllNegative() rather than KnownBits.isNegative() and
similar. They do the same thing, but using the ConstantRange methods
allows dropping the KnownBits variables more easily in D60420.
llvm-svn: 357969
Diffstat (limited to 'llvm/lib/Analysis')
| -rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 23835bd8676..ce55b9ee96a 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -4154,11 +4154,11 @@ static OverflowResult computeOverflowForSignedAdd(const Value *LHS, // The only other way to improve on the known bits is from an assumption, so // call computeKnownBitsFromAssume() directly. bool LHSOrRHSKnownNonNegative = - (LHSKnown.isNonNegative() || RHSKnown.isNonNegative()); + (LHSRange.isAllNonNegative() || RHSRange.isAllNonNegative()); bool LHSOrRHSKnownNegative = - (LHSKnown.isNegative() || RHSKnown.isNegative()); + (LHSRange.isAllNegative() || RHSRange.isAllNegative()); if (LHSOrRHSKnownNonNegative || LHSOrRHSKnownNegative) { - KnownBits AddKnown(LHSKnown.getBitWidth()); + KnownBits AddKnown(LHSRange.getBitWidth()); computeKnownBitsFromAssume( Add, AddKnown, /*Depth=*/0, Query(DL, AC, CxtI, DT, true)); if ((AddKnown.isNonNegative() && LHSOrRHSKnownNonNegative) || |
