aboutsummaryrefslogtreecommitdiff
path: root/gcc/flow.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/flow.c')
-rw-r--r--gcc/flow.c7
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/flow.c b/gcc/flow.c
index ac5cee5..12712f2 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;
}