diff options
| author | Dinesh Dwivedi <dinesh.d@samsung.com> | 2014-05-15 06:01:33 +0000 |
|---|---|---|
| committer | Dinesh Dwivedi <dinesh.d@samsung.com> | 2014-05-15 06:01:33 +0000 |
| commit | 837c16097e99d7b648fb983213485974d25fcf9c (patch) | |
| tree | f85412ffb1c88b97f9d4629a410c4e6a436d2f0d /llvm/test/Transforms/InstCombine/crash.ll | |
| parent | 884337f42739fc984937c1afd11408f4310bec14 (diff) | |
| download | bcm5719-llvm-837c16097e99d7b648fb983213485974d25fcf9c.tar.gz bcm5719-llvm-837c16097e99d7b648fb983213485974d25fcf9c.zip | |
Added inst combine transforms for single bit tests from Chris's note
if ((x & C) == 0) x |= C becomes x |= C
if ((x & C) != 0) x ^= C becomes x &= ~C
if ((x & C) == 0) x ^= C becomes x |= C
if ((x & C) != 0) x &= ~C becomes x &= ~C
if ((x & C) == 0) x &= ~C becomes nothing
Z3 Verifications code for above transform
http://rise4fun.com/Z3/Pmsh
Differential Revision: http://reviews.llvm.org/D3717
llvm-svn: 208848
Diffstat (limited to 'llvm/test/Transforms/InstCombine/crash.ll')
0 files changed, 0 insertions, 0 deletions
