From 1ee0d6604012f8bf441431e191ea8484ecde1b00 Mon Sep 17 00:00:00 2001 From: Eric Botcazou Date: Sun, 25 Sep 2011 14:55:12 +0000 Subject: [PATCH] tree-eh.c (cleanup_empty_eh): Allow a call to __builtin_stack_restore if there is no outgoing edge. * tree-eh.c (cleanup_empty_eh): Allow a call to __builtin_stack_restore if there is no outgoing edge. * tree-scalar-evolution.c (simple_iv): Accept all kinds of pointer and integral types. From-SVN: r179165 --- gcc/ChangeLog | 8 ++++++++ gcc/tree-eh.c | 9 ++++++++- gcc/tree-scalar-evolution.c | 4 ++-- 3 files changed, 18 insertions(+), 3 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 6978fab421f7..2ad1aeffcce3 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2011-09-25 Eric Botcazou + + * tree-eh.c (cleanup_empty_eh): Allow a call to __builtin_stack_restore + if there is no outgoing edge. + + * tree-scalar-evolution.c (simple_iv): Accept all kinds of pointer and + integral types. + 2011-09-25 Ira Rosen * tree-vect-slp.c (vect_slp_analyze_bb_1): Split out core part diff --git a/gcc/tree-eh.c b/gcc/tree-eh.c index f10d72d1d68a..3a582678f338 100644 --- a/gcc/tree-eh.c +++ b/gcc/tree-eh.c @@ -3863,8 +3863,15 @@ cleanup_empty_eh (eh_landing_pad lp) return cleanup_empty_eh_unsplit (bb, e_out, lp); } - /* The block should consist only of a single RESX statement. */ + /* The block should consist only of a single RESX statement, modulo a + preceding call to __builtin_stack_restore if there is no outgoing + edge, since the call can be eliminated in this case. */ resx = gsi_stmt (gsi); + if (!e_out && gimple_call_builtin_p (resx, BUILT_IN_STACK_RESTORE)) + { + gsi_next (&gsi); + resx = gsi_stmt (gsi); + } if (!is_gimple_resx (resx)) return false; gcc_assert (gsi_one_before_end_p (gsi)); diff --git a/gcc/tree-scalar-evolution.c b/gcc/tree-scalar-evolution.c index 6c32923852e8..2077c8dc9f3d 100644 --- a/gcc/tree-scalar-evolution.c +++ b/gcc/tree-scalar-evolution.c @@ -3172,8 +3172,8 @@ simple_iv (struct loop *wrto_loop, struct loop *use_loop, tree op, iv->no_overflow = false; type = TREE_TYPE (op); - if (TREE_CODE (type) != INTEGER_TYPE - && TREE_CODE (type) != POINTER_TYPE) + if (!POINTER_TYPE_P (type) + && !INTEGRAL_TYPE_P (type)) return false; ev = analyze_scalar_evolution_in_loop (wrto_loop, use_loop, op, -- 2.47.2