Re: [PATCH 3/4 v2] Enhance SCEV to follow copies of SSA_NAMEs.

2016-01-15 Thread Richard Biener
On Fri, Jan 15, 2016 at 11:38 AM, Alan Lawrence wrote: > On 15/01/16 10:07, Richard Biener wrote: >> >> On Fri, Jan 15, 2016 at 10:47 AM, Alan Lawrence >> wrote: >>> >>> On Thu, Jan 14, 2016 at 12:30 PM, Richard Biener >>>

Re: [PATCH 3/4 v2] Enhance SCEV to follow copies of SSA_NAMEs.

2016-01-15 Thread Alan Lawrence
On 15/01/16 10:07, Richard Biener wrote: On Fri, Jan 15, 2016 at 10:47 AM, Alan Lawrence wrote: On Thu, Jan 14, 2016 at 12:30 PM, Richard Biener wrote: The vuse test is not necessary + && (gimple_assign_rhs_code (def) ==

Re: [PATCH 3/4 v2] Enhance SCEV to follow copies of SSA_NAMEs.

2016-01-15 Thread Richard Biener
On Fri, Jan 15, 2016 at 10:47 AM, Alan Lawrence wrote: > On Thu, Jan 14, 2016 at 12:30 PM, Richard Biener > wrote: > >> >> The vuse test is not necessary >> >>> + && (gimple_assign_rhs_code (def) == SSA_NAME >>> +

Re: [PATCH 3/4 v2] Enhance SCEV to follow copies of SSA_NAMEs.

2016-01-15 Thread Alan Lawrence
On Thu, Jan 14, 2016 at 12:30 PM, Richard Biener wrote: > > The vuse test is not necessary > >> + && (gimple_assign_rhs_code (def) == SSA_NAME >> + || is_gimple_min_invariant (gimple_assign_rhs1 (def > > and the

[PATCH 3/4 v2] Enhance SCEV to follow copies of SSA_NAMEs.

2016-01-14 Thread Alan Lawrence
(Previous message: https://gcc.gnu.org/ml/gcc-patches/2015-12/msg02159.html) On Sat, Dec 26, 2015 at 18:58 PM, Richard Biener wrote: >> I'm not sure whether adding a pass_copy_prop is the right thing here, but >> since >> loop-header-copying can create such

Re: [PATCH 3/4 v2] Enhance SCEV to follow copies of SSA_NAMEs.

2016-01-14 Thread Richard Biener
On Thu, Jan 14, 2016 at 11:29 AM, Alan Lawrence wrote: > (Previous message: https://gcc.gnu.org/ml/gcc-patches/2015-12/msg02159.html) > On Sat, Dec 26, 2015 at 18:58 PM, Richard Biener > wrote: > >>> I'm not sure whether adding a pass_copy_prop