[PATCH] [InstCombineAddSub] Added the transformation - "sub (or A B) (xor A B) -> (and A B)"
ankur29.garg at samsung.com
Thu Oct 9 23:12:46 PDT 2014
Hi dexonsmith, majnemer, suyog,
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 1822 bytes
Desc: not available
More information about the llvm-commits