diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-28 18:08:31 +0000 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-28 18:08:31 +0000 |
commit | 332c10056227d5da5557f50e8c64dc8814ca56f0 (patch) | |
tree | 4ca1abc675a10809ee43eefec87544139d77c3ef /llvm/lib/Analysis/ValueTracking.cpp | |
parent | 2fb0a820df9c9884b9f42efdd0919b309e2b1204 (diff) | |
download | llvm-332c10056227d5da5557f50e8c64dc8814ca56f0.zip llvm-332c10056227d5da5557f50e8c64dc8814ca56f0.tar.gz llvm-332c10056227d5da5557f50e8c64dc8814ca56f0.tar.bz2 |
[ValueTracking][ConstantRange] Distinguish low/high always overflow
In order to fold an always overflowing signed saturating add/sub,
we need to know in which direction the always overflow occurs.
This patch splits up AlwaysOverflows into AlwaysOverflowsLow and
AlwaysOverflowsHigh to pass through this information (but it is
not used yet).
Differential Revision: https://reviews.llvm.org/D62463
llvm-svn: 361858
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
-rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index d46ddc4..6400637 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -3992,8 +3992,10 @@ static OverflowResult mapOverflowResult(ConstantRange::OverflowResult OR) { switch (OR) { case ConstantRange::OverflowResult::MayOverflow: return OverflowResult::MayOverflow; - case ConstantRange::OverflowResult::AlwaysOverflows: - return OverflowResult::AlwaysOverflows; + case ConstantRange::OverflowResult::AlwaysOverflowsLow: + return OverflowResult::AlwaysOverflowsLow; + case ConstantRange::OverflowResult::AlwaysOverflowsHigh: + return OverflowResult::AlwaysOverflowsHigh; case ConstantRange::OverflowResult::NeverOverflows: return OverflowResult::NeverOverflows; } |