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 | fc69ee2cc6f0231b310de7db0e86f5a3d9d1882e (patch) | |
| tree | b8b123dd81162246c0d3cc8e6c954b41971a527a /llvm/lib/Support/ConstantRange.cpp | |
| parent | 0029c0e57a3a0c7a2e88264cad19237e3798b366 (diff) | |
| download | bcm5719-llvm-fc69ee2cc6f0231b310de7db0e86f5a3d9d1882e.tar.gz bcm5719-llvm-fc69ee2cc6f0231b310de7db0e86f5a3d9d1882e.zip | |
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.
llvm-svn: 75372
Diffstat (limited to 'llvm/lib/Support/ConstantRange.cpp')
| -rw-r--r-- | llvm/lib/Support/ConstantRange.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/llvm/lib/Support/ConstantRange.cpp b/llvm/lib/Support/ConstantRange.cpp index f5b408f8a55..ad301c3e18a 100644 --- a/llvm/lib/Support/ConstantRange.cpp +++ b/llvm/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) |
