[PATCH, PING] PR rtl-optimization/66790: uninitialized registers handling in REE

2015-07-27 Thread Pierre-Marie de Rodat
On 07/19/2015 12:14 AM, Pierre-Marie de Rodat wrote: This patch is an attempt to fix PR rtl-optimization/66790: please see for the context. This adds a new dataflow problem (MIR for Must-Initialized Registers) and use it in the REE pass to remo

Re: [PATCH] Simple optimization for MASK_STORE.

2015-07-27 Thread Richard Biener
On Fri, Jul 24, 2015 at 9:11 PM, Jeff Law wrote: > On 07/24/2015 03:16 AM, Richard Biener wrote: >>> >>> Is there any rationale given anywhere for the transformation into >>> conditional expressions? ie, is there any reason why we can't have a >>> GIMPLE_COND where the expression is a vector cond

Re: OMP. More constification

2015-07-27 Thread Jakub Jelinek
On Sun, Jul 26, 2015 at 11:01:09AM -0400, Nathan Sidwell wrote: > I found some more missing consts. The size, kind, var and function arrays > emitted by omp-low are read only, but are not so marked. This patch First of all, the hostaddrs array is going to be written by the library side for GOMP_

Re: [ARM] Optimize compare against smin/umin

2015-07-27 Thread Kyrill Tkachov
Hi Michael, On 26/07/15 23:54, Michael Collison wrote: Here is an updated patch that addresses the issues you mentioned: 2015-07-24 Michael Collison * gcc/config/arm/arm.md (*arm_smin_cmp): New pattern. (*arm_umin_cmp): Likewise. * gcc.target/

Re: [PATCH][RFC][match.pd] optimize (X & C) == N when C is power of 2

2015-07-27 Thread Kyrill Tkachov
On 25/07/15 03:19, Segher Boessenkool wrote: On Fri, Jul 24, 2015 at 09:09:39AM +0100, Kyrill Tkachov wrote: This transformation folds (X % C) == N into X & ((1 << (size - 1)) | (C - 1))) == N for constants C and N where N is positive and C is a power of 2. For N = 0 you can transform it to

Re: [PATCH][RFC][match.pd] optimize (X & C) == N when C is power of 2

2015-07-27 Thread Richard Biener
On Fri, 24 Jul 2015, Jeff Law wrote: > On 07/24/2015 03:44 AM, Ramana Radhakrishnan wrote: > > > > > > > > In expr.c, with TER you can detect such patterns, in this case when > > > > expanding the comparison, but perhaps we want a *.pd file that would > > > > have > > > > rules that would be only

<    1   2