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