Re: [PATCH] EVRP edge info refactoring and simple improvement

2016-12-02 Thread Richard Biener
On Fri, 2 Dec 2016, Richard Biener wrote: > On Fri, 2 Dec 2016, Richard Biener wrote: > > > > > The following refactors range extraction from edges and makes EVRP > > able to merge such edge based ranges for the case of multiple > > predecessors. This allows it to catch anti-ranges from > > if

Re: [PATCH] EVRP edge info refactoring and simple improvement

2016-12-02 Thread Richard Biener
On Fri, 2 Dec 2016, Richard Biener wrote: > > The following refactors range extraction from edges and makes EVRP > able to merge such edge based ranges for the case of multiple > predecessors. This allows it to catch anti-ranges from > if (a < 4 || a > 8) if that is not re-written to a single t

[PATCH] EVRP edge info refactoring and simple improvement

2016-12-02 Thread Richard Biener
The following refactors range extraction from edges and makes EVRP able to merge such edge based ranges for the case of multiple predecessors. This allows it to catch anti-ranges from if (a < 4 || a > 8) if that is not re-written to a single test like when using gotos. I don't expect this to ca