On 10/07/2015 11:54 AM, Hurugalawadi, Naveen wrote:
Move Fold X & (X ^ Y) as X & ~Y to match.pd.
Move Fold X & (Y ^ X) as ~Y & X to match.pd.
I wonder if we shouldn't try to autogenerate patterns such as these. I did something like that for a different project a long time ago. Generate expressions up to a certain level of complexity, identify which ones are equivalent, and pick the one with the lowest cost for simplifications...
Bernd
