[PATCH] [InstCombineAddSub] Added the transformation - "sub (or A B) (xor A B) -> (and A B)"

[Ankur Garg]

Hi dexonsmith, majnemer, suyog,

Hi,
The following patch implements the tranformation  sub (or A B) (xor A B) -> (and A B). It is similar to the one added in visitAdd()

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

Please help in reviewing it.

Thanks.
Ankur

http://reviews.llvm.org/D5719

Files:
  lib/Transforms/InstCombine/InstCombineAddSub.cpp
  test/Transforms/InstCombine/sub.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5719.14700.patch
Type: text/x-patch
Size: 1822 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141010/832f7871/attachment.bin>