Re: [PATCH][1/n][RFC] Make FRE/PRE somewhat predicate aware

2014-05-16 Thread Richard Biener
On May 16, 2014 7:07:11 PM CEST, Jeff Law wrote: >On 05/16/14 02:02, Richard Biener wrote: >>> >> Quiet as usual. >Which strongly suggests folks trust you to do the right thing here :-) > I think the FRE/PRE reference in $SUBJECT made me ignore the patch >entirely -- my brain hurts when I look

Re: [PATCH][1/n][RFC] Make FRE/PRE somewhat predicate aware

2014-05-16 Thread Jeff Law
On 05/16/14 02:02, Richard Biener wrote: Quiet as usual. Which strongly suggests folks trust you to do the right thing here :-) I think the FRE/PRE reference in $SUBJECT made me ignore the patch entirely -- my brain hurts when I look at our tree PRE implementation. Jeff

Re: [PATCH][1/n][RFC] Make FRE/PRE somewhat predicate aware

2014-05-16 Thread Richard Biener
On Thu, 8 May 2014, Richard Biener wrote: > > Ok, not really predicate aware, but this makes value-numbering > pessimistically handle non-executable edges. In the following > patch groundwork is laid and PHI value-numbering is adjusted > to take advantage of edges known to be not executable. >

[PATCH][1/n][RFC] Make FRE/PRE somewhat predicate aware

2014-05-08 Thread Richard Biener
Ok, not really predicate aware, but this makes value-numbering pessimistically handle non-executable edges. In the following patch groundwork is laid and PHI value-numbering is adjusted to take advantage of edges known to be not executable. SCCVN is not well-suited to be control aware, but we st