From cde1d5bf91c64fd33b2b9ddd35cdc948344baed4 Mon Sep 17 00:00:00 2001 From: Jan Hubicka Date: Mon, 7 Apr 2003 14:36:59 +0200 Subject: re PR rtl-optimization/10024 ([HP-PA] inline optimization ICE) PR opt/10024 * cfglayout.c (cfg_layout_redirect_edge): Redirect any branch edges unified with the fallthru one. * cfgrtl.c (force_nonfallthru_and_redirect): Do not special case fallthru edges when called via cfglayout.c From-SVN: r65330 --- gcc/ChangeLog | 8 ++++++++ gcc/cfglayout.c | 7 +++++++ gcc/cfgrtl.c | 3 +++ 3 files changed, 18 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 38ed2cbfcca..8fa41fd4ebe 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +Mon Apr 7 14:36:24 CEST 2003 Jan Hubicka + + PR opt/10024 + * cfglayout.c (cfg_layout_redirect_edge): + Redirect any branch edges unified with the fallthru one. + * cfgrtl.c (force_nonfallthru_and_redirect): Do not special + case fallthru edges when called via cfglayout.c + 2003-04-07 J"orn Rennecke * c-typeck.c (output_init_element): Check for type == error_mark_node. diff --git a/gcc/cfglayout.c b/gcc/cfglayout.c index b5be7ca29b3..3420bd1322a 100644 --- a/gcc/cfglayout.c +++ b/gcc/cfglayout.c @@ -904,6 +904,13 @@ cfg_layout_redirect_edge (e, dest) src->next_bb = NULL; if (e->flags & EDGE_FALLTHRU) { + /* Redirect any branch edges unified with the fallthru one. */ + if (GET_CODE (src->end) == JUMP_INSN + && JUMP_LABEL (src->end) == e->dest->head) + { + if (!redirect_jump (src->end, block_label (dest), 0)) + abort (); + } /* In case we are redirecting fallthru edge to the branch edge of conditional jump, remove it. */ if (src->succ->succ_next diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c index 185676b9041..1683ca48e21 100644 --- a/gcc/cfgrtl.c +++ b/gcc/cfgrtl.c @@ -927,6 +927,9 @@ force_nonfallthru_and_redirect (e, target) by creating an basic block afterwards to redirect fallthru edge. */ if (e->src != ENTRY_BLOCK_PTR && e->dest != EXIT_BLOCK_PTR && any_condjump_p (e->src->end) + /* When called from cfglayout, fallthru edges do not + neccessarily go to the next block. */ + && e->src->next_bb == e->dest && JUMP_LABEL (e->src->end) == e->dest->head) { rtx note; -- cgit v1.2.1