[PATCH] [InstCombineAddSub] Transformation for the expression (X | Y) - X --> (~X & Y)

[Ankur Garg]

Hi majnemer, suyog, dexonsmith,

Hi,
The following changes implement the transformation for the expression - (X | Y) - X --> (~X & Y).

Z3 Link: http://rise4fun.com/Z3/2D4n

Please help in reviewing it.

Thanks.

http://reviews.llvm.org/D5791

Files:
  lib/Transforms/InstCombine/InstCombineAddSub.cpp
  test/Transforms/InstCombine/sub.ll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D5791.14914.patch
Type: text/x-patch
Size: 2267 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20141015/874a607c/attachment.bin>