passes.c (execute_function_todo): Don't reset TODO_verify_ssa from last_verified...

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.

From-SVN: r210073

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 87d7141..6794c08 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 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.
+
+2014-05-05  Richard Biener  <rguenther@suse.de>
+
        * passes.c (execute_function_todo): Move TODO_verify_flow under
        the TODO_verify_ul umbrella.
 

diff --git a/gcc/passes.c b/gcc/passes.c
index 30c849f..2b3a63c 100644 (file)
--- 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);