[PATCH] Fix PR69983

2016-03-01 Thread Richard Biener
I am testing the following patch to fix PR69983 - SCEV was confused by a PRE inserted PHI node where it checks for equality of the evolution of all edges. After my SCEV fix these have conversions which are not handled by eq_evolutions_p. I've noticed the function misses any type compatibility ch

Re: [PATCH] Fix PR69983

2016-03-01 Thread Richard Biener
On Mon, 29 Feb 2016, Jakub Jelinek wrote: > On Mon, Feb 29, 2016 at 04:26:12PM +0100, Richard Biener wrote: > > *** get_unary_op (tree name, enum tree_code > > *** 621,626 > > --- 641,680 > > return NULL_TREE; > > } > > > > + /* Return true if OP1 and OP2 have the sa

Re: [PATCH] Fix PR69983

2016-02-29 Thread Jakub Jelinek
On Mon, Feb 29, 2016 at 04:26:12PM +0100, Richard Biener wrote: > *** get_unary_op (tree name, enum tree_code > *** 621,626 > --- 641,680 > return NULL_TREE; > } > > + /* Return true if OP1 and OP2 have the same value if casted to either type. > */ > + > + static b

[PATCH] Fix PR69983

2016-02-29 Thread Richard Biener
This fixes fallout of my SCEV correctness change where reassoc no longer sees the ~A + A simplification opportunity due to casts that are in the way. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied. Richard. 2016-02-29 Richard Biener PR tree-optimization/69994