This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
[PATCH][4/n] Handle TODO_verify_rtl_sharing from TODO_verify_il
- From: Richard Biener <rguenther at suse dot de>
- To: gcc-patches at gcc dot gnu dot org
- Date: Mon, 5 May 2014 19:37:26 +0200 (CEST)
- Subject: [PATCH][4/n] Handle TODO_verify_rtl_sharing from TODO_verify_il
- Authentication-results: sourceware.org; auth=none
Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.
Richard.
2014-05-05 Richard Biener <rguenther@suse.de>
* 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.
Index: gcc/passes.c
===================================================================
--- gcc/passes.c (revision 210072)
+++ gcc/passes.c (working copy)
@@ -1743,7 +1743,6 @@ execute_function_todo (function *fn, voi
{
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, voi
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);