diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-09-25 19:59:49 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-09-25 19:59:49 +0000 |
| commit | fdec9deb133355dea58b8628153265be87331f63 (patch) | |
| tree | 5b191e61809fc156ebe72bfd7ec0476b7809ae24 /lldb/source/Commands/CommandObjectMemory.cpp | |
| parent | 551dfd8818ed9dfe737df82e98c5fd1f1af54e76 (diff) | |
| download | llvm-fdec9deb133355dea58b8628153265be87331f63.zip llvm-fdec9deb133355dea58b8628153265be87331f63.tar.gz llvm-fdec9deb133355dea58b8628153265be87331f63.tar.bz2 | |
[SCEV] Exploit A < B => (A+K) < (B+K) when possible
Summary:
This change teaches SCEV's `isImpliedCond` two new identities:
A u< B u< -C => (A + C) u< (B + C)
A s< B s< INT_MIN - C => (A + C) s< (B + C)
While these are useful on their own, they're really intended to support
D12950.
Reviewers: atrick, reames, majnemer, nlewycky, hfinkel
Subscribers: aadg, sanjoy, llvm-commits
Differential Revision: http://reviews.llvm.org/D12948
llvm-svn: 248606
Diffstat (limited to 'lldb/source/Commands/CommandObjectMemory.cpp')
0 files changed, 0 insertions, 0 deletions