| commit | 42158f3eeaf0468efd46b4df28ff2658eff4e5b6 | [log] [tgz] |
|---|---|---|
| author | David Majnemer <david.majnemer@gmail.com> | Wed Aug 20 07:17:31 2014 +0000 |
| committer | David Majnemer <david.majnemer@gmail.com> | Wed Aug 20 07:17:31 2014 +0000 |
| tree | d85f62d26ee6ee4df394adbe781db5a2c28e303a | |
| parent | 298f63803b7195f366931fc23b5f7e8b8ec495ca [diff] |
InstCombine: Annotate sub with nuw when we prove it's safe We can prove that a 'sub' can be a 'sub nuw' if the left-hand side is negative and the right-hand side is non-negative. llvm-svn: 216045