This patch implements transform for pattern "(A | B) & ((~A) ^ B) -> (A & B)".
Please help in reviewing the same.
Z3 link : http://rise4fun.com/Z3/4TE2
Thanks,
Suyog
Differential D4628
Added InstCombine transform for pattern "(A | B) & ((~A) ^ B) -> (A & B)" suyog on Jul 22 2014, 1:43 PM. Authored by
Details This patch implements transform for pattern "(A | B) & ((~A) ^ B) -> (A & B)". Please help in reviewing the same. Z3 link : http://rise4fun.com/Z3/4TE2 Thanks,
Diff Detail Event Timeline |