diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2009-07-11 19:22:21 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2009-07-11 19:22:21 +0000 |
| commit | 646ca92bfc20002a5c6d9b2b42e6940fd86ff7c9 (patch) | |
| tree | 3916e2641e249f3c45f832f68c021557f8a67c6a /lib/Support/ConstantRange.cpp | |
| parent | d7073db1af89c0340eb81740beb78875d3c4a2f8 (diff) | |
Fix handling of max and full set.
A full set is a constant range that represents any number. If you take the
umax of that and [5, 10) you end up with [5, INT_MAX] because the values less
than 5 would be umax's against a value which is at least 5.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75372 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Support/ConstantRange.cpp')
| -rw-r--r-- | lib/Support/ConstantRange.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/Support/ConstantRange.cpp b/lib/Support/ConstantRange.cpp index f5b408f8a5..ad301c3e18 100644 --- a/lib/Support/ConstantRange.cpp +++ b/lib/Support/ConstantRange.cpp @@ -561,8 +561,6 @@ ConstantRange::smax(const ConstantRange &Other) const { // smax(X_smax, Y_smax)) if (isEmptySet() || Other.isEmptySet()) return ConstantRange(getBitWidth(), /*isFullSet=*/false); - if (isFullSet() || Other.isFullSet()) - return ConstantRange(getBitWidth(), /*isFullSet=*/true); APInt NewL = APIntOps::smax(getSignedMin(), Other.getSignedMin()); APInt NewU = APIntOps::smax(getSignedMax(), Other.getSignedMax()) + 1; if (NewU == NewL) @@ -576,8 +574,6 @@ ConstantRange::umax(const ConstantRange &Other) const { // umax(X_umax, Y_umax)) if (isEmptySet() || Other.isEmptySet()) return ConstantRange(getBitWidth(), /*isFullSet=*/false); - if (isFullSet() || Other.isFullSet()) - return ConstantRange(getBitWidth(), /*isFullSet=*/true); APInt NewL = APIntOps::umax(getUnsignedMin(), Other.getUnsignedMin()); APInt NewU = APIntOps::umax(getUnsignedMax(), Other.getUnsignedMax()) + 1; if (NewU == NewL) |