Re: [PATCH] Fix PR84003

2018-01-27 Thread Richard Biener
On Fri, 26 Jan 2018, Richard Biener wrote: > On Fri, 26 Jan 2018, Jakub Jelinek wrote: > > > On Thu, Jan 25, 2018 at 12:18:21PM +0100, Richard Biener wrote: > > > 2018-01-25 Richard Biener > > > > > > PR rtl-optimization/84003 > > > * dse.c (dse_step1): When removing redundant stores make

Re: [PATCH] Fix PR84003

2018-01-26 Thread Richard Biener
On Fri, 26 Jan 2018, Richard Biener wrote: > On Fri, 26 Jan 2018, Richard Sandiford wrote: > > > Richard Biener writes: > > > On Thu, 25 Jan 2018, Richard Sandiford wrote: > > > > > >> Richard Sandiford writes: > > >> > Richard Biener writes: > > >> >> The following patch fixes PR84003 where R

Re: [PATCH] Fix PR84003

2018-01-26 Thread Richard Biener
On Fri, 26 Jan 2018, Richard Sandiford wrote: > Richard Biener writes: > > On Thu, 25 Jan 2018, Richard Sandiford wrote: > > > >> Richard Sandiford writes: > >> > Richard Biener writes: > >> >> The following patch fixes PR84003 where RTL DSE removes a redundant > >> >> store (a store storing th

Re: [PATCH] Fix PR84003

2018-01-26 Thread Richard Sandiford
Richard Biener writes: > On Thu, 25 Jan 2018, Richard Sandiford wrote: > >> Richard Sandiford writes: >> > Richard Biener writes: >> >> The following patch fixes PR84003 where RTL DSE removes a redundant >> >> store (a store storing the same value as an earlier store) but in >> >> doing this cha

Re: [PATCH] Fix PR84003

2018-01-26 Thread Richard Biener
On Fri, 26 Jan 2018, Jakub Jelinek wrote: > On Thu, Jan 25, 2018 at 12:18:21PM +0100, Richard Biener wrote: > > 2018-01-25 Richard Biener > > > > PR rtl-optimization/84003 > > * dse.c (dse_step1): When removing redundant stores make sure > > to adjust the earlier stores alias-set t

Re: [PATCH] Fix PR84003

2018-01-26 Thread Richard Biener
On Thu, 25 Jan 2018, Richard Sandiford wrote: > Richard Sandiford writes: > > Richard Biener writes: > >> The following patch fixes PR84003 where RTL DSE removes a redundant > >> store (a store storing the same value as an earlier store) but in > >> doing this changing program semantics because

Re: [PATCH] Fix PR84003

2018-01-26 Thread Jakub Jelinek
On Thu, Jan 25, 2018 at 12:18:21PM +0100, Richard Biener wrote: > 2018-01-25 Richard Biener > > PR rtl-optimization/84003 > * dse.c (dse_step1): When removing redundant stores make sure > to adjust the earlier stores alias-set to match semantics of > the removed one and

Re: [PATCH] Fix PR84003

2018-01-25 Thread Richard Sandiford
Richard Sandiford writes: > Richard Biener writes: >> The following patch fixes PR84003 where RTL DSE removes a redundant >> store (a store storing the same value as an earlier store) but in >> doing this changing program semantics because the later store changes >> the effective type of the memo

Re: [PATCH] Fix PR84003

2018-01-25 Thread Richard Sandiford
Richard Biener writes: > The following patch fixes PR84003 where RTL DSE removes a redundant > store (a store storing the same value as an earlier store) but in > doing this changing program semantics because the later store changes > the effective type of the memory location. This in turn allows

[PATCH] Fix PR84003

2018-01-25 Thread Richard Biener
The following patch fixes PR84003 where RTL DSE removes a redundant store (a store storing the same value as an earlier store) but in doing this changing program semantics because the later store changes the effective type of the memory location. This in turn allows sched2 to do an originally inv