Re: CFG review needed for fix of "PowerPC shrink-wrap support 3 of 3"

[Richard Henderson <rth@redhat.com>]

On 11/14/2011 11:56 AM, Alan Modra wrote:
> On Mon, Nov 14, 2011 at 07:48:03AM -1000, Richard Henderson wrote:
>> On 11/14/2011 04:10 AM, Hans-Peter Nilsson wrote:
>>> Looks like all we need is a positive review of
>>> <http://gcc.gnu.org/ml/gcc-patches/2011-11/msg01409.html> and a
>>> ChangeLog entry to unbreak three or more targets.
>>>
>>> Someone with approval rights: pretty please?
>>
>> That patch is ok.
> 
> Sorry for the bootstrap problems.  I believe the cause is my
> extraction of convert_jumps_to_returns and emit_return_for_exit.  The
> new HAVE_return code misses a single_succ_p test (covered by the
> bitmap_bit_p (&bb_flags, ...) test in the HAVE_simple_return case).
> 
> I haven't really looked into what Bernd's fix does.  I know this one
> fixes what I broke..
> 
> 	* function.c (thread_prologue_and_epilogue_insns): Guard
> 	emitting return with single_succ_p test.


Hmm.  This looks plausible too.  

Bernd's patch made sure that cfglayout didn't do something impossible.
Of course, it's possible that his patch should merely be an assert,
and the correct fix goes here.

Thoughts?


r~