#include "config.h"#include "system.h"#include "coretypes.h"#include "tm.h"#include "tree.h"#include "gimple.h"#include "tree-inline.h"#include "dumpfile.h"#include "langhooks.h"#include "pointer-set.h"#include "splay-tree.h"#include "ggc.h"#include "ipa-utils.h"#include "ipa-reference.h"#include "flags.h"#include "diagnostic.h"#include "lto-streamer.h"#include "ipa-inline.h"
Data Structures | |
| struct | searchc_env |
| struct | postorder_stack |
Function Documentation
| void cgraph_node_set_add | ( | ) |
Add cgraph_node NODE to cgraph_node_set SET.
Insert into node vector.
| cgraph_node_set_iterator cgraph_node_set_find | ( | ) |
Find NODE in SET and return an iterator to it if found. A null iterator is returned if NODE is not in SET.
| cgraph_node_set cgraph_node_set_new | ( | void | ) |
Create a new cgraph node set.
References gcc_checking_assert, and pointer_map_insert().
| void cgraph_node_set_remove | ( | ) |
Remove cgraph_node NODE from cgraph_node_set SET.
Remove from vector. We do this by swapping node with the last element of the vector.
Move the last element to the original spot of NODE.
Remove element from hash table.
References gcc_checking_assert, and pointer_map_contains().
| DEBUG_FUNCTION void debug_cgraph_node_set | ( | ) |
Dump content of SET to stderr.
| DEBUG_FUNCTION void debug_varpool_node_set | ( | ) |
Dump content of SET to stderr.
References symtab_node_base::decl, lto_in_decl_state::fn_decl, lto_file_decl_data::function_decl_states, and symtab_node_base::lto_file_data.
| void dump_cgraph_node_set | ( | ) |
Dump content of SET to file F.
References pointer_map_destroy().
| void dump_varpool_node_set | ( | ) |
Dump content of SET to file F.
References cgraph_node::count, symtab_node_base::decl, and symtab_node_base::definition.
| void free_cgraph_node_set | ( | ) |
Free varpool node set.
References gcc_checking_assert, and pointer_map_insert().
| void free_varpool_node_set | ( | ) |
Free varpool node set.
References cgraph_dump_file, cgraph_node_name(), and symtab_node_base::order.
| tree get_base_var | ( | ) |
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.
References cgraph_node_set_def::map, cgraph_node_set_def::nodes, and pointer_map_create().
| bool ipa_edge_within_scc | ( | ) |
Return true iff the CS is an edge within a strongly connected component as computed by ipa_reduced_postorder.
Referenced by add_value_to_lattice().
| void ipa_free_postorder_info | ( | void | ) |
Deallocate all ipa_dfs_info structures pointed to by the aux pointer of call graph nodes.
Get rid of the aux information.
References symtab_node_base::aux, and NULL.
| vec<cgraph_node_ptr> ipa_get_nodes_in_cycle | ( | ) |
Get the set of nodes for the cycle in the reduced call graph starting from NODE.
| void ipa_merge_profiles | ( | struct cgraph_node * | dst, |
| struct cgraph_node * | src | ||
| ) |
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.
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.
We are going to move the decl, we want to remove its file decl data.
and link these with the new decl. Duplicate the decl and be sure it does not link into body of DST.
Associate the decl state with new declaration, so LTO streamer
can look it up. TODO: merge also statement histograms.
TODO: if there is no match, we can scale up.
| void ipa_print_order | ( | FILE * | out, |
| const char * | note, | ||
| struct cgraph_node ** | order, | ||
| int | count | ||
| ) |
Utilities for ipa analysis. Copyright (C) 2005-2013 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/. 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.
References dump_cgraph_node(), and dump_file.
| int ipa_reduced_postorder | ( | struct cgraph_node ** | order, |
| bool | reduce, | ||
| bool | allow_overwritable, | ||
| bool(*)(struct cgraph_edge *) | ignore_edge | ||
| ) |
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.
Reuse the info if it is already there.
| int ipa_reverse_postorder | ( | ) |
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.
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.
Break possible cycles involving always-inline
functions by ignoring edges from always-inline
functions to non-always-inline functions.
References symtab_node_base::aux, cgraph_edge::callee, cgraph_edge::caller, cgraph_node::callers, cgraph_function_node(), symtab_node_base::decl, DECL_DISREGARD_INLINE_LIMITS, postorder_stack::edge, IPA_REF_ALIAS, ipa_ref_list_referring_iterate, ipa_ref_referring_node(), cgraph_edge::next_caller, postorder_stack::node, NULL, and postorder_stack::ref.
| bool recursive_call_p | ( | ) |
Return true if call to DEST is known to be self-recusive call withing FUNC.
|
static |
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.
mark node as old
References searchc_env::allow_overwritable, symtab_node_base::aux, AVAIL_OVERWRITABLE, cgraph_edge::callee, cgraph_function_or_thunk_node(), ipa_dfs_info::dfn_number, ignore_edge(), ipa_dfs_info::low_link, ipa_dfs_info::new_node, and ipa_dfs_info::on_stack.
| void varpool_node_set_add | ( | ) |
Add varpool_node NODE to varpool_node_set SET.
Insert into node vector.
| varpool_node_set_iterator varpool_node_set_find | ( | ) |
Find NODE in SET and return an iterator to it if found. A null iterator is returned if NODE is not in SET.
References pointer_map_destroy().
| varpool_node_set varpool_node_set_new | ( | void | ) |
Create a new varpool node set.
| void varpool_node_set_remove | ( | ) |
Remove varpool_node NODE from varpool_node_set SET.
Remove from vector. We do this by swapping node with the last element of the vector.
Move the last element to the original spot of NODE.
Remove element from hash table.
