[RFC] Unconditionally clean up CFG before emitting prologue

Eric Botcazou ebotcazou@adacore.com
Mon Apr 9 09:56:00 GMT 2012


Hi,

with the numerous checks generated in Ada, the gimplification process can 
generated dead branches that aren't easily eliminated at -O0 and can impair 
the debugging experience.  We have found that unconditionally cleaning up the 
CFG before emitting the prologue/epilogue can help in some cases.  This is the 
same idiom already used in rest_of_handle_jump2 for example.

Tested on x86_64-suse-linux.  Comments?


2012-04-09  Eric Botcazou  <ebotcazou@adacore.com>

	* function.c (rest_of_handle_thread_prologue_and_epilogue): Clean up
	the CFG before generating prologue/epilogue even when not optimizing.


-- 
Eric Botcazou
-------------- next part --------------
A non-text attachment was scrubbed...
Name: p.diff
Type: text/x-diff
Size: 540 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20120409/a7d0a8bd/attachment.bin>


More information about the Gcc-patches mailing list