On Wed, Aug 08, 2018 at 04:35:24PM +0200, Luc Van Oostenryck wrote: > Currently, when trying to simplify ((x | y) & M'), > if the left-side of the OR can be simplified, the right > side is left as-is and any potential simplification will > only be done in a later cycle. > > Try to simplify both sides before returning. I've investigated this a bit more and while some code construction benefited from this simplification It seems that it was more accidental than anything else (I suppose because of the order of some other simplification changed). So, I'll remove this for now. -- Luc
