diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-11-06 19:00:57 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-11-06 19:00:57 +0000 |
| commit | 9349dcc74a10f3056639b455d56288e62e23f13c (patch) | |
| tree | 4e417fdb1c2345b245b8b1355af0c4a84ebcd2bc /lldb/packages/Python/lldbsuite | |
| parent | ddcd2de0d1ede1e42453a027d9c9a11c8fa5b6b6 (diff) | |
| download | bcm5719-llvm-9349dcc74a10f3056639b455d56288e62e23f13c.tar.gz bcm5719-llvm-9349dcc74a10f3056639b455d56288e62e23f13c.zip | |
[ValueTracking] Add a framework for encoding implication rules
Summary:
This change adds a framework for adding more smarts to
`isImpliedCondition` around inequalities. Informally,
`isImpliedCondition` will now try to prove "A < B ==> C < D" by proving
"C <= A && B <= D", since then it follows "C <= A < B <= D".
While this change is in principle NFC, I could not think of a way to not
handle cases like "i +_nsw 1 < L ==> i < L +_nsw 1" (that ValueTracking
did not handle before) while keeping the change understandable. I've
added tests for these cases.
Reviewers: reames, majnemer, hfinkel
Subscribers: llvm-commits
Differential Revision: http://reviews.llvm.org/D14368
llvm-svn: 252331
Diffstat (limited to 'lldb/packages/Python/lldbsuite')
0 files changed, 0 insertions, 0 deletions
