From 0dd94abd70d7b14b56d60eac7333cdd9f028d278 Mon Sep 17 00:00:00 2001 From: Jan Hubicka Date: Mon, 23 Jul 2001 17:27:33 +0200 Subject: [PATCH] flow.c (try_simplify_condjump): Unlink insn chain on fallthru edge; use can_fallthru. * flow.c (try_simplify_condjump): Unlink insn chain on fallthru edge; use can_fallthru. From-SVN: r44268 --- gcc/ChangeLog | 5 +++++ gcc/flow.c | 7 ++++++- 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5de1093c069..642408d7876 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +Mon Jul 23 17:20:18 CEST 2001 Jan Hubicka + + * flow.c (try_simplify_condjump): Unlink insn chain on + fallthru edge; use can_fallthru. + Mon Jul 23 16:03:19 CEST 2001 Jan Hubicka * basic-block.h (find_sub_basic_block): Declare. diff --git a/gcc/flow.c b/gcc/flow.c index ac5cee53eed..12712f26a83 100644 --- a/gcc/flow.c +++ b/gcc/flow.c @@ -3056,7 +3056,8 @@ try_simplify_condjump (cbranch_block) /* The conditional branch must target the block after the unconditional branch. */ cbranch_dest_block = cbranch_jump_edge->dest; - if (cbranch_dest_block->index != jump_block->index + 1) + + if (!can_fallthru (jump_block, cbranch_dest_block)) return false; /* Invert the conditional branch. Prevent jump.c from deleting @@ -3079,6 +3080,10 @@ try_simplify_condjump (cbranch_block) cbranch_fallthru_edge->flags &= ~EDGE_FALLTHRU; flow_delete_block (jump_block); + /* Selectively unlink the sequence. */ + if (cbranch_jump_edge->src->end != PREV_INSN (cbranch_jump_edge->dest->head)) + flow_delete_insn_chain (NEXT_INSN (cbranch_jump_edge->src->end), + PREV_INSN (cbranch_jump_edge->dest->head)); return true; } -- 2.30.2