Re: [RFC][patch] If-conversion of COMPONENT_REFs

2011-04-02 Thread Richard Guenther
On Fri, Apr 1, 2011 at 8:43 AM, Ira Rosen wrote: > On 30 March 2011 15:09, Ira Rosen wrote: >> >> I don't see any :) I'll test your version. >> > > Bootstrapped on powerpc64-suse-linux and tested on x86_64-suse-linux > the attached patch. > > OK to apply? Ok. Thanks, Richard. > Thanks, > Ira >

Re: [RFC][patch] If-conversion of COMPONENT_REFs

2011-03-31 Thread Ira Rosen
On 30 March 2011 15:09, Ira Rosen wrote: > > I don't see any :) I'll test your version. > Bootstrapped on powerpc64-suse-linux and tested on x86_64-suse-linux the attached patch. OK to apply? Thanks, Ira ChangeLog:         * tree-if-conv.c (memrefs_read_or_written_unconditionally): Strip all

Re: [RFC][patch] If-conversion of COMPONENT_REFs

2011-03-30 Thread Ira Rosen
On 30 March 2011 14:41, Richard Guenther wrote: > On Wed, Mar 30, 2011 at 2:22 PM, Ira Rosen wrote: >> On 30 March 2011 12:59, Richard Guenther wrote: >>> On Wed, Mar 30, 2011 at 11:13 AM, Ira Rosen wrote: Hi, With this patch a data-ref is marked as unconditionally read or w

Re: [RFC][patch] If-conversion of COMPONENT_REFs

2011-03-30 Thread Richard Guenther
On Wed, Mar 30, 2011 at 2:22 PM, Ira Rosen wrote: > On 30 March 2011 12:59, Richard Guenther wrote: >> On Wed, Mar 30, 2011 at 11:13 AM, Ira Rosen wrote: >>> Hi, >>> >>> With this patch a data-ref is marked as unconditionally read or >>> written also if its adjacent field is read or written unco

Re: [RFC][patch] If-conversion of COMPONENT_REFs

2011-03-30 Thread Ira Rosen
On 30 March 2011 12:59, Richard Guenther wrote: > On Wed, Mar 30, 2011 at 11:13 AM, Ira Rosen wrote: >> Hi, >> >> With this patch a data-ref is marked as unconditionally read or >> written also if its adjacent field is read or written unconditionally >> in the loop. >> My concern is that this is

Re: [RFC][patch] If-conversion of COMPONENT_REFs

2011-03-30 Thread Richard Guenther
On Wed, Mar 30, 2011 at 11:13 AM, Ira Rosen wrote: > Hi, > > With this patch a data-ref is marked as unconditionally read or > written also if its adjacent field is read or written unconditionally > in the loop. > My concern is that this is not safe enough, even though the fields > have to be non-

[RFC][patch] If-conversion of COMPONENT_REFs

2011-03-30 Thread Ira Rosen
Hi, With this patch a data-ref is marked as unconditionally read or written also if its adjacent field is read or written unconditionally in the loop. My concern is that this is not safe enough, even though the fields have to be non-pointers and non-aggregates, and this optimization is applied onl