]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/cgraph.h
parser.c (cp_parser_nested_name_specifier_opt): Fix typo in comment.
[thirdparty/gcc.git] / gcc / cgraph.h
CommitLineData
1c4a429a 1/* Callgraph handling code.
d1e082c2 2 Copyright (C) 2003-2013 Free Software Foundation, Inc.
1c4a429a
JH
3 Contributed by Jan Hubicka
4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify it under
8the terms of the GNU General Public License as published by the Free
9dcd6f09 9Software Foundation; either version 3, or (at your option) any later
1c4a429a
JH
10version.
11
12GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or
14FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15for more details.
16
17You should have received a copy of the GNU General Public License
9dcd6f09
NC
18along with GCC; see the file COPYING3. If not see
19<http://www.gnu.org/licenses/>. */
1c4a429a
JH
20
21#ifndef GCC_CGRAPH_H
22#define GCC_CGRAPH_H
7a8cba34 23
5d59b5e1 24#include "is-a.h"
051f8cc6 25#include "plugin-api.h"
7a8cba34 26#include "vec.h"
6674a6ce 27#include "tree.h"
e42922b1 28#include "basic-block.h"
7a8cba34 29#include "function.h"
1f00098b
JH
30#include "ipa-ref.h"
31
32/* Symbol table consists of functions and variables.
e70670cf 33 TODO: add labels and CONST_DECLs. */
1f00098b
JH
34enum symtab_type
35{
960bfb69 36 SYMTAB_SYMBOL,
1f00098b
JH
37 SYMTAB_FUNCTION,
38 SYMTAB_VARIABLE
39};
40
41/* Base of all entries in the symbol table.
42 The symtab_node is inherited by cgraph and varpol nodes. */
960bfb69 43struct GTY(()) symtab_node_base
1f00098b
JH
44{
45 /* Type of the symbol. */
b8dbdb12
RG
46 ENUM_BITFIELD (symtab_type) type : 8;
47
48 /* The symbols resolution. */
49 ENUM_BITFIELD (ld_plugin_symbol_resolution) resolution : 8;
50
e70670cf
JH
51 /*** Flags representing the symbol type. ***/
52
53 /* True when symbol corresponds to a definition in current unit.
54 set via cgraph_finalize_function or varpool_finalize_decl */
55 unsigned definition : 1;
56 /* True when symbol is an alias.
57 Set by assemble_alias. */
58 unsigned alias : 1;
08346abd
JH
59 /* True when alias is a weakref. */
60 unsigned weakref : 1;
40a7fe1e
JH
61 /* C++ frontend produce same body aliases and extra name aliases for
62 virutal functions and vtables that are obviously equivalent.
63 Those aliases are bit special, especially because C++ frontend
64 visibility code is so ugly it can not get them right at first time
65 and their visibility needs to be copied from their "masters" at
66 the end of parsing. */
67 unsigned cpp_implicit_alias : 1;
e70670cf
JH
68 /* Set once the definition was analyzed. The list of references and
69 other properties are built during analysis. */
70 unsigned analyzed : 1;
71
72
73 /*** Visibility and linkage flags. ***/
74
b8dbdb12
RG
75 /* Set when function is visible by other units. */
76 unsigned externally_visible : 1;
edb983b2
JH
77 /* The symbol will be assumed to be used in an invisiable way (like
78 by an toplevel asm statement). */
b8dbdb12 79 unsigned force_output : 1;
edb983b2
JH
80 /* Like FORCE_OUTPUT, but in the case it is ABI requiring the symbol to be
81 exported. Unlike FORCE_OUTPUT this flag gets cleared to symbols promoted
82 to static and it does not inhibit optimization. */
83 unsigned forced_by_abi : 1;
702d8703
JH
84 /* True when the name is known to be unique and thus it does not need mangling. */
85 unsigned unique_name : 1;
b8dbdb12 86
b8dbdb12 87
e70670cf
JH
88 /*** WHOPR Partitioning flags.
89 These flags are used at ltrans stage when only part of the callgraph is
90 available. ***/
b8dbdb12 91
e70670cf
JH
92 /* Set when variable is used from other LTRANS partition. */
93 unsigned used_from_other_partition : 1;
94 /* Set when function is available in the other LTRANS partition.
95 During WPA output it is used to mark nodes that are present in
96 multiple partitions. */
97 unsigned in_other_partition : 1;
b8dbdb12 98
b8dbdb12 99
e70670cf
JH
100
101 /*** other flags. ***/
102
103 /* Set when symbol has address taken. */
104 unsigned address_taken : 1;
105
106
107 /* Ordering of all symtab entries. */
108 int order;
109
110 /* Declaration representing the symbol. */
111 tree decl;
960bfb69 112
2aae7680
JH
113 /* Linked list of symbol table entries starting with symtab_nodes. */
114 symtab_node next;
115 symtab_node previous;
e70670cf 116
1ab24192 117 /* Linked list of symbols with the same asm name. There may be multiple
e70670cf
JH
118 entries for single symbol name during LTO, because symbols are renamed
119 only after partitioning.
120
121 Because inline clones are kept in the assembler name has, they also produce
122 duplicate entries.
123
124 There are also several long standing bugs where frontends and builtin
125 code produce duplicated decls. */
1ab24192
JH
126 symtab_node next_sharing_asm_name;
127 symtab_node previous_sharing_asm_name;
2aae7680 128
e70670cf
JH
129 /* Circular list of nodes in the same comdat group if non-NULL. */
130 symtab_node same_comdat_group;
131
132 /* Vectors of referring and referenced entities. */
133 struct ipa_ref_list ref_list;
134
40a7fe1e
JH
135 /* Alias target. May be either DECL pointer or ASSEMBLER_NAME pointer
136 depending to what was known to frontend on the creation time.
137 Once alias is resolved, this pointer become NULL. */
138 tree alias_target;
139
e70670cf
JH
140 /* File stream where this node is being written to. */
141 struct lto_file_decl_data * lto_file_data;
142
960bfb69 143 PTR GTY ((skip)) aux;
1f00098b 144};
1c4a429a 145
6b02a499
JH
146enum availability
147{
148 /* Not yet set by cgraph_function_body_availability. */
149 AVAIL_UNSET,
150 /* Function body/variable initializer is unknown. */
151 AVAIL_NOT_AVAILABLE,
152 /* Function body/variable initializer is known but might be replaced
153 by a different one from other compilation unit and thus needs to
154 be dealt with a care. Like AVAIL_NOT_AVAILABLE it can have
155 arbitrary side effects on escaping variables and functions, while
156 like AVAILABLE it might access static variables. */
157 AVAIL_OVERWRITABLE,
158 /* Function body/variable initializer is known and will be used in final
159 program. */
160 AVAIL_AVAILABLE,
161 /* Function body/variable initializer is known and all it's uses are explicitly
162 visible within current unit (ie it's address is never taken and it is not
163 exported to other units).
164 Currently used only for functions. */
165 AVAIL_LOCAL
166};
167
d7f09764
DN
168/* This is the information that is put into the cgraph local structure
169 to recover a function. */
170struct lto_file_decl_data;
171
8a4a83ed 172extern const char * const cgraph_availability_names[];
430c6ceb 173extern const char * const ld_plugin_symbol_resolution_names[];
8a4a83ed 174
6744a6ab
JH
175/* Information about thunk, used only for same body aliases. */
176
177struct GTY(()) cgraph_thunk_info {
178 /* Information about the thunk. */
179 HOST_WIDE_INT fixed_offset;
180 HOST_WIDE_INT virtual_value;
181 tree alias;
182 bool this_adjusting;
183 bool virtual_offset_p;
184 /* Set to true when alias node is thunk. */
185 bool thunk_p;
186};
187
dafc5b82 188/* Information about the function collected locally.
25c84396 189 Available after function is analyzed. */
dafc5b82 190
d1b38208 191struct GTY(()) cgraph_local_info {
e0bb17a8 192 /* Set when function function is visible in current compilation unit only
e2209b03 193 and its address is never taken. */
b4e19405 194 unsigned local : 1;
6674a6ce 195
124f1be6
MJ
196 /* False when there is something makes versioning impossible. */
197 unsigned versionable : 1;
198
61e03ffc
JH
199 /* False when function calling convention and signature can not be changed.
200 This is the case when __builtin_apply_args is used. */
201 unsigned can_change_signature : 1;
202
95c755e9
JH
203 /* True when the function has been originally extern inline, but it is
204 redefined now. */
b4e19405 205 unsigned redefined_extern_inline : 1;
0a35513e
AH
206
207 /* True if the function may enter serial irrevocable mode. */
208 unsigned tm_may_enter_irr : 1;
dafc5b82
JH
209};
210
211/* Information about the function that needs to be computed globally
726a989a 212 once compilation is finished. Available only with -funit-at-a-time. */
dafc5b82 213
d1b38208 214struct GTY(()) cgraph_global_info {
726a989a
RB
215 /* For inline clones this points to the function they will be
216 inlined into. */
18c6ada9 217 struct cgraph_node *inlined_to;
dafc5b82
JH
218};
219
b255a036
JH
220/* Information about the function that is propagated by the RTL backend.
221 Available only for functions that has been already assembled. */
222
d1b38208 223struct GTY(()) cgraph_rtl_info {
17b29c0a 224 unsigned int preferred_incoming_stack_boundary;
b255a036
JH
225};
226
9187e02d
JH
227/* Represent which DECL tree (or reference to such tree)
228 will be replaced by another tree while versioning. */
229struct GTY(()) ipa_replace_map
230{
231 /* The tree that will be replaced. */
232 tree old_tree;
233 /* The new (replacing) tree. */
234 tree new_tree;
922f15c2
JH
235 /* Parameter number to replace, when old_tree is NULL. */
236 int parm_num;
9187e02d
JH
237 /* True when a substitution should be done, false otherwise. */
238 bool replace_p;
239 /* True when we replace a reference to old_tree. */
240 bool ref_p;
241};
242typedef struct ipa_replace_map *ipa_replace_map_p;
9187e02d
JH
243
244struct GTY(()) cgraph_clone_info
245{
9771b263 246 vec<ipa_replace_map_p, va_gc> *tree_map;
9187e02d 247 bitmap args_to_skip;
08ad1d6d 248 bitmap combined_args_to_skip;
9187e02d
JH
249};
250
5fefcf92 251
ba228239 252/* The cgraph data structure.
e0bb17a8 253 Each function decl has assigned cgraph_node listing callees and callers. */
1c4a429a 254
960bfb69
JH
255struct GTY(()) cgraph_node {
256 struct symtab_node_base symbol;
1c4a429a
JH
257 struct cgraph_edge *callees;
258 struct cgraph_edge *callers;
e33c6cd6
MJ
259 /* List of edges representing indirect calls with a yet undetermined
260 callee. */
261 struct cgraph_edge *indirect_calls;
1c4a429a 262 /* For nested functions points to function the node is nested in. */
960bfb69
JH
263 struct cgraph_node *
264 GTY ((nested_ptr (union symtab_node_def, "(struct cgraph_node *)(%h)", "(symtab_node)%h")))
265 origin;
1c4a429a 266 /* Points to first nested function, if any. */
960bfb69
JH
267 struct cgraph_node *
268 GTY ((nested_ptr (union symtab_node_def, "(struct cgraph_node *)(%h)", "(symtab_node)%h")))
269 nested;
1c4a429a 270 /* Pointer to the next function with same origin, if any. */
960bfb69
JH
271 struct cgraph_node *
272 GTY ((nested_ptr (union symtab_node_def, "(struct cgraph_node *)(%h)", "(symtab_node)%h")))
273 next_nested;
18c6ada9 274 /* Pointer to the next clone. */
9187e02d
JH
275 struct cgraph_node *next_sibling_clone;
276 struct cgraph_node *prev_sibling_clone;
277 struct cgraph_node *clones;
278 struct cgraph_node *clone_of;
70d539ce
JH
279 /* For functions with many calls sites it holds map from call expression
280 to the edge to speed up cgraph_edge function. */
281 htab_t GTY((param_is (struct cgraph_edge))) call_site_hash;
97ba0040
JH
282 /* Declaration node used to be clone of. */
283 tree former_clone_of;
c22cacf3 284
0e3776db
JH
285 /* Interprocedural passes scheduled to have their transform functions
286 applied next time we execute local pass on them. We maintain it
287 per-function in order to allow IPA passes to introduce new functions. */
9771b263 288 vec<ipa_opt_pass> GTY((skip)) ipa_transforms_to_apply;
0e3776db 289
95c755e9
JH
290 struct cgraph_local_info local;
291 struct cgraph_global_info global;
292 struct cgraph_rtl_info rtl;
9187e02d 293 struct cgraph_clone_info clone;
6744a6ab 294 struct cgraph_thunk_info thunk;
c22cacf3 295
e42922b1
JH
296 /* Expected number of executions: calculated in profile.c. */
297 gcov_type count;
db0bf14f
JH
298 /* How to scale counts at materialization time; used to merge
299 LTO units with different number of profile runs. */
300 int count_materialization_scale;
95c755e9
JH
301 /* Unique id of the node. */
302 int uid;
3691626c 303
6b20f353
DS
304 /* Set when decl is an abstract function pointed to by the
305 ABSTRACT_DECL_ORIGIN of a reachable function. */
306 unsigned abstract_and_needed : 1;
50674e96 307 /* Set once the function is lowered (i.e. its CFG is built). */
b4e19405 308 unsigned lowered : 1;
25c84396
RH
309 /* Set once the function has been instantiated and its callee
310 lists created. */
257eb6e3 311 unsigned process : 1;
5fefcf92
JH
312 /* How commonly executed the node is. Initialized during branch
313 probabilities pass. */
314 ENUM_BITFIELD (node_frequency) frequency : 2;
844db5d0
JH
315 /* True when function can only be called at startup (from static ctor). */
316 unsigned only_called_at_startup : 1;
317 /* True when function can only be called at startup (from static dtor). */
318 unsigned only_called_at_exit : 1;
0a35513e
AH
319 /* True when function is the transactional clone of a function which
320 is called only from inside transactions. */
321 /* ?? We should be able to remove this. We have enough bits in
322 cgraph to calculate it. */
323 unsigned tm_clone : 1;
3649b9b7
ST
324 /* True if this decl is a dispatcher for function versions. */
325 unsigned dispatcher_function : 1;
1c4a429a
JH
326};
327
7380e6ef 328
fed5ae11
DK
329typedef struct cgraph_node *cgraph_node_ptr;
330
fed5ae11 331
3649b9b7
ST
332/* Function Multiversioning info. */
333struct GTY(()) cgraph_function_version_info {
334 /* The cgraph_node for which the function version info is stored. */
335 struct cgraph_node *this_node;
336 /* Chains all the semantically identical function versions. The
337 first function in this chain is the version_info node of the
338 default function. */
339 struct cgraph_function_version_info *prev;
340 /* If this version node corresponds to a dispatcher for function
341 versions, this points to the version info node of the default
342 function, the first node in the chain. */
343 struct cgraph_function_version_info *next;
344 /* If this node corresponds to a function version, this points
345 to the dispatcher function decl, which is the function that must
346 be called to execute the right function version at run-time.
347
348 If this cgraph node is a dispatcher (if dispatcher_function is
349 true, in the cgraph_node struct) for function versions, this
350 points to resolver function, which holds the function body of the
351 dispatcher. The dispatcher decl is an alias to the resolver
352 function decl. */
353 tree dispatcher_resolver;
354};
355
356/* Get the cgraph_function_version_info node corresponding to node. */
357struct cgraph_function_version_info *
358 get_cgraph_node_version (struct cgraph_node *node);
359
360/* Insert a new cgraph_function_version_info node into cgraph_fnver_htab
361 corresponding to cgraph_node NODE. */
362struct cgraph_function_version_info *
363 insert_new_cgraph_node_version (struct cgraph_node *node);
364
365/* Record that DECL1 and DECL2 are semantically identical function
366 versions. */
367void record_function_versions (tree decl1, tree decl2);
368
369/* Remove the cgraph_function_version_info and cgraph_node for DECL. This
370 DECL is a duplicate declaration. */
371void delete_function_version (tree decl);
372
fed5ae11
DK
373/* A cgraph node set is a collection of cgraph nodes. A cgraph node
374 can appear in multiple sets. */
1cb1a99f 375struct cgraph_node_set_def
fed5ae11 376{
1cb1a99f 377 struct pointer_map_t *map;
9771b263 378 vec<cgraph_node_ptr> nodes;
fed5ae11
DK
379};
380
2942c502
JH
381typedef struct varpool_node *varpool_node_ptr;
382
2942c502
JH
383
384/* A varpool node set is a collection of varpool nodes. A varpool node
385 can appear in multiple sets. */
1cb1a99f 386struct varpool_node_set_def
2942c502 387{
1cb1a99f 388 struct pointer_map_t * map;
9771b263 389 vec<varpool_node_ptr> nodes;
2942c502
JH
390};
391
fed5ae11
DK
392typedef struct cgraph_node_set_def *cgraph_node_set;
393
fed5ae11 394
2942c502
JH
395typedef struct varpool_node_set_def *varpool_node_set;
396
2942c502 397
fed5ae11
DK
398/* Iterator structure for cgraph node sets. */
399typedef struct
400{
401 cgraph_node_set set;
402 unsigned index;
403} cgraph_node_set_iterator;
404
2942c502
JH
405/* Iterator structure for varpool node sets. */
406typedef struct
407{
408 varpool_node_set set;
409 unsigned index;
410} varpool_node_set_iterator;
411
61a05df1
JH
412#define DEFCIFCODE(code, string) CIF_ ## code,
413/* Reasons for inlining failures. */
533c07c5 414typedef enum cgraph_inline_failed_enum {
61a05df1
JH
415#include "cif-code.def"
416 CIF_N_REASONS
417} cgraph_inline_failed_t;
418
e33c6cd6
MJ
419/* Structure containing additional information about an indirect call. */
420
421struct GTY(()) cgraph_indirect_call_info
422{
8b7773a4
MJ
423 /* When polymorphic is set, this field contains offset where the object which
424 was actually used in the polymorphic resides within a larger structure.
425 If agg_contents is set, the field contains the offset within the aggregate
426 from which the address to call was loaded. */
427 HOST_WIDE_INT offset;
b258210c
MJ
428 /* OBJ_TYPE_REF_TOKEN of a polymorphic call (if polymorphic is set). */
429 HOST_WIDE_INT otr_token;
430 /* Type of the object from OBJ_TYPE_REF_OBJECT. */
431 tree otr_type;
e33c6cd6
MJ
432 /* Index of the parameter that is called. */
433 int param_index;
5f902d76
JH
434 /* ECF flags determined from the caller. */
435 int ecf_flags;
b258210c
MJ
436
437 /* Set when the call is a virtual call with the parameter being the
438 associated object pointer rather than a simple direct call. */
439 unsigned polymorphic : 1;
8b7773a4
MJ
440 /* Set when the call is a call of a pointer loaded from contents of an
441 aggregate at offset. */
442 unsigned agg_contents : 1;
443 /* When the previous bit is set, this one determines whether the destination
444 is loaded from a parameter passed by reference. */
445 unsigned by_ref : 1;
e33c6cd6
MJ
446};
447
d1b38208 448struct GTY((chain_next ("%h.next_caller"), chain_prev ("%h.prev_caller"))) cgraph_edge {
6009ee7b
MJ
449 /* Expected number of executions: calculated in profile.c. */
450 gcov_type count;
ed2df68b
JH
451 struct cgraph_node *caller;
452 struct cgraph_node *callee;
2563c224 453 struct cgraph_edge *prev_caller;
1c4a429a 454 struct cgraph_edge *next_caller;
2563c224 455 struct cgraph_edge *prev_callee;
1c4a429a 456 struct cgraph_edge *next_callee;
726a989a 457 gimple call_stmt;
e33c6cd6
MJ
458 /* Additional information about an indirect call. Not cleared when an edge
459 becomes direct. */
460 struct cgraph_indirect_call_info *indirect_info;
18c6ada9 461 PTR GTY ((skip (""))) aux;
61a05df1
JH
462 /* When equal to CIF_OK, inline this call. Otherwise, points to the
463 explanation why function was not inlined. */
464 cgraph_inline_failed_t inline_failed;
6009ee7b
MJ
465 /* The stmt_uid of call_stmt. This is used by LTO to recover the call_stmt
466 when the function is serialized in. */
467 unsigned int lto_stmt_uid;
b8698a0f 468 /* Expected frequency of executions within the function.
45a80bb9
JH
469 When set to CGRAPH_FREQ_BASE, the edge is expected to be called once
470 per function call. The range is 0 to CGRAPH_FREQ_MAX. */
471 int frequency;
6009ee7b
MJ
472 /* Unique id of the edge. */
473 int uid;
e33c6cd6
MJ
474 /* Whether this edge was made direct by indirect inlining. */
475 unsigned int indirect_inlining_edge : 1;
476 /* Whether this edge describes an indirect call with an undetermined
477 callee. */
478 unsigned int indirect_unknown_callee : 1;
479 /* Whether this edge is still a dangling */
d7f09764
DN
480 /* True if the corresponding CALL stmt cannot be inlined. */
481 unsigned int call_stmt_cannot_inline_p : 1;
2505c5ed
JH
482 /* Can this call throw externally? */
483 unsigned int can_throw_external : 1;
1c4a429a
JH
484};
485
45a80bb9
JH
486#define CGRAPH_FREQ_BASE 1000
487#define CGRAPH_FREQ_MAX 100000
488
b2c0ad40
KH
489typedef struct cgraph_edge *cgraph_edge_p;
490
b2c0ad40 491
8a4a83ed
JH
492/* The varpool data structure.
493 Each static variable decl has assigned varpool_node. */
e69529cd 494
2aae7680 495struct GTY(()) varpool_node {
960bfb69 496 struct symtab_node_base symbol;
e69529cd 497
6b02a499 498 /* Set when variable is scheduled to be assembled. */
b4e19405 499 unsigned output : 1;
e69529cd
JH
500};
501
65d630d4 502/* Every top level asm statement is put into a asm_node. */
474eccc6 503
65d630d4 504struct GTY(()) asm_node {
474eccc6 505 /* Next asm node. */
65d630d4 506 struct asm_node *next;
474eccc6
ILT
507 /* String for this asm node. */
508 tree asm_str;
509 /* Ordering of all cgraph nodes. */
510 int order;
511};
512
960bfb69 513/* Symbol table entry. */
2aae7680
JH
514union GTY((desc ("%h.symbol.type"), chain_next ("%h.symbol.next"),
515 chain_prev ("%h.symbol.previous"))) symtab_node_def {
960bfb69 516 struct symtab_node_base GTY ((tag ("SYMTAB_SYMBOL"))) symbol;
5d59b5e1
LC
517 /* To access the following fields,
518 use the use dyn_cast or as_a to obtain the concrete type. */
960bfb69 519 struct cgraph_node GTY ((tag ("SYMTAB_FUNCTION"))) x_function;
960bfb69
JH
520 struct varpool_node GTY ((tag ("SYMTAB_VARIABLE"))) x_variable;
521};
522
5d59b5e1
LC
523/* Report whether or not THIS symtab node is a function, aka cgraph_node. */
524
525template <>
526template <>
527inline bool
528is_a_helper <cgraph_node>::test (symtab_node_def *p)
529{
530 return p->symbol.type == SYMTAB_FUNCTION;
531}
532
533/* Report whether or not THIS symtab node is a vriable, aka varpool_node. */
534
535template <>
536template <>
537inline bool
538is_a_helper <varpool_node>::test (symtab_node_def *p)
539{
540 return p->symbol.type == SYMTAB_VARIABLE;
541}
542
2aae7680 543extern GTY(()) symtab_node symtab_nodes;
ed2df68b 544extern GTY(()) int cgraph_n_nodes;
b58b1157 545extern GTY(()) int cgraph_max_uid;
9088c1cc 546extern GTY(()) int cgraph_edge_max_uid;
dafc5b82 547extern bool cgraph_global_info_ready;
f45e0ad1
JH
548enum cgraph_state
549{
66058468
JH
550 /* Frontend is parsing and finalizing functions. */
551 CGRAPH_STATE_PARSING,
f45e0ad1
JH
552 /* Callgraph is being constructed. It is safe to add new functions. */
553 CGRAPH_STATE_CONSTRUCTION,
554 /* Callgraph is built and IPA passes are being run. */
555 CGRAPH_STATE_IPA,
7a388ee4
JH
556 /* Callgraph is built and all functions are transformed to SSA form. */
557 CGRAPH_STATE_IPA_SSA,
f45e0ad1
JH
558 /* Functions are now ordered and being passed to RTL expanders. */
559 CGRAPH_STATE_EXPANSION,
560 /* All cgraph expansion is done. */
561 CGRAPH_STATE_FINISHED
562};
563extern enum cgraph_state cgraph_state;
e7d6beb0 564extern bool cgraph_function_flags_ready;
66058468 565extern cgraph_node_set cgraph_new_nodes;
1c4a429a 566
65d630d4 567extern GTY(()) struct asm_node *asm_nodes;
2aae7680 568extern GTY(()) int symtab_order;
40a7fe1e 569extern bool cpp_implicit_aliases_done;
e69529cd 570
2aae7680
JH
571/* In symtab.c */
572void symtab_register_node (symtab_node);
573void symtab_unregister_node (symtab_node);
574void symtab_remove_node (symtab_node);
1ab24192
JH
575symtab_node symtab_get_node (const_tree);
576symtab_node symtab_node_for_asm (const_tree asmname);
8f940ee6
JH
577const char * symtab_node_asm_name (symtab_node);
578const char * symtab_node_name (symtab_node);
1ab24192 579void symtab_insert_node_to_hashtable (symtab_node);
65d630d4
JH
580void symtab_add_to_same_comdat_group (symtab_node, symtab_node);
581void symtab_dissolve_same_comdat_group_list (symtab_node node);
8f940ee6
JH
582void dump_symtab (FILE *);
583void debug_symtab (void);
584void dump_symtab_node (FILE *, symtab_node);
585void debug_symtab_node (symtab_node);
586void dump_symtab_base (FILE *, symtab_node);
474ffc72
JH
587void verify_symtab (void);
588void verify_symtab_node (symtab_node);
589bool verify_symtab_base (symtab_node);
65d630d4
JH
590bool symtab_used_from_object_file_p (symtab_node);
591void symtab_make_decl_local (tree);
40a7fe1e
JH
592symtab_node symtab_alias_ultimate_target (symtab_node,
593 enum availability *avail = NULL);
594bool symtab_resolve_alias (symtab_node node, symtab_node target);
595void fixup_same_cpp_alias_visibility (symtab_node node, symtab_node target);
2aae7680 596
1c4a429a 597/* In cgraph.c */
439f7bc3 598void dump_cgraph (FILE *);
c4e622b6 599void debug_cgraph (void);
18c6ada9 600void dump_cgraph_node (FILE *, struct cgraph_node *);
c4e622b6 601void debug_cgraph_node (struct cgraph_node *);
18c6ada9 602void cgraph_remove_edge (struct cgraph_edge *);
439f7bc3 603void cgraph_remove_node (struct cgraph_node *);
3a40c18a 604void cgraph_release_function_body (struct cgraph_node *);
2563c224 605void cgraph_node_remove_callees (struct cgraph_node *node);
18c6ada9
JH
606struct cgraph_edge *cgraph_create_edge (struct cgraph_node *,
607 struct cgraph_node *,
898b8927 608 gimple, gcov_type, int);
ce47fda3 609struct cgraph_edge *cgraph_create_indirect_edge (struct cgraph_node *, gimple,
898b8927 610 int, gcov_type, int);
ce47fda3 611struct cgraph_indirect_call_info *cgraph_allocate_init_indirect_info (void);
a358e188 612struct cgraph_node * cgraph_create_node (tree);
66a20fc2 613struct cgraph_node * cgraph_create_empty_node (void);
a358e188 614struct cgraph_node * cgraph_get_create_node (tree);
48f4a6fa 615struct cgraph_node * cgraph_get_create_real_symbol_node (tree);
87e7b310
JH
616struct cgraph_node * cgraph_same_body_alias (struct cgraph_node *, tree, tree);
617struct cgraph_node * cgraph_add_thunk (struct cgraph_node *, tree, tree, bool, HOST_WIDE_INT,
051f8cc6 618 HOST_WIDE_INT, tree, tree);
4537ec0c 619struct cgraph_node *cgraph_node_for_asm (tree);
726a989a
RB
620struct cgraph_edge *cgraph_edge (struct cgraph_node *, gimple);
621void cgraph_set_call_stmt (struct cgraph_edge *, gimple);
4b685e14 622void cgraph_update_edges_for_call_stmt (gimple, tree, gimple);
439f7bc3
AJ
623struct cgraph_local_info *cgraph_local_info (tree);
624struct cgraph_global_info *cgraph_global_info (tree);
625struct cgraph_rtl_info *cgraph_rtl_info (tree);
39e2db00 626struct cgraph_node *cgraph_create_function_alias (tree, tree);
66a20fc2
JH
627void cgraph_call_node_duplication_hooks (struct cgraph_node *,
628 struct cgraph_node *);
629void cgraph_call_edge_duplication_hooks (struct cgraph_edge *,
630 struct cgraph_edge *);
1c4a429a 631
18c6ada9 632void cgraph_redirect_edge_callee (struct cgraph_edge *, struct cgraph_node *);
81fa35bd 633void cgraph_make_edge_direct (struct cgraph_edge *, struct cgraph_node *);
be330ed4 634bool cgraph_only_called_directly_p (struct cgraph_node *);
e69529cd 635
1bb17c21 636bool cgraph_function_possibly_inlined_p (tree);
e42922b1 637void cgraph_unnest_node (struct cgraph_node *);
1bb17c21 638
6b02a499 639enum availability cgraph_function_body_availability (struct cgraph_node *);
f45e0ad1 640void cgraph_add_new_function (tree, bool);
61a05df1 641const char* cgraph_inline_failed_string (cgraph_inline_failed_t);
6b02a499 642
20cdc2be 643void cgraph_set_nothrow_flag (struct cgraph_node *, bool);
530f3a1b
JH
644void cgraph_set_const_flag (struct cgraph_node *, bool, bool);
645void cgraph_set_pure_flag (struct cgraph_node *, bool, bool);
d56026c2
JH
646bool cgraph_node_cannot_return (struct cgraph_node *);
647bool cgraph_edge_cannot_lead_to_return (struct cgraph_edge *);
508e4757
JH
648bool cgraph_will_be_removed_from_program_if_no_direct_calls
649 (struct cgraph_node *node);
650bool cgraph_can_remove_if_no_direct_calls_and_refs_p
651 (struct cgraph_node *node);
9aa3f5c5 652bool cgraph_can_remove_if_no_direct_calls_p (struct cgraph_node *node);
be330ed4 653bool resolution_used_from_other_file_p (enum ld_plugin_symbol_resolution);
be330ed4
JH
654bool cgraph_for_node_thunks_and_aliases (struct cgraph_node *,
655 bool (*) (struct cgraph_node *, void *),
656 void *,
657 bool);
658bool cgraph_for_node_and_aliases (struct cgraph_node *,
659 bool (*) (struct cgraph_node *, void *),
660 void *, bool);
9771b263 661vec<cgraph_edge_p> collect_callers_of_node (struct cgraph_node *node);
18c6ada9
JH
662void verify_cgraph (void);
663void verify_cgraph_node (struct cgraph_node *);
9c8305f8 664void cgraph_mark_address_taken_node (struct cgraph_node *);
d7f09764 665
9088c1cc
MJ
666typedef void (*cgraph_edge_hook)(struct cgraph_edge *, void *);
667typedef void (*cgraph_node_hook)(struct cgraph_node *, void *);
668typedef void (*cgraph_2edge_hook)(struct cgraph_edge *, struct cgraph_edge *,
669 void *);
670typedef void (*cgraph_2node_hook)(struct cgraph_node *, struct cgraph_node *,
671 void *);
672struct cgraph_edge_hook_list;
673struct cgraph_node_hook_list;
674struct cgraph_2edge_hook_list;
675struct cgraph_2node_hook_list;
676struct cgraph_edge_hook_list *cgraph_add_edge_removal_hook (cgraph_edge_hook, void *);
677void cgraph_remove_edge_removal_hook (struct cgraph_edge_hook_list *);
678struct cgraph_node_hook_list *cgraph_add_node_removal_hook (cgraph_node_hook,
679 void *);
680void cgraph_remove_node_removal_hook (struct cgraph_node_hook_list *);
129a37fc
JH
681struct cgraph_node_hook_list *cgraph_add_function_insertion_hook (cgraph_node_hook,
682 void *);
683void cgraph_remove_function_insertion_hook (struct cgraph_node_hook_list *);
684void cgraph_call_function_insertion_hooks (struct cgraph_node *node);
9088c1cc
MJ
685struct cgraph_2edge_hook_list *cgraph_add_edge_duplication_hook (cgraph_2edge_hook, void *);
686void cgraph_remove_edge_duplication_hook (struct cgraph_2edge_hook_list *);
687struct cgraph_2node_hook_list *cgraph_add_node_duplication_hook (cgraph_2node_hook, void *);
688void cgraph_remove_node_duplication_hook (struct cgraph_2node_hook_list *);
8132a837 689gimple cgraph_redirect_edge_call_stmt_to_callee (struct cgraph_edge *);
fa5f5e27 690bool cgraph_propagate_frequency (struct cgraph_node *node);
40a7fe1e
JH
691struct cgraph_node * cgraph_function_node (struct cgraph_node *,
692 enum availability *avail = NULL);
9c8305f8
JH
693
694/* In cgraphunit.c */
65d630d4 695struct asm_node *add_asm_node (tree);
9c8305f8
JH
696extern FILE *cgraph_dump_file;
697void cgraph_finalize_function (tree, bool);
65d630d4
JH
698void finalize_compilation_unit (void);
699void compile (void);
9c8305f8 700void init_cgraph (void);
66a20fc2
JH
701bool cgraph_process_new_functions (void);
702void cgraph_process_same_body_aliases (void);
e70670cf 703void fixup_same_cpp_alias_visibility (symtab_node, symtab_node target, tree);
3649b9b7
ST
704/* Initialize datastructures so DECL is a function in lowered gimple form.
705 IN_SSA is true if the gimple is in SSA. */
e70670cf
JH
706basic_block init_lowered_empty_function (tree, bool);
707void cgraph_reset_node (struct cgraph_node *);
66a20fc2
JH
708
709/* In cgraphclones.c */
710
711struct cgraph_edge * cgraph_clone_edge (struct cgraph_edge *,
712 struct cgraph_node *, gimple,
713 unsigned, gcov_type, int, bool);
714struct cgraph_node * cgraph_clone_node (struct cgraph_node *, tree, gcov_type,
9771b263 715 int, bool, vec<cgraph_edge_p>,
66a20fc2
JH
716 bool);
717tree clone_function_name (tree decl, const char *);
718struct cgraph_node * cgraph_create_virtual_clone (struct cgraph_node *old_node,
9771b263
DN
719 vec<cgraph_edge_p>,
720 vec<ipa_replace_map_p, va_gc> *tree_map,
66a20fc2
JH
721 bitmap args_to_skip,
722 const char *clone_name);
723struct cgraph_node *cgraph_find_replacement_node (struct cgraph_node *);
724bool cgraph_remove_node_and_inline_clones (struct cgraph_node *, struct cgraph_node *);
725void cgraph_set_call_stmt_including_clones (struct cgraph_node *, gimple, gimple);
726void cgraph_create_edge_including_clones (struct cgraph_node *,
727 struct cgraph_node *,
728 gimple, gimple, gcov_type, int,
729 cgraph_inline_failed_t);
730void cgraph_materialize_all_clones (void);
9c8305f8 731struct cgraph_node * cgraph_copy_node_for_versioning (struct cgraph_node *,
9771b263 732 tree, vec<cgraph_edge_p>, bitmap);
9c8305f8 733struct cgraph_node *cgraph_function_versioning (struct cgraph_node *,
9771b263
DN
734 vec<cgraph_edge_p>,
735 vec<ipa_replace_map_p, va_gc> *,
9c8305f8
JH
736 bitmap, bool, bitmap,
737 basic_block, const char *);
9771b263 738void tree_function_versioning (tree, tree, vec<ipa_replace_map_p, va_gc> *,
9c8305f8 739 bool, bitmap, bool, bitmap, basic_block);
9c8305f8 740
917948d3
ZD
741/* In cgraphbuild.c */
742unsigned int rebuild_cgraph_edges (void);
99b766fc 743void cgraph_rebuild_references (void);
9187e02d 744int compute_call_stmt_bb_frequency (tree, basic_block bb);
9c8305f8 745void record_references_in_initializer (tree, bool);
82338059 746void ipa_record_stmt_references (struct cgraph_node *, gimple);
917948d3 747
ca31b95f 748/* In ipa.c */
04142cc3 749bool symtab_remove_unreachable_nodes (bool, FILE *);
fed5ae11
DK
750cgraph_node_set cgraph_node_set_new (void);
751cgraph_node_set_iterator cgraph_node_set_find (cgraph_node_set,
752 struct cgraph_node *);
753void cgraph_node_set_add (cgraph_node_set, struct cgraph_node *);
754void cgraph_node_set_remove (cgraph_node_set, struct cgraph_node *);
755void dump_cgraph_node_set (FILE *, cgraph_node_set);
756void debug_cgraph_node_set (cgraph_node_set);
1cb1a99f 757void free_cgraph_node_set (cgraph_node_set);
9c8305f8 758void cgraph_build_static_cdtor (char which, tree body, int priority);
fed5ae11 759
2942c502
JH
760varpool_node_set varpool_node_set_new (void);
761varpool_node_set_iterator varpool_node_set_find (varpool_node_set,
762 struct varpool_node *);
763void varpool_node_set_add (varpool_node_set, struct varpool_node *);
764void varpool_node_set_remove (varpool_node_set, struct varpool_node *);
765void dump_varpool_node_set (FILE *, varpool_node_set);
766void debug_varpool_node_set (varpool_node_set);
1cb1a99f 767void free_varpool_node_set (varpool_node_set);
4a444e58 768void ipa_discover_readonly_nonaddressable_vars (void);
5ac42672 769bool varpool_externally_visible_p (struct varpool_node *);
ca31b95f 770
fed5ae11 771/* In predict.c */
ca30a539 772bool cgraph_maybe_hot_edge_p (struct cgraph_edge *e);
e6416b30 773bool cgraph_optimize_for_size_p (struct cgraph_node *);
ca30a539 774
8a4a83ed 775/* In varpool.c */
bbf9ad07 776struct varpool_node *varpool_create_empty_node (void);
5d59b5e1 777struct varpool_node *varpool_node_for_decl (tree);
8a4a83ed
JH
778struct varpool_node *varpool_node_for_asm (tree asmname);
779void varpool_mark_needed_node (struct varpool_node *);
d85478c2 780void debug_varpool (void);
8a4a83ed
JH
781void dump_varpool (FILE *);
782void dump_varpool_node (FILE *, struct varpool_node *);
783
784void varpool_finalize_decl (tree);
8a4a83ed 785enum availability cgraph_variable_initializer_availability (struct varpool_node *);
a550d677
MJ
786void cgraph_make_node_local (struct cgraph_node *);
787bool cgraph_node_can_be_local_p (struct cgraph_node *);
8a4a83ed 788
2942c502 789
2942c502 790void varpool_remove_node (struct varpool_node *node);
7fece979 791void varpool_finalize_named_section_flags (struct varpool_node *node);
65d630d4 792bool varpool_output_variables (void);
8a4a83ed 793bool varpool_assemble_decl (struct varpool_node *node);
66058468 794void varpool_analyze_node (struct varpool_node *);
051f8cc6 795struct varpool_node * varpool_extra_name_alias (tree, tree);
cd35bcf7 796struct varpool_node * varpool_create_variable_alias (tree, tree);
b34fd25c 797void varpool_reset_queue (void);
64e0f5ff 798bool const_value_known_p (tree);
cd35bcf7
JH
799bool varpool_for_node_and_aliases (struct varpool_node *,
800 bool (*) (struct varpool_node *, void *),
801 void *, bool);
38877e98 802void varpool_add_new_variable (tree);
b5493fb2
JH
803void symtab_initialize_asm_name_hash (void);
804void symtab_prevail_in_asm_name_hash (symtab_node node);
e70670cf 805void varpool_remove_initializer (struct varpool_node *);
8a4a83ed 806
68e56cc4 807
1f00098b
JH
808/* Return callgraph node for given symbol and check it is a function. */
809static inline struct cgraph_node *
960bfb69 810cgraph (symtab_node node)
1f00098b 811{
960bfb69 812 gcc_checking_assert (!node || node->symbol.type == SYMTAB_FUNCTION);
1ab24192 813 return (struct cgraph_node *)node;
1f00098b
JH
814}
815
816/* Return varpool node for given symbol and check it is a variable. */
817static inline struct varpool_node *
960bfb69 818varpool (symtab_node node)
1f00098b 819{
960bfb69 820 gcc_checking_assert (!node || node->symbol.type == SYMTAB_VARIABLE);
1ab24192 821 return (struct varpool_node *)node;
1f00098b
JH
822}
823
1ab24192
JH
824/* Return callgraph node for given symbol and check it is a function. */
825static inline struct cgraph_node *
826cgraph_get_node (const_tree decl)
827{
828 gcc_checking_assert (TREE_CODE (decl) == FUNCTION_DECL);
829 return cgraph (symtab_get_node (decl));
830}
831
832/* Return varpool node for given symbol and check it is a function. */
833static inline struct varpool_node *
834varpool_get_node (const_tree decl)
835{
836 gcc_checking_assert (TREE_CODE (decl) == VAR_DECL);
837 return varpool (symtab_get_node (decl));
838}
839
8f940ee6
JH
840/* Return asm name of cgraph node. */
841static inline const char *
40a7fe1e 842cgraph_node_asm_name (struct cgraph_node *node)
8f940ee6
JH
843{
844 return symtab_node_asm_name ((symtab_node)node);
845}
846
847/* Return asm name of varpool node. */
848static inline const char *
849varpool_node_asm_name(struct varpool_node *node)
850{
851 return symtab_node_asm_name ((symtab_node)node);
852}
853
854/* Return name of cgraph node. */
855static inline const char *
856cgraph_node_name(struct cgraph_node *node)
857{
858 return symtab_node_name ((symtab_node)node);
859}
860
861/* Return name of varpool node. */
862static inline const char *
863varpool_node_name(struct varpool_node *node)
864{
865 return symtab_node_name ((symtab_node)node);
866}
867
1ab24192
JH
868/* Walk all symbols. */
869#define FOR_EACH_SYMBOL(node) \
870 for ((node) = symtab_nodes; (node); (node) = (node)->symbol.next)
1f00098b 871
66058468
JH
872
873/* Return first variable. */
874static inline struct varpool_node *
875varpool_first_variable (void)
876{
877 symtab_node node;
878 for (node = symtab_nodes; node; node = node->symbol.next)
5d59b5e1
LC
879 if (varpool_node *vnode = dyn_cast <varpool_node> (node))
880 return vnode;
66058468
JH
881 return NULL;
882}
883
884/* Return next variable after NODE. */
885static inline struct varpool_node *
886varpool_next_variable (struct varpool_node *node)
887{
888 symtab_node node1 = (symtab_node) node->symbol.next;
889 for (; node1; node1 = node1->symbol.next)
5d59b5e1
LC
890 if (varpool_node *vnode1 = dyn_cast <varpool_node> (node1))
891 return vnode1;
66058468
JH
892 return NULL;
893}
894/* Walk all variables. */
895#define FOR_EACH_VARIABLE(node) \
896 for ((node) = varpool_first_variable (); \
897 (node); \
898 (node) = varpool_next_variable ((node)))
899
68e56cc4
JH
900/* Return first reachable static variable with initializer. */
901static inline struct varpool_node *
902varpool_first_static_initializer (void)
903{
66058468
JH
904 symtab_node node;
905 for (node = symtab_nodes; node; node = node->symbol.next)
68e56cc4 906 {
5d59b5e1
LC
907 varpool_node *vnode = dyn_cast <varpool_node> (node);
908 if (vnode && DECL_INITIAL (node->symbol.decl))
909 return vnode;
68e56cc4
JH
910 }
911 return NULL;
912}
913
914/* Return next reachable static variable with initializer after NODE. */
915static inline struct varpool_node *
916varpool_next_static_initializer (struct varpool_node *node)
917{
66058468
JH
918 symtab_node node1 = (symtab_node) node->symbol.next;
919 for (; node1; node1 = node1->symbol.next)
68e56cc4 920 {
5d59b5e1
LC
921 varpool_node *vnode1 = dyn_cast <varpool_node> (node1);
922 if (vnode1 && DECL_INITIAL (node1->symbol.decl))
923 return vnode1;
68e56cc4
JH
924 }
925 return NULL;
926}
927
928/* Walk all static variables with initializer set. */
929#define FOR_EACH_STATIC_INITIALIZER(node) \
930 for ((node) = varpool_first_static_initializer (); (node); \
931 (node) = varpool_next_static_initializer (node))
2aae7680 932
66058468 933/* Return first reachable static variable with initializer. */
2aae7680 934static inline struct varpool_node *
66058468 935varpool_first_defined_variable (void)
2aae7680
JH
936{
937 symtab_node node;
938 for (node = symtab_nodes; node; node = node->symbol.next)
939 {
5d59b5e1 940 varpool_node *vnode = dyn_cast <varpool_node> (node);
e70670cf 941 if (vnode && vnode->symbol.definition)
5d59b5e1 942 return vnode;
2aae7680
JH
943 }
944 return NULL;
945}
946
66058468 947/* Return next reachable static variable with initializer after NODE. */
2aae7680 948static inline struct varpool_node *
66058468 949varpool_next_defined_variable (struct varpool_node *node)
2aae7680
JH
950{
951 symtab_node node1 = (symtab_node) node->symbol.next;
952 for (; node1; node1 = node1->symbol.next)
953 {
5d59b5e1 954 varpool_node *vnode1 = dyn_cast <varpool_node> (node1);
e70670cf 955 if (vnode1 && vnode1->symbol.definition)
5d59b5e1 956 return vnode1;
2aae7680
JH
957 }
958 return NULL;
959}
65c70e6b
JH
960/* Walk all variables with definitions in current unit. */
961#define FOR_EACH_DEFINED_VARIABLE(node) \
66058468
JH
962 for ((node) = varpool_first_defined_variable (); (node); \
963 (node) = varpool_next_defined_variable (node))
68e56cc4 964
c47d0034
JH
965/* Return first function with body defined. */
966static inline struct cgraph_node *
967cgraph_first_defined_function (void)
968{
2aae7680
JH
969 symtab_node node;
970 for (node = symtab_nodes; node; node = node->symbol.next)
c47d0034 971 {
5d59b5e1 972 cgraph_node *cn = dyn_cast <cgraph_node> (node);
e70670cf 973 if (cn && cn->symbol.definition)
5d59b5e1 974 return cn;
c47d0034
JH
975 }
976 return NULL;
977}
978
45896127 979/* Return next function with body defined after NODE. */
c47d0034
JH
980static inline struct cgraph_node *
981cgraph_next_defined_function (struct cgraph_node *node)
982{
2aae7680
JH
983 symtab_node node1 = (symtab_node) node->symbol.next;
984 for (; node1; node1 = node1->symbol.next)
c47d0034 985 {
5d59b5e1 986 cgraph_node *cn1 = dyn_cast <cgraph_node> (node1);
e70670cf 987 if (cn1 && cn1->symbol.definition)
5d59b5e1 988 return cn1;
c47d0034
JH
989 }
990 return NULL;
991}
992
993/* Walk all functions with body defined. */
994#define FOR_EACH_DEFINED_FUNCTION(node) \
995 for ((node) = cgraph_first_defined_function (); (node); \
2aae7680
JH
996 (node) = cgraph_next_defined_function ((node)))
997
998/* Return first function. */
999static inline struct cgraph_node *
1000cgraph_first_function (void)
1001{
1002 symtab_node node;
1003 for (node = symtab_nodes; node; node = node->symbol.next)
5d59b5e1
LC
1004 if (cgraph_node *cn = dyn_cast <cgraph_node> (node))
1005 return cn;
2aae7680
JH
1006 return NULL;
1007}
1008
1009/* Return next function. */
1010static inline struct cgraph_node *
1011cgraph_next_function (struct cgraph_node *node)
1012{
1013 symtab_node node1 = (symtab_node) node->symbol.next;
1014 for (; node1; node1 = node1->symbol.next)
5d59b5e1
LC
1015 if (cgraph_node *cn1 = dyn_cast <cgraph_node> (node1))
1016 return cn1;
2aae7680
JH
1017 return NULL;
1018}
65c70e6b
JH
1019/* Walk all functions. */
1020#define FOR_EACH_FUNCTION(node) \
2aae7680
JH
1021 for ((node) = cgraph_first_function (); (node); \
1022 (node) = cgraph_next_function ((node)))
c47d0034
JH
1023
1024/* Return true when NODE is a function with Gimple body defined
1025 in current unit. Functions can also be define externally or they
1026 can be thunks with no Gimple representation.
1027
1028 Note that at WPA stage, the function body may not be present in memory. */
1029
1030static inline bool
1031cgraph_function_with_gimple_body_p (struct cgraph_node *node)
1032{
e70670cf 1033 return node->symbol.definition && !node->thunk.thunk_p && !node->symbol.alias;
c47d0034
JH
1034}
1035
1036/* Return first function with body defined. */
1037static inline struct cgraph_node *
1038cgraph_first_function_with_gimple_body (void)
1039{
2aae7680
JH
1040 symtab_node node;
1041 for (node = symtab_nodes; node; node = node->symbol.next)
c47d0034 1042 {
5d59b5e1
LC
1043 cgraph_node *cn = dyn_cast <cgraph_node> (node);
1044 if (cn && cgraph_function_with_gimple_body_p (cn))
1045 return cn;
c47d0034
JH
1046 }
1047 return NULL;
1048}
1049
1050/* Return next reachable static variable with initializer after NODE. */
1051static inline struct cgraph_node *
1052cgraph_next_function_with_gimple_body (struct cgraph_node *node)
1053{
2aae7680
JH
1054 symtab_node node1 = node->symbol.next;
1055 for (; node1; node1 = node1->symbol.next)
c47d0034 1056 {
5d59b5e1
LC
1057 cgraph_node *cn1 = dyn_cast <cgraph_node> (node1);
1058 if (cn1 && cgraph_function_with_gimple_body_p (cn1))
1059 return cn1;
c47d0034
JH
1060 }
1061 return NULL;
1062}
1063
1064/* Walk all functions with body defined. */
1065#define FOR_EACH_FUNCTION_WITH_GIMPLE_BODY(node) \
1066 for ((node) = cgraph_first_function_with_gimple_body (); (node); \
1067 (node) = cgraph_next_function_with_gimple_body (node))
1068
43d861a5
RL
1069/* Create a new static variable of type TYPE. */
1070tree add_new_static_var (tree type);
1071
fed5ae11
DK
1072/* Return true if iterator CSI points to nothing. */
1073static inline bool
1074csi_end_p (cgraph_node_set_iterator csi)
1075{
9771b263 1076 return csi.index >= csi.set->nodes.length ();
fed5ae11
DK
1077}
1078
1079/* Advance iterator CSI. */
1080static inline void
1081csi_next (cgraph_node_set_iterator *csi)
1082{
1083 csi->index++;
1084}
1085
1086/* Return the node pointed to by CSI. */
1087static inline struct cgraph_node *
1088csi_node (cgraph_node_set_iterator csi)
1089{
9771b263 1090 return csi.set->nodes[csi.index];
fed5ae11
DK
1091}
1092
1093/* Return an iterator to the first node in SET. */
1094static inline cgraph_node_set_iterator
1095csi_start (cgraph_node_set set)
1096{
1097 cgraph_node_set_iterator csi;
1098
1099 csi.set = set;
1100 csi.index = 0;
1101 return csi;
1102}
1103
1104/* Return true if SET contains NODE. */
1105static inline bool
1106cgraph_node_in_set_p (struct cgraph_node *node, cgraph_node_set set)
1107{
1108 cgraph_node_set_iterator csi;
1109 csi = cgraph_node_set_find (set, node);
1110 return !csi_end_p (csi);
1111}
1112
1113/* Return number of nodes in SET. */
1114static inline size_t
1115cgraph_node_set_size (cgraph_node_set set)
1116{
9771b263 1117 return set->nodes.length ();
fed5ae11
DK
1118}
1119
2942c502
JH
1120/* Return true if iterator VSI points to nothing. */
1121static inline bool
1122vsi_end_p (varpool_node_set_iterator vsi)
1123{
9771b263 1124 return vsi.index >= vsi.set->nodes.length ();
2942c502
JH
1125}
1126
1127/* Advance iterator VSI. */
1128static inline void
1129vsi_next (varpool_node_set_iterator *vsi)
1130{
1131 vsi->index++;
1132}
1133
1134/* Return the node pointed to by VSI. */
1135static inline struct varpool_node *
1136vsi_node (varpool_node_set_iterator vsi)
1137{
9771b263 1138 return vsi.set->nodes[vsi.index];
2942c502
JH
1139}
1140
1141/* Return an iterator to the first node in SET. */
1142static inline varpool_node_set_iterator
1143vsi_start (varpool_node_set set)
1144{
1145 varpool_node_set_iterator vsi;
1146
1147 vsi.set = set;
1148 vsi.index = 0;
1149 return vsi;
1150}
1151
1152/* Return true if SET contains NODE. */
1153static inline bool
1154varpool_node_in_set_p (struct varpool_node *node, varpool_node_set set)
1155{
1156 varpool_node_set_iterator vsi;
1157 vsi = varpool_node_set_find (set, node);
1158 return !vsi_end_p (vsi);
1159}
1160
1161/* Return number of nodes in SET. */
1162static inline size_t
1163varpool_node_set_size (varpool_node_set set)
1164{
9771b263 1165 return set->nodes.length ();
2942c502
JH
1166}
1167
d48e9cea
OR
1168/* Uniquize all constants that appear in memory.
1169 Each constant in memory thus far output is recorded
1170 in `const_desc_table'. */
1171
1172struct GTY(()) constant_descriptor_tree {
1173 /* A MEM for the constant. */
1174 rtx rtl;
b8698a0f 1175
d48e9cea
OR
1176 /* The value of the constant. */
1177 tree value;
1178
1179 /* Hash of value. Computing the hash from value each time
1180 hashfn is called can't work properly, as that means recursive
1181 use of the hash table during hash table expansion. */
1182 hashval_t hash;
1183};
1184
ace72c88
JH
1185/* Return true if set is nonempty. */
1186static inline bool
1187cgraph_node_set_nonempty_p (cgraph_node_set set)
1188{
9771b263 1189 return !set->nodes.is_empty ();
ace72c88
JH
1190}
1191
1192/* Return true if set is nonempty. */
1193static inline bool
1194varpool_node_set_nonempty_p (varpool_node_set set)
1195{
9771b263 1196 return !set->nodes.is_empty ();
ace72c88
JH
1197}
1198
be330ed4 1199/* Return true when function NODE is only called directly or it has alias.
b20996ff
JH
1200 i.e. it is not externally visible, address was not taken and
1201 it is not used in any other non-standard way. */
1202
1203static inline bool
be330ed4 1204cgraph_only_called_directly_or_aliased_p (struct cgraph_node *node)
b20996ff 1205{
530f3a1b 1206 gcc_assert (!node->global.inlined_to);
ead84f73 1207 return (!node->symbol.force_output && !node->symbol.address_taken
960bfb69 1208 && !node->symbol.used_from_other_partition
8222c37e 1209 && !DECL_VIRTUAL_P (node->symbol.decl)
960bfb69
JH
1210 && !DECL_STATIC_CONSTRUCTOR (node->symbol.decl)
1211 && !DECL_STATIC_DESTRUCTOR (node->symbol.decl)
1212 && !node->symbol.externally_visible);
b20996ff
JH
1213}
1214
df7705b1
JH
1215/* Return true when function NODE can be removed from callgraph
1216 if all direct calls are eliminated. */
1217
1218static inline bool
1219varpool_can_remove_if_no_refs (struct varpool_node *node)
1220{
6649df51
JH
1221 if (DECL_EXTERNAL (node->symbol.decl))
1222 return true;
ead84f73 1223 return (!node->symbol.force_output && !node->symbol.used_from_other_partition
3d2e04fd 1224 && ((DECL_COMDAT (node->symbol.decl)
edb983b2 1225 && !node->symbol.forced_by_abi
3d2e04fd 1226 && !symtab_used_from_object_file_p ((symtab_node) node))
6649df51
JH
1227 || !node->symbol.externally_visible
1228 || DECL_HAS_VALUE_EXPR_P (node->symbol.decl)));
df7705b1
JH
1229}
1230
4a444e58
JH
1231/* Return true when all references to VNODE must be visible in ipa_ref_list.
1232 i.e. if the variable is not externally visible or not used in some magic
1233 way (asm statement or such).
61502ca8 1234 The magic uses are all summarized in force_output flag. */
4a444e58
JH
1235
1236static inline bool
1237varpool_all_refs_explicit_p (struct varpool_node *vnode)
1238{
e70670cf 1239 return (vnode->symbol.definition
960bfb69
JH
1240 && !vnode->symbol.externally_visible
1241 && !vnode->symbol.used_from_other_partition
ead84f73 1242 && !vnode->symbol.force_output);
4a444e58
JH
1243}
1244
d48e9cea
OR
1245/* Constant pool accessor function. */
1246htab_t constant_pool_htab (void);
fed5ae11 1247
be330ed4
JH
1248/* FIXME: inappropriate dependency of cgraph on IPA. */
1249#include "ipa-ref-inline.h"
1250
39e2db00
JH
1251/* Return node that alias N is aliasing. */
1252
e70670cf
JH
1253static inline symtab_node
1254symtab_alias_target (symtab_node n)
39e2db00
JH
1255{
1256 struct ipa_ref *ref;
960bfb69 1257 ipa_ref_list_reference_iterate (&n->symbol.ref_list, 0, ref);
39e2db00 1258 gcc_checking_assert (ref->use == IPA_REF_ALIAS);
e70670cf 1259 return ref->referred;
39e2db00
JH
1260}
1261
e70670cf
JH
1262static inline struct cgraph_node *
1263cgraph_alias_target (struct cgraph_node *n)
cd35bcf7 1264{
e70670cf 1265 return dyn_cast <cgraph_node> (symtab_alias_target ((symtab_node) n));
cd35bcf7
JH
1266}
1267
e70670cf
JH
1268static inline struct varpool_node *
1269varpool_alias_target (struct varpool_node *n)
be330ed4 1270{
e70670cf 1271 return dyn_cast <varpool_node> (symtab_alias_target ((symtab_node) n));
be330ed4
JH
1272}
1273
1274/* Given NODE, walk the alias chain to return the function NODE is alias of.
1275 Do not walk through thunks.
073a8998 1276 When AVAILABILITY is non-NULL, get minimal availability in the chain. */
be330ed4
JH
1277
1278static inline struct cgraph_node *
40a7fe1e
JH
1279cgraph_function_or_thunk_node (struct cgraph_node *node,
1280 enum availability *availability = NULL)
be330ed4 1281{
e70670cf
JH
1282 struct cgraph_node *n;
1283
40a7fe1e
JH
1284 n = dyn_cast <cgraph_node> (symtab_alias_ultimate_target ((symtab_node)node,
1285 availability));
1286 if (!n && availability)
39e2db00 1287 *availability = AVAIL_NOT_AVAILABLE;
e70670cf 1288 return n;
be330ed4 1289}
cd35bcf7
JH
1290/* Given NODE, walk the alias chain to return the function NODE is alias of.
1291 Do not walk through thunks.
073a8998 1292 When AVAILABILITY is non-NULL, get minimal availability in the chain. */
cd35bcf7
JH
1293
1294static inline struct varpool_node *
40a7fe1e
JH
1295varpool_variable_node (struct varpool_node *node,
1296 enum availability *availability = NULL)
cd35bcf7 1297{
e70670cf
JH
1298 struct varpool_node *n;
1299
40a7fe1e
JH
1300 n = dyn_cast <varpool_node> (symtab_alias_ultimate_target ((symtab_node)node,
1301 availability));
1302 if (!n && availability)
cd35bcf7 1303 *availability = AVAIL_NOT_AVAILABLE;
e70670cf 1304 return n;
cd35bcf7
JH
1305}
1306
d7d1d041
RG
1307/* Return true when the edge E represents a direct recursion. */
1308static inline bool
1309cgraph_edge_recursive_p (struct cgraph_edge *e)
1310{
be330ed4 1311 struct cgraph_node *callee = cgraph_function_or_thunk_node (e->callee, NULL);
d7d1d041 1312 if (e->caller->global.inlined_to)
960bfb69 1313 return e->caller->global.inlined_to->symbol.decl == callee->symbol.decl;
d7d1d041 1314 else
960bfb69 1315 return e->caller->symbol.decl == callee->symbol.decl;
d7d1d041 1316}
0a35513e
AH
1317
1318/* Return true if the TM_CLONE bit is set for a given FNDECL. */
1319static inline bool
1320decl_is_tm_clone (const_tree fndecl)
1321{
1322 struct cgraph_node *n = cgraph_get_node (fndecl);
1323 if (n)
1324 return n->tm_clone;
1325 return false;
1326}
9c8305f8
JH
1327
1328/* Likewise indicate that a node is needed, i.e. reachable via some
1329 external means. */
1330
1331static inline void
1332cgraph_mark_force_output_node (struct cgraph_node *node)
1333{
1334 node->symbol.force_output = 1;
1335 gcc_checking_assert (!node->global.inlined_to);
1336}
65d630d4 1337
b5493fb2 1338/* Return true when the symbol is real symbol, i.e. it is not inline clone
e70670cf 1339 or abstract function kept for debug info purposes only. */
b5493fb2
JH
1340
1341static inline bool
1342symtab_real_symbol_p (symtab_node node)
1343{
1344 struct cgraph_node *cnode;
b5493fb2 1345
5d59b5e1 1346 if (!is_a <cgraph_node> (node))
b5493fb2
JH
1347 return true;
1348 cnode = cgraph (node);
1349 if (cnode->global.inlined_to)
1350 return false;
1351 if (cnode->abstract_and_needed)
1352 return false;
b5493fb2
JH
1353 return true;
1354}
1c4a429a 1355#endif /* GCC_CGRAPH_H */