Re: [PATCH] Pass through jump functions for addressable (scalar) parameters

2011-10-28 Thread Richard Guenther
On Thu, Oct 27, 2011 at 9:11 PM, Martin Jambor mjam...@suse.cz wrote: Hi, On Thu, Oct 27, 2011 at 03:07:10PM +0200, Richard Guenther wrote: On Wed, Oct 26, 2011 at 8:25 PM, Martin Jambor mjam...@suse.cz wrote: Hi, 2011-10-26  Martin Jambor  mjam...@suse.cz        * ipa-prop.c

Re: [PATCH] Pass through jump functions for addressable (scalar) parameters

2011-10-27 Thread Richard Guenther
On Wed, Oct 26, 2011 at 8:25 PM, Martin Jambor mjam...@suse.cz wrote: Hi, Honza requested that we do attempt to produce pass-through jump functions even when the actual formal parameter that is being passed on is addressable - provided that we can prove it has not changed value, of course.  

Re: [PATCH] Pass through jump functions for addressable (scalar) parameters

2011-10-27 Thread Martin Jambor
Hi, On Thu, Oct 27, 2011 at 03:07:10PM +0200, Richard Guenther wrote: On Wed, Oct 26, 2011 at 8:25 PM, Martin Jambor mjam...@suse.cz wrote: Hi, 2011-10-26  Martin Jambor  mjam...@suse.cz        * ipa-prop.c (mark_modified): Moved up in the file.        

[PATCH] Pass through jump functions for addressable (scalar) parameters

2011-10-26 Thread Martin Jambor
Hi, Honza requested that we do attempt to produce pass-through jump functions even when the actual formal parameter that is being passed on is addressable - provided that we can prove it has not changed value, of course. The following patch does this, hopefully the limitations of our