From: Jeffrey A Law Date: Fri, 29 Jun 2001 20:35:53 +0000 (+0000) Subject: ssa-dce.c (ssa_eliminate_dead_code): Renamed from eliminate_date_code. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=62d285ff3a32b4999ef861b181ac32a3460e226d;p=gcc.git ssa-dce.c (ssa_eliminate_dead_code): Renamed from eliminate_date_code. * ssa-dce.c (ssa_eliminate_dead_code): Renamed from eliminate_date_code. * ssa.h (ssa_eliminate_dead_code): Corresponding changes. * timevar.def (TV_SSA_DCE): Renamed from TV_DEAD_CODE_ELIM. * toplev.c (DFI_ssa_dce): Renamed from DFI_dce. (dump_file_info): Similar changes. (flag_ssa_dce): Similarly (f_options): Similar changes. (rest_of_compilation): Corresponding changes. * doc/invoke.texi: Update as option is now -fssa-dce instead of -fdce. Update dump file name. From-SVN: r43658 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 07cb16bd570..407ae100a22 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,17 @@ Fri Jun 29 12:27:24 2001 Jeffrey A Law (law@cygnus.com) + * ssa-dce.c (ssa_eliminate_dead_code): Renamed from + eliminate_date_code. + * ssa.h (ssa_eliminate_dead_code): Corresponding changes. + * timevar.def (TV_SSA_DCE): Renamed from TV_DEAD_CODE_ELIM. + * toplev.c (DFI_ssa_dce): Renamed from DFI_dce. + (dump_file_info): Similar changes. + (flag_ssa_dce): Similarly + (f_options): Similar changes. + (rest_of_compilation): Corresponding changes. + * doc/invoke.texi: Update as option is now -fssa-dce instead + of -fdce. Update dump file name. + * ssa-dce.c (note_inherently_necessary_set): New function. (find_inherently_necessary): Use it. Do not consider NOTEs, CODE_LABELs or BARRIERS are necessary. Improve diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 59bc95f8057..6b2413394df 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -254,7 +254,7 @@ in the following sections. -falign-functions=@var{n} -falign-jumps=@var{n} @gol -falign-labels=@var{n} -falign-loops=@var{n} @gol -fbranch-probabilities -fcaller-saves @gol --fcse-follow-jumps -fcse-skip-blocks -fdata-sections -fdce @gol +-fcse-follow-jumps -fcse-skip-blocks -fdata-sections @gol -fdelayed-branch -fdelete-null-pointer-checks @gol -fexpensive-optimizations -ffast-math -ffloat-store @gol -fforce-addr -fforce-mem -ffunction-sections @gol @@ -270,7 +270,7 @@ in the following sections. -fregmove -frename-registers @gol -frerun-cse-after-loop -frerun-loop-opt @gol -fschedule-insns -fschedule-insns2 @gol --fsingle-precision-constant -fssa @gol +-fsingle-precision-constant -fssa -fssa-dce @gol -fstrength-reduce -fstrict-aliasing -fthread-jumps -ftrapv @gol -funroll-all-loops -funroll-loops @gol --param @var{name}=@var{value} @@ -2946,7 +2946,7 @@ sometimes follows CSE), to @file{@var{file}.10.cse2}. Dump after the second flow pass, to @file{@var{file}.21.flow2}. @item X @opindex dX -Dump after dead code elimination, to @file{@var{file}.06.dce}. +Dump after SSA aggressive dead code elimination, to @file{@var{file}.06.ssadce}. @item z @opindex dz Dump after the peephole pass, to @file{@var{file}.22.peephole2}. @@ -3732,10 +3732,10 @@ flow graph is translated into SSA form, optimizations are performed, and the flow graph is translated back from SSA form. Users should not specify this option, since it is not yet ready for production use. -@item -fdce -@opindex fdce -Perform dead-code elimination in SSA form. Requires @option{-fssa}. Like -@option{-fssa}, this is an experimental feature. +@item -fssa-dce +@opindex fssa-dce +Perform aggressive dead-code elimination in SSA form. Requires @option{-fssa}. +Like @option{-fssa}, this is an experimental feature. @item -fsingle-precision-constant @opindex fsingle-precision-constant diff --git a/gcc/ssa-dce.c b/gcc/ssa-dce.c index 1e77cd87ee0..9e384c4ea95 100644 --- a/gcc/ssa-dce.c +++ b/gcc/ssa-dce.c @@ -503,7 +503,7 @@ delete_insn_bb (insn) /* Perform the dead-code elimination. */ void -eliminate_dead_code () +ssa_eliminate_dead_code () { int i; rtx insn; diff --git a/gcc/ssa.h b/gcc/ssa.h index 5eb97855b70..a5655958d42 100644 --- a/gcc/ssa.h +++ b/gcc/ssa.h @@ -33,7 +33,7 @@ extern int remove_phi_alternative PARAMS ((rtx, basic_block)); /* Optimizations. */ /* In ssa-dce.c */ -extern void eliminate_dead_code PARAMS ((void)); +extern void ssa_eliminate_dead_code PARAMS ((void)); /* SSA definitions and uses. */ /* This flag is set when the CFG is in SSA form. */ diff --git a/gcc/timevar.def b/gcc/timevar.def index 8205caa3a8a..884eedb2e04 100644 --- a/gcc/timevar.def +++ b/gcc/timevar.def @@ -70,7 +70,7 @@ DEFTIMEVAR (TV_REORDER_BLOCKS , "reorder blocks") DEFTIMEVAR (TV_SHORTEN_BRANCH , "shorten branches") DEFTIMEVAR (TV_REG_STACK , "reg stack") DEFTIMEVAR (TV_TO_SSA , "convert to SSA") -DEFTIMEVAR (TV_DEAD_CODE_ELIM , "eliminate dead code") +DEFTIMEVAR (TV_SSA_DCE , "SSA aggressive DCE") DEFTIMEVAR (TV_FROM_SSA , "convert from SSA") DEFTIMEVAR (TV_FINAL , "final") DEFTIMEVAR (TV_SYMOUT , "symout") diff --git a/gcc/toplev.c b/gcc/toplev.c index f53137e7f7d..6532c731f07 100644 --- a/gcc/toplev.c +++ b/gcc/toplev.c @@ -256,7 +256,7 @@ enum dump_file_index DFI_cse, DFI_addressof, DFI_ssa, - DFI_dce, + DFI_ssa_dce, DFI_ussa, DFI_gcse, DFI_loop, @@ -302,7 +302,7 @@ struct dump_file_info dump_file[DFI_MAX] = { "cse", 's', 0, 0, 0 }, { "addressof", 'F', 0, 0, 0 }, { "ssa", 'e', 1, 0, 0 }, - { "dce", 'X', 1, 0, 0 }, + { "ssadce", 'X', 1, 0, 0 }, { "ussa", 'e', 1, 0, 0 }, /* Yes, duplicate enable switch. */ { "gcse", 'G', 1, 0, 0 }, { "loop", 'L', 1, 0, 0 }, @@ -819,7 +819,7 @@ int flag_gnu_linker = 1; int flag_ssa = 0; /* Enable dead code elimination. */ -int flag_dce = 0; +int flag_ssa_dce = 0; /* Tag all structures with __attribute__(packed). */ int flag_pack_struct = 0; @@ -1142,8 +1142,8 @@ lang_independent_options f_options[] = N_("Instrument function entry/exit with profiling calls") }, {"ssa", &flag_ssa, 1, N_("Enable SSA optimizations") }, - {"dce", &flag_dce, 1, - N_("Enable dead code elimination") }, + {"ssa-dce", &flag_ssa_dce, 1, + N_("Enable aggressive SSA dead code elimination") }, {"leading-underscore", &flag_leading_underscore, 1, N_("External symbols have a leading underscore") }, {"ident", &flag_no_ident, 0, @@ -3064,18 +3064,18 @@ rest_of_compilation (decl) blocks, e.g., calling find_basic_blocks () or cleanup_cfg (), may cause problems. */ - if (flag_dce) + if (flag_ssa_dce) { /* Remove dead code. */ - timevar_push (TV_DEAD_CODE_ELIM); - open_dump_file (DFI_dce, decl); + timevar_push (TV_SSA_DCE); + open_dump_file (DFI_ssa_dce, decl); insns = get_insns (); - eliminate_dead_code(); + ssa_eliminate_dead_code(); - close_dump_file (DFI_dce, print_rtl_with_bb, insns); - timevar_pop (TV_DEAD_CODE_ELIM); + close_dump_file (DFI_ssa_dce, print_rtl_with_bb, insns); + timevar_pop (TV_SSA_DCE); } /* Convert from SSA form. */