[PATCH][4/n] Handle TODO_verify_rtl_sharing from TODO_verify_il

[Richard Biener]

Bootstrapped and tested on x86_64-unknown-linux-gnu, applied.

Richard.

2014-05-05  Richard Biener  <rguent...@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);