From ffc8f11e8c85e4195a83300ef09ab497929cef69 Mon Sep 17 00:00:00 2001 From: Josef Zlomek Date: Thu, 13 Feb 2003 19:31:40 +0100 Subject: [PATCH] cfgcleanup.c (outgoing_edges_match): When there is single outgoing edge and block ends with a jump insn it must be... * cfgcleanup.c (outgoing_edges_match): When there is single outgoing edge and block ends with a jump insn it must be simple jump. From-SVN: r62858 --- gcc/ChangeLog | 5 +++++ gcc/cfgcleanup.c | 6 ++++-- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 355aec2088a..b60757702ba 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2003-02-13 Josef Zlomek + + * cfgcleanup.c (outgoing_edges_match): When there is single outgoing + edge and block ends with a jump insn it must be simple jump. + 2003-02-13 Daniel Jacobowitz * Makefile.in (PREPROCESSOR_DEFINES): Add diff --git a/gcc/cfgcleanup.c b/gcc/cfgcleanup.c index 2a23cc08fab..338281a6990 100644 --- a/gcc/cfgcleanup.c +++ b/gcc/cfgcleanup.c @@ -1119,9 +1119,11 @@ outgoing_edges_match (mode, bb1, bb2) /* If BB1 has only one successor, we may be looking at either an unconditional jump, or a fake edge to exit. */ if (bb1->succ && !bb1->succ->succ_next - && !(bb1->succ->flags & (EDGE_COMPLEX | EDGE_FAKE))) + && (bb1->succ->flags & (EDGE_COMPLEX | EDGE_FAKE)) == 0 + && (GET_CODE (bb1->end) != JUMP_INSN || simplejump_p (bb1->end))) return (bb2->succ && !bb2->succ->succ_next - && (bb2->succ->flags & (EDGE_COMPLEX | EDGE_FAKE)) == 0); + && (bb2->succ->flags & (EDGE_COMPLEX | EDGE_FAKE)) == 0 + && (GET_CODE (bb2->end) != JUMP_INSN || simplejump_p (bb2->end))); /* Match conditional jumps - this may get tricky when fallthru and branch edges are crossed. */ -- 2.30.2