diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-03-27 18:19:33 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-03-27 18:19:33 +0000 |
| commit | 6d855ea024186d7dba21b1c178e7a0afd0f13eb0 (patch) | |
| tree | f00b6d28611be2583556d7365d885c41b5053095 /polly/lib/Analysis/ScopInfo.cpp | |
| parent | beda859a15ae064c5ace8c230709fdf79dc7a602 (diff) | |
| download | bcm5719-llvm-6d855ea024186d7dba21b1c178e7a0afd0f13eb0.tar.gz bcm5719-llvm-6d855ea024186d7dba21b1c178e7a0afd0f13eb0.zip | |
[ConstantRange] Rename isWrappedSet() to isUpperWrapped()
Split out from D59749. The current implementation of isWrappedSet()
doesn't do what it says on the tin, and treats ranges like
[X, Max] as wrapping, because they are represented as [X, 0) when
using half-inclusive ranges. This also makes it inconsistent with
the semantics of isSignWrappedSet().
This patch renames isWrappedSet() to isUpperWrapped(), in preparation
for the introduction of a new isWrappedSet() method with corrected
behavior.
llvm-svn: 357107
Diffstat (limited to 'polly/lib/Analysis/ScopInfo.cpp')
| -rw-r--r-- | polly/lib/Analysis/ScopInfo.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/polly/lib/Analysis/ScopInfo.cpp b/polly/lib/Analysis/ScopInfo.cpp index 720af8765f9..30c759d9f51 100644 --- a/polly/lib/Analysis/ScopInfo.cpp +++ b/polly/lib/Analysis/ScopInfo.cpp @@ -843,7 +843,7 @@ void MemoryAccess::computeBoundsOnAccessRelation(unsigned ElementSize) { if (Range.isFullSet()) return; - if (Range.isWrappedSet() || Range.isSignWrappedSet()) + if (Range.isUpperWrapped() || Range.isSignWrappedSet()) return; bool isWrapping = Range.isSignWrappedSet(); |
