Mayur Pandey ecdb0ab90f InstCombine: ((A & ~B) ^ (~A & B)) to A ^ B ...

Proof using CVC3 follows:
$ cat t.cvc
A, B : BITVECTOR(32);
QUERY BVXOR((A & ~B),(~A & B)) = BVXOR(A,B);
$ cvc3 t.cvc
Valid.

Differential Revision: http://reviews.llvm.org/D4898


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

2014-08-19 08:19:19 +00:00

..

Hello

[CMake] Add LLVM_LINK_COMPONENTS to loadable modules, LLVMHello and BugpointPasses, on Win32.

2014-07-13 13:36:48 +00:00

InstCombine

InstCombine: ((A & ~B) ^ (~A & B)) to A ^ B

2014-08-19 08:19:19 +00:00

Instrumentation

Canonicalize header guards into a common format.

2014-08-13 16:26:38 +00:00

IPO

Const-correct and prevent a copy of a SmallPtrSet.

2014-08-19 07:44:27 +00:00

ObjCARC

Revert "Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoid needing to mention the size."

2014-08-18 00:24:38 +00:00

Scalar

Revert "Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoid needing to mention the size."

2014-08-18 00:24:38 +00:00

Utils

Revert "Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoid needing to mention the size."

2014-08-18 00:24:38 +00:00

Vectorize

Revert "Repace SmallPtrSet with SmallPtrSetImpl in function arguments to avoid needing to mention the size."

2014-08-18 00:24:38 +00:00

CMakeLists.txt

…

LLVMBuild.txt

…

Makefile

…