From bbf81a5faed795d45e982363b9807cd7de74ce49 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Wed, 30 Nov 2011 19:53:46 +0100 Subject: re PR rtl-optimization/48721 (ICE: verify_flow_info failed: missing barrier after block 6 with -foptimize-sibling-calls -fsched2-use-superblocks) PR rtl-optimization/48721 * sched-ebb.c (begin_move_insn): Insert empty unreachable block after BARRIER if insn is followed by it. From-SVN: r181855 --- gcc/ChangeLog | 6 ++++++ gcc/sched-ebb.c | 9 +++++++-- 2 files changed, 13 insertions(+), 2 deletions(-) (limited to 'gcc') diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1e5936e..a09a42f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2011-11-30 Jakub Jelinek + + PR rtl-optimization/48721 + * sched-ebb.c (begin_move_insn): Insert empty unreachable + block after BARRIER if insn is followed by it. + 2011-11-30 Richard Henderson * config/sparc/sparc-opts.h (enum sparc_memory_model_type): New. diff --git a/gcc/sched-ebb.c b/gcc/sched-ebb.c index 9a28e2b..cae9f70 100644 --- a/gcc/sched-ebb.c +++ b/gcc/sched-ebb.c @@ -191,8 +191,13 @@ begin_move_insn (rtx insn, rtx last) gcc_assert (NOTE_INSN_BASIC_BLOCK_P (BB_END (bb))); } else - /* Create an empty unreachable block after the INSN. */ - bb = create_basic_block (NEXT_INSN (insn), NULL_RTX, last_bb); + { + /* Create an empty unreachable block after the INSN. */ + rtx next = NEXT_INSN (insn); + if (next && BARRIER_P (next)) + next = NEXT_INSN (next); + bb = create_basic_block (next, NULL_RTX, last_bb); + } /* split_edge () creates BB before E->DEST. Keep in mind, that this operation extends scheduling region till the end of BB. -- cgit v1.1