Re: [Patch] PR 51938: extend ifcombine

2012-07-24 Thread Marc Glisse
On Tue, 24 Jul 2012, Richard Guenther wrote: On Mon, Jul 23, 2012 at 10:58 PM, Marc Glisse wrote: On Wed, 20 Jun 2012, Richard Guenther wrote: On Sun, Jun 10, 2012 at 4:16 PM, Marc Glisse wrote: Hello, currently, tree-ssa-ifcombine handles pairs of imbricated "if"s that share the same th

Re: [Patch] PR 51938: extend ifcombine

2012-07-24 Thread Richard Guenther
On Mon, Jul 23, 2012 at 10:58 PM, Marc Glisse wrote: > On Wed, 20 Jun 2012, Richard Guenther wrote: > >> On Sun, Jun 10, 2012 at 4:16 PM, Marc Glisse wrote: >>> >>> Hello, >>> >>> currently, tree-ssa-ifcombine handles pairs of imbricated "if"s that >>> share >>> the same then branch, or the same

Re: [Patch] PR 51938: extend ifcombine

2012-07-23 Thread Marc Glisse
On Wed, 20 Jun 2012, Richard Guenther wrote: On Sun, Jun 10, 2012 at 4:16 PM, Marc Glisse wrote: Hello, currently, tree-ssa-ifcombine handles pairs of imbricated "if"s that share the same then branch, or the same else branch. There is no particular reason why it couldn't also handle the case

Re: [Patch] PR 51938: extend ifcombine

2012-06-26 Thread Marc Glisse
Thanks for the comments, I'll look into it later in the summer. On Tue, 26 Jun 2012, Richard Guenther wrote: On Sat, Jun 23, 2012 at 7:18 PM, Marc Glisse wrote: Hello, thanks for looking into the patch. A couple more details now that I am back from a conference: On Wed, 20 Jun 2012, Marc G

Re: [Patch] PR 51938: extend ifcombine

2012-06-26 Thread Richard Guenther
On Sat, Jun 23, 2012 at 7:18 PM, Marc Glisse wrote: > Hello, > > thanks for looking into the patch. A couple more details now that I am back > from a conference: > > > On Wed, 20 Jun 2012, Marc Glisse wrote: > >> On Wed, 20 Jun 2012, Richard Guenther wrote: >> >>> On Sun, Jun 10, 2012 at 4:16 PM,

Re: [Patch] PR 51938: extend ifcombine

2012-06-24 Thread Marc Glisse
On Sun, 24 Jun 2012, Joseph S. Myers wrote: On Sat, 23 Jun 2012, Marc Glisse wrote: Actually, what would you think of s/flag_trapping_math/flag_signaling_nans/ in invert_tree_comparison? Are there other possible ways a Ordered comparisons raise exceptions for both quiet and signaling NaNs. It

Re: [Patch] PR 51938: extend ifcombine

2012-06-24 Thread Joseph S. Myers
On Sat, 23 Jun 2012, Marc Glisse wrote: > Actually, what would you think of s/flag_trapping_math/flag_signaling_nans/ > in invert_tree_comparison? Are there other possible ways a having a sNaN for a or b? Ordered comparisons raise exceptions for both quiet and signaling NaNs. It's generally ope

Re: [Patch] PR 51938: extend ifcombine

2012-06-23 Thread Marc Glisse
On Wed, 20 Jun 2012, Marc Glisse wrote: On Wed, 20 Jun 2012, Richard Guenther wrote: On Sun, Jun 10, 2012 at 4:16 PM, Marc Glisse wrote: Hello, currently, tree-ssa-ifcombine handles pairs of imbricated "if"s that share the same then branch, or the same else branch. There is no particular r

Re: [Patch] PR 51938: extend ifcombine

2012-06-23 Thread Marc Glisse
Hello, thanks for looking into the patch. A couple more details now that I am back from a conference: On Wed, 20 Jun 2012, Marc Glisse wrote: On Wed, 20 Jun 2012, Richard Guenther wrote: On Sun, Jun 10, 2012 at 4:16 PM, Marc Glisse wrote: Hello, currently, tree-ssa-ifcombine handles pai

Re: [Patch] PR 51938: extend ifcombine

2012-06-20 Thread Marc Glisse
On Wed, 20 Jun 2012, Richard Guenther wrote: On Sun, Jun 10, 2012 at 4:16 PM, Marc Glisse wrote: Hello, currently, tree-ssa-ifcombine handles pairs of imbricated "if"s that share the same then branch, or the same else branch. There is no particular reason why it couldn't also handle the case

Re: [Patch] PR 51938: extend ifcombine

2012-06-20 Thread Richard Guenther
On Sun, Jun 10, 2012 at 4:16 PM, Marc Glisse wrote: > Hello, > > currently, tree-ssa-ifcombine handles pairs of imbricated "if"s that share > the same then branch, or the same else branch. There is no particular reason > why it couldn't also handle the case where the then branch of one is the > el