diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2018-11-28 16:37:04 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2018-11-28 16:37:04 +0000 |
| commit | cf596a8c26ba08c473e567f2f8382602851fe1db (patch) | |
| tree | 3cb600617f0bb0e987e8840002a96660d06eaf7d /llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp | |
| parent | 78a9295e150190c5a4efe345d731cb78e037d28f (diff) | |
| download | bcm5719-llvm-cf596a8c26ba08c473e567f2f8382602851fe1db.tar.gz bcm5719-llvm-cf596a8c26ba08c473e567f2f8382602851fe1db.zip | |
[ValueTracking] Determine always-overflow condition for unsigned sub
Always-overflow was already determined for unsigned addition, but
not subtraction. This patch establishes parity.
This allows us to perform some additional simplifications for
signed saturating subtractions.
This change is part of https://reviews.llvm.org/D54534.
llvm-svn: 347771
Diffstat (limited to 'llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp')
0 files changed, 0 insertions, 0 deletions
