From 6e456f4cf4deee3e2ccd9849286f59b90644c48b Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Mon, 12 Dec 2011 22:00:36 +0100 Subject: [PATCH] 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 --- gcc/ChangeLog | 5 +++++ gcc/function.c | 19 ++++++++++++++++--- gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/gcc.c-torture/compile/pr51495.c | 14 ++++++++++++++ 4 files changed, 38 insertions(+), 3 deletions(-) create mode 100644 gcc/testsuite/gcc.c-torture/compile/pr51495.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 68d354d6005..6a7fedd0439 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,10 @@ 2011-12-12 Jakub Jelinek + 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. + PR tree-optimization/51481 * gimple-fold.c (gimple_fold_call): Call maybe_clean_or_replace_eh_stmt. Avoid optimization if stmt has EH diff --git a/gcc/function.c b/gcc/function.c index a081b270ec0..506ec030745 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 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5f0f1955c26..acf3efc7ada 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2011-12-12 Jakub Jelinek + PR rtl-optimization/51495 + * gcc.c-torture/compile/pr51495.c: New test. + PR tree-optimization/51481 * gcc.dg/pr51481.c: New test. diff --git a/gcc/testsuite/gcc.c-torture/compile/pr51495.c b/gcc/testsuite/gcc.c-torture/compile/pr51495.c new file mode 100644 index 00000000000..34de37b5309 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr51495.c @@ -0,0 +1,14 @@ +/* PR rtl-optimization/51495 */ + +void bar (void); + +int +foo (int i) +{ + static const void *const table[] = { &&begin, &&end }; + goto *(table[i]); +begin: + bar (); +end: + return 0; +} -- 2.30.2