Re: [PATCH, PR 10474] Split live-ranges of function arguments to help shrink-wrapping

2013-10-31 Thread Martin Jambor
On Thu, Oct 31, 2013 at 12:16:41AM +0100, Jakub Jelinek wrote: > On Fri, Oct 25, 2013 at 05:19:06PM +0200, Martin Jambor wrote: > > 2013-10-23 Martin Jambor > > > > PR rtl-optimization/10474 > > * ira.c (find_moveable_pseudos): Do not calculate dominance info > > nor df analysis. >

ICE with "[PATCH, PR 10474] Split live-ranges of function arguments to help shrink-wrapping"

2013-10-30 Thread Hans-Peter Nilsson
> From: Jakub Jelinek > Date: Thu, 31 Oct 2013 00:16:41 +0100 > On Fri, Oct 25, 2013 at 05:19:06PM +0200, Martin Jambor wrote: > > 2013-10-23 Martin Jambor > > > > PR rtl-optimization/10474 > > * ira.c (find_moveable_pseudos): Do not calculate dominance info > > nor df analysis. >

Re: [PATCH, PR 10474] Split live-ranges of function arguments to help shrink-wrapping

2013-10-30 Thread Jakub Jelinek
On Fri, Oct 25, 2013 at 05:19:06PM +0200, Martin Jambor wrote: > 2013-10-23 Martin Jambor > > PR rtl-optimization/10474 > * ira.c (find_moveable_pseudos): Do not calculate dominance info > nor df analysis. > (interesting_dest_for_shprep): New function. > (split_liv

Re: [PATCH, PR 10474] Split live-ranges of function arguments to help shrink-wrapping

2013-10-29 Thread Vladimir Makarov
On 10/25/2013 11:19 AM, Martin Jambor wrote: > Hi, > > On Thu, Oct 24, 2013 at 01:02:51AM +0200, Steven Bosscher wrote: >> On Wed, Oct 23, 2013 at 6:46 PM, Martin Jambor wrote: >> >>> /* Perform the second half of the transformation started in >>> @@ -4522,7 +4704,15 @@ ira (FILE *f) >>> all

Re: [PATCH, PR 10474] Split live-ranges of function arguments to help shrink-wrapping

2013-10-25 Thread Martin Jambor
Hi, On Thu, Oct 24, 2013 at 01:02:51AM +0200, Steven Bosscher wrote: > On Wed, Oct 23, 2013 at 6:46 PM, Martin Jambor wrote: > > > /* Perform the second half of the transformation started in > > @@ -4522,7 +4704,15 @@ ira (FILE *f) > > allocation because of -O0 usage or because the functio

Re: [PATCH, PR 10474] Split live-ranges of function arguments to help shrink-wrapping

2013-10-23 Thread Steven Bosscher
On Wed, Oct 23, 2013 at 6:46 PM, Martin Jambor wrote: > /* Perform the second half of the transformation started in > @@ -4522,7 +4704,15 @@ ira (FILE *f) > allocation because of -O0 usage or because the function is too > big. */ >if (ira_conflicts_p) > -find_moveable_pseudos

Re: [PATCH, PR 10474] Split live-ranges of function arguments to help shrink-wrapping

2013-10-23 Thread Martin Jambor
Hi, On Mon, Oct 21, 2013 at 11:00:38PM -0400, Vladimir Makarov wrote: > On 13-10-21 6:56 PM, Steven Bosscher wrote: > > > >+ { > >+ bitmap_clear (&need_new); > >+ bitmap_clear (&reachable); > >+ return; > >+ } > >+ > >+ for (df_ref use = DF_REG_USE_CHAIN (R

Re: [PATCH, PR 10474] Split live-ranges of function arguments to help shrink-wrapping

2013-10-21 Thread Vladimir Makarov
On 13-10-21 6:56 PM, Steven Bosscher wrote: + { + bitmap_clear (&need_new); + bitmap_clear (&reachable); + return; + } + + for (df_ref use = DF_REG_USE_CHAIN (REGNO(dest)); + use; + use = DF_REF_NEXT_REG (use)) You're using DF in these p

Re: [PATCH, PR 10474] Split live-ranges of function arguments to help shrink-wrapping

2013-10-21 Thread Steven Bosscher
On Mon, Oct 21, 2013 at 6:32 PM, Martin Jambor wrote: > --- a/gcc/ira.c > +++ b/gcc/ira.c > @@ -4314,6 +4314,197 @@ find_moveable_pseudos (void) >free_dominance_info (CDI_DOMINATORS); > } > > + > +/* If insn is interesting for parameter range-splitting shring-wrapping > + preparation, i.e. i

[PATCH, PR 10474] Split live-ranges of function arguments to help shrink-wrapping

2013-10-21 Thread Martin Jambor
Hi, in spring I have suggested to shedule pass_cprop_hardreg before pass_thread_prologue_and_epilogue in order to create many more shrink-wrapping opportunities. The problem is that formal arguments of a functions which need to be saved across calls on slow paths often get assigned callee saved r