]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/ipa-utils.h
x86: Remove "%!" before ret
[thirdparty/gcc.git] / gcc / ipa-utils.h
CommitLineData
ea900239 1/* Utilities for ipa analysis.
99dee823 2 Copyright (C) 2004-2021 Free Software Foundation, Inc.
ea900239
DB
3 Contributed by Kenneth Zadeck <zadeck@naturalbridge.com>
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
ea900239
DB
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/>. */
ea900239
DB
20
21#ifndef GCC_IPA_UTILS_H
22#define GCC_IPA_UTILS_H
ea900239 23
ea900239
DB
24struct ipa_dfs_info {
25 int dfn_number;
26 int low_link;
11026b51
MJ
27 /* This field will have the samy value for any two nodes in the same strongly
28 connected component. */
29 int scc_no;
c5274326 30 bool new_node;
ea900239
DB
31 bool on_stack;
32 struct cgraph_node* next_cycle;
33 PTR aux;
34};
35
a1981458 36
ea900239 37/* In ipa-utils.c */
af8bca3c 38void ipa_print_order (FILE*, const char *, struct cgraph_node**, int);
45272fd2 39int ipa_reduced_postorder (struct cgraph_node **, bool,
af8bca3c
MJ
40 bool (*ignore_edge) (struct cgraph_edge *));
41void ipa_free_postorder_info (void);
d52f5295 42vec<cgraph_node *> ipa_get_nodes_in_cycle (struct cgraph_node *);
4cb13597 43bool ipa_edge_within_scc (struct cgraph_edge *);
af8bca3c 44int ipa_reverse_postorder (struct cgraph_node **);
ea900239 45tree get_base_var (tree);
5e581212 46void ipa_merge_profiles (struct cgraph_node *dst,
b730d1c9 47 struct cgraph_node *src, bool preserve_body = false);
fc11f321 48bool recursive_call_p (tree, tree);
ea900239 49
992644c3
JH
50/* In ipa-pure-const.c */
51bool finite_function_p ();
52bool builtin_safe_for_const_function_p (bool *, tree);
494bdadf
JH
53bool ipa_make_function_const (cgraph_node *, bool, bool);
54bool ipa_make_function_pure (cgraph_node *, bool, bool);
992644c3 55
08f835dc
JH
56/* In ipa-profile.c */
57bool ipa_propagate_frequency (struct cgraph_node *node);
58
eefe9a99
JH
59/* In ipa-devirt.c */
60
61struct odr_type_d;
62typedef odr_type_d *odr_type;
2bc2379b 63extern bool thunk_expansion;
eefe9a99 64void build_type_inheritance_graph (void);
c1b8f25d 65void rebuild_type_inheritance_graph (void);
0e1474e5 66void update_type_inheritance_graph (void);
eefe9a99
JH
67vec <cgraph_node *>
68possible_polymorphic_call_targets (tree, HOST_WIDE_INT,
68377e53 69 ipa_polymorphic_call_context,
6f8091fc 70 bool *copletep = NULL,
ec77d61f 71 void **cache_token = NULL,
2f28755f 72 bool speuclative = false);
eefe9a99 73odr_type get_odr_type (tree, bool insert = false);
259d29e3 74bool odr_type_p (const_tree);
355fe088 75bool possible_polymorphic_call_target_p (tree ref, gimple *stmt, struct cgraph_node *n);
68377e53 76void dump_possible_polymorphic_call_targets (FILE *, tree, HOST_WIDE_INT,
c1dd347c
JH
77 const ipa_polymorphic_call_context &,
78 bool verbose = true);
0e1474e5 79bool possible_polymorphic_call_target_p (tree, HOST_WIDE_INT,
68377e53 80 const ipa_polymorphic_call_context &,
d570d364 81 struct cgraph_node *);
967ca9b9 82tree polymorphic_ctor_dtor_p (tree, bool);
00a0ea64 83tree inlined_polymorphic_ctor_dtor_block_p (tree, bool);
355fe088 84bool decl_maybe_in_construction_p (tree, tree, gimple *, tree);
d570d364
JH
85tree vtable_pointer_value_to_binfo (const_tree);
86bool vtable_pointer_value_to_vtable (const_tree, tree *, unsigned HOST_WIDE_INT *);
aa803cc7 87tree subbinfo_with_vtable_at_offset (tree, unsigned HOST_WIDE_INT, tree);
56b1f114 88void compare_virtual_tables (varpool_node *, varpool_node *);
aa803cc7 89bool type_all_derivations_known_p (const_tree);
4d6eb35a 90bool type_known_to_have_no_derivations_p (tree);
d570d364 91bool contains_polymorphic_type_p (const_tree);
1ee85ee1 92void register_odr_type (tree);
aa803cc7 93bool types_must_be_same_for_odr (tree, tree);
420672bc 94bool types_odr_comparable (tree, tree);
5ce97055
JH
95cgraph_node *try_speculative_devirtualization (tree, HOST_WIDE_INT,
96 ipa_polymorphic_call_context);
6542950e
JH
97void warn_types_mismatch (tree t1, tree t2, location_t loc1 = UNKNOWN_LOCATION,
98 location_t loc2 = UNKNOWN_LOCATION);
259d29e3
JH
99bool odr_or_derived_type_p (const_tree t);
100bool odr_types_equivalent_p (tree type1, tree type2);
d840d7a2 101bool odr_type_violation_reported_p (tree type);
e4b44fd7 102tree prevailing_odr_type (tree type);
a0276c00
JH
103void enable_odr_based_tbaa (tree type);
104bool odr_based_tbaa_p (const_tree type);
105void set_type_canonical_for_odr_type (tree type, tree canonical);
eefe9a99 106
3fb68f2e
JH
107void register_odr_enum (tree type);
108
eefe9a99 109/* Return vector containing possible targets of polymorphic call E.
1c5fd343 110 If COMPLETEP is non-NULL, store true if the list is complete.
eefe9a99
JH
111 CACHE_TOKEN (if non-NULL) will get stored to an unique ID of entry
112 in the target cache. If user needs to visit every target list
113 just once, it can memoize them.
114
115 Returned vector is placed into cache. It is NOT caller's responsibility
116 to free it. The vector can be freed on cgraph_remove_node call if
117 the particular node is a virtual function present in the cache. */
118
119inline vec <cgraph_node *>
120possible_polymorphic_call_targets (struct cgraph_edge *e,
6f8091fc 121 bool *completep = NULL,
ec77d61f 122 void **cache_token = NULL,
2f28755f 123 bool speculative = false)
eefe9a99 124{
4d7cf10d 125 ipa_polymorphic_call_context context(e);
6f8091fc 126
eefe9a99
JH
127 return possible_polymorphic_call_targets (e->indirect_info->otr_type,
128 e->indirect_info->otr_token,
68377e53 129 context,
6f8091fc 130 completep, cache_token,
2f28755f 131 speculative);
68377e53
JH
132}
133
134/* Same as above but taking OBJ_TYPE_REF as an parameter. */
135
136inline vec <cgraph_node *>
058d0a90 137possible_polymorphic_call_targets (tree ref,
355fe088 138 gimple *call,
6f8091fc 139 bool *completep = NULL,
68377e53
JH
140 void **cache_token = NULL)
141{
6f8091fc 142 ipa_polymorphic_call_context context (current_function_decl, ref, call);
61dd6a2e 143
058d0a90 144 return possible_polymorphic_call_targets (obj_type_ref_class (ref),
68377e53 145 tree_to_uhwi
058d0a90 146 (OBJ_TYPE_REF_TOKEN (ref)),
61dd6a2e 147 context,
6f8091fc 148 completep, cache_token);
eefe9a99
JH
149}
150
151/* Dump possible targets of a polymorphic call E into F. */
b8698a0f 152
eefe9a99 153inline void
c1dd347c
JH
154dump_possible_polymorphic_call_targets (FILE *f, struct cgraph_edge *e,
155 bool verbose = true)
eefe9a99 156{
4d7cf10d 157 ipa_polymorphic_call_context context(e);
6f8091fc 158
eefe9a99 159 dump_possible_polymorphic_call_targets (f, e->indirect_info->otr_type,
68377e53 160 e->indirect_info->otr_token,
c1dd347c 161 context, verbose);
eefe9a99 162}
0e1474e5
JH
163
164/* Return true if N can be possibly target of a polymorphic call of
165 E. */
166
167inline bool
168possible_polymorphic_call_target_p (struct cgraph_edge *e,
169 struct cgraph_node *n)
170{
4d7cf10d 171 ipa_polymorphic_call_context context(e);
6f8091fc 172
0e1474e5 173 return possible_polymorphic_call_target_p (e->indirect_info->otr_type,
68377e53
JH
174 e->indirect_info->otr_token,
175 context, n);
0e1474e5 176}
450ad0cd 177
aa803cc7
JH
178/* Return true if BINFO corresponds to a type with virtual methods.
179
180 Every type has several BINFOs. One is the BINFO associated by the type
181 while other represents bases of derived types. The BINFOs representing
182 bases do not have BINFO_VTABLE pointer set when this is the single
183 inheritance (because vtables are shared). Look up the BINFO of type
184 and check presence of its vtable. */
185
186inline bool
187polymorphic_type_binfo_p (const_tree binfo)
188{
1be0e58d
JH
189 return (BINFO_TYPE (binfo) && TYPE_BINFO (BINFO_TYPE (binfo))
190 && BINFO_VTABLE (TYPE_BINFO (BINFO_TYPE (binfo))));
aa803cc7 191}
a6c5361c
JH
192
193/* Return true if T is a type with linkage defined. */
194
195inline bool
196type_with_linkage_p (const_tree t)
197{
420672bc 198 gcc_checking_assert (TYPE_MAIN_VARIANT (t) == t);
2ebbdb6c
JH
199 if (!TYPE_NAME (t) || TREE_CODE (TYPE_NAME (t)) != TYPE_DECL)
200 return false;
201
686a56a8 202 /* After free_lang_data was run we can recongize
2ebbdb6c
JH
203 types with linkage by presence of mangled name. */
204 if (DECL_ASSEMBLER_NAME_SET_P (TYPE_NAME (t)))
205 return true;
206
9a97772f 207 if (in_lto_p)
a6c5361c 208 return false;
686a56a8 209
9a97772f
JH
210 /* We used to check for TYPE_STUB_DECL but that is set to NULL for forward
211 declarations. */
a6c5361c
JH
212
213 if (!RECORD_OR_UNION_TYPE_P (t) && TREE_CODE (t) != ENUMERAL_TYPE)
214 return false;
215
216 /* Builtin types do not define linkage, their TYPE_CONTEXT is NULL. */
217 if (!TYPE_CONTEXT (t))
218 return false;
219
220 return true;
221}
222
223/* Return true if T is in anonymous namespace.
224 This works only on those C++ types with linkage defined. */
225
226inline bool
227type_in_anonymous_namespace_p (const_tree t)
228{
229 gcc_checking_assert (type_with_linkage_p (t));
230
2ebbdb6c
JH
231 /* free_lang_data clears TYPE_STUB_DECL but sets assembler name to
232 "<anon>" */
233 if (DECL_ASSEMBLER_NAME_SET_P (TYPE_NAME (t)))
234 return !strcmp ("<anon>",
235 IDENTIFIER_POINTER
236 (DECL_ASSEMBLER_NAME (TYPE_NAME (t))));
237 else if (!TYPE_STUB_DECL (t))
238 return false;
239 else
240 return !TREE_PUBLIC (TYPE_STUB_DECL (t));
a6c5361c
JH
241}
242
243/* Return true of T is type with One Definition Rule info attached.
244 It means that either it is anonymous type or it has assembler name
245 set. */
246
247inline bool
248odr_type_p (const_tree t)
249{
250 /* We do not have this information when not in LTO, but we do not need
251 to care, since it is used only for type merging. */
c5ab336b 252 gcc_checking_assert (in_lto_p || flag_lto || flag_generate_offload);
686a56a8
JH
253 return TYPE_NAME (t) && TREE_CODE (TYPE_NAME (t)) == TYPE_DECL
254 && DECL_ASSEMBLER_NAME_SET_P (TYPE_NAME (t));
a6c5361c
JH
255}
256
74fee042
ML
257/* If TYPE has mangled ODR name, return it. Otherwise return NULL.
258 The function works only when free_lang_data is run. */
259
260inline const char *
261get_odr_name_for_type (tree type)
262{
263 tree type_name = TYPE_NAME (type);
264 if (type_name == NULL_TREE
c175aa77 265 || TREE_CODE (type_name) != TYPE_DECL
74fee042
ML
266 || !DECL_ASSEMBLER_NAME_SET_P (type_name))
267 return NULL;
268
269 return IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (type_name));
270}
271
602c6cfc
JH
272/* Return true if we are going to do LTO streaming. */
273
274inline bool
275lto_streaming_expected_p ()
276{
277 /* Compilation before LTO stremaing. */
278 if (flag_lto && !in_lto_p && symtab->state < IPA_SSA_AFTER_INLINING)
279 return true;
280 /* WPA or incremental link. */
281 return (flag_wpa || flag_incremental_link == INCREMENTAL_LINK_LTO);
282}
283
ea900239 284#endif /* GCC_IPA_UTILS_H */