diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-22 09:01:38 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-22 09:01:38 +0000 |
| commit | 5aacc7a573111cddbb0275642c023f026af300bc (patch) | |
| tree | bcad06c507c490a4391064d6af2c5191a4e2adda /llvm/lib/Analysis/LazyValueInfo.cpp | |
| parent | 5299e25f502131483c4555efa641b93bad81a893 (diff) | |
| download | bcm5719-llvm-5aacc7a573111cddbb0275642c023f026af300bc.tar.gz bcm5719-llvm-5aacc7a573111cddbb0275642c023f026af300bc.zip | |
Revert "[ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFC"
This reverts commit 7bf4d7c07f2fac862ef34c82ad0fef6513452445.
After thinking about this more, this isn't right, the range is not exact
in the same sense as makeExactICmpRegion(). This needs a separate
function.
llvm-svn: 358876
Diffstat (limited to 'llvm/lib/Analysis/LazyValueInfo.cpp')
| -rw-r--r-- | llvm/lib/Analysis/LazyValueInfo.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/LazyValueInfo.cpp b/llvm/lib/Analysis/LazyValueInfo.cpp index 260a2a6ebe0..02a829f500b 100644 --- a/llvm/lib/Analysis/LazyValueInfo.cpp +++ b/llvm/lib/Analysis/LazyValueInfo.cpp @@ -1146,7 +1146,7 @@ static ValueLatticeElement getValueFromOverflowCondition( return ValueLatticeElement::getOverdefined(); // Calculate the possible values of %x for which no overflow occurs. - ConstantRange NWR = ConstantRange::makeExactNoWrapRegion( + ConstantRange NWR = ConstantRange::makeGuaranteedNoWrapRegion( WO->getBinaryOp(), ConstantRange(*C), WO->getNoWrapKind()); // If overflow is false, %x is constrained to NWR. If overflow is true, %x is |
