diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-02-28 08:11:20 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-02-28 08:11:20 +0000 |
| commit | 6c57395fb438881018e0897f09f2137dc8dbd111 (patch) | |
| tree | 35f8da1b04f4e77d6e0271036c0f69911566b212 /llvm/test/tools/llvm-objcopy | |
| parent | 6ca7398a1e9481c950d60f2200b297fd9c2d67a7 (diff) | |
| download | bcm5719-llvm-6c57395fb438881018e0897f09f2137dc8dbd111.tar.gz bcm5719-llvm-6c57395fb438881018e0897f09f2137dc8dbd111.zip | |
[ValueTracking] More accurate unsigned add overflow detection
Part of D58593.
Compute precise overflow conditions based on all known bits, rather
than just the sign bits. Unsigned a + b overflows iff a > ~b, and we
can determine whether this always/never happens based on the minimal
and maximal values achievable for a and ~b subject to the known bits
constraint.
llvm-svn: 355072
Diffstat (limited to 'llvm/test/tools/llvm-objcopy')
0 files changed, 0 insertions, 0 deletions
