diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2011-12-12 22:00:36 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2011-12-12 22:00:36 +0100 |
| commit | 6e456f4cf4deee3e2ccd9849286f59b90644c48b (patch) | |
| tree | 7ed652648dc198102247414a0ec9f76f20b4e4d9 /gcc/function.c | |
| parent | c88388e6745fb65bbc41c1e941c41f02ff27e4b7 (diff) | |
| download | gcc-6e456f4cf4deee3e2ccd9849286f59b90644c48b.zip gcc-6e456f4cf4deee3e2ccd9849286f59b90644c48b.tar.gz gcc-6e456f4cf4deee3e2ccd9849286f59b90644c48b.tar.bz2 | |
re PR rtl-optimization/51495 (ICE: in force_nonfallthru_and_redirect, at cfgrtl.c:1171 with computed goto)
PR rtl-optimization/51495
* function.c (thread_prologue_and_epilogue_insns): Don't add
to bb_tail basic blocks that have EDGE_COMPLEX predecessor edges
from basic blocks not needing prologue.
* gcc.c-torture/compile/pr51495.c: New test.
From-SVN: r182265
Diffstat (limited to 'gcc/function.c')
| -rw-r--r-- | gcc/function.c | 19 |
1 files changed, 16 insertions, 3 deletions
diff --git a/gcc/function.c b/gcc/function.c index a081b27..506ec03 100644 --- a/gcc/function.c +++ b/gcc/function.c @@ -5956,9 +5956,22 @@ thread_prologue_and_epilogue_insns (void) FOR_EACH_EDGE (e, ei, tmp_bb->preds) if (single_succ_p (e->src) && !bitmap_bit_p (&bb_on_list, e->src->index) - && can_duplicate_block_p (e->src) - && bitmap_set_bit (&bb_tail, e->src->index)) - VEC_quick_push (basic_block, vec, e->src); + && can_duplicate_block_p (e->src)) + { + edge pe; + edge_iterator pei; + + /* If there is predecessor of e->src which doesn't + need prologue and the edge is complex, + we might not be able to redirect the branch + to a copy of e->src. */ + FOR_EACH_EDGE (pe, pei, e->src->preds) + if ((pe->flags & EDGE_COMPLEX) != 0 + && !bitmap_bit_p (&bb_flags, pe->src->index)) + break; + if (pe == NULL && bitmap_set_bit (&bb_tail, e->src->index)) + VEC_quick_push (basic_block, vec, e->src); + } } /* Now walk backwards from every block that is marked as needing |