From 891ca07d493c51f468710ba0f4af74bbe5e09fdd Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Tue, 12 Jun 2012 09:52:47 +0200 Subject: [PATCH] re PR rtl-optimization/53589 (ICE in maybe_record_trace_start with asm goto) PR rtl-optimization/53589 * cfgrtl.c (force_nonfallthru_and_redirect): Do asm_goto_edge discovery even when e->dest != target. If any LABEL_REF points to e->dest label, redirect it to target's label. * gcc.dg/torture/pr53589.c: New test. From-SVN: r188428 --- gcc/ChangeLog | 7 +++++++ gcc/cfgrtl.c | 12 ++++++------ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/torture/pr53589.c | 15 +++++++++++++++ 4 files changed, 33 insertions(+), 6 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/torture/pr53589.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c2e212c42fd..aa50728f57b 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2012-06-12 Jakub Jelinek + + PR rtl-optimization/53589 + * cfgrtl.c (force_nonfallthru_and_redirect): Do asm_goto_edge + discovery even when e->dest != target. If any LABEL_REF points + to e->dest label, redirect it to target's label. + 2012-06-12 Chung-Lin Tang * config/sh/sh.c (output_stack_adjust): Remove !epilogue_p diff --git a/gcc/cfgrtl.c b/gcc/cfgrtl.c index 031dc259e95..3e4b65ec95b 100644 --- a/gcc/cfgrtl.c +++ b/gcc/cfgrtl.c @@ -1293,21 +1293,21 @@ force_nonfallthru_and_redirect (edge e, basic_block target, rtx jump_label) } /* If e->src ends with asm goto, see if any of the ASM_OPERANDS_LABELs - don't point to target label. */ + don't point to the target or fallthru label. */ if (JUMP_P (BB_END (e->src)) && target != EXIT_BLOCK_PTR - && e->dest == target && (e->flags & EDGE_FALLTHRU) && (note = extract_asm_operands (PATTERN (BB_END (e->src))))) { int i, n = ASM_OPERANDS_LABEL_LENGTH (note); for (i = 0; i < n; ++i) - if (XEXP (ASM_OPERANDS_LABEL (note, i), 0) == BB_HEAD (target)) - { + { + if (XEXP (ASM_OPERANDS_LABEL (note, i), 0) == BB_HEAD (e->dest)) + XEXP (ASM_OPERANDS_LABEL (note, i), 0) = block_label (target); + if (XEXP (ASM_OPERANDS_LABEL (note, i), 0) == BB_HEAD (target)) asm_goto_edge = true; - break; - } + } } if (EDGE_COUNT (e->src->succs) >= 2 || abnormal_edge_flags || asm_goto_edge) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 04725bd3c66..2954f59f146 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-06-12 Jakub Jelinek + + PR rtl-optimization/53589 + * gcc.dg/torture/pr53589.c: New test. + 2012-06-12 Oleg Endo PR target/50749 diff --git a/gcc/testsuite/gcc.dg/torture/pr53589.c b/gcc/testsuite/gcc.dg/torture/pr53589.c new file mode 100644 index 00000000000..5ab78907f98 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr53589.c @@ -0,0 +1,15 @@ +/* PR rtl-optimization/53589 */ +/* { dg-do compile } */ + +extern void foo (void) __attribute__ ((__noreturn__)); + +void +bar (int x) +{ + if (x < 0) + foo (); + if (x == 0) + return; + __asm goto ("# %l[lab]" : : : : lab); +lab:; +} -- 2.30.2