This patch implements transform for pattern "(A & B) | ((~A) ^ B) -> (~A ^ B)"
Please help in reviewing the same.
Z3 link : http://www.rise4fun.com/Z3/FslAug
Thanks,
Suyog
Differential D4655
Added InstCombine transform for pattern "(A & B) | ((~A) ^ B) -> (~A ^ B)" suyog on Jul 24 2014, 6:04 AM. Authored by
Details This patch implements transform for pattern "(A & B) | ((~A) ^ B) -> (~A ^ B)" Please help in reviewing the same. Z3 link : http://www.rise4fun.com/Z3/FslAug Thanks,
Diff Detail Event Timeline |