This patch implements transform for pattern "(A & ~B) ^ (~A) -> ~(A & B)".
authorSuyog Sarda <suyog.sarda@samsung.com>
Fri, 1 Aug 2014 05:07:20 +0000 (05:07 +0000)
committerSuyog Sarda <suyog.sarda@samsung.com>
Fri, 1 Aug 2014 05:07:20 +0000 (05:07 +0000)
commit1952b5a4dad1bcecc6f00b27a39dc7e3ac1cf582
treea538659914029b4c50b295969c575f3b58e9344e
parent78061f4db4fa979b3dcd345674c5c6b42616ad51
This patch implements transform for pattern "(A & ~B) ^ (~A) -> ~(A & B)".

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@214479 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
test/Transforms/InstCombine/xor2.ll