From a614d82edd24333543e450463072746459f53c3b Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Wed, 28 Mar 2001 00:08:43 -0800 Subject: [PATCH] regmove.c (perhaps_ends_bb_p): Use can_throw_internal to reduce false positives. * regmove.c (perhaps_ends_bb_p): Use can_throw_internal to reduce false positives. (regmove_optimize): Disable if flag_non_call_exceptions. From-SVN: r40917 --- gcc/ChangeLog | 4 ++++ gcc/regmove.c | 13 +++++++++---- 2 files changed, 13 insertions(+), 4 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index eca76ca6024..8994dd2a9cc 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2001-03-27 Richard Henderson + * regmove.c (perhaps_ends_bb_p): Use can_throw_internal to + reduce false positives. + (regmove_optimize): Disable if flag_non_call_exceptions. + * stmt.c (expand_return): Remove always true predicate. (expand_decl_cleanup_no_eh): Remove dead code. diff --git a/gcc/regmove.c b/gcc/regmove.c index 262338f6b05..26c4546fce3 100644 --- a/gcc/regmove.c +++ b/gcc/regmove.c @@ -395,11 +395,11 @@ static int perhaps_ends_bb_p (insn) /* A CALL_INSN might be the last insn of a basic block, if it is inside an EH region or if there are nonlocal gotos. Note that this test is very conservative. */ - return flag_exceptions || nonlocal_goto_handler_labels; - + if (nonlocal_goto_handler_labels) + return 1; + /* FALLTHRU */ default: - /* All others never end a basic block. */ - return 0; + return can_throw_internal (insn); } } @@ -1062,6 +1062,11 @@ regmove_optimize (f, nregs, regmove_dump_file) int i; rtx copy_src, copy_dst; + /* ??? Hack. Regmove doesn't examine the CFG, and gets mightily + confused by non-call exceptions ending blocks. */ + if (flag_non_call_exceptions) + return; + /* Find out where a potential flags register is live, and so that we can supress some optimizations in those zones. */ mark_flags_life_zones (discover_flags_reg ());