RTL sharing checker patch

Jan Hubicka jh@suse.cz
Tue Sep 4 15:06:00 GMT 2007


Hi,
since last fixes for RTL sharing checker to pass on primary platforms
has been approved, I am now re-testing the checker on platforms I can
check myself (i686-linux, x86_64-linux, ppc-linux, ppc64-linux,
ia64-linux) and intend to commit the following patch if everything
passes (I truly hope so ;) as discussed few months back.
Other primary platforms has been reported earlier to work with patch
combining this change and the two fixes I comitted today.

i686-linux, x86_64-linux already passed.

Honza

	* regrename.c (pass_regrename, pass_cprop_hardreg): Add RTL sharing
	verifier.
	* fwprop.c (pass_rtl_fwprop, pass_rtl_fwprop_add): Likewise.
	* see.c (pass_see): Likewise.
	* tracer.c (pass_tracer): Likewise.
	* postreload-gcse.c (pass_gcse2): Likewise.
	* postreload.c (pass_postreload_cse): Likewise.
	* mode-switching.c (pass_mode_switching): Likewise.
	* modulo-sched.c (pass_sms): Likewise.
	* cse.c (cse_insn): Likewise.
	* web.c (pass_web): Likweise.
	* combine-stack-adj.c (pass_stack_adjustments): Likewise.
	* dce.c (pass_ud_rtl_dce, pass_fast_rtl_dce): Likewise.
	* loop-init.c (pass_rtl_loop_init): Likewise.
	(pass_rtl_loop_done, pass_rtl_move_loop_, pass_rtl_unswitch,
	pass_rtl_unroll_and, pass_rtl_doloop): Likewise.
	* global.c (pass_global_alloc): Likewise.
	* ifcvt.c (pass_rtl_ifcvt, pass_if_after_combine,
	pass_if_after_reload): Likewise.
	* reload.c (pass_peephole2, pass_split_for_shoren_branches): Likewise.
	* dse.c (pass_rtl_dse1, pass_rtl_dse2): Likewise.
	* regmove.c (pass_regmove): Likewise.
	* function.c (pass_thread_prologugues_epilogues): Likewise.
	* gcse.c (pass_gcse): Likewise.
	* rtl-factoring.c (pass_rtl_seqabstr): Likewise.
	* lower-subreg.c (pass_lower_subreg2): Likewise.
	* bt-load.c (pass_branch_target_load): Likewise.
	* emit-rtl.c (pass_unshare_all_rtl): Likewise.
	* cfgcleanup.c (pass_jump, pass_jump2): Likewise.
	* combine.c (pass_combine): Likewise.
	* bb-reorder.c (pass_duplicate_comp, pass_reorder_blocks): Likewise.
	(pass_partition_blocks): Likewise.
	* var-tracking.c (pass_variable_track): Likewise.
	* reg-stack.c (pass_stack_regs_run): Likewise.
	* sched-rgn.c (pass_sched, pass_sched2): Likewise.
	* passes.c (pass_postreload): Likewise.
	(execute_function_todo): Add TODO_verify_rtl_sharing handling code.
	* tree-pass.h (TODO_verify_rtl_sharing): New.
	(TODO_update_ssa, TODO_update_ssa_no_phi, TODO_update_ssa_full_phi,
	TODO_update_ssa_only_virtuals, TODO_remove_unused_locals,
	TODO_set_props, TODO_df_finish, TODO_df_verify,
	TODO_mark_first_instance, TODO_rebuild_alias): Renumber.

Index: regrename.c
===================================================================
*** regrename.c	(revision 128073)
--- regrename.c	(working copy)
*************** struct tree_opt_pass pass_regrename =
*** 1952,1958 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func,                       /* todo_flags_finish */
    'n'                                   /* letter */
  };
--- 1952,1958 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func,                       /* todo_flags_finish */
    'n'                                   /* letter */
  };
*************** struct tree_opt_pass pass_cprop_hardreg 
*** 1985,1991 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    'n'                                   /* letter */
  };
  
--- 1985,1991 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing, /* todo_flags_finish */
    'n'                                   /* letter */
  };
  
Index: fwprop.c
===================================================================
*** fwprop.c	(revision 128073)
--- fwprop.c	(working copy)
*************** struct tree_opt_pass pass_rtl_fwprop =
*** 999,1005 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func,                       /* todo_flags_finish */
    0                                     /* letter */
  };
--- 999,1005 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func,                       /* todo_flags_finish */
    0                                     /* letter */
  };
*************** struct tree_opt_pass pass_rtl_fwprop_add
*** 1041,1047 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func,                       /* todo_flags_finish */
    0                                     /* letter */
  };
--- 1041,1047 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func,                       /* todo_flags_finish */
    0                                     /* letter */
  };
Index: see.c
===================================================================
*** see.c	(revision 128073)
--- see.c	(working copy)
*************** struct tree_opt_pass pass_see =
*** 3832,3838 ****
    0,					/* properties_destroyed */
    0,					/* todo_flags_start */
    TODO_df_verify |
!   TODO_df_finish |
    TODO_dump_func,			/* todo_flags_finish */
    'u'					/* letter */
  };
--- 3832,3838 ----
    0,					/* properties_destroyed */
    0,					/* todo_flags_start */
    TODO_df_verify |
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func,			/* todo_flags_finish */
    'u'					/* letter */
  };
Index: tracer.c
===================================================================
*** tracer.c	(revision 128073)
--- tracer.c	(working copy)
*************** struct tree_opt_pass pass_tracer =
*** 410,416 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    'T'                                   /* letter */
  };
  
--- 410,416 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing, /* todo_flags_finish */
    'T'                                   /* letter */
  };
  
Index: postreload-gcse.c
===================================================================
*** postreload-gcse.c	(revision 128073)
--- postreload-gcse.c	(working copy)
*************** struct tree_opt_pass pass_gcse2 =
*** 1322,1329 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func |
!   TODO_verify_flow | TODO_ggc_collect,  /* todo_flags_finish */
    'J'                                   /* letter */
  };
  
--- 1322,1329 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing
!   | TODO_verify_flow | TODO_ggc_collect,/* todo_flags_finish */
    'J'                                   /* letter */
  };
  
Index: postreload.c
===================================================================
*** postreload.c	(revision 128073)
--- postreload.c	(working copy)
*************** struct tree_opt_pass pass_postreload_cse
*** 1598,1604 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func,                       /* todo_flags_finish */
    'o'                                   /* letter */
  };
--- 1598,1604 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func,                       /* todo_flags_finish */
    'o'                                   /* letter */
  };
Index: tree-pass.h
===================================================================
*** tree-pass.h	(revision 128073)
--- tree-pass.h	(working copy)
*************** struct dump_file_info
*** 169,174 ****
--- 169,175 ----
  #define TODO_dump_cgraph		(1 << 7)
  #define TODO_remove_functions		(1 << 8)
  #define TODO_rebuild_frequencies	(1 << 9)
+ #define TODO_verify_rtl_sharing         (1 << 10)
  
  /* To-do flags for calls to update_ssa.  */
  
*************** struct dump_file_info
*** 180,192 ****
     in blocks that have one or more edges with no incoming definition
     for O_j.  This would lead to uninitialized warnings for O_j's
     symbol.  */
! #define TODO_update_ssa			(1 << 10)
  
  /* Update the SSA form without inserting any new PHI nodes at all.
     This is used by passes that have either inserted all the PHI nodes
     themselves or passes that need only to patch use-def and def-def
     chains for virtuals (e.g., DCE).  */
! #define TODO_update_ssa_no_phi		(1 << 11)
  
  /* Insert PHI nodes everywhere they are needed.  No pruning of the
     IDF is done.  This is used by passes that need the PHI nodes for
--- 181,193 ----
     in blocks that have one or more edges with no incoming definition
     for O_j.  This would lead to uninitialized warnings for O_j's
     symbol.  */
! #define TODO_update_ssa			(1 << 11)
  
  /* Update the SSA form without inserting any new PHI nodes at all.
     This is used by passes that have either inserted all the PHI nodes
     themselves or passes that need only to patch use-def and def-def
     chains for virtuals (e.g., DCE).  */
! #define TODO_update_ssa_no_phi		(1 << 12)
  
  /* Insert PHI nodes everywhere they are needed.  No pruning of the
     IDF is done.  This is used by passes that need the PHI nodes for
*************** struct dump_file_info
*** 197,203 ****
     may be doing something wrong.  Inserting PHI nodes for an old name
     where not all edges carry a new replacement may lead to silent
     codegen errors or spurious uninitialized warnings.  */
! #define TODO_update_ssa_full_phi	(1 << 12)
  
  /* Passes that update the SSA form on their own may want to delegate
     the updating of virtual names to the generic updater.  Since FUD
--- 198,204 ----
     may be doing something wrong.  Inserting PHI nodes for an old name
     where not all edges carry a new replacement may lead to silent
     codegen errors or spurious uninitialized warnings.  */
! #define TODO_update_ssa_full_phi	(1 << 13)
  
  /* Passes that update the SSA form on their own may want to delegate
     the updating of virtual names to the generic updater.  Since FUD
*************** struct dump_file_info
*** 205,234 ****
     to do.  NOTE: If this flag is used, any OLD->NEW mappings for real
     names are explicitly destroyed and only the symbols marked for
     renaming are processed.  */
! #define TODO_update_ssa_only_virtuals	(1 << 13)
  
  /* Some passes leave unused local variables that can be removed from
     cfun->unexpanded_var_list.  This reduces the size of dump files and
     the memory footprint for VAR_DECLs.  */
! #define TODO_remove_unused_locals	(1 << 14)
  
  /* Internally used for the first in a sequence of passes.  It is set
     for the passes that are handed to register_dump_files.  */
! #define TODO_set_props			(1 << 15)
  
  /* Call df_finish at the end of the pass.  This is done after all of
     the dumpers have been allowed to run so that they have access to
     the instance before it is destroyed.  */
! #define TODO_df_finish                  (1 << 16)
  
  /* Call df_verify at the end of the pass if checking is enabled.  */
! #define TODO_df_verify                  (1 << 17)
  
  /* Internally used for the first instance of a pass.  */
! #define TODO_mark_first_instance	(1 << 18)
  
  /* Rebuild aliasing info.  */
! #define TODO_rebuild_alias                (1 << 19)
  
  #define TODO_update_ssa_any		\
      (TODO_update_ssa			\
--- 206,235 ----
     to do.  NOTE: If this flag is used, any OLD->NEW mappings for real
     names are explicitly destroyed and only the symbols marked for
     renaming are processed.  */
! #define TODO_update_ssa_only_virtuals	(1 << 14)
  
  /* Some passes leave unused local variables that can be removed from
     cfun->unexpanded_var_list.  This reduces the size of dump files and
     the memory footprint for VAR_DECLs.  */
! #define TODO_remove_unused_locals	(1 << 15)
  
  /* Internally used for the first in a sequence of passes.  It is set
     for the passes that are handed to register_dump_files.  */
! #define TODO_set_props			(1 << 16)
  
  /* Call df_finish at the end of the pass.  This is done after all of
     the dumpers have been allowed to run so that they have access to
     the instance before it is destroyed.  */
! #define TODO_df_finish                  (1 << 17)
  
  /* Call df_verify at the end of the pass if checking is enabled.  */
! #define TODO_df_verify                  (1 << 18)
  
  /* Internally used for the first instance of a pass.  */
! #define TODO_mark_first_instance	(1 << 19)
  
  /* Rebuild aliasing info.  */
! #define TODO_rebuild_alias                (1 << 20)
  
  #define TODO_update_ssa_any		\
      (TODO_update_ssa			\
Index: mode-switching.c
===================================================================
*** mode-switching.c	(revision 128073)
--- mode-switching.c	(working copy)
*************** struct tree_opt_pass pass_mode_switching
*** 769,775 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func,                       /* todo_flags_finish */
    0                                     /* letter */
  };
--- 769,775 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func,                       /* todo_flags_finish */
    0                                     /* letter */
  };
Index: modulo-sched.c
===================================================================
*** modulo-sched.c	(revision 128073)
--- modulo-sched.c	(working copy)
*************** struct tree_opt_pass pass_sms =
*** 2653,2659 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    TODO_dump_func,                       /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'm'                                   /* letter */
--- 2653,2659 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    TODO_dump_func,                       /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'm'                                   /* letter */
Index: cse.c
===================================================================
*** cse.c	(revision 128073)
--- cse.c	(working copy)
*************** cse_insn (rtx insn, rtx libcall_insn)
*** 4786,4799 ****
  				  src_related_cost, src_related_regcost) <= 0
  		   && preferable (src_eqv_cost, src_eqv_regcost,
  				  src_elt_cost, src_elt_regcost) <= 0)
! 	    trial = copy_rtx (src_eqv_here), src_eqv_cost = MAX_COST;
  	  else if (src_related
  		   && preferable (src_related_cost, src_related_regcost,
  				  src_elt_cost, src_elt_regcost) <= 0)
! 	    trial = copy_rtx (src_related), src_related_cost = MAX_COST;
  	  else
  	    {
! 	      trial = copy_rtx (elt->exp);
  	      elt = elt->next_same_value;
  	      src_elt_cost = MAX_COST;
  	    }
--- 4786,4799 ----
  				  src_related_cost, src_related_regcost) <= 0
  		   && preferable (src_eqv_cost, src_eqv_regcost,
  				  src_elt_cost, src_elt_regcost) <= 0)
! 	    trial = src_eqv_here, src_eqv_cost = MAX_COST;
  	  else if (src_related
  		   && preferable (src_related_cost, src_related_regcost,
  				  src_elt_cost, src_elt_regcost) <= 0)
! 	    trial = src_related, src_related_cost = MAX_COST;
  	  else
  	    {
! 	      trial = elt->exp;
  	      elt = elt->next_same_value;
  	      src_elt_cost = MAX_COST;
  	    }
*************** struct tree_opt_pass pass_cse =
*** 7024,7030 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func |
    TODO_ggc_collect |
    TODO_verify_flow,                     /* todo_flags_finish */
--- 7024,7030 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func |
    TODO_ggc_collect |
    TODO_verify_flow,                     /* todo_flags_finish */
*************** struct tree_opt_pass pass_cse2 =
*** 7082,7088 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func |
    TODO_ggc_collect |
    TODO_verify_flow,                     /* todo_flags_finish */
--- 7082,7088 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func |
    TODO_ggc_collect |
    TODO_verify_flow,                     /* todo_flags_finish */
Index: web.c
===================================================================
*** web.c	(revision 128073)
--- web.c	(working copy)
*************** struct tree_opt_pass pass_web =
*** 384,390 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | 
    TODO_dump_func,                       /* todo_flags_finish */
    'Z'                                   /* letter */
  };
--- 384,390 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing | 
    TODO_dump_func,                       /* todo_flags_finish */
    'Z'                                   /* letter */
  };
Index: loop-init.c
===================================================================
*** loop-init.c	(revision 128073)
--- loop-init.c	(working copy)
*************** struct tree_opt_pass pass_rtl_loop_init 
*** 185,191 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    'L'                                   /* letter */
  };
  
--- 185,191 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing, /* todo_flags_finish */
    'L'                                   /* letter */
  };
  
*************** struct tree_opt_pass pass_rtl_loop_done 
*** 218,224 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    'L'                                   /* letter */
  };
  
--- 218,224 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing, /* todo_flags_finish */
    'L'                                   /* letter */
  };
  
*************** struct tree_opt_pass pass_rtl_move_loop_
*** 252,258 ****
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */ 
    TODO_df_verify |
!   TODO_df_finish |
    TODO_dump_func,                       /* todo_flags_finish */
    'L'                                   /* letter */
  };
--- 252,258 ----
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */ 
    TODO_df_verify |
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func,                       /* todo_flags_finish */
    'L'                                   /* letter */
  };
*************** struct tree_opt_pass pass_rtl_unswitch =
*** 286,292 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    'L'                                   /* letter */
  };
  
--- 286,292 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing, /* todo_flags_finish */
    'L'                                   /* letter */
  };
  
*************** struct tree_opt_pass pass_rtl_unroll_and
*** 332,338 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    'L'                                   /* letter */
  };
  
--- 332,338 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing, /* todo_flags_finish */
    'L'                                   /* letter */
  };
  
*************** struct tree_opt_pass pass_rtl_doloop =
*** 371,377 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    'L'                                   /* letter */
  };
  
--- 371,377 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing, /* todo_flags_finish */
    'L'                                   /* letter */
  };
  
Index: global.c
===================================================================
*** global.c	(revision 128073)
--- global.c	(working copy)
*************** struct tree_opt_pass pass_global_alloc =
*** 2108,2115 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func |
!   TODO_ggc_collect,                     /* todo_flags_finish */
    'g'                                   /* letter */
  };
  
--- 2108,2115 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing
!   | TODO_ggc_collect,                   /* todo_flags_finish */
    'g'                                   /* letter */
  };
  
Index: ifcvt.c
===================================================================
*** ifcvt.c	(revision 128073)
--- ifcvt.c	(working copy)
*************** struct tree_opt_pass pass_rtl_ifcvt =
*** 4088,4094 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func,                       /* todo_flags_finish */
    'C'                                   /* letter */
  };
--- 4088,4094 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func,                       /* todo_flags_finish */
    'C'                                   /* letter */
  };
*************** struct tree_opt_pass pass_if_after_combi
*** 4122,4128 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'C'                                   /* letter */
--- 4122,4128 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'C'                                   /* letter */
*************** struct tree_opt_pass pass_if_after_reloa
*** 4156,4162 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'E'                                   /* letter */
--- 4156,4162 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'E'                                   /* letter */
Index: recog.c
===================================================================
*** recog.c	(revision 128073)
--- recog.c	(working copy)
*************** struct tree_opt_pass pass_peephole2 =
*** 3332,3338 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func,                       /* todo_flags_finish */
    'z'                                   /* letter */
  };
--- 3332,3338 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func,                       /* todo_flags_finish */
    'z'                                   /* letter */
  };
*************** struct tree_opt_pass pass_split_for_shor
*** 3493,3499 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    0                                     /* letter */
  };
  
--- 3493,3499 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing, /* todo_flags_finish */
    0                                     /* letter */
  };
  
Index: dse.c
===================================================================
*** dse.c	(revision 128073)
--- dse.c	(working copy)
*************** struct tree_opt_pass pass_rtl_dse1 =
*** 3082,3088 ****
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
    TODO_dump_func |
!   TODO_df_finish |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'w'                                   /* letter */
  };
--- 3082,3088 ----
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
    TODO_dump_func |
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'w'                                   /* letter */
  };
*************** struct tree_opt_pass pass_rtl_dse2 =
*** 3101,3107 ****
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
    TODO_dump_func |
!   TODO_df_finish |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'w'                                   /* letter */
  };
--- 3101,3107 ----
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
    TODO_dump_func |
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'w'                                   /* letter */
  };
Index: regmove.c
===================================================================
*** regmove.c	(revision 128073)
--- regmove.c	(working copy)
*************** struct tree_opt_pass pass_regmove =
*** 2121,2127 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'N'                                   /* letter */
--- 2121,2127 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'N'                                   /* letter */
Index: function.c
===================================================================
*** function.c	(revision 128073)
--- function.c	(working copy)
*************** struct tree_opt_pass pass_thread_prologu
*** 5513,5519 ****
    TODO_verify_flow,                     /* todo_flags_start */
    TODO_dump_func |
    TODO_df_verify |
!   TODO_df_finish |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'w'                                   /* letter */
  };
--- 5513,5519 ----
    TODO_verify_flow,                     /* todo_flags_start */
    TODO_dump_func |
    TODO_df_verify |
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'w'                                   /* letter */
  };
Index: gcse.c
===================================================================
*** gcse.c	(revision 128073)
--- gcse.c	(working copy)
*************** struct tree_opt_pass pass_gcse =
*** 6746,6752 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func |
    TODO_verify_flow | TODO_ggc_collect,  /* todo_flags_finish */
    'G'                                   /* letter */
--- 6746,6752 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func |
    TODO_verify_flow | TODO_ggc_collect,  /* todo_flags_finish */
    'G'                                   /* letter */
Index: rtl-factoring.c
===================================================================
*** rtl-factoring.c	(revision 128073)
--- rtl-factoring.c	(working copy)
*************** struct tree_opt_pass pass_rtl_seqabstr =
*** 1428,1434 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'Q'                                   /* letter */
--- 1428,1434 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'Q'                                   /* letter */
Index: lower-subreg.c
===================================================================
*** lower-subreg.c	(revision 128073)
--- lower-subreg.c	(working copy)
*************** struct tree_opt_pass pass_lower_subreg2 
*** 1455,1461 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func |
    TODO_ggc_collect |
    TODO_verify_flow,                     /* todo_flags_finish */
--- 1455,1461 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func |
    TODO_ggc_collect |
    TODO_verify_flow,                     /* todo_flags_finish */
Index: bt-load.c
===================================================================
*** bt-load.c	(revision 128073)
--- bt-load.c	(working copy)
*************** struct tree_opt_pass pass_branch_target_
*** 1519,1524 ****
--- 1519,1525 ----
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
    TODO_dump_func |
+   TODO_verify_rtl_sharing |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'd'                                   /* letter */
  };
Index: emit-rtl.c
===================================================================
*** emit-rtl.c	(revision 128073)
--- emit-rtl.c	(working copy)
*************** struct tree_opt_pass pass_unshare_all_rt
*** 2258,2264 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    0                                     /* letter */
  };
  
--- 2258,2264 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing, /* todo_flags_finish */
    0                                     /* letter */
  };
  
Index: cfgcleanup.c
===================================================================
*** cfgcleanup.c	(revision 128073)
--- cfgcleanup.c	(working copy)
*************** struct tree_opt_pass pass_jump =
*** 2281,2287 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    TODO_ggc_collect,                     /* todo_flags_start */
-   TODO_dump_func |
    TODO_verify_flow,                     /* todo_flags_finish */
    'i'                                   /* letter */
  };
--- 2281,2286 ----
*************** struct tree_opt_pass pass_jump2 =
*** 2312,2318 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    TODO_ggc_collect,                     /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    'j'                                   /* letter */
  };
  
--- 2311,2317 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    TODO_ggc_collect,                     /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing,/* todo_flags_finish */
    'j'                                   /* letter */
  };
  
Index: combine.c
===================================================================
*** combine.c	(revision 128073)
--- combine.c	(working copy)
*************** struct tree_opt_pass pass_combine =
*** 13001,13007 ****
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
    TODO_dump_func |
!   TODO_df_finish |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'c'                                   /* letter */
  };
--- 13001,13007 ----
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
    TODO_dump_func |
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'c'                                   /* letter */
  };
Index: bb-reorder.c
===================================================================
*** bb-reorder.c	(revision 128073)
--- bb-reorder.c	(working copy)
*************** struct tree_opt_pass pass_duplicate_comp
*** 2084,2090 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    0                                     /* letter */
  };
  
--- 2084,2090 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing,/* todo_flags_finish */
    0                                     /* letter */
  };
  
*************** struct tree_opt_pass pass_reorder_blocks
*** 2234,2240 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    'B'                                   /* letter */
  };
  
--- 2234,2240 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing,/* todo_flags_finish */
    'B'                                   /* letter */
  };
  
*************** struct tree_opt_pass pass_partition_bloc
*** 2272,2278 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    0                                     /* letter */
  };
  
--- 2272,2278 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing,/* todo_flags_finish */
    0                                     /* letter */
  };
  
Index: var-tracking.c
===================================================================
*** var-tracking.c	(revision 128073)
--- var-tracking.c	(working copy)
*************** struct tree_opt_pass pass_variable_track
*** 3296,3302 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func,                       /* todo_flags_finish */
    'V'                                   /* letter */
  };
  
--- 3296,3302 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_dump_func | TODO_verify_rtl_sharing,/* todo_flags_finish */
    'V'                                   /* letter */
  };
  
Index: reg-stack.c
===================================================================
*** reg-stack.c	(revision 128073)
--- reg-stack.c	(working copy)
*************** struct tree_opt_pass pass_stack_regs_run
*** 3242,3248 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'k'                                   /* letter */
--- 3242,3248 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'k'                                   /* letter */
Index: sched-rgn.c
===================================================================
*** sched-rgn.c	(revision 128073)
--- sched-rgn.c	(working copy)
*************** struct tree_opt_pass pass_sched =
*** 3185,3191 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func |
    TODO_verify_flow |
    TODO_ggc_collect,                     /* todo_flags_finish */
--- 3185,3191 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func |
    TODO_verify_flow |
    TODO_ggc_collect,                     /* todo_flags_finish */
*************** struct tree_opt_pass pass_sched2 =
*** 3205,3211 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func |
    TODO_verify_flow |
    TODO_ggc_collect,                     /* todo_flags_finish */
--- 3205,3211 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func |
    TODO_verify_flow |
    TODO_ggc_collect,                     /* todo_flags_finish */
Index: passes.c
===================================================================
*** passes.c	(revision 128073)
--- passes.c	(working copy)
*************** struct tree_opt_pass pass_postreload =
*** 320,326 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_ggc_collect,                     /* todo_flags_finish */
    0					/* letter */
  };
  
--- 320,326 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_ggc_collect | TODO_verify_rtl_sharing, /* todo_flags_finish */
    0					/* letter */
  };
  
*************** execute_function_todo (void *data)
*** 959,964 ****
--- 959,966 ----
      verify_stmts ();
    if (flags & TODO_verify_loops)
      verify_loop_closed_ssa ();
+   if (flags & TODO_verify_rtl_sharing)
+     verify_rtl_sharing ();
  #endif
  
    cfun->last_verified = flags & TODO_verify_all;
Index: combine-stack-adj.c
===================================================================
*** combine-stack-adj.c	(revision 128073)
--- combine-stack-adj.c	(working copy)
*************** struct tree_opt_pass pass_stack_adjustme
*** 485,491 ****
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    0                                     /* letter */
--- 485,491 ----
    0,                                    /* properties_provided */
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_dump_func |
    TODO_ggc_collect,                     /* todo_flags_finish */
    0                                     /* letter */
Index: dce.c
===================================================================
*** dce.c	(revision 128073)
--- dce.c	(working copy)
*************** struct tree_opt_pass pass_ud_rtl_dce =
*** 498,504 ****
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
    TODO_dump_func |
!   TODO_df_finish |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'w'                                   /* letter */
  };
--- 498,504 ----
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
    TODO_dump_func |
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'w'                                   /* letter */
  };
*************** struct tree_opt_pass pass_fast_rtl_dce =
*** 816,822 ****
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
    TODO_dump_func |
!   TODO_df_finish |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'w'                                   /* letter */
  };
--- 816,822 ----
    0,                                    /* properties_destroyed */
    0,                                    /* todo_flags_start */
    TODO_dump_func |
!   TODO_df_finish | TODO_verify_rtl_sharing |
    TODO_ggc_collect,                     /* todo_flags_finish */
    'w'                                   /* letter */
  };



More information about the Gcc-patches mailing list