mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-24 04:10:29 +08:00
Code Issues Packages Projects Releases Wiki Activity

configure.ac: Remove --enable-checking=df from default settings.

Browse Source 
2008-08-05  Paolo Bonzini  <bonzini@gnu.org>

        * configure.ac: Remove --enable-checking=df from default settings.
        * tree-pass.h (TODO_df_verify): New.  Shift TODO_mark_first_instance.
        * df-core.c (df_finish_pass) [ENABLE_CHECKING]: Schedule verification
        if the parameter is true.
        (df_analyze) [!ENABLE_DF_CHECKING]: Also do verification if the
        DF_VERIFY_SCHEDULED flag is true.
        * df.h (enum df_changeable_flags): Add DF_VERIFY_SCHEDULED.
        (df_finish_pass): Adjust prototype.
        * passes.c (execute_todo): Schedule verification if TODO_df_verify is
        true.

        * see.c (pass_see): Add TODO_df_verify.
        * loop-init.c (pass_rtl_move_loop_invariants): Add TODO_df_verify.
        * global.c (rest_of_handle_global_alloc): Schedule verification
        after the pass.
        * local-alloc.c (rest_of_handle_local_alloc): Schedule verification
        before the pass.
        * function.c (pass_thread_prologue_and_epilogue): Add TODO_df_verify.
        * gcse.c (rest_of_handle_gcse): Adjust call to df_finish_pass.
        * loop-iv.c (iv_analysis_done): Schedule verification after the pass.

        * config/sh/sh.c (sh_output_mi_thunk): Remove dead code.
        * config/ia64/ia64.c (ia64_reorg): Adjust call to df_finish_pass.
        * config/bfin/bfin.c (bfin_reorg): Adjust call to df_finish_pass.

From-SVN: r127225
This commit is contained in:
Paolo Bonzini 2007-08-05 16:04:12 +00:00 committed by Paolo Bonzini
parent 3d97b1af3f
commit 0d475361a5
17 changed files with 63 additions and 33 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
gcc/ChangeLog
View File

@ -1,3 +1,30 @@
2008-08-05 Paolo Bonzini <bonzini@gnu.org>
* configure.ac: Remove --enable-checking=df from default settings.
* tree-pass.h (TODO_df_verify): New. Shift TODO_mark_first_instance.
* df-core.c (df_finish_pass) [ENABLE_CHECKING]: Schedule verification
if the parameter is true.
(df_analyze) [!ENABLE_DF_CHECKING]: Also do verification if the
DF_VERIFY_SCHEDULED flag is true.
* df.h (enum df_changeable_flags): Add DF_VERIFY_SCHEDULED.
(df_finish_pass): Adjust prototype.
* passes.c (execute_todo): Schedule verification if TODO_df_verify is
true.
* see.c (pass_see): Add TODO_df_verify.
* loop-init.c (pass_rtl_move_loop_invariants): Add TODO_df_verify.
* global.c (rest_of_handle_global_alloc): Schedule verification
after the pass.
* local-alloc.c (rest_of_handle_local_alloc): Schedule verification
before the pass.
* function.c (pass_thread_prologue_and_epilogue): Add TODO_df_verify.
* gcse.c (rest_of_handle_gcse): Adjust call to df_finish_pass.
* loop-iv.c (iv_analysis_done): Schedule verification after the pass.
* config/sh/sh.c (sh_output_mi_thunk): Remove dead code.
* config/ia64/ia64.c (ia64_reorg): Adjust call to df_finish_pass.
* config/bfin/bfin.c (bfin_reorg): Adjust call to df_finish_pass.
2007-08-05 Vladimir Yanovsky <yanov@il.ibm.com>
Revital Eres <eres@il.ibm.com>

2
gcc/config/bfin/bfin.c
View File

@ -4534,7 +4534,7 @@ bfin_reorg (void)
reorder_var_tracking_notes ();
timevar_pop (TV_VAR_TRACKING);
}
df_finish_pass ();
df_finish_pass (false);
}
/* Handle interrupt_handler, exception_handler and nmi_handler function

2
gcc/config/ia64/ia64.c
View File

@ -8625,7 +8625,7 @@ ia64_reorg (void)
variable_tracking_main ();
timevar_pop (TV_VAR_TRACKING);
}
df_finish_pass ();
df_finish_pass (false);
}
/* Return true if REGNO is used by the epilogue. */

16
gcc/config/sh/sh.c
View File

@ -10257,22 +10257,6 @@ sh_output_mi_thunk (FILE *file, tree thunk_fndecl ATTRIBUTE_UNUSED,
final (insns, file, 1);
final_end_function ();
#if 0
if (optimize > 0)
{
/* Release all memory allocated by df. */
if (rtl_df)
{
df_finish (rtl_df);
rtl_df = NULL;
}
/* Release the bitmap obstacks. */
bitmap_obstack_release (&reg_obstack);
bitmap_obstack_release (NULL);
}
#endif
reload_completed = 0;
epilogue_completed = 0;
}

2
gcc/configure vendored
View File

@ -6425,7 +6425,7 @@ for check in release $ac_checking_flags
do
case $check in
# these set all the flags to specific states
yes) ac_assert_checking=1 ; ac_checking=1 ; ac_df_checking=1 ;
yes) ac_assert_checking=1 ; ac_checking=1 ; ac_df_checking= ;
ac_fold_checking= ; ac_gc_checking=1 ;
ac_gc_always_collect= ; ac_rtl_checking= ;
ac_rtlflag_checking=1 ; ac_runtime_checking=1 ;

2
gcc/configure.ac
View File

@ -359,7 +359,7 @@ for check in release $ac_checking_flags
do
case $check in
# these set all the flags to specific states
yes) ac_assert_checking=1 ; ac_checking=1 ; ac_df_checking=1 ;
yes) ac_assert_checking=1 ; ac_checking=1 ; ac_df_checking= ;
ac_fold_checking= ; ac_gc_checking=1 ;
ac_gc_always_collect= ; ac_rtl_checking= ;
ac_rtlflag_checking=1 ; ac_runtime_checking=1 ;

18
gcc/df-core.c
View File

@ -79,7 +79,7 @@ Here is an example of using the dataflow routines.
df_dump (stderr);
df_finish_pass ();
df_finish_pass (false);
DF_[ru,rd,urec,ri,chain]_ADD_PROBLEM adds a problem, defined by an
instance to struct df_problem, to the set of problems solved in this
@ -633,7 +633,7 @@ df_remove_problem (struct dataflow *dflow)
of the changeable_flags. */
void
df_finish_pass (void)
df_finish_pass (bool verify ATTRIBUTE_UNUSED)
{
int i;
int removed = 0;
@ -694,6 +694,11 @@ df_finish_pass (void)
df_set_clean_cfg ();
#endif
#endif
#ifdef ENABLE_CHECKING
if (verify)
df->changeable_flags |= DF_VERIFY_SCHEDULED;
#endif
}
@ -1100,9 +1105,10 @@ df_analyze (void)
if (dump_file)
fprintf (dump_file, "df_analyze called\n");
#ifdef ENABLE_DF_CHECKING
df_verify ();
#endif
#ifndef ENABLE_DF_CHECKING
if (df->changeable_flags & DF_VERIFY_SCHEDULED)
#endif
df_verify ();
for (i = 0; i < df->n_blocks; i++)
bitmap_set_bit (current_all_blocks, df->postorder[i]);
@ -1509,9 +1515,11 @@ void
df_verify (void)
{
df_scan_verify ();
#ifdef ENABLE_DF_CHECKING
df_lr_verify_transfer_functions ();
if (df_live)
df_live_verify_transfer_functions ();
#endif
}
#ifdef DF_DEBUG_CFG

6
gcc/df.h
View File

@ -407,7 +407,9 @@ enum df_changeable_flags
/* Cause df_insn_rescan df_notes_rescan and df_insn_delete, to
return after marking the insn for later processing. This allows all
rescans to be batched. */
DF_DEFER_INSN_RESCAN = 32
DF_DEFER_INSN_RESCAN = 32,
DF_VERIFY_SCHEDULED = 64
};
/* Two of these structures are inline in df, one for the uses and one
@ -807,7 +809,7 @@ extern enum df_changeable_flags df_set_flags (enum df_changeable_flags);
extern enum df_changeable_flags df_clear_flags (enum df_changeable_flags);
extern void df_set_blocks (bitmap);
extern void df_remove_problem (struct dataflow *);
extern void df_finish_pass (void);
extern void df_finish_pass (bool);
extern void df_analyze_problem (struct dataflow *, bitmap, int *, int);
extern void df_analyze (void);
extern int df_get_n_blocks (enum df_flow_dir);

1
gcc/function.c
View File

@ -5514,6 +5514,7 @@ struct tree_opt_pass pass_thread_prologue_and_epilogue =
0, /* properties_destroyed */
TODO_verify_flow, /* todo_flags_start */
TODO_dump_func |
TODO_df_verify |
TODO_df_finish |
TODO_ggc_collect, /* todo_flags_finish */
'w' /* letter */

2
gcc/gcse.c
View File

@ -6706,7 +6706,7 @@ rest_of_handle_gcse (void)
{
timevar_push (TV_CSE);
tem2 = cse_main (get_insns (), max_reg_num ());
df_finish_pass ();
df_finish_pass (false);
purge_all_dead_edges ();
delete_trivially_dead_insns (get_insns (), max_reg_num ());
timevar_pop (TV_CSE);

2
gcc/global.c
View File

@ -2081,7 +2081,7 @@ rest_of_handle_global_alloc (void)
just rescan everything. Not that df_rescan_all_insns is not
going to help here because it does not touch the artificial uses
and defs. */
df_finish_pass ();
df_finish_pass (true);
if (optimize > 1)
df_live_add_problem ();
df_scan_alloc (NULL);

3
gcc/local-alloc.c
View File

@ -2515,6 +2515,9 @@ rest_of_handle_local_alloc (void)
we are doing optimization. */
if (optimize)
df_urec_add_problem ();
#ifdef ENABLE_CHECKING
df->changeable_flags |= DF_VERIFY_SCHEDULED;
#endif
df_analyze ();
regstat_init_n_sets_and_refs ();
regstat_compute_ri ();

3
gcc/loop-init.c
View File

@ -251,7 +251,8 @@ struct tree_opt_pass pass_rtl_move_loop_invariants =
0, /* properties_provided */
0, /* properties_destroyed */
0, /* todo_flags_start */
TODO_df_finish | /* This is shutting down the instance in loop_invariant.c */
TODO_df_verify |
TODO_df_finish |
TODO_dump_func, /* todo_flags_finish */
'L' /* letter */
};

2
gcc/loop-iv.c
View File

@ -1266,7 +1266,7 @@ iv_analysis_done (void)
{
clear_iv_info ();
clean_slate = true;
df_finish_pass ();
df_finish_pass (true);
htab_delete (bivs);
free (iv_ref_table);
iv_ref_table = NULL;

2
gcc/passes.c
View File

@ -1013,7 +1013,7 @@ execute_todo (unsigned int flags)
/* Now that the dumping has been done, we can get rid of the optional
df problems. */
if (flags & TODO_df_finish)
df_finish_pass ();
df_finish_pass ((flags & TODO_df_verify) != 0);
}
/* Verify invariants that should hold between passes. This is a place

1
gcc/see.c
View File

@ -3831,6 +3831,7 @@ struct tree_opt_pass pass_see =
0, /* properties_provided */
0, /* properties_destroyed */
0, /* todo_flags_start */
TODO_df_verify |
TODO_df_finish |
TODO_dump_func, /* todo_flags_finish */
'u' /* letter */

5
gcc/tree-pass.h
View File

@ -222,8 +222,11 @@ struct dump_file_info
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 << 17)
#define TODO_mark_first_instance (1 << 18)
#define TODO_update_ssa_any \
(TODO_update_ssa \