diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-22 08:36:05 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-22 08:36:05 +0000 |
| commit | 5299e25f502131483c4555efa641b93bad81a893 (patch) | |
| tree | 3eaf4cb7b365551d7c5fdac97b498e87995c648e /llvm/lib/Analysis/LazyValueInfo.cpp | |
| parent | f902250fc13bdcd2dbdb733304f1eed743613eb9 (diff) | |
| download | bcm5719-llvm-5299e25f502131483c4555efa641b93bad81a893.tar.gz bcm5719-llvm-5299e25f502131483c4555efa641b93bad81a893.zip | |
[ConstantRange] Rename make{Guaranteed -> Exact}NoWrapRegion() NFC
Following D60632 makeGuaranteedNoWrapRegion() always returns an
exact nowrap region. Rename the function accordingly. This is in
line with the naming of makeExactICmpRegion().
llvm-svn: 358875
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 02a829f500b..260a2a6ebe0 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::makeGuaranteedNoWrapRegion( + ConstantRange NWR = ConstantRange::makeExactNoWrapRegion( WO->getBinaryOp(), ConstantRange(*C), WO->getNoWrapKind()); // If overflow is false, %x is constrained to NWR. If overflow is true, %x is |
