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

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-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-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 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 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, 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 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-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