This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: match.pd: (x | y) & ~x -> y & ~x
- From: Richard Biener <richard dot guenther at gmail dot com>
- To: GCC Patches <gcc-patches at gcc dot gnu dot org>,Marc Glisse <marc dot glisse at inria dot fr>
- Date: Sat, 23 May 2015 08:59:57 +0200
- Subject: Re: match.pd: (x | y) & ~x -> y & ~x
- Authentication-results: sourceware.org; auth=none
- References: <alpine dot DEB dot 2 dot 02 dot 1505151911570 dot 11716 at stedding dot saclay dot inria dot fr> <CAFiYyc0sgtiLWgGqi6cyZW=RUy5eznHgER4mWMYTkZ+fbj_4tg at mail dot gmail dot com> <alpine dot DEB dot 2 dot 11 dot 1505222250110 dot 1821 at laptop-mg dot saclay dot inria dot fr>
On May 22, 2015 10:54:02 PM GMT+02:00, Marc Glisse <marc.glisse@inria.fr> wrote:
>On Mon, 18 May 2015, Richard Biener wrote:
>
>> On Fri, May 15, 2015 at 7:22 PM, Marc Glisse <marc.glisse@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.