Re: [PATCH] Reduce conservativeness in REE using machine model (issue6631066)

2012-10-25 Thread Teresa Johnson
ping. Teresa On Thu, Oct 18, 2012 at 8:21 AM, Teresa Johnson tejohn...@google.com wrote: The attached patch implements avoids conservative behavior in REE by allowing removal of redundant extends when the def feeds another extend with a different mode. This works because in

Re: [PATCH] Reduce conservativeness in REE using machine model (issue6631066)

2012-10-25 Thread Jakub Jelinek
On Thu, Oct 25, 2012 at 01:28:32PM -0700, Teresa Johnson wrote: 2012-10-18 Teresa Johnson tejohn...@google.com * ree.c (add_removable_extension): Remove unnecessary mode check with other extension. 2012-10-18 Teresa Johnson tejohn...@google.com *

Re: [PATCH] Reduce conservativeness in REE using machine model (issue6631066)

2012-10-18 Thread Teresa Johnson
The attached patch implements avoids conservative behavior in REE by allowing removal of redundant extends when the def feeds another extend with a different mode. This works because in merge_def_and_ext only calls combine_set_extension if the candidate for removal has a wider mode than the def

Re: [PATCH] Reduce conservativeness in REE using machine model (issue6631066)

2012-10-16 Thread Xinliang David Li
The change to remove mode check looks good to me. Not directly related to this bug but somehow related: the REE has obvious conservativeness regarding partial redundancy (i.e., not all reaching def has the bits properly extended). However, there are bugs preventing elimination even with full

Re: [PATCH] Reduce conservativeness in REE using machine model (issue6631066)

2012-10-15 Thread Teresa Johnson
On Fri, Oct 12, 2012 at 1:23 AM, Jakub Jelinek ja...@redhat.com wrote: On Thu, Oct 11, 2012 at 02:44:12PM -0700, Teresa Johnson wrote: Revised patch to address conservative behavior in redundant extend elimination that was resulting in redundant extends not being removed. Now uses a new target

Re: [PATCH] Reduce conservativeness in REE using machine model (issue6631066)

2012-10-12 Thread Jakub Jelinek
On Thu, Oct 11, 2012 at 02:44:12PM -0700, Teresa Johnson wrote: Revised patch to address conservative behavior in redundant extend elimination that was resulting in redundant extends not being removed. Now uses a new target hook machine_mode_from_attr_mode which is currently enabled only for

[PATCH] Reduce conservativeness in REE using machine model (issue6631066)

2012-10-11 Thread Teresa Johnson
Revised patch to address conservative behavior in redundant extend elimination that was resulting in redundant extends not being removed. Now uses a new target hook machine_mode_from_attr_mode which is currently enabled only for i386. Bootstrapped and tested on x86_64-unknown-linux-gnu. Is this

Re: [PATCH] Reduce conservativeness in REE using machine model (issue6631066)

2012-10-11 Thread Steven Bosscher
On Thu, Oct 11, 2012 at 11:44 PM, Teresa Johnson wrote: + mode = targetm.machine_mode_from_attr_mode(insn); Nit: space between ..._mode and (. A test case would also be Nice To Have. Looks OK to me otherwise, but I can't approve it. Ciao! Steven

[PATCH] Reduce conservativeness in REE using machine model (issue6631066)

2012-10-10 Thread Teresa Johnson
This patch addresses conservative behavior in redundant extend elimination that was resulting in redundant extends not being removed. One of the checks is to ensure that the reaching definition doesn't feed another extension with a different machine mode. In this case, the extend we are trying

Re: [PATCH] Reduce conservativeness in REE using machine model (issue6631066)

2012-10-10 Thread Steven Bosscher
On Wed, Oct 10, 2012 at 11:25 PM, Teresa Johnson tejohn...@google.com wrote: What I did to address this is to call get_attr_mode from the machine model to get the actual mode of the insn. In this case, it returns MODE_SI. There doesn't seem to be any code that maps from the attr_mode (MODE_SI)