[PATCH] Added InstCombine Transformation for (A^B)^((~A)&B) -> A&(~B)

[Ankur Garg]

Hi Anton, 
I understood what you are asking. I was also thinking the same thing when I was browsing through other patches. I do think there should be a general method to include simplification of all such logical expressions' simplifications. While I was going through other patches, I came across this, http://reviews.llvm.org/D4940 . Also, I was curious as to how gcc includes such expression simplifications.

Regards,
Ankur Garg

http://reviews.llvm.org/D5002