Dinesh Dwivedi d10a54f07f 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



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@208848 91177308-0d34-0410-b5e6-96231b3b80d8

2014-05-15 06:01:33 +00:00

..

Analysis

Fix typos

2014-05-15 01:52:21 +00:00

Assembler

Don't crash on redefinitions.

2014-05-09 21:49:17 +00:00

Bindings

…

Bitcode

IR: Don't allow non-default visibility on local linkage

2014-05-07 22:57:20 +00:00

BugPoint

Revert r206989, "Mark llvm/test/BugPoint/compile-custom.ll as XFAIL:vg_leak." It has been fixed since r207265.

2014-04-27 11:59:33 +00:00

CodeGen

[ARM64] Support aggressive fastcc/tailcallopt breaking ABI by popping out argument stack from callee.

2014-05-15 01:33:17 +00:00

DebugInfo

DebugInfo: Sure up subprogram variable list handling with more assertions and fewer conditionals.

2014-05-14 21:52:46 +00:00

ExecutionEngine

[ARM64] Disable regression tests for the old JIT.

2014-04-29 15:02:40 +00:00

Feature

[IR] Make {extract,insert}element accept an index of any integer type.

2014-05-01 22:12:39 +00:00

FileCheck

…

Instrumentation

[asan] Set debug location in ASan function prologue.

2014-05-14 10:30:15 +00:00

Integer

…

JitListener

…

Linker

Fix DataLayout::operator==().

2014-04-22 17:47:03 +00:00

LTO

IR: Don't allow non-default visibility on local linkage

2014-05-07 22:57:20 +00:00

MC

[mips] Test that IAS for -mcpu=mips5 does not accept MIPS64 insns and -mcpu=mips(5|64) does not accept MIPS64r2

2014-05-14 15:35:03 +00:00

Object

Teach llvm-nm to know about fat archives (aka MachOUniversal files

2014-05-14 21:18:50 +00:00

Other

Do not make -pass-remarks additive.

2014-05-06 19:14:00 +00:00

TableGen

test/TableGen: Remove XFAIL:vg_leak out of 3 tests corresponding to r208293.

2014-05-09 08:18:33 +00:00

tools

[Test] Trim unnecessary .c and .cpp from config.suffix in lit.local.cfg

2014-05-12 19:57:31 +00:00

Transforms

Added inst combine transforms for single bit tests from Chris's note

2014-05-15 06:01:33 +00:00

Unit

…

Verifier

Allow sret on the second parameter as well as the first

2014-05-09 22:32:13 +00:00

YAMLParser

…

.clang-format

…

CMakeLists.txt

…

lit.cfg

[Test] Remove c-index-test from the list of substitutions

2014-05-07 18:16:02 +00:00

lit.site.cfg.in

…

Makefile

…

Makefile.tests

…

TestRunner.sh

…