diff options
author | David Majnemer <david.majnemer@gmail.com> | 2014-08-19 23:36:30 +0000 |
---|---|---|
committer | David Majnemer <david.majnemer@gmail.com> | 2014-08-19 23:36:30 +0000 |
commit | 57d5bc8849d10695a033f098b04a1ecc04f74ef7 (patch) | |
tree | b8f8334d34d636c9cc1bc6e183262437ec1bb809 /lldb/source/Plugins/Process/gdb-remote/GDBRemoteCommunicationServer.cpp | |
parent | fd1f0f17c56dfab3b44510759c32fb87980bbcf5 (diff) | |
download | llvm-57d5bc8849d10695a033f098b04a1ecc04f74ef7.zip llvm-57d5bc8849d10695a033f098b04a1ecc04f74ef7.tar.gz llvm-57d5bc8849d10695a033f098b04a1ecc04f74ef7.tar.bz2 |
InstCombine: Annotate sub with nsw when we prove it's safe
We can prove that a 'sub' can be a 'sub nsw' under certain conditions:
- The sign bits of the operands is the same.
- Both operands have more than 1 sign bit.
The subtraction cannot be a signed overflow in either case.
llvm-svn: 216037
Diffstat (limited to 'lldb/source/Plugins/Process/gdb-remote/GDBRemoteCommunicationServer.cpp')
0 files changed, 0 insertions, 0 deletions