Fold A^(B&A) -> (B&A)^A
authorChris Lattner <sabre@nondot.org>
Sat, 1 Apr 2006 08:03:55 +0000 (08:03 +0000)
committerChris Lattner <sabre@nondot.org>
Sat, 1 Apr 2006 08:03:55 +0000 (08:03 +0000)
commit64daab56c29c1fbd84176fd487d8bd9b8ecb658e
tree114d94fda6db1d4d1aebe5bbdbcc98b06cf6a988
parent1d4b07cfee1ccc697c3a6223de69dd49e91680b6
Fold A^(B&A) -> (B&A)^A
Fold (B&A)^A == ~B & A

This implements InstCombine/xor.ll:test2[56]

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@27328 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/InstructionCombining.cpp