diff options
| author | vries <vries@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-04-05 10:12:14 +0000 |
|---|---|---|
| committer | vries <vries@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-04-05 10:12:14 +0000 |
| commit | f2c8a2512127ae78f968c9a59a05c552641d0463 (patch) | |
| tree | 90745af363780920b5090d26d5fc5631ea679e96 /gcc/function.c | |
| parent | e1ebb662f80a3b2555e0d071140badaa0ac1e009 (diff) | |
| download | gcc-f2c8a2512127ae78f968c9a59a05c552641d0463.tar.gz | |
2011-04-05 Tom de Vries <tom@codesourcery.com>
PR target/43920
* function.c (emit_use_return_register_into_block): New function.
(thread_prologue_and_epilogue_insns): Use
emit_use_return_register_into_block.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@171977 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/function.c')
| -rw-r--r-- | gcc/function.c | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/gcc/function.c b/gcc/function.c index a1ea482acad..7c500a656bc 100644 --- a/gcc/function.c +++ b/gcc/function.c @@ -5262,6 +5262,19 @@ prologue_epilogue_contains (const_rtx insn) return 0; } +/* Insert use of return register before the end of BB. */ + +static void +emit_use_return_register_into_block (basic_block bb) +{ + rtx seq; + start_sequence (); + use_return_register (); + seq = get_insns (); + end_sequence (); + emit_insn_before (seq, BB_END (bb)); +} + #ifdef HAVE_return /* Insert gen_return at the end of block BB. This also means updating block_for_insn appropriately. */ @@ -5416,6 +5429,15 @@ thread_prologue_and_epilogue_insns (void) with a simple return instruction. */ if (simplejump_p (jump)) { + /* The use of the return register might be present in the exit + fallthru block. Either: + - removing the use is safe, and we should remove the use in + the exit fallthru block, or + - removing the use is not safe, and we should add it here. + For now, we conservatively choose the latter. Either of the + 2 helps in crossjumping. */ + emit_use_return_register_into_block (bb); + emit_return_into_block (bb); delete_insn (jump); } @@ -5430,6 +5452,9 @@ thread_prologue_and_epilogue_insns (void) continue; } + /* See comment in simple_jump_p case above. */ + emit_use_return_register_into_block (bb); + /* If this block has only one successor, it both jumps and falls through to the fallthru block, so we can't delete the edge. */ |