
<html><body><p>Hi,<br><br>DAGCombiner currently folds <font color="#0021BF" face="Lucida Console"> (xor (and x, y), y) -> (and (not x), y)</font><br><br>I was trying to do the reverse of this transformation, i.e., (and (xor x, -1), y) -> (xor (and x, y), y), and recognized that this causes an infinite loop. What's the advantage of doing the above folding? if I want to do the reverse for a specific target where I can place that and make sure it doesn't get reversed by the above folding?<br><br>Thanks,<br>Assem<br><BR>

</body></html>