[PATCH] Added InstCombine Transformation for (A^B)^((~A)&B) -> A&(~B)
ankur29.garg at samsung.com
Tue Sep 2 23:03:06 PDT 2014
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.
More information about the llvm-commits