[PATCH] Added InstCombine Tranformation for (A | B) ^ ((A ^ C) & B) -> (A ^ (B & (~C)))

[Ankur Garg]

Hi dexonsmith, rafael, nicholas, majnemer,

Hi everyone,
This patch implements the transformation (A | B) ^ ((A ^ C) & B) -> (A ^ (B & (~C))).
Please help in reviewing it.

Z3 Link: http://rise4fun.com/Z3/FoZS

Thanks,
Ankur Garg

http://reviews.llvm.org/D5061

Files:
  lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
  test/Transforms/InstCombine/xor2.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5061.12940.patch
Type: text/x-patch
Size: 1327 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20140826/d45cf0a1/attachment.bin>