X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Ftree-ssanames.c;h=42eb9243252ef2d579ab2922defc5fae45793bb6;hb=78c6cde23a272cf643f83bb779a399507f8af598;hp=a8716dad8d16c3f59ba0474a1aefaad16453023c;hpb=35cc02b5c80ac6738c1a3362a822e3d7e4d0c587;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/tree-ssanames.c b/gcc/tree-ssanames.c index a8716dad8d1..42eb9243252 100644 --- a/gcc/tree-ssanames.c +++ b/gcc/tree-ssanames.c @@ -1,35 +1,34 @@ /* Generic routines for manipulating SSA_NAME expressions - Copyright (C) 2003, 2004, 2005 Free Software Foundation, Inc. - + Copyright (C) 2003, 2004, 2005, 2007, 2008, 2009, 2010 + Free Software Foundation, Inc. + This file is part of GCC. - + GCC is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 2, or (at your option) +the Free Software Foundation; either version 3, or (at your option) any later version. - + GCC is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. - + You should have received a copy of the GNU General Public License -along with GCC; see the file COPYING. If not, write to -the Free Software Foundation, 51 Franklin Street, Fifth Floor, -Boston, MA 02110-1301, USA. */ +along with GCC; see the file COPYING3. If not see +. */ #include "config.h" #include "system.h" #include "coretypes.h" #include "tm.h" #include "tree.h" -#include "varray.h" -#include "ggc.h" #include "tree-flow.h" +#include "tree-pass.h" /* Rewriting a function into SSA form can create a huge number of SSA_NAMEs, many of which may be thrown away shortly after their creation if jumps - were threaded through PHI nodes. + were threaded through PHI nodes. While our garbage collection mechanisms will handle this situation, it is extremely wasteful to create nodes and throw them away, especially @@ -43,7 +42,7 @@ Boston, MA 02110-1301, USA. */ Right now we maintain our free list on a per-function basis. It may or may not make sense to maintain the free list for the duration of - a compilation unit. + a compilation unit. External code should rely solely upon HIGHEST_SSA_VERSION and the externally defined functions. External code should not know about @@ -67,12 +66,16 @@ unsigned int ssa_name_nodes_reused; unsigned int ssa_name_nodes_created; #endif -/* Initialize management of SSA_NAMEs. */ +/* Initialize management of SSA_NAMEs to default SIZE. If SIZE is + zero use default. */ void -init_ssanames (void) +init_ssanames (struct function *fn, int size) { - SSANAMES (cfun) = VEC_alloc (tree, gc, 50); + if (size < 50) + size = 50; + + SSANAMES (fn) = VEC_alloc (tree, gc, size); /* Version 0 is special, so reserve the first slot in the table. Though currently unused, we may use version 0 in alias analysis as part of @@ -81,8 +84,10 @@ init_ssanames (void) We use VEC_quick_push here because we know that SSA_NAMES has at least 50 elements reserved in it. */ - VEC_quick_push (tree, SSANAMES (cfun), NULL_TREE); - FREE_SSANAMES (cfun) = NULL; + VEC_quick_push (tree, SSANAMES (fn), NULL_TREE); + FREE_SSANAMES (fn) = NULL; + + SYMS_TO_RENAME (fn) = BITMAP_GGC_ALLOC (); } /* Finalize management of SSA_NAMEs. */ @@ -91,7 +96,7 @@ void fini_ssanames (void) { VEC_free (tree, gc, SSANAMES (cfun)); - FREE_SSANAMES (cfun) = NULL; + VEC_free (tree, gc, FREE_SSANAMES (cfun)); } /* Dump some simple statistics regarding the re-use of SSA_NAME nodes. */ @@ -105,29 +110,23 @@ ssanames_print_statistics (void) } #endif -/* Return an SSA_NAME node for variable VAR defined in statement STMT. - STMT may be an empty statement for artificial references (e.g., default - definitions created when a variable is used without a preceding - definition). */ +/* Return an SSA_NAME node for variable VAR defined in statement STMT + in function FN. STMT may be an empty statement for artificial + references (e.g., default definitions created when a variable is + used without a preceding definition). */ tree -make_ssa_name (tree var, tree stmt) +make_ssa_name_fn (struct function *fn, tree var, gimple stmt) { tree t; use_operand_p imm; - gcc_assert (DECL_P (var) - || TREE_CODE (var) == INDIRECT_REF); - - gcc_assert (!stmt - || EXPR_P (stmt) || GIMPLE_STMT_P (stmt) - || TREE_CODE (stmt) == PHI_NODE); + gcc_assert (DECL_P (var)); /* If our free list has an element, then use it. */ - if (FREE_SSANAMES (cfun)) + if (!VEC_empty (tree, FREE_SSANAMES (fn))) { - t = FREE_SSANAMES (cfun); - FREE_SSANAMES (cfun) = TREE_CHAIN (FREE_SSANAMES (cfun)); + t = VEC_pop (tree, FREE_SSANAMES (fn)); #ifdef GATHER_STATISTICS ssa_name_nodes_reused++; #endif @@ -135,13 +134,13 @@ make_ssa_name (tree var, tree stmt) /* The node was cleared out when we put it on the free list, so there is no need to do so again here. */ gcc_assert (ssa_name (SSA_NAME_VERSION (t)) == NULL); - VEC_replace (tree, SSANAMES (cfun), SSA_NAME_VERSION (t), t); + VEC_replace (tree, SSANAMES (fn), SSA_NAME_VERSION (t), t); } else { t = make_node (SSA_NAME); - SSA_NAME_VERSION (t) = num_ssa_names; - VEC_safe_push (tree, gc, SSANAMES (cfun), t); + SSA_NAME_VERSION (t) = VEC_length (tree, SSANAMES (fn)); + VEC_safe_push (tree, gc, SSANAMES (fn), t); #ifdef GATHER_STATISTICS ssa_name_nodes_created++; #endif @@ -152,18 +151,19 @@ make_ssa_name (tree var, tree stmt) SSA_NAME_DEF_STMT (t) = stmt; SSA_NAME_PTR_INFO (t) = NULL; SSA_NAME_IN_FREE_LIST (t) = 0; + SSA_NAME_IS_DEFAULT_DEF (t) = 0; imm = &(SSA_NAME_IMM_USE_NODE (t)); imm->use = NULL; imm->prev = imm; imm->next = imm; - imm->stmt = t; + imm->loc.ssa_name = t; return t; } /* We no longer need the SSA_NAME expression VAR, release it so that - it may be reused. + it may be reused. Note it is assumed that no calls to make_ssa_name will be made until all uses of the ssa name are released and that the only @@ -178,7 +178,7 @@ release_ssa_name (tree var) /* Never release the default definition for a symbol. It's a special SSA name that should always exist once it's created. */ - if (var == gimple_default_def (cfun, SSA_NAME_VAR (var))) + if (SSA_NAME_IS_DEFAULT_DEF (var)) return; /* If VAR has been registered for SSA updating, don't remove it. @@ -192,7 +192,7 @@ release_ssa_name (tree var) /* release_ssa_name can be called multiple times on a single SSA_NAME. However, it should only end up on our free list one time. We keep a status bit in the SSA_NAME node itself to indicate it has - been put on the free list. + been put on the free list. Note that once on the freelist you can not reference the SSA_NAME's defining statement. */ @@ -202,6 +202,9 @@ release_ssa_name (tree var) int saved_ssa_name_version = SSA_NAME_VERSION (var); use_operand_p imm = &(SSA_NAME_IMM_USE_NODE (var)); + if (MAY_HAVE_DEBUG_STMTS) + insert_debug_temp_for_var_def (NULL, var); + #ifdef ENABLE_CHECKING verify_imm_links (stderr, var); #endif @@ -214,7 +217,8 @@ release_ssa_name (tree var) imm->prev = imm; imm->next = imm; - imm->stmt = var; + imm->loc.ssa_name = var; + /* First put back the right tree node so that the tree checking macros do not complain. */ TREE_SET_CODE (var, SSA_NAME); @@ -229,26 +233,34 @@ release_ssa_name (tree var) /* Note this SSA_NAME is now in the first list. */ SSA_NAME_IN_FREE_LIST (var) = 1; - /* And finally link it into the free list. */ - TREE_CHAIN (var) = FREE_SSANAMES (cfun); - FREE_SSANAMES (cfun) = var; + /* And finally put it on the free list. */ + VEC_safe_push (tree, gc, FREE_SSANAMES (cfun), var); } } -/* Creates a duplicate of a ssa name NAME defined in statement STMT. */ -tree -duplicate_ssa_name (tree name, tree stmt) +/* Return the alias information associated with pointer T. It creates a + new instance if none existed. */ + +struct ptr_info_def * +get_ptr_info (tree t) { - tree new_name = make_ssa_name (SSA_NAME_VAR (name), stmt); - struct ptr_info_def *old_ptr_info = SSA_NAME_PTR_INFO (name); + struct ptr_info_def *pi; - if (old_ptr_info) - duplicate_ssa_name_ptr_info (new_name, old_ptr_info); + gcc_assert (POINTER_TYPE_P (TREE_TYPE (t))); - return new_name; -} + pi = SSA_NAME_PTR_INFO (t); + if (pi == NULL) + { + pi = ggc_alloc_cleared_ptr_info_def (); + pt_solution_reset (&pi->pt); + pi->align = 1; + pi->misalign = 0; + SSA_NAME_PTR_INFO (t) = pi; + } + return pi; +} /* Creates a duplicate of the ptr_info_def at PTR_INFO for use by the SSA name NAME. */ @@ -264,23 +276,32 @@ duplicate_ssa_name_ptr_info (tree name, struct ptr_info_def *ptr_info) if (!ptr_info) return; - new_ptr_info = ggc_alloc (sizeof (struct ptr_info_def)); + new_ptr_info = ggc_alloc_ptr_info_def (); *new_ptr_info = *ptr_info; - if (ptr_info->pt_vars) - { - new_ptr_info->pt_vars = BITMAP_GGC_ALLOC (); - bitmap_copy (new_ptr_info->pt_vars, ptr_info->pt_vars); - } - SSA_NAME_PTR_INFO (name) = new_ptr_info; } +/* Creates a duplicate of a ssa name NAME tobe defined by statement STMT. */ + +tree +duplicate_ssa_name (tree name, gimple stmt) +{ + tree new_name = make_ssa_name (SSA_NAME_VAR (name), stmt); + struct ptr_info_def *old_ptr_info = SSA_NAME_PTR_INFO (name); + + if (old_ptr_info) + duplicate_ssa_name_ptr_info (new_name, old_ptr_info); + + return new_name; +} + + /* Release all the SSA_NAMEs created by STMT. */ void -release_defs (tree stmt) +release_defs (gimple stmt) { tree def; ssa_op_iter iter; @@ -303,3 +324,48 @@ replace_ssa_name_symbol (tree ssa_name, tree sym) SSA_NAME_VAR (ssa_name) = sym; TREE_TYPE (ssa_name) = TREE_TYPE (sym); } + +/* Return SSA names that are unused to GGC memory. This is used to keep + footprint of compiler during interprocedural optimization. + As a side effect the SSA_NAME_VERSION number reuse is reduced + so this function should not be used too often. */ +static unsigned int +release_dead_ssa_names (void) +{ + tree t; + int n = VEC_length (tree, FREE_SSANAMES (cfun)); + referenced_var_iterator rvi; + + /* Current defs point to various dead SSA names that in turn point to + eventually dead variables so a bunch of memory is held live. */ + FOR_EACH_REFERENCED_VAR (cfun, t, rvi) + set_current_def (t, NULL); + /* Now release the freelist. */ + VEC_free (tree, gc, FREE_SSANAMES (cfun)); + FREE_SSANAMES (cfun) = NULL; + + statistics_counter_event (cfun, "SSA names released", n); + if (dump_file) + fprintf (dump_file, "Released %i names, %.2f%%\n", + n, n * 100.0 / num_ssa_names); + return 0; +} + +struct gimple_opt_pass pass_release_ssa_names = +{ + { + GIMPLE_PASS, + "release_ssa", /* name */ + NULL, /* gate */ + release_dead_ssa_names, /* execute */ + NULL, /* sub */ + NULL, /* next */ + 0, /* static_pass_number */ + TV_TREE_SSA_OTHER, /* tv_id */ + PROP_ssa, /* properties_required */ + 0, /* properties_provided */ + 0, /* properties_destroyed */ + 0, /* todo_flags_start */ + 0 /* todo_flags_finish */ + } +};