> The middle-end parts are OK.  This is OK if it is OK with the x86
> backend maintainers.

Another glitch: installing the middle-end part without the x86 part exposed a 
bug in the former, whereby we still emit probes the regular way on entry to 
the function even though STACK_CHECK_MOVING_SP is defined.

Fixed thusly, tested on i586-suse-linux and x86_64-suse-linux, applied as 
obvious on the mainline.  With the other patch you approved today, all stack 
checking tests now pass at -O2 on both platforms.


2009-11-10  Eric Botcazou  <ebotcazou@adacore.com>

        PR target/10127
        PR ada/20548
	* expr.h (anti_adjust_stack_and_probe): Declare.
	* explow.c (anti_adjust_stack_and_probe): Make global, add ADJUST_BACK
	parameter and rewrite head comment.
	(allocate_dynamic_stack_space): Adjust call to above function.
	* function.c (expand_function_end): Handle STACK_CHECK_MOVING_SP.


-- 
Eric Botcazou