* cgraph.h (symtab_node): (bool needed_p (void)): created from decide_is_symbol_needed (bool referred_to_p (void)): created from referred_to_p (static cgraph_node *get_for_asmname (tree asmname)): created from symtab_node_for_asm * cgraph.h (cgraph_node): (void assemble_thunks_and_aliases (void)): created from assemble_thunks_and_aliases (void expand (void)): created from expand_function (static void finalize_function (tree, bool)): created from cgraph_finalize_function (static cgraph_local_info *local_info (tree decl)): created from cgraph_local_info (static cgraph_global_info *global_info (tree)): created from cgraph_global_info (static cgraph_rtl_info *rtl_info (tree)): created from cgraph_rtl_info * cgraph.h (varpool_node): (static void add (tree decl): created from varpool_add_new_variable * cgraph.h (cgraph_edge): void remove (void); (void remove_caller (void)): created from cgraph_edge_remove_caller (void remove_callee (void)): created from cgraph_edge_remove_callee (void set_call_stmt (gimple new_stmt, bool update_speculative = true)): created from cgraph_set_call_stmt (void redirect_callee (cgraph_node *n)): created from cgraph_redirect_edge_callee (cgraph_edge *make_direct (cgraph_node *callee)): created from cgraph_make_edge_direct (cgraph_edge *make_speculative (cgraph_node *n2, gcov_type direct_count, gimple redirect_call_stmt_to_callee (void)): created from cgraph_turn_edge_to_speculative (void speculative_call_info (cgraph_edge *&direct, cgraph_edge *&indirect, ipa_ref *&reference)): created from cgraph_speculative_call_info (cgraph_edge * clone (cgraph_node *n, gimple call_stmt, unsigned stmt_uid, gcov_type count_scale, int freq_scale, bool update_original)): created from cgraph_clone_edge (cgraph_edge *resolve_speculation (tree callee_decl)): created from cgraph_resolve_speculation (bool cannot_lead_to_return_p (void)): created from cannot_lead_to_return_p (bool recursive_p (void)): created from cgraph_edge_recursive_p (bool maybe_hot_p (void)): created from cgraph_maybe_hot_edge_p (static unsigned int rebuild_edges (void)): created from rebuild_cgraph_edges (static void rebuild_references (void)): created from cgraph_rebuild_references * cgraph.h (symbol_table): (create_reference): renamed from add_reference (maybe_create_reference): renamed from maybe_add_reference (void register_symbol (symtab_node *node)): new function (void clear_asm_symbols (void)): new function (void unregister (symtab_node *node)): new function (void release_symbol (cgraph_node *node, int uid)): new function (cgraph_node * allocate_cgraph_symbol (void)): new function (void initialize (void)): created from cgraph_init (symtab_node *first_symbol (void)):new function (asm_node *first_asm_symbol (void)):new function (symtab_node *first_defined_symbol (void)):new function (varpool_node *first_variable (void)):new function (varpool_node *next_variable (varpool_node *node)):new function (varpool_node *first_static_initializer (void)):new function (varpool_node *next_static_initializer (varpool_node *node)):new function (varpool_node *first_defined_variable (void)):new function (varpool_node *next_defined_variable (varpool_node *node)):new function (cgraph_node *first_defined_function (void)):new function (cgraph_node *next_defined_function (cgraph_node *node)):new function (cgraph_node *first_function (void)):new function (cgraph_node *next_function (cgraph_node *node)):new function (cgraph_node *first_function_with_gimple_body (void)):new function (asm_node *finalize_toplevel_asm (tree asm_str)): created from add_asm_node (bool remove_unreachable_nodes (bool before_inlining_p, FILE *file)): created from symtab_remove_unreachable_nodes (void remove_unreferenced_decls (void)): created from varpool_remove_unreferenced_decls (void process_new_functions (void)): created from cgraph_process_new_functions (void process_same_body_aliases (void)): created from cgraph_process_same_body_aliases (bool output_variables (void)): created from varpool_node::output_variables (void output_asm_statements (void)): created from output_asm_statements (void finalize_compilation_unit (void)): created from finalize_compilation_unit (void compile (void)): created from compile (void output_weakrefs (void)): created from output_weakrefs (cgraph_node *create_empty (void)): created from cgraph_node::create_empty (cgraph_edge *create_edge (cgraph_node *caller, cgraph_node *callee, gimple call_stmt, gcov_type count, int freq, bool indir_unknown_callee)): created from cgraph_node::create_edge (void free_edge (cgraph_edge *e)): created from cgraph_free_edge (cgraph_node *next_function_with_gimple_body (cgraph_node *node)): created from cgraph_next_function_with_gimple_body (void remove_edge_removal_hook (cgraph_edge_hook_list *)): created from cgraph_remove_edge_removal_hook (cgraph_node_hook_list *add_cgraph_removal_hook (cgraph_node_hook, void *)): created from cgraph_add_node_removal_hook (void remove_cgraph_removal_hook (cgraph_node_hook_list *)): created from cgraph_remove_node_removal_hook (varpool_node_hook_list *add_varpool_removal_hook (varpool_node_hook, void *)): created from varpool_add_node_removal_hook (void remove_varpool_removal_hook (varpool_node_hook_list *)): created from varpool_remove_node_removal_hook (cgraph_node_hook_list *add_cgraph_insertion_hook (cgraph_node_hook, void *)): created from cgraph_add_function_insertion_hook (void remove_cgraph_insertion_hook (cgraph_node_hook_list *)): created from cgraph_remove_function_insertion_hook (varpool_node_hook_list *add_varpool_insertion_hook (varpool_node_hook, void *)): created from varpool_add_variable_insertion_hook (void remove_varpool_insertion_hook (varpool_node_hook_list *)): created from varpool_remove_variable_insertion_hook (cgraph_2edge_hook_list *add_edge_duplication_hook (cgraph_2edge_hook, void *)): created from cgraph_add_edge_duplication_hook (void remove_edge_duplication_hook (cgraph_2edge_hook_list *)): created from cgraph_remove_edge_duplication_hook (cgraph_2node_hook_list *add_cgraph_duplication_hook (cgraph_2node_hook, void *)): created from cgraph_add_node_duplication_hook (void remove_cgraph_duplication_hook (cgraph_2node_hook_list *)): created from cgraph_remove_node_duplication_hook (void call_edge_removal_hooks (cgraph_edge *e)): created from cgraph_call_edge_removal_hooks (void call_cgraph_insertion_hooks (cgraph_node *node)): created from call_function_insertion_hooks (void call_cgraph_removal_hooks (cgraph_node *node)): created from cgraph_call_node_removal_hooks (void call_cgraph_duplication_hooks (cgraph_node *node, cgraph_node *node2)): created from cgraph_node::call_duplication_hooks (void call_edge_duplication_hooks (cgraph_edge *cs1, cgraph_edge *cs2)): created from cgraph_call_edge_duplication_hooks (void call_varpool_removal_hooks (varpool_node *node)): created from varpool_call_node_removal_hooks (void call_varpool_insertion_hooks (varpool_node *node)): created from varpool_call_variable_insertion_hooks (void insert_to_assembler_name_hash (symtab_node *node, bool with_clones)): created from insert_to_assembler_name_hash (void unlink_from_assembler_name_hash (symtab_node *node, bool with_clones)): created from unlink_from_assembler_name_hash (void symtab_prevail_in_asm_name_hash (symtab_node *node)): created from symtab_prevail_in_asm_name_hash (void symtab_initialize_asm_name_hash (void)): created from symtab_initialize_asm_name_hash (void change_decl_assembler_name (tree decl, tree name)): created from change_decl_assembler_name (void materialize_all_clones (void)): created from cgraph_materialize_all_clones (static hashval_t decl_assembler_name_hash (const_tree asmname)): created from decl_assembler_name_hash (static bool decl_assembler_name_equal (tree decl, const_tree asmname)): created from decl_assembler_name_equal (static hashval_t hash_node_by_assembler_name (const void *p)): created from hash_node_by_assembler_name (static int eq_assembler_name (const void *p1, const void *p2)): created from eq_assembler_name From-SVN: r214422
571 lines
16 KiB
C
571 lines
16 KiB
C
/* Utilities for ipa analysis.
|
|
Copyright (C) 2005-2014 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 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 COPYING3. If not see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#include "config.h"
|
|
#include "system.h"
|
|
#include "coretypes.h"
|
|
#include "tm.h"
|
|
#include "tree.h"
|
|
#include "basic-block.h"
|
|
#include "tree-ssa-alias.h"
|
|
#include "internal-fn.h"
|
|
#include "gimple-expr.h"
|
|
#include "is-a.h"
|
|
#include "gimple.h"
|
|
#include "tree-inline.h"
|
|
#include "dumpfile.h"
|
|
#include "langhooks.h"
|
|
#include "splay-tree.h"
|
|
#include "ipa-utils.h"
|
|
#include "ipa-reference.h"
|
|
#include "flags.h"
|
|
#include "diagnostic.h"
|
|
#include "langhooks.h"
|
|
#include "lto-streamer.h"
|
|
#include "ipa-inline.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_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--)
|
|
order[i]->dump (out);
|
|
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;
|
|
bool allow_overwritable;
|
|
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_reduced_postorder. 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,
|
|
bool (*ignore_edge) (struct cgraph_edge *))
|
|
{
|
|
struct cgraph_edge *edge;
|
|
struct ipa_dfs_info *v_info = (struct ipa_dfs_info *) v->aux;
|
|
|
|
/* mark node as old */
|
|
v_info->new_node = 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;
|
|
enum availability avail;
|
|
struct cgraph_node *w = edge->callee->ultimate_alias_target (&avail);
|
|
|
|
if (!w || (ignore_edge && ignore_edge (edge)))
|
|
continue;
|
|
|
|
if (w->aux
|
|
&& (avail > AVAIL_INTERPOSABLE
|
|
|| (env->allow_overwritable && avail == AVAIL_INTERPOSABLE)))
|
|
{
|
|
w_info = (struct ipa_dfs_info *) w->aux;
|
|
if (w_info->new_node)
|
|
{
|
|
searchc (env, w, ignore_edge);
|
|
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 = (struct ipa_dfs_info *) x->aux;
|
|
x_info->on_stack = false;
|
|
x_info->scc_no = v_info->dfn_number;
|
|
|
|
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.
|
|
You can use ipa_get_nodes_in_cycle to obtain a vector containing all real
|
|
call graph nodes in a reduced node.
|
|
|
|
Set ALLOW_OVERWRITABLE if nodes with such availability should be included.
|
|
IGNORE_EDGE, if non-NULL is a hook that may make some edges insignificant
|
|
for the topological sort. */
|
|
|
|
int
|
|
ipa_reduced_postorder (struct cgraph_node **order,
|
|
bool reduce, bool allow_overwritable,
|
|
bool (*ignore_edge) (struct cgraph_edge *))
|
|
{
|
|
struct cgraph_node *node;
|
|
struct searchc_env env;
|
|
splay_tree_node result;
|
|
env.stack = XCNEWVEC (struct cgraph_node *, symtab->cgraph_count);
|
|
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;
|
|
env.allow_overwritable = allow_overwritable;
|
|
|
|
FOR_EACH_DEFINED_FUNCTION (node)
|
|
{
|
|
enum availability avail = node->get_availability ();
|
|
|
|
if (avail > AVAIL_INTERPOSABLE
|
|
|| (allow_overwritable
|
|
&& (avail == AVAIL_INTERPOSABLE)))
|
|
{
|
|
/* Reuse the info if it is already there. */
|
|
struct ipa_dfs_info *info = (struct ipa_dfs_info *) node->aux;
|
|
if (!info)
|
|
info = XCNEW (struct ipa_dfs_info);
|
|
info->new_node = 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, ignore_edge);
|
|
result = splay_tree_min (env.nodes_marked_new);
|
|
}
|
|
splay_tree_delete (env.nodes_marked_new);
|
|
free (env.stack);
|
|
|
|
return env.order_pos;
|
|
}
|
|
|
|
/* Deallocate all ipa_dfs_info structures pointed to by the aux pointer of call
|
|
graph nodes. */
|
|
|
|
void
|
|
ipa_free_postorder_info (void)
|
|
{
|
|
struct cgraph_node *node;
|
|
FOR_EACH_DEFINED_FUNCTION (node)
|
|
{
|
|
/* Get rid of the aux information. */
|
|
if (node->aux)
|
|
{
|
|
free (node->aux);
|
|
node->aux = NULL;
|
|
}
|
|
}
|
|
}
|
|
|
|
/* Get the set of nodes for the cycle in the reduced call graph starting
|
|
from NODE. */
|
|
|
|
vec<cgraph_node *>
|
|
ipa_get_nodes_in_cycle (struct cgraph_node *node)
|
|
{
|
|
vec<cgraph_node *> v = vNULL;
|
|
struct ipa_dfs_info *node_dfs_info;
|
|
while (node)
|
|
{
|
|
v.safe_push (node);
|
|
node_dfs_info = (struct ipa_dfs_info *) node->aux;
|
|
node = node_dfs_info->next_cycle;
|
|
}
|
|
return v;
|
|
}
|
|
|
|
/* Return true iff the CS is an edge within a strongly connected component as
|
|
computed by ipa_reduced_postorder. */
|
|
|
|
bool
|
|
ipa_edge_within_scc (struct cgraph_edge *cs)
|
|
{
|
|
struct ipa_dfs_info *caller_dfs = (struct ipa_dfs_info *) cs->caller->aux;
|
|
struct ipa_dfs_info *callee_dfs;
|
|
struct cgraph_node *callee = cs->callee->function_symbol ();
|
|
|
|
callee_dfs = (struct ipa_dfs_info *) callee->aux;
|
|
return (caller_dfs
|
|
&& callee_dfs
|
|
&& caller_dfs->scc_no == callee_dfs->scc_no);
|
|
}
|
|
|
|
struct postorder_stack
|
|
{
|
|
struct cgraph_node *node;
|
|
struct cgraph_edge *edge;
|
|
int ref;
|
|
};
|
|
|
|
/* Fill array order with all nodes with output flag set in the reverse
|
|
topological order. Return the number of elements in the array.
|
|
FIXME: While walking, consider aliases, too. */
|
|
|
|
int
|
|
ipa_reverse_postorder (struct cgraph_node **order)
|
|
{
|
|
struct cgraph_node *node, *node2;
|
|
int stack_size = 0;
|
|
int order_pos = 0;
|
|
struct cgraph_edge *edge;
|
|
int pass;
|
|
struct ipa_ref *ref = NULL;
|
|
|
|
struct postorder_stack *stack =
|
|
XCNEWVEC (struct postorder_stack, symtab->cgraph_count);
|
|
|
|
/* We have to deal with cycles nicely, so use a depth first traversal
|
|
output algorithm. Ignore the fact that some functions won't need
|
|
to be output and put them into order as well, so we get dependencies
|
|
right through inline functions. */
|
|
FOR_EACH_FUNCTION (node)
|
|
node->aux = NULL;
|
|
for (pass = 0; pass < 2; pass++)
|
|
FOR_EACH_FUNCTION (node)
|
|
if (!node->aux
|
|
&& (pass
|
|
|| (!node->address_taken
|
|
&& !node->global.inlined_to
|
|
&& !node->alias && !node->thunk.thunk_p
|
|
&& !node->only_called_directly_p ())))
|
|
{
|
|
stack_size = 0;
|
|
stack[stack_size].node = node;
|
|
stack[stack_size].edge = node->callers;
|
|
stack[stack_size].ref = 0;
|
|
node->aux = (void *)(size_t)1;
|
|
while (stack_size >= 0)
|
|
{
|
|
while (true)
|
|
{
|
|
node2 = NULL;
|
|
while (stack[stack_size].edge && !node2)
|
|
{
|
|
edge = stack[stack_size].edge;
|
|
node2 = edge->caller;
|
|
stack[stack_size].edge = edge->next_caller;
|
|
/* Break possible cycles involving always-inline
|
|
functions by ignoring edges from always-inline
|
|
functions to non-always-inline functions. */
|
|
if (DECL_DISREGARD_INLINE_LIMITS (edge->caller->decl)
|
|
&& !DECL_DISREGARD_INLINE_LIMITS
|
|
(edge->callee->function_symbol ()->decl))
|
|
node2 = NULL;
|
|
}
|
|
for (; stack[stack_size].node->iterate_referring (
|
|
stack[stack_size].ref,
|
|
ref) && !node2;
|
|
stack[stack_size].ref++)
|
|
{
|
|
if (ref->use == IPA_REF_ALIAS)
|
|
node2 = dyn_cast <cgraph_node *> (ref->referring);
|
|
}
|
|
if (!node2)
|
|
break;
|
|
if (!node2->aux)
|
|
{
|
|
stack[++stack_size].node = node2;
|
|
stack[stack_size].edge = node2->callers;
|
|
stack[stack_size].ref = 0;
|
|
node2->aux = (void *)(size_t)1;
|
|
}
|
|
}
|
|
order[order_pos++] = stack[stack_size--].node;
|
|
}
|
|
}
|
|
free (stack);
|
|
FOR_EACH_FUNCTION (node)
|
|
node->aux = NULL;
|
|
return order_pos;
|
|
}
|
|
|
|
|
|
|
|
/* Given a memory reference T, will return the variable at the bottom
|
|
of the access. Unlike get_base_address, this will recurse through
|
|
INDIRECT_REFS. */
|
|
|
|
tree
|
|
get_base_var (tree 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
|
|
&& TREE_CODE (t) != CONSTRUCTOR)
|
|
{
|
|
t = TREE_OPERAND (t, 0);
|
|
}
|
|
return t;
|
|
}
|
|
|
|
|
|
/* SRC and DST are going to be merged. Take SRC's profile and merge it into
|
|
DST so it is not going to be lost. Destroy SRC's body on the way. */
|
|
|
|
void
|
|
ipa_merge_profiles (struct cgraph_node *dst,
|
|
struct cgraph_node *src)
|
|
{
|
|
tree oldsrcdecl = src->decl;
|
|
struct function *srccfun, *dstcfun;
|
|
bool match = true;
|
|
|
|
if (!src->definition
|
|
|| !dst->definition)
|
|
return;
|
|
if (src->frequency < dst->frequency)
|
|
src->frequency = dst->frequency;
|
|
|
|
/* Time profiles are merged. */
|
|
if (dst->tp_first_run > src->tp_first_run && src->tp_first_run)
|
|
dst->tp_first_run = src->tp_first_run;
|
|
|
|
if (src->profile_id && !dst->profile_id)
|
|
dst->profile_id = src->profile_id;
|
|
|
|
if (!dst->count)
|
|
return;
|
|
if (symtab->dump_file)
|
|
{
|
|
fprintf (symtab->dump_file, "Merging profiles of %s/%i to %s/%i\n",
|
|
xstrdup (src->name ()), src->order,
|
|
xstrdup (dst->name ()), dst->order);
|
|
}
|
|
dst->count += src->count;
|
|
|
|
/* This is ugly. We need to get both function bodies into memory.
|
|
If declaration is merged, we need to duplicate it to be able
|
|
to load body that is being replaced. This makes symbol table
|
|
temporarily inconsistent. */
|
|
if (src->decl == dst->decl)
|
|
{
|
|
void **slot;
|
|
struct lto_in_decl_state temp;
|
|
struct lto_in_decl_state *state;
|
|
|
|
/* We are going to move the decl, we want to remove its file decl data.
|
|
and link these with the new decl. */
|
|
temp.fn_decl = src->decl;
|
|
slot = htab_find_slot (src->lto_file_data->function_decl_states,
|
|
&temp, NO_INSERT);
|
|
state = (lto_in_decl_state *)*slot;
|
|
htab_clear_slot (src->lto_file_data->function_decl_states, slot);
|
|
gcc_assert (state);
|
|
|
|
/* Duplicate the decl and be sure it does not link into body of DST. */
|
|
src->decl = copy_node (src->decl);
|
|
DECL_STRUCT_FUNCTION (src->decl) = NULL;
|
|
DECL_ARGUMENTS (src->decl) = NULL;
|
|
DECL_INITIAL (src->decl) = NULL;
|
|
DECL_RESULT (src->decl) = NULL;
|
|
|
|
/* Associate the decl state with new declaration, so LTO streamer
|
|
can look it up. */
|
|
state->fn_decl = src->decl;
|
|
slot = htab_find_slot (src->lto_file_data->function_decl_states,
|
|
state, INSERT);
|
|
gcc_assert (!*slot);
|
|
*slot = state;
|
|
}
|
|
src->get_body ();
|
|
dst->get_body ();
|
|
srccfun = DECL_STRUCT_FUNCTION (src->decl);
|
|
dstcfun = DECL_STRUCT_FUNCTION (dst->decl);
|
|
if (n_basic_blocks_for_fn (srccfun)
|
|
!= n_basic_blocks_for_fn (dstcfun))
|
|
{
|
|
if (symtab->dump_file)
|
|
fprintf (symtab->dump_file,
|
|
"Giving up; number of basic block mismatch.\n");
|
|
match = false;
|
|
}
|
|
else if (last_basic_block_for_fn (srccfun)
|
|
!= last_basic_block_for_fn (dstcfun))
|
|
{
|
|
if (symtab->dump_file)
|
|
fprintf (symtab->dump_file,
|
|
"Giving up; last block mismatch.\n");
|
|
match = false;
|
|
}
|
|
else
|
|
{
|
|
basic_block srcbb, dstbb;
|
|
|
|
FOR_ALL_BB_FN (srcbb, srccfun)
|
|
{
|
|
unsigned int i;
|
|
|
|
dstbb = BASIC_BLOCK_FOR_FN (dstcfun, srcbb->index);
|
|
if (dstbb == NULL)
|
|
{
|
|
if (symtab->dump_file)
|
|
fprintf (symtab->dump_file,
|
|
"No matching block for bb %i.\n",
|
|
srcbb->index);
|
|
match = false;
|
|
break;
|
|
}
|
|
if (EDGE_COUNT (srcbb->succs) != EDGE_COUNT (dstbb->succs))
|
|
{
|
|
if (symtab->dump_file)
|
|
fprintf (symtab->dump_file,
|
|
"Edge count mistmatch for bb %i.\n",
|
|
srcbb->index);
|
|
match = false;
|
|
break;
|
|
}
|
|
for (i = 0; i < EDGE_COUNT (srcbb->succs); i++)
|
|
{
|
|
edge srce = EDGE_SUCC (srcbb, i);
|
|
edge dste = EDGE_SUCC (dstbb, i);
|
|
if (srce->dest->index != dste->dest->index)
|
|
{
|
|
if (symtab->dump_file)
|
|
fprintf (symtab->dump_file,
|
|
"Succ edge mistmatch for bb %i.\n",
|
|
srce->dest->index);
|
|
match = false;
|
|
break;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
if (match)
|
|
{
|
|
struct cgraph_edge *e;
|
|
basic_block srcbb, dstbb;
|
|
|
|
/* TODO: merge also statement histograms. */
|
|
FOR_ALL_BB_FN (srcbb, srccfun)
|
|
{
|
|
unsigned int i;
|
|
|
|
dstbb = BASIC_BLOCK_FOR_FN (dstcfun, srcbb->index);
|
|
dstbb->count += srcbb->count;
|
|
for (i = 0; i < EDGE_COUNT (srcbb->succs); i++)
|
|
{
|
|
edge srce = EDGE_SUCC (srcbb, i);
|
|
edge dste = EDGE_SUCC (dstbb, i);
|
|
dste->count += srce->count;
|
|
}
|
|
}
|
|
push_cfun (dstcfun);
|
|
counts_to_freqs ();
|
|
compute_function_frequency ();
|
|
pop_cfun ();
|
|
for (e = dst->callees; e; e = e->next_callee)
|
|
{
|
|
gcc_assert (!e->speculative);
|
|
e->count = gimple_bb (e->call_stmt)->count;
|
|
e->frequency = compute_call_stmt_bb_frequency
|
|
(dst->decl,
|
|
gimple_bb (e->call_stmt));
|
|
}
|
|
for (e = dst->indirect_calls; e; e = e->next_callee)
|
|
{
|
|
gcc_assert (!e->speculative);
|
|
e->count = gimple_bb (e->call_stmt)->count;
|
|
e->frequency = compute_call_stmt_bb_frequency
|
|
(dst->decl,
|
|
gimple_bb (e->call_stmt));
|
|
}
|
|
src->release_body ();
|
|
inline_update_overall_summary (dst);
|
|
}
|
|
/* TODO: if there is no match, we can scale up. */
|
|
src->decl = oldsrcdecl;
|
|
}
|
|
|
|
/* Return true if call to DEST is known to be self-recusive call withing FUNC. */
|
|
|
|
bool
|
|
recursive_call_p (tree func, tree dest)
|
|
{
|
|
struct cgraph_node *dest_node = cgraph_node::get_create (dest);
|
|
struct cgraph_node *cnode = cgraph_node::get_create (func);
|
|
|
|
return dest_node->semantically_equivalent_p (cnode);
|
|
}
|