On May 22, 2015 10:54:02 PM GMT+02:00, Marc Glisse <marc.gli...@inria.fr> wrote: >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?
Yeah, maybe. I'd have to check. Reminds me to come back to all this. After sorting out all the vectorizer stuff I am working on at the moment. Richard.
