Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-07-04 Thread Prathamesh Kulkarni
On Wed, 3 Jul 2019 at 17:06, Richard Sandiford wrote: > > Prathamesh Kulkarni writes: > > On Tue, 2 Jul 2019 at 18:22, Richard Sandiford > > wrote: > >> > >> Prathamesh Kulkarni writes: > >> > On Tue, 2 Jul 2019 at 16:59, Richard Sandiford > >> > wrote: > >> >> > >> >> Thanks for fixing this.

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-07-03 Thread Richard Sandiford
Prathamesh Kulkarni writes: > On Tue, 2 Jul 2019 at 18:22, Richard Sandiford > wrote: >> >> Prathamesh Kulkarni writes: >> > On Tue, 2 Jul 2019 at 16:59, Richard Sandiford >> > wrote: >> >> >> >> Thanks for fixing this. >> >> >> >> Prathamesh Kulkarni writes: >> >> > diff --git

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-07-03 Thread Prathamesh Kulkarni
On Tue, 2 Jul 2019 at 18:22, Richard Sandiford wrote: > > Prathamesh Kulkarni writes: > > On Tue, 2 Jul 2019 at 16:59, Richard Sandiford > > wrote: > >> > >> Thanks for fixing this. > >> > >> Prathamesh Kulkarni writes: > >> > diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c > >> > index

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-07-02 Thread Richard Sandiford
Prathamesh Kulkarni writes: > On Tue, 2 Jul 2019 at 16:59, Richard Sandiford > wrote: >> >> Thanks for fixing this. >> >> Prathamesh Kulkarni writes: >> > diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c >> > index 89a46a933fa..79bd0cfbd28 100644 >> > --- a/gcc/simplify-rtx.c >> > +++

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-07-02 Thread Prathamesh Kulkarni
On Tue, 2 Jul 2019 at 16:59, Richard Sandiford wrote: > > Thanks for fixing this. > > Prathamesh Kulkarni writes: > > diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c > > index 89a46a933fa..79bd0cfbd28 100644 > > --- a/gcc/simplify-rtx.c > > +++ b/gcc/simplify-rtx.c > > @@ -6697,6 +6697,19

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-07-02 Thread Richard Sandiford
Thanks for fixing this. Prathamesh Kulkarni writes: > diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c > index 89a46a933fa..79bd0cfbd28 100644 > --- a/gcc/simplify-rtx.c > +++ b/gcc/simplify-rtx.c > @@ -6697,6 +6697,19 @@ simplify_subreg (machine_mode outermode, rtx op, > } > } >

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-07-02 Thread Prathamesh Kulkarni
On Wed, 26 Jun 2019 at 23:45, Richard Sandiford wrote: > > Prathamesh Kulkarni writes: > > On Wed, 26 Jun 2019 at 16:05, Richard Sandiford > > wrote: > >> > >> Prathamesh Kulkarni writes: > >> > On Tue, 25 Jun 2019 at 20:05, Richard Sandiford > >> > wrote: > >> >> > >> >> Prathamesh Kulkarni

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-06-26 Thread Richard Sandiford
Prathamesh Kulkarni writes: > On Wed, 26 Jun 2019 at 16:05, Richard Sandiford > wrote: >> >> Prathamesh Kulkarni writes: >> > On Tue, 25 Jun 2019 at 20:05, Richard Sandiford >> > wrote: >> >> >> >> Prathamesh Kulkarni writes: >> >> > On Mon, 24 Jun 2019 at 21:41, Prathamesh Kulkarni >> >> >

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-06-26 Thread Prathamesh Kulkarni
On Wed, 26 Jun 2019 at 16:05, Richard Sandiford wrote: > > Prathamesh Kulkarni writes: > > On Tue, 25 Jun 2019 at 20:05, Richard Sandiford > > wrote: > >> > >> Prathamesh Kulkarni writes: > >> > On Mon, 24 Jun 2019 at 21:41, Prathamesh Kulkarni > >> > wrote: > >> >> > >> >> On Mon, 24 Jun

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-06-26 Thread Richard Sandiford
Prathamesh Kulkarni writes: > On Tue, 25 Jun 2019 at 20:05, Richard Sandiford > wrote: >> >> Prathamesh Kulkarni writes: >> > On Mon, 24 Jun 2019 at 21:41, Prathamesh Kulkarni >> > wrote: >> >> >> >> On Mon, 24 Jun 2019 at 19:51, Richard Sandiford >> >> wrote: >> >> > >> >> > Prathamesh

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-06-26 Thread Prathamesh Kulkarni
On Tue, 25 Jun 2019 at 20:05, Richard Sandiford wrote: > > Prathamesh Kulkarni writes: > > On Mon, 24 Jun 2019 at 21:41, Prathamesh Kulkarni > > wrote: > >> > >> On Mon, 24 Jun 2019 at 19:51, Richard Sandiford > >> wrote: > >> > > >> > Prathamesh Kulkarni writes: > >> > > @@ -1415,6 +1460,19

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-06-25 Thread Richard Sandiford
Prathamesh Kulkarni writes: > On Mon, 24 Jun 2019 at 21:41, Prathamesh Kulkarni > wrote: >> >> On Mon, 24 Jun 2019 at 19:51, Richard Sandiford >> wrote: >> > >> > Prathamesh Kulkarni writes: >> > > @@ -1415,6 +1460,19 @@ forward_propagate_into (df_ref use) >> > >if (!def_set) >> > >

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-06-25 Thread Prathamesh Kulkarni
On Mon, 24 Jun 2019 at 21:41, Prathamesh Kulkarni wrote: > > On Mon, 24 Jun 2019 at 19:51, Richard Sandiford > wrote: > > > > Prathamesh Kulkarni writes: > > > @@ -1415,6 +1460,19 @@ forward_propagate_into (df_ref use) > > >if (!def_set) > > > return false; > > > > > > + if

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-06-24 Thread Prathamesh Kulkarni
On Mon, 24 Jun 2019 at 19:51, Richard Sandiford wrote: > > Prathamesh Kulkarni writes: > > @@ -1415,6 +1460,19 @@ forward_propagate_into (df_ref use) > >if (!def_set) > > return false; > > > > + if (reg_prop_only > > + && !REG_P (SET_SRC (def_set)) > > + && !REG_P (SET_DEST

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-06-24 Thread Richard Sandiford
Prathamesh Kulkarni writes: > @@ -1415,6 +1460,19 @@ forward_propagate_into (df_ref use) >if (!def_set) > return false; > > + if (reg_prop_only > + && !REG_P (SET_SRC (def_set)) > + && !REG_P (SET_DEST (def_set))) > +return false; This should be: if (reg_prop_only

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-06-24 Thread Prathamesh Kulkarni
On Mon, 24 Jun 2019 at 14:59, Richard Sandiford wrote: > > Prathamesh Kulkarni writes: > > diff --git a/gcc/fwprop.c b/gcc/fwprop.c > > index 45703fe5f01..93a1a10c9a6 100644 > > --- a/gcc/fwprop.c > > +++ b/gcc/fwprop.c > > @@ -547,6 +547,54 @@ propagate_rtx_1 (rtx *px, rtx old_rtx, rtx new_rtx,

Re: [SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-06-24 Thread Richard Sandiford
Prathamesh Kulkarni writes: > diff --git a/gcc/fwprop.c b/gcc/fwprop.c > index 45703fe5f01..93a1a10c9a6 100644 > --- a/gcc/fwprop.c > +++ b/gcc/fwprop.c > @@ -547,6 +547,54 @@ propagate_rtx_1 (rtx *px, rtx old_rtx, rtx new_rtx, int > flags) > tem = simplify_gen_subreg (mode, op0,

[SVE] [fwprop] PR88833 - Redundant moves for WHILELO-based loops

2019-06-21 Thread Prathamesh Kulkarni
Hi, The attached patch tries to fix PR88833. For the following test-case: subroutine foo(x) real :: x(100) x = x + 10 end subroutine foo Assembly with -O3 -march=armv8.2-a+sve: foo_: .LFB0: .cfi_startproc mov w2, 100 mov w3, w2 mov x1, 0