diff options
| author | Richard Henderson <rth@gcc.gnu.org> | 2000-04-25 17:43:09 -0700 |
|---|---|---|
| committer | Richard Henderson <rth@gcc.gnu.org> | 2000-04-25 17:43:09 -0700 |
| commit | e2ee991277e5d10e4042634b32754a2062843bf7 (patch) | |
| tree | 2764dc0cca7a5f315ad3eeb6388d3fcd74e059f6 /gcc | |
| parent | 1cfdcc15effc096604f32fb88ddc1ad8f67aab07 (diff) | |
| download | gcc-e2ee991277e5d10e4042634b32754a2062843bf7.zip gcc-e2ee991277e5d10e4042634b32754a2062843bf7.tar.gz gcc-e2ee991277e5d10e4042634b32754a2062843bf7.tar.bz2 | |
calls.c (expand_call): Disable tail call generation once rtx_equal_function_value_matters is false.
* calls.c (expand_call): Disable tail call generation once
rtx_equal_function_value_matters is false.
* reg-stack.c (convert_regs_1): Treat EDGE_ABNORMAL_CALL edges
like EDGE_EH edges.
From-SVN: r33431
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 10 | ||||
| -rw-r--r-- | gcc/calls.c | 9 | ||||
| -rw-r--r-- | gcc/reg-stack.c | 2 |
3 files changed, 18 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d25411d..9cbe4c8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,4 +1,12 @@ -2000-04-26 Jason Merrill <jason@casey.cygnus.com> +2000-04-25 Richard Henderson <rth@cygnus.com> + + * calls.c (expand_call): Disable tail call generation once + rtx_equal_function_value_matters is false. + + * reg-stack.c (convert_regs_1): Treat EDGE_ABNORMAL_CALL edges + like EDGE_EH edges. + +2000-04-25 Jason Merrill <jason@casey.cygnus.com> * dwarf2out.c (add_bound_info): Don't crash on an unexpanded SAVE_EXPR. diff --git a/gcc/calls.c b/gcc/calls.c index c9814c7..0e8138f 100644 --- a/gcc/calls.c +++ b/gcc/calls.c @@ -2106,11 +2106,18 @@ expand_call (exp, target, ignore) pushed these optimizations into -O2. Don't try if we're already expanding a call, as that means we're an argument. Similarly, if there's pending loops or cleanups we know there's code to follow - the call. */ + the call. + + If rtx_equal_function_value_matters is false, that means we've + finished with regular parsing. Which means that some of the + machinery we use to generate tail-calls is no longer in place. + This is most often true of sjlj-exceptions, which we couldn't + tail-call to anyway. */ try_tail_call = 0; if (flag_optimize_sibling_calls && currently_expanding_call == 1 + && rtx_equal_function_value_matters && stmt_loop_nest_empty () && ! any_pending_cleanups (1)) { diff --git a/gcc/reg-stack.c b/gcc/reg-stack.c index 2509077..7572561 100644 --- a/gcc/reg-stack.c +++ b/gcc/reg-stack.c @@ -2550,7 +2550,7 @@ convert_regs_1 (file, block) /* Care for EH edges specially. The normal return path may return a value in st(0), but the EH path will not, and there's no need to add popping code to the edge. */ - if (e->flags & EDGE_EH) + if (e->flags & (EDGE_EH | EDGE_ABNORMAL_CALL)) { /* Assert that the lifetimes are as we expect -- one value live at st(0) on the end of the source block, and no |