mirror of
https://git.FreeBSD.org/src.git
synced 2024-12-21 11:13:30 +00:00
c6e2105845
the GCC 4.1 branch and are available under GPLv2. 2007-11-07 Eric Botcazou <ebotcazou@libertysurf.fr> PR rtl-optimization/33822 * rtl.h (REG_OFFSET): Fix comment. * var-tracking.c (INT_MEM_OFFSET): New macro. (var_mem_set): Use it. (var_mem_delete_and_set): Likewise. (var_mem_delete): Likewise. (vt_get_decl_and_offset): Likewise. (offset_valid_for_tracked_p): New predicate. (count_uses): Do not track locations with invalid offsets. (add_uses): Likewise. (add_stores): Likewise. http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129972 2007-11-16 Richard Guenther <rguenther@suse.de> PR middle-end/34030 * fold-const.c (fold_binary): Use correct types for folding 1 << X & Y to Y >> X & 1. http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=130242 2008-01-14 Eric Botcazou <ebotcazou@adacore.com> PR rtl-optimization/31944 * cse.c (remove_pseudo_from_table): New function. (merge_equiv_classes): Use above function to remove pseudo-registers. (invalidate): Likewise http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131524 2008-01-24 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> Backport: 2007-11-07 Kenneth Zadeck <zadeck@naturalbridge.com> PR middle-end/33826 * ipa-pure-const (static_execute): Added code to keep recursive functions from being marked as pure or const. * ipa-utils (searchc): Fixed comment. http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=131807 2008-02-01 Kaveh R. Ghazi <ghazi@caip.rutgers.edu> Backport: 2007-08-02 Nathan Froyd <froydnj@codesourcery.com> PR middle-end/25445 * varasm.c (default_binds_local_p_1): Consult flag_whole_program if we are compiling with -fPIC. http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132061 2008-02-04 Richard Guenther <rguenther@suse.de> PR middle-end/33631 * expr.c (count_type_elements): Give for unions instead of guessing. http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132101 2008-02-14 Alan Modra <amodra@bigpond.net.au> PR target/34393 * config/rs6000/rs6000.md (restore_stack_block): Force operands[1] to a reg. http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132309 2008-03-25 Richard Guenther <rguenther@suse.de> Backport from mainline: 2008-02-12 Richard Guenther <rguenther@suse.de> PR middle-end/35163 * fold-const.c (fold_widened_comparison): Use get_unwidened in value-preserving mode. Disallow final truncation. http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=133509 2008-11-30 Eric Botcazou <ebotcazou@adacore.com> PR target/38287 * config/sparc/sparc.md (divsi3 expander): Remove constraints. (divsi3_sp32): Add new alternative with 'K' for operand #2. (cmp_sdiv_cc_set): Factor common string. (udivsi3_sp32): Add new alternative with 'K' for operand #2. Add TARGET_V9 case. (cmp_udiv_cc_set): Factor common string. http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=142298 Reviewed by: mm Approved by: jhb (mentor) MFC after: 1 week
229 lines
6.0 KiB
C
229 lines
6.0 KiB
C
/* Utilities for ipa analysis.
|
||
Copyright (C) 2005 Free Software Foundation, Inc.
|
||
Contributed by Kenneth Zadeck <zadeck@naturalbridge.com>
|
||
|
||
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) 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.
|
||
*/
|
||
|
||
#include "config.h"
|
||
#include "system.h"
|
||
#include "coretypes.h"
|
||
#include "tm.h"
|
||
#include "tree.h"
|
||
#include "tree-flow.h"
|
||
#include "tree-inline.h"
|
||
#include "tree-pass.h"
|
||
#include "langhooks.h"
|
||
#include "pointer-set.h"
|
||
#include "ggc.h"
|
||
#include "ipa-utils.h"
|
||
#include "ipa-reference.h"
|
||
#include "c-common.h"
|
||
#include "tree-gimple.h"
|
||
#include "cgraph.h"
|
||
#include "output.h"
|
||
#include "flags.h"
|
||
#include "timevar.h"
|
||
#include "diagnostic.h"
|
||
#include "langhooks.h"
|
||
|
||
/* Debugging function for postorder and inorder code. NOTE is a string
|
||
that is printed before the nodes are printed. ORDER is an array of
|
||
cgraph_nodes that has COUNT useful nodes in it. */
|
||
|
||
void
|
||
ipa_utils_print_order (FILE* out,
|
||
const char * note,
|
||
struct cgraph_node** order,
|
||
int count)
|
||
{
|
||
int i;
|
||
fprintf (out, "\n\n ordered call graph: %s\n", note);
|
||
|
||
for (i = count - 1; i >= 0; i--)
|
||
dump_cgraph_node(dump_file, order[i]);
|
||
fprintf (out, "\n");
|
||
fflush(out);
|
||
}
|
||
|
||
|
||
struct searchc_env {
|
||
struct cgraph_node **stack;
|
||
int stack_size;
|
||
struct cgraph_node **result;
|
||
int order_pos;
|
||
splay_tree nodes_marked_new;
|
||
bool reduce;
|
||
int count;
|
||
};
|
||
|
||
/* This is an implementation of Tarjan's strongly connected region
|
||
finder as reprinted in Aho Hopcraft and Ullman's The Design and
|
||
Analysis of Computer Programs (1975) pages 192-193. This version
|
||
has been customized for cgraph_nodes. The env parameter is because
|
||
it is recursive and there are no nested functions here. This
|
||
function should only be called from itself or
|
||
ipa_utils_reduced_inorder. ENV is a stack env and would be
|
||
unnecessary if C had nested functions. V is the node to start
|
||
searching from. */
|
||
|
||
static void
|
||
searchc (struct searchc_env* env, struct cgraph_node *v)
|
||
{
|
||
struct cgraph_edge *edge;
|
||
struct ipa_dfs_info *v_info = v->aux;
|
||
|
||
/* mark node as old */
|
||
v_info->new = false;
|
||
splay_tree_remove (env->nodes_marked_new, v->uid);
|
||
|
||
v_info->dfn_number = env->count;
|
||
v_info->low_link = env->count;
|
||
env->count++;
|
||
env->stack[(env->stack_size)++] = v;
|
||
v_info->on_stack = true;
|
||
|
||
for (edge = v->callees; edge; edge = edge->next_callee)
|
||
{
|
||
struct ipa_dfs_info * w_info;
|
||
struct cgraph_node *w = edge->callee;
|
||
/* Bypass the clones and only look at the master node. Skip
|
||
external and other bogus nodes. */
|
||
w = cgraph_master_clone (w);
|
||
if (w && w->aux)
|
||
{
|
||
w_info = w->aux;
|
||
if (w_info->new)
|
||
{
|
||
searchc (env, w);
|
||
v_info->low_link =
|
||
(v_info->low_link < w_info->low_link) ?
|
||
v_info->low_link : w_info->low_link;
|
||
}
|
||
else
|
||
if ((w_info->dfn_number < v_info->dfn_number)
|
||
&& (w_info->on_stack))
|
||
v_info->low_link =
|
||
(w_info->dfn_number < v_info->low_link) ?
|
||
w_info->dfn_number : v_info->low_link;
|
||
}
|
||
}
|
||
|
||
|
||
if (v_info->low_link == v_info->dfn_number)
|
||
{
|
||
struct cgraph_node *last = NULL;
|
||
struct cgraph_node *x;
|
||
struct ipa_dfs_info *x_info;
|
||
do {
|
||
x = env->stack[--(env->stack_size)];
|
||
x_info = x->aux;
|
||
x_info->on_stack = false;
|
||
|
||
if (env->reduce)
|
||
{
|
||
x_info->next_cycle = last;
|
||
last = x;
|
||
}
|
||
else
|
||
env->result[env->order_pos++] = x;
|
||
}
|
||
while (v != x);
|
||
if (env->reduce)
|
||
env->result[env->order_pos++] = v;
|
||
}
|
||
}
|
||
|
||
/* Topsort the call graph by caller relation. Put the result in ORDER.
|
||
|
||
The REDUCE flag is true if you want the cycles reduced to single
|
||
nodes. Only consider nodes that have the output bit set. */
|
||
|
||
int
|
||
ipa_utils_reduced_inorder (struct cgraph_node **order,
|
||
bool reduce, bool allow_overwritable)
|
||
{
|
||
struct cgraph_node *node;
|
||
struct searchc_env env;
|
||
splay_tree_node result;
|
||
env.stack = XCNEWVEC (struct cgraph_node *, cgraph_n_nodes);
|
||
env.stack_size = 0;
|
||
env.result = order;
|
||
env.order_pos = 0;
|
||
env.nodes_marked_new = splay_tree_new (splay_tree_compare_ints, 0, 0);
|
||
env.count = 1;
|
||
env.reduce = reduce;
|
||
|
||
for (node = cgraph_nodes; node; node = node->next)
|
||
if ((node->analyzed)
|
||
&& (cgraph_is_master_clone (node)
|
||
|| (allow_overwritable
|
||
&& (cgraph_function_body_availability (node) ==
|
||
AVAIL_OVERWRITABLE))))
|
||
{
|
||
/* Reuse the info if it is already there. */
|
||
struct ipa_dfs_info *info = node->aux;
|
||
if (!info)
|
||
info = xcalloc (1, sizeof (struct ipa_dfs_info));
|
||
info->new = true;
|
||
info->on_stack = false;
|
||
info->next_cycle = NULL;
|
||
node->aux = info;
|
||
|
||
splay_tree_insert (env.nodes_marked_new,
|
||
(splay_tree_key)node->uid,
|
||
(splay_tree_value)node);
|
||
}
|
||
else
|
||
node->aux = NULL;
|
||
result = splay_tree_min (env.nodes_marked_new);
|
||
while (result)
|
||
{
|
||
node = (struct cgraph_node *)result->value;
|
||
searchc (&env, node);
|
||
result = splay_tree_min (env.nodes_marked_new);
|
||
}
|
||
splay_tree_delete (env.nodes_marked_new);
|
||
free (env.stack);
|
||
|
||
return env.order_pos;
|
||
}
|
||
|
||
|
||
/* Given a memory reference T, will return the variable at the bottom
|
||
of the access. Unlike get_base_address, this will recurse thru
|
||
INDIRECT_REFS. */
|
||
|
||
tree
|
||
get_base_var (tree t)
|
||
{
|
||
if ((TREE_CODE (t) == EXC_PTR_EXPR) || (TREE_CODE (t) == FILTER_EXPR))
|
||
return t;
|
||
|
||
while (!SSA_VAR_P (t)
|
||
&& (!CONSTANT_CLASS_P (t))
|
||
&& TREE_CODE (t) != LABEL_DECL
|
||
&& TREE_CODE (t) != FUNCTION_DECL
|
||
&& TREE_CODE (t) != CONST_DECL)
|
||
{
|
||
t = TREE_OPERAND (t, 0);
|
||
}
|
||
return t;
|
||
}
|
||
|