diff options
author | Mark Mitchell <mark@codesourcery.com> | 2000-05-25 23:43:43 +0000 |
---|---|---|
committer | Mark Mitchell <mmitchel@gcc.gnu.org> | 2000-05-25 23:43:43 +0000 |
commit | 0519ce3019d4a288ca12c3ac21086f2f0cb5e28d (patch) | |
tree | 6156335a45a8824c4127a4a8fb96fa8c5f78b50c /gcc | |
parent | 3ec6bad360a051793659af054b5ecf41318a2a8b (diff) | |
download | gcc-0519ce3019d4a288ca12c3ac21086f2f0cb5e28d.zip gcc-0519ce3019d4a288ca12c3ac21086f2f0cb5e28d.tar.gz gcc-0519ce3019d4a288ca12c3ac21086f2f0cb5e28d.tar.bz2 |
except.h (can_throw): Declare it.
* except.h (can_throw): Declare it.
* except.c (can_throw): Give it external linkage.
* resource.c (find_dead_or_set_registers): Use can_throw.
From-SVN: r34178
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/except.c | 6 | ||||
-rw-r--r-- | gcc/except.h | 4 | ||||
-rw-r--r-- | gcc/resource.c | 8 |
4 files changed, 20 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 084920a..80e638c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2000-05-25 Mark Mitchell <mark@codesourcery.com> + + * except.h (can_throw): Declare it. + * except.c (can_throw): Give it external linkage. + * resource.c (find_dead_or_set_registers): Use can_throw. + 2000-05-25 Richard Henderson <rth@cygnus.com> * flow.c (mark_set_1): Don't record conditionally dead memory. diff --git a/gcc/except.c b/gcc/except.c index 627c32f..db9a58f 100644 --- a/gcc/except.c +++ b/gcc/except.c @@ -463,7 +463,6 @@ static void start_dynamic_cleanup PARAMS ((tree, tree)); static void start_dynamic_handler PARAMS ((void)); static void expand_rethrow PARAMS ((rtx)); static void output_exception_table_entry PARAMS ((FILE *, int)); -static int can_throw PARAMS ((rtx)); static rtx scan_region PARAMS ((rtx, int, int *)); static void eh_regs PARAMS ((rtx *, rtx *, rtx *, int)); static void set_insn_eh_region PARAMS ((rtx *, int)); @@ -2688,12 +2687,11 @@ free_eh_status (f) } /* This section is for the exception handling specific optimization - pass. First are the internal routines, and then the main - optimization pass. */ + pass. */ /* Determine if the given INSN can throw an exception. */ -static int +int can_throw (insn) rtx insn; { diff --git a/gcc/except.h b/gcc/except.h index c02507c..f4db7d2 100644 --- a/gcc/except.h +++ b/gcc/except.h @@ -439,6 +439,10 @@ extern struct label_node *outer_context_label_stack; extern rtx exception_handler_labels; +/* Determine if the given INSN can throw an exception. */ + +extern int can_throw PARAMS ((rtx)); + /* Return nonzero if nothing in this function can throw. */ extern int nothrow_function_p PARAMS ((void)); diff --git a/gcc/resource.c b/gcc/resource.c index 23f5e0e..d84fabe 100644 --- a/gcc/resource.c +++ b/gcc/resource.c @@ -422,6 +422,14 @@ find_dead_or_set_registers (target, res, jump_target, jump_count, set, needed) rtx this_jump_insn = insn; next = NEXT_INSN (insn); + + /* If this instruction can throw an exception, then we don't + know where we might end up next. That means that we have to + assume that whatever we have already marked as live really is + live. */ + if (can_throw (insn)) + break; + switch (GET_CODE (insn)) { case CODE_LABEL: |