This patch implements transformation for pattern
(A | B)^(~A) = (~A)^(A | B) -> (A | ~B)
Please help in reviewing the same.
Thanks,
Suyog
Paths
| Differential D4585
Added InstCombine Transform for pattern "(A | B)^(~A) = (~A)^(A | B) -> (A | ~B)" AbandonedPublic Authored by suyog on Jul 18 2014, 12:02 PM.
Details
Summary This patch implements transformation for pattern (A | B)^(~A) = (~A)^(A | B) -> (A | ~B) Please help in reviewing the same. Thanks,
Diff Detail
Revision Contents
Diff 11655 lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
test/Transforms/InstCombine/xor2.ll
|