diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-11-10 23:56:20 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2015-11-10 23:56:20 +0000 |
| commit | 925681053dd50567db83f254bf47107689373ca1 (patch) | |
| tree | 46aa09a5b081bb811af19f950d2c2148b1aee5b3 /lldb/packages/Python/lldbsuite/test/dosep.py | |
| parent | af1400f84b6a4a7306b2a43ceef08a5b17936d38 (diff) | |
| download | llvm-925681053dd50567db83f254bf47107689373ca1.zip llvm-925681053dd50567db83f254bf47107689373ca1.tar.gz llvm-925681053dd50567db83f254bf47107689373ca1.tar.bz2 | |
[ValueTracking] Teach isImpliedCondition a new bitwise trick
Summary:
This change teaches isImpliedCondition to prove things like
(A | 15) < L ==> (A | 14) < L
if the low 4 bits of A are known to be zero.
Depends on D14391
Reviewers: majnemer, reames, hfinkel
Subscribers: llvm-commits
Differential Revision: http://reviews.llvm.org/D14392
llvm-svn: 252673
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/dosep.py')
0 files changed, 0 insertions, 0 deletions