From 76015c34a97c58e6e6fb058f8d34a5be56d3a713 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Thu, 2 Jun 2011 21:52:46 +0000 Subject: cse.c (cse_find_path): Refine change to exclude EDGE_ABNORMAL_CALL edges only... MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 2011-06-02  Eric Botcazou   * cse.c (cse_find_path): Refine change to exclude EDGE_ABNORMAL_CALL edges only, when there is a non-local label in the function. * postreload-gcse.c (bb_has_well_behaved_predecessors): Likewise. From-SVN: r174585 --- gcc/postreload-gcse.c | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'gcc/postreload-gcse.c') diff --git a/gcc/postreload-gcse.c b/gcc/postreload-gcse.c index 0ee50d8..bc55ead 100644 --- a/gcc/postreload-gcse.c +++ b/gcc/postreload-gcse.c @@ -912,12 +912,10 @@ get_avail_load_store_reg (rtx insn) static bool bb_has_well_behaved_predecessors (basic_block bb) { - unsigned int edge_count = EDGE_COUNT (bb->preds); edge pred; edge_iterator ei; - if (edge_count == 0 - || (edge_count == 1 && (single_pred_edge (bb)->flags & EDGE_ABNORMAL))) + if (EDGE_COUNT (bb->preds) == 0) return false; FOR_EACH_EDGE (pred, ei, bb->preds) @@ -925,6 +923,9 @@ bb_has_well_behaved_predecessors (basic_block bb) if ((pred->flags & EDGE_ABNORMAL) && EDGE_CRITICAL_P (pred)) return false; + if ((pred->flags & EDGE_ABNORMAL_CALL) && cfun->has_nonlocal_label) + return false; + if (JUMP_TABLE_DATA_P (BB_END (pred->src))) return false; } -- cgit v1.1