This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: match.pd: (x | y) & ~x -> y & ~x


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.



Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]