| commit | 72d3673993c68d2be2a6d75ccd0f1a7bb6f2a727 | [log] [tgz] |
|---|---|---|
| author | Nikita Popov <nikita.ppv@gmail.com> | Wed Nov 28 16:37:04 2018 +0000 |
| committer | Nikita Popov <nikita.ppv@gmail.com> | Wed Nov 28 16:37:04 2018 +0000 |
| tree | 994ed653ea64cd1799aeca2a8f9a24b0ee44cafc | |
| parent | 06022d84cee2af7ef9dd6d13d0a1f61be4268f24 [diff] |
[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. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@347771 91177308-0d34-0410-b5e6-96231b3b80d8