Re: [PATCH] Simple improvement for predicate computation in if-convert phase.

2014-11-18 Thread H.J. Lu
On Fri, Oct 17, 2014 at 6:08 AM, Yuri Rumyantsev wrote: > Jeff, > > I prepared another patch that includes test-case as you requested. > > Below are answers on your questions. > >> First, for the benefit of anyone trying to understand what you're doing, >> defining what "cd equivalent" means woul

Re: [PATCH] Simple improvement for predicate computation in if-convert phase.

2014-10-24 Thread Richard Biener
On Fri, Oct 17, 2014 at 3:08 PM, Yuri Rumyantsev wrote: > Jeff, > > I prepared another patch that includes test-case as you requested. > > Below are answers on your questions. > >> First, for the benefit of anyone trying to understand what you're doing, >> defining what "cd equivalent" means woul

Re: [PATCH] Simple improvement for predicate computation in if-convert phase.

2014-10-17 Thread Yuri Rumyantsev
Jeff, I prepared another patch that includes test-case as you requested. Below are answers on your questions. > First, for the benefit of anyone trying to understand what you're doing, > defining what "cd equivalent" means would be >helpful. I added the following comment to function: fwe

Re: [PATCH] Simple improvement for predicate computation in if-convert phase.

2014-10-16 Thread Jeff Law
On 10/16/14 05:52, Yuri Rumyantsev wrote: Hi All, Here is a simple enhancement for predicate computation in if-convert phase: We use notion of cd equivalence to get simpler predicate for join block, e.g. if join block has 2 predecessors with predicates p1 & p2 and p1 & !p2, we'd l

[PATCH] Simple improvement for predicate computation in if-convert phase.

2014-10-16 Thread Yuri Rumyantsev
Hi All, Here is a simple enhancement for predicate computation in if-convert phase: We use notion of cd equivalence to get simpler predicate for join block, e.g. if join block has 2 predecessors with predicates p1 & p2 and p1 & !p2, we'd like to get p1 for it instead of p1 & p2 |