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 87d71416a7853fef71377ccdcbd603e1725f9240..6794c08dbeb3d4e01f1e96bf033eeb08b0957b52 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+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

diff --git a/gcc/passes.c b/gcc/passes.c
index 30c849fce3906304317c35c5ebbf3ebe18404d31..2b3a63c3e5962332fe9137e78eb955f13b16b974 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);