On Mon, 18 May 2015, Richard Biener wrote:
On Fri, May 15, 2015 at 7:22 PM, Marc Glisse <marc.gli...@inria.fr> wrote:
we already have the more complicated: x & ~(x & y) -> x & ~y (which I am
reindenting by the way) and the simpler: (~x | y) & x -> x & y, so I am
proposing this one for completeness. Regtested on ppc64le-redhat-linux.
Ok (doesn't seem to be in fold-const.c).
Btw, there are quite some (simple) ones only in fold-const.c which are
eligible for moving to match.pd (thus remove them from fold-const.c and
implement in match.pd). Mostly canonicalization ones though.
Haven't you already done a lot of those in the branch though?
--
Marc Glisse
