From: Richard Guenther Date: Fri, 9 May 2008 09:37:36 +0000 (+0000) Subject: invoke.texi (-fdump-tree-salias): Remove documentation. X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1353232d3d37c1f3e65a0957671670557b2532a6;p=gcc.git invoke.texi (-fdump-tree-salias): Remove documentation. 2008-05-08 Richard Guenther * doc/invoke.texi (-fdump-tree-salias): Remove documentation. (-ftree-salias): Likewise. (salias-max-implicit-fields): Remove param documentation. (salias-max-array-elements): Likewise. * tree-pass.h (pass_create_structure_vars): Remove. * params.h (SALIAS_MAX_IMPLICIT_FIELDS): Remove. (SALIAS_MAX_ARRAY_ELEMENTS): Likewise. * tree-ssa-alias.c (create_structure_vars): Remove. (gate_structure_vars): Likewise. (pass_create_structure_vars): Likewise. (gate_build_alias): Likewise. (pass_build_alias): Adjust to run always and dump the function. * common.opt (ftree-salias): Hide. * passes.c (init_optimization_passes): Remove pass_create_structure_vars, adjust comment. * params.def (PARAM_SALIAS_MAX_IMPLICIT_FIELDS): Remove. (PARAM_SALIAS_MAX_ARRAY_ELEMENTS): Likewise. * opts.c (decode_options): Do not set flag_tree_salias. (common_handle_option): Add OPT_ftree_salias to the backward compatibility section. * gcc.dg/tree-ssa/20040911-1.c: Adjust. * gcc.dg/tree-ssa/20040517-1.c: Likewise. * gcc.dg/tree-ssa/pr26421.c: Likewise. * gcc.dg/tree-ssa/pr23382.c: Likewise. * gcc.dg/tree-ssa/alias-15.c: Likewise. * gcc.dg/tree-ssa/inline_asm-1.c: Likewise. * gcc.dg/tree-ssa/inline_asm-2.c: Likewise. * gcc.dg/tree-ssa/pta-fp.c: Likewise. * gcc.dg/tree-ssa/20031015-1.c: Likewise. * gcc.dg/tree-ssa/alias-12.c: Likewise. From-SVN: r135111 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index b20ba0facf8..f3f60fb7fca 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,26 @@ +2008-05-08 Richard Guenther + + * doc/invoke.texi (-fdump-tree-salias): Remove documentation. + (-ftree-salias): Likewise. + (salias-max-implicit-fields): Remove param documentation. + (salias-max-array-elements): Likewise. + * tree-pass.h (pass_create_structure_vars): Remove. + * params.h (SALIAS_MAX_IMPLICIT_FIELDS): Remove. + (SALIAS_MAX_ARRAY_ELEMENTS): Likewise. + * tree-ssa-alias.c (create_structure_vars): Remove. + (gate_structure_vars): Likewise. + (pass_create_structure_vars): Likewise. + (gate_build_alias): Likewise. + (pass_build_alias): Adjust to run always and dump the function. + * common.opt (ftree-salias): Hide. + * passes.c (init_optimization_passes): Remove + pass_create_structure_vars, adjust comment. + * params.def (PARAM_SALIAS_MAX_IMPLICIT_FIELDS): Remove. + (PARAM_SALIAS_MAX_ARRAY_ELEMENTS): Likewise. + * opts.c (decode_options): Do not set flag_tree_salias. + (common_handle_option): Add OPT_ftree_salias to the backward + compatibility section. + 2008-05-08 Richard Guenther * tree-flow-inline.h (var_can_have_subvars): Move ... diff --git a/gcc/common.opt b/gcc/common.opt index e3545514500..4a44cd68122 100644 --- a/gcc/common.opt +++ b/gcc/common.opt @@ -1141,8 +1141,8 @@ Common Report Var(flag_tree_reassoc) Init(1) Optimization Enable reassociation on tree level ftree-salias -Common Report Var(flag_tree_salias) Optimization -Perform structural alias analysis +Common +Does nothing. Preserved for backward compatibility. ftree-sink Common Report Var(flag_tree_sink) Optimization diff --git a/gcc/doc/invoke.texi b/gcc/doc/invoke.texi index 5ccbda9b69f..e898148611a 100644 --- a/gcc/doc/invoke.texi +++ b/gcc/doc/invoke.texi @@ -292,7 +292,6 @@ Objective-C and Objective-C++ Dialects}. -fdump-tree-nrv -fdump-tree-vect @gol -fdump-tree-sink @gol -fdump-tree-sra@r{[}-@var{n}@r{]} @gol --fdump-tree-salias @gol -fdump-tree-fre@r{[}-@var{n}@r{]} @gol -fdump-tree-vrp@r{[}-@var{n}@r{]} @gol -ftree-vectorizer-verbose=@var{n} @gol @@ -357,7 +356,7 @@ Objective-C and Objective-C++ Dialects}. -ftree-dominator-opts -ftree-dse -ftree-fre -ftree-loop-im @gol -ftree-loop-distribution @gol -ftree-loop-ivcanon -ftree-loop-linear -ftree-loop-optimize @gol --ftree-parallelize-loops=@var{n} -ftree-pre -ftree-reassoc -ftree-salias @gol +-ftree-parallelize-loops=@var{n} -ftree-pre -ftree-reassoc @gol -ftree-sink -ftree-sra -ftree-store-ccp -ftree-ter @gol -ftree-vect-loop-version -ftree-vectorize -ftree-vrp -funit-at-a-time @gol -funroll-all-loops -funroll-loops -funsafe-loop-optimizations @gol @@ -4803,11 +4802,6 @@ appending @file{.ch} to the source file name. Dump SSA related information to a file. The file name is made by appending @file{.ssa} to the source file name. -@item salias -@opindex fdump-tree-salias -Dump structure aliasing variable information to a file. This file name -is made by appending @file{.salias} to the source file name. - @item alias @opindex fdump-tree-alias Dump aliasing information for each function. The file name is made by @@ -5791,11 +5785,6 @@ Perform copy propagation on trees. This pass eliminates unnecessary copy operations. This flag is enabled by default at @option{-O} and higher. -@item -ftree-salias -@opindex ftree-salias -Perform structural alias analysis on trees. This flag -is enabled by default at @option{-O} and higher. - @item -fipa-pure-const @opindex fipa-pure-const Discover which functions are pure or constant. @@ -6799,15 +6788,6 @@ In each case, the @var{value} is an integer. The allowable choices for @var{name} are given in the following table: @table @gcctabopt -@item salias-max-implicit-fields -The maximum number of fields in a variable without direct -structure accesses for which structure aliasing will consider trying -to track each field. The default is 5 - -@item salias-max-array-elements -The maximum number of elements an array can have and its elements -still be tracked individually by structure aliasing. The default is 4 - @item sra-max-structure-size The maximum structure size, in bytes, at which the scalar replacement of aggregates (SRA) optimization will perform block copies. The diff --git a/gcc/opts.c b/gcc/opts.c index a5931f45a99..7add8d3d250 100644 --- a/gcc/opts.c +++ b/gcc/opts.c @@ -848,7 +848,6 @@ decode_options (unsigned int argc, const char **argv) flag_tree_fre = 1; flag_tree_copy_prop = 1; flag_tree_sink = 1; - flag_tree_salias = 1; if (!no_unit_at_a_time_default) flag_unit_at_a_time = 1; @@ -1898,6 +1897,7 @@ common_handle_option (size_t scode, const char *arg, int value, case OPT_fstrength_reduce: case OPT_ftree_store_copy_prop: case OPT_fforce_addr: + case OPT_ftree_salias: /* These are no-ops, preserved for backward compatibility. */ break; diff --git a/gcc/params.def b/gcc/params.def index ac7bf4f87cb..d80deff01ea 100644 --- a/gcc/params.def +++ b/gcc/params.def @@ -38,21 +38,6 @@ along with GCC; see the file COPYING3. If not see Be sure to add an entry to invoke.texi summarizing the parameter. */ -/* The maximum number of fields in a variable with only implicit uses - for which structure aliasing will consider trying to track each - field. The default is 5. */ -DEFPARAM (PARAM_SALIAS_MAX_IMPLICIT_FIELDS, - "salias-max-implicit-fields", - "The maximum number of fields in a structure variable without direct structure accesses that GCC will attempt to track separately", - 5, 0, 0) - -/* The maximum number of array elements structure aliasing will decompose - an array for. The default is 4. */ -DEFPARAM (PARAM_SALIAS_MAX_ARRAY_ELEMENTS, - "salias-max-array-elements", - "The maximum number of elements in an array for wich we track its elements separately", - 4, 0, 0) - /* The maximum structure size at which the scalar replacement of aggregates (SRA) pass will perform block copies. The default value, 0, implies that GCC will select the most appropriate size diff --git a/gcc/params.h b/gcc/params.h index 7c54b5da292..bb3afb3354d 100644 --- a/gcc/params.h +++ b/gcc/params.h @@ -93,10 +93,6 @@ typedef enum compiler_param (compiler_params[(int) ENUM].set) /* Macros for the various parameters. */ -#define SALIAS_MAX_IMPLICIT_FIELDS \ - PARAM_VALUE (PARAM_SALIAS_MAX_IMPLICIT_FIELDS) -#define SALIAS_MAX_ARRAY_ELEMENTS \ - PARAM_VALUE (PARAM_SALIAS_MAX_ARRAY_ELEMENTS) #define SRA_MAX_STRUCTURE_SIZE \ PARAM_VALUE (PARAM_SRA_MAX_STRUCTURE_SIZE) #define SRA_MAX_STRUCTURE_COUNT \ diff --git a/gcc/passes.c b/gcc/passes.c index 9852f8b2083..bd8392646f2 100644 --- a/gcc/passes.c +++ b/gcc/passes.c @@ -557,10 +557,8 @@ init_optimization_passes (void) NEXT_PASS (pass_all_optimizations); { struct opt_pass **p = &pass_all_optimizations.pass.sub; - NEXT_PASS (pass_create_structure_vars); - /* ??? pass_build_alias is a dummy pass that ensures that we - execute TODO_rebuild_alias at this point even if - pass_create_structure_vars was disabled. */ + /* pass_build_alias is a dummy pass that ensures that we + execute TODO_rebuild_alias at this point. */ NEXT_PASS (pass_build_alias); NEXT_PASS (pass_return_slot); NEXT_PASS (pass_rename_ssa_copies); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 96bc1b4aa3b..0c8fc0bea52 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,16 @@ +2008-05-08 Richard Guenther + + * gcc.dg/tree-ssa/20040911-1.c: Adjust. + * gcc.dg/tree-ssa/20040517-1.c: Likewise. + * gcc.dg/tree-ssa/pr26421.c: Likewise. + * gcc.dg/tree-ssa/pr23382.c: Likewise. + * gcc.dg/tree-ssa/alias-15.c: Likewise. + * gcc.dg/tree-ssa/inline_asm-1.c: Likewise. + * gcc.dg/tree-ssa/inline_asm-2.c: Likewise. + * gcc.dg/tree-ssa/pta-fp.c: Likewise. + * gcc.dg/tree-ssa/20031015-1.c: Likewise. + * gcc.dg/tree-ssa/alias-12.c: Likewise. + 2008-05-09 Francois-Xavier Coudert PR fortran/36162 diff --git a/gcc/testsuite/gcc.dg/tree-ssa/20031015-1.c b/gcc/testsuite/gcc.dg/tree-ssa/20031015-1.c index 46a3be7ee22..102715c0131 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/20031015-1.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/20031015-1.c @@ -1,7 +1,7 @@ /* With tree-ssa, gcc.dg/20000724-1.c failed because we missed a VOP of x in the asm statement. */ /* { dg-do compile } */ -/* { dg-options "-O1 -fdump-tree-salias-vops" } */ +/* { dg-options "-O1 -fdump-tree-alias-vops" } */ struct s { int a; }; @@ -14,5 +14,5 @@ main(void) } /* The VDEF comes from the initial assignment and the asm. */ -/* { dg-final { scan-tree-dump-times "DEF" 2 "salias" } } */ -/* { dg-final { cleanup-tree-dump "salias" } } */ +/* { dg-final { scan-tree-dump-times "DEF" 2 "alias" } } */ +/* { dg-final { cleanup-tree-dump "alias" } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/20040517-1.c b/gcc/testsuite/gcc.dg/tree-ssa/20040517-1.c index 318ba7c1a19..99b27ce02f1 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/20040517-1.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/20040517-1.c @@ -1,5 +1,5 @@ /* { dg-do compile } */ -/* { dg-options "-O1 -fdump-tree-salias-vops" } */ +/* { dg-options "-O1 -fdump-tree-alias-vops" } */ extern void abort (void); int a; @@ -17,5 +17,5 @@ void bar (void) malloc functions may clobber global memory. Only the function result does not alias any other pointer. Hence, we must have a VDEF for a before and after the call to foo(). */ -/* { dg-final { scan-tree-dump-times "VDEF" 2 "salias"} } */ -/* { dg-final { cleanup-tree-dump "salias" } } */ +/* { dg-final { scan-tree-dump-times "VDEF" 2 "alias"} } */ +/* { dg-final { cleanup-tree-dump "alias" } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/20040911-1.c b/gcc/testsuite/gcc.dg/tree-ssa/20040911-1.c index ac2b961d9dc..f17e98aed80 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/20040911-1.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/20040911-1.c @@ -1,7 +1,7 @@ /* Verify that points-to information is handled properly for PTR + OFFSET pointer arithmetics. */ /* { dg-do compile } */ -/* { dg-options "-O2 -fdump-tree-salias-vops" } */ +/* { dg-options "-O2 -fdump-tree-alias-vops" } */ char buf[4], *q; int foo (int i) @@ -18,5 +18,5 @@ int foo (int i) return *p; } -/* { dg-final { scan-tree-dump-not "VUSE b[3] - m.b.b[3]; } -/* { dg-final { scan-tree-dump-times "VUSE " 2 "salias" } } */ -/* { dg-final { cleanup-tree-dump "salias" } } */ +/* { dg-final { scan-tree-dump-times "VUSE " 2 "alias" } } */ +/* { dg-final { cleanup-tree-dump "alias" } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/inline_asm-1.c b/gcc/testsuite/gcc.dg/tree-ssa/inline_asm-1.c index 97c25b1be93..0c84ed3fa83 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/inline_asm-1.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/inline_asm-1.c @@ -1,6 +1,6 @@ /* { dg-do compile } */ -/* { dg-options "-O1 -fdump-tree-optimized -fdump-tree-salias-vops" } */ -/* Test to make sure that inline-asm causes a V_MAY_DEF and that we call test_function twice. */ +/* { dg-options "-O1 -fdump-tree-optimized -fdump-tree-alias-vops" } */ +/* Test to make sure that inline-asm causes a VDEF and that we call test_function twice. */ char test_function(void ) __attribute__((__pure__)); char f(char *a) @@ -16,5 +16,5 @@ char f(char *a) /* { dg-final { cleanup-tree-dump "optimized" } } */ /* There should a VDEF for the inline-asm. */ -/* { dg-final { scan-tree-dump-times "VDEF" 1 "salias"} } */ -/* { dg-final { cleanup-tree-dump "salias" } } */ +/* { dg-final { scan-tree-dump-times "VDEF" 1 "alias"} } */ +/* { dg-final { cleanup-tree-dump "alias" } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/inline_asm-2.c b/gcc/testsuite/gcc.dg/tree-ssa/inline_asm-2.c index 33443e0234d..6b347c41ebf 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/inline_asm-2.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/inline_asm-2.c @@ -1,6 +1,6 @@ /* { dg-do compile } */ -/* { dg-options "-O1 -fdump-tree-salias-vops" } */ -/* Test to make sure that inline-asm causes a V_MAY_DEF. */ +/* { dg-options "-O1 -fdump-tree-alias-vops" } */ +/* Test to make sure that inline-asm causes a VDEF. */ void link_error(); @@ -14,5 +14,5 @@ void f(char *a) } /* There should a VDEF for the inline-asm and one for the link_error. */ -/* { dg-final { scan-tree-dump-times "VDEF" 2 "salias"} } */ -/* { dg-final { cleanup-tree-dump "salias" } } */ +/* { dg-final { scan-tree-dump-times "VDEF" 2 "alias"} } */ +/* { dg-final { cleanup-tree-dump "alias" } } */ diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr23382.c b/gcc/testsuite/gcc.dg/tree-ssa/pr23382.c index d0b208825bc..331e01b5ae3 100644 --- a/gcc/testsuite/gcc.dg/tree-ssa/pr23382.c +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr23382.c @@ -1,5 +1,5 @@ /* { dg-do compile } */ -/* { dg-options "-O2 -fdump-tree-salias-vops" } */ +/* { dg-options "-O2 -fdump-tree-alias-vops" } */ struct a { int length; @@ -13,5 +13,5 @@ int f(void) struct a *a = malloc(sizeof(struct a)); return a->length; } -/* { dg-final { scan-tree-dump-times "VDEF