Re: [PATCH] Make PRE/FRE elimination not do useless work

2017-05-12 Thread Richard Biener
On Thu, 11 May 2017, Christophe Lyon wrote: > Hi Richard, > > > On 10 May 2017 at 16:20, Richard Biener wrote: > > > > So this is a patch that makes skipping unreachable code when > > doing elimination possible. Previously interesting interactions > > with tail-merging made this impossible, no

Re: [PATCH] Make PRE/FRE elimination not do useless work

2017-05-11 Thread Christophe Lyon
Hi Richard, On 10 May 2017 at 16:20, Richard Biener wrote: > > So this is a patch that makes skipping unreachable code when > doing elimination possible. Previously interesting interactions > with tail-merging made this impossible, now I seem to have > figured a way around this. > > Bootstrappe

[PATCH] Make PRE/FRE elimination not do useless work

2017-05-10 Thread Richard Biener
So this is a patch that makes skipping unreachable code when doing elimination possible. Previously interesting interactions with tail-merging made this impossible, now I seem to have figured a way around this. Bootstrapped on x86_64-unknown-linux-gnu, testing in progress. With this more elabor