From: Richard Biener Date: Mon, 5 May 2014 17:40:08 +0000 (+0000) Subject: passes.c (execute_function_todo): Don't reset TODO_verify_ssa from last_verified... X-Git-Tag: releases/gcc-5.1.0~7777 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=0db7457704f3c609c2c01c8f0f4ee3fecac29a74;p=thirdparty%2Fgcc.git passes.c (execute_function_todo): Don't reset TODO_verify_ssa from last_verified if update_ssa ran. 2014-05-05 Richard Biener * passes.c (execute_function_todo): Don't reset TODO_verify_ssa from last_verified if update_ssa ran. Move TODO_verify_rtl_sharing under the TODO_verify_il umbrella. From-SVN: r210073 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 87d71416a785..6794c08dbeb3 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2014-05-05 Richard Biener + + * passes.c (execute_function_todo): Don't reset TODO_verify_ssa + from last_verified if update_ssa ran. Move TODO_verify_rtl_sharing + under the TODO_verify_il umbrella. + 2014-05-05 Richard Biener * passes.c (execute_function_todo): Move TODO_verify_flow under diff --git a/gcc/passes.c b/gcc/passes.c index 30c849fce390..2b3a63c3e596 100644 --- a/gcc/passes.c +++ b/gcc/passes.c @@ -1743,7 +1743,6 @@ execute_function_todo (function *fn, void *data) { unsigned update_flags = flags & TODO_update_ssa_any; update_ssa (update_flags); - cfun->last_verified &= ~TODO_verify_ssa; } if (flag_tree_pta && (flags & TODO_rebuild_alias)) @@ -1791,9 +1790,9 @@ execute_function_todo (function *fn, void *data) if (current_loops && loops_state_satisfies_p (LOOP_CLOSED_SSA)) verify_loop_closed_ssa (false); + if (cfun->curr_properties & PROP_rtl) + verify_rtl_sharing (); } - if (flags & TODO_verify_rtl_sharing) - verify_rtl_sharing (); /* Make sure verifiers don't change dominator state. */ gcc_assert (dom_info_state (fn, CDI_DOMINATORS) == pre_verify_state);