diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-09 16:12:59 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-04-09 16:12:59 +0000 |
| commit | 10edd2b79d04f70a72d85e57ac1cf7cf0190eb87 (patch) | |
| tree | 80f60c2a404d01c3b3db8522e05c0c289847e843 /llvm/tools/llvm-objdump/llvm-objdump.cpp | |
| parent | 49d9d17a77cb0bab1b7fb7b141af272a62856550 (diff) | |
| download | llvm-10edd2b79d04f70a72d85e57ac1cf7cf0190eb87.zip llvm-10edd2b79d04f70a72d85e57ac1cf7cf0190eb87.tar.gz llvm-10edd2b79d04f70a72d85e57ac1cf7cf0190eb87.tar.bz2 | |
[ValueTracking] Use computeConstantRange() in signed add overflow determination
This is D59386 for the signed add case. The computeConstantRange()
result is now intersected into the existing known bits information,
allowing to detect additional no-overflow/always-overflow conditions
(though the latter isn't used yet).
This (finally...) covers the motivating case from D59071.
Differential Revision: https://reviews.llvm.org/D60420
llvm-svn: 358014
Diffstat (limited to 'llvm/tools/llvm-objdump/llvm-objdump.cpp')
0 files changed, 0 insertions, 0 deletions