Branch data Line data Source code
1 : : /* Interprocedural semantic function equality pass
2 : : Copyright (C) 2014-2024 Free Software Foundation, Inc.
3 : :
4 : : Contributed by Jan Hubicka <hubicka@ucw.cz> and Martin Liska <mliska@suse.cz>
5 : :
6 : : This file is part of GCC.
7 : :
8 : : GCC is free software; you can redistribute it and/or modify it under
9 : : the terms of the GNU General Public License as published by the Free
10 : : Software Foundation; either version 3, or (at your option) any later
11 : : version.
12 : :
13 : : GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 : : WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 : : FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 : : for more details.
17 : :
18 : : You should have received a copy of the GNU General Public License
19 : : along with GCC; see the file COPYING3. If not see
20 : : <http://www.gnu.org/licenses/>. */
21 : :
22 : : namespace ipa_icf {
23 : : class sem_item;
24 : :
25 : : /* Congruence class encompasses a collection of either functions or
26 : : read-only variables. These items are considered to be equivalent
27 : : if not proved the opposite. */
28 : : class congruence_class
29 : : {
30 : : public:
31 : : /* Congruence class constructor for a new class with _ID. */
32 : 1905924 : congruence_class (unsigned int _id): in_worklist (false), id (_id),
33 : 1905924 : referenced_by_count (0)
34 : : {
35 : : }
36 : :
37 : : /* Destructor. */
38 : 1905924 : ~congruence_class ()
39 : : {
40 : 1905924 : }
41 : :
42 : : /* Dump function prints all class members to a FILE with an INDENT. */
43 : : void dump (FILE *file, unsigned int indent = 0) const;
44 : :
45 : : /* Returns true if there's a member that is used from another group. */
46 : : bool is_class_used (void);
47 : :
48 : : /* Flag is used in case we want to remove a class from worklist and
49 : : delete operation is quite expensive for
50 : : the data structure (linked list). */
51 : : bool in_worklist;
52 : :
53 : : /* Vector of all group members. */
54 : : auto_vec <sem_item *> members;
55 : :
56 : : /* Global unique class identifier. */
57 : : unsigned int id;
58 : :
59 : : /* Total number of references to items of this class. */
60 : : unsigned referenced_by_count;
61 : : };
62 : :
63 : : /* Semantic item type enum. */
64 : : enum sem_item_type
65 : : {
66 : : FUNC,
67 : : VAR
68 : : };
69 : :
70 : : /* Class is container for address references for a symtab_node. */
71 : :
72 : : class symbol_compare_collection
73 : : {
74 : : public:
75 : : /* Constructor. */
76 : : symbol_compare_collection (symtab_node *node);
77 : :
78 : : /* Destructor. */
79 : 1260463 : ~symbol_compare_collection ()
80 : : {
81 : 1260463 : m_references.release ();
82 : 1260463 : m_interposables.release ();
83 : 1260463 : }
84 : :
85 : : /* Vector of address references. */
86 : : vec<symtab_node *> m_references;
87 : :
88 : : /* Vector of interposable references. */
89 : : vec<symtab_node *> m_interposables;
90 : : };
91 : :
92 : : /* Hash traits for symbol_compare_collection map. */
93 : :
94 : : struct symbol_compare_hash : nofree_ptr_hash <symbol_compare_collection>
95 : : {
96 : : static hashval_t
97 : 1426216 : hash (value_type v)
98 : : {
99 : 1426216 : inchash::hash hstate;
100 : 1804041 : hstate.add_int (v->m_references.length ());
101 : :
102 : 2383689 : for (unsigned i = 0; i < v->m_references.length (); i++)
103 : 957473 : hstate.add_int (v->m_references[i]->ultimate_alias_target ()->order);
104 : :
105 : 1492963 : hstate.add_int (v->m_interposables.length ());
106 : :
107 : 1539996 : for (unsigned i = 0; i < v->m_interposables.length (); i++)
108 : 113780 : hstate.add_int (v->m_interposables[i]->ultimate_alias_target ()->order);
109 : :
110 : 1426216 : return hstate.end ();
111 : : }
112 : :
113 : : static bool
114 : 1012444 : equal (value_type a, value_type b)
115 : : {
116 : 1194791 : if (a->m_references.length () != b->m_references.length ()
117 : 1064708 : || a->m_interposables.length () != b->m_interposables.length ())
118 : : return false;
119 : :
120 : 2102615 : for (unsigned i = 0; i < a->m_references.length (); i++)
121 : 453912 : if (a->m_references[i]->equal_address_to (b->m_references[i]) != 1)
122 : : return false;
123 : :
124 : 1057032 : for (unsigned i = 0; i < a->m_interposables.length (); i++)
125 : 89176 : if (!a->m_interposables[i]->semantically_equivalent_p
126 : 44588 : (b->m_interposables[i]))
127 : : return false;
128 : :
129 : : return true;
130 : : }
131 : : };
132 : :
133 : : /* Semantic item usage pair. */
134 : : class sem_usage_pair
135 : : {
136 : : public:
137 : : /* Constructor for key value pair, where _ITEM is key and _INDEX is a target. */
138 : : sem_usage_pair (sem_item *_item, unsigned int _index);
139 : :
140 : : /* Target semantic item where an item is used. */
141 : : sem_item *item;
142 : :
143 : : /* Index of usage of such an item. */
144 : : unsigned int index;
145 : : };
146 : :
147 : : struct sem_usage_pair_hash : pointer_hash <sem_usage_pair>
148 : : {
149 : : static inline hashval_t hash (sem_usage_pair *);
150 : : static inline bool equal (sem_usage_pair *, sem_usage_pair *);
151 : : };
152 : :
153 : : inline hashval_t
154 : 200960503 : sem_usage_pair_hash::hash (sem_usage_pair *pair)
155 : : {
156 : 200960503 : inchash::hash hstate;
157 : :
158 : 200960503 : hstate.add_ptr (pair->item);
159 : 200960503 : hstate.add_int (pair->index);
160 : :
161 : 200960503 : return hstate.end ();
162 : : }
163 : :
164 : : inline bool
165 : 207822677 : sem_usage_pair_hash::equal (sem_usage_pair *p1, sem_usage_pair *p2)
166 : : {
167 : 207822677 : return p1->item == p2->item && p1->index == p2->index;
168 : : }
169 : :
170 : : struct sem_usage_hash : sem_usage_pair_hash, typed_delete_remove <sem_usage_pair> {};
171 : : typedef hash_map<sem_usage_hash, auto_vec<sem_item *> > ref_map;
172 : :
173 : : typedef std::pair<symtab_node *, symtab_node *> symtab_pair;
174 : :
175 : : /* Semantic item is a base class that encapsulates all shared functionality
176 : : for both semantic function and variable items. */
177 : : class sem_item
178 : : {
179 : : public:
180 : : /* Semantic item constructor for a node of _TYPE, where STACK is used
181 : : for bitmap memory allocation. */
182 : : sem_item (sem_item_type _type, bitmap_obstack *stack);
183 : :
184 : : /* Semantic item constructor for a node of _TYPE, where STACK is used
185 : : for bitmap memory allocation. The item is based on symtab node _NODE. */
186 : : sem_item (sem_item_type _type, symtab_node *_node, bitmap_obstack *stack);
187 : :
188 : : virtual ~sem_item ();
189 : :
190 : : /* Dump function for debugging purpose. */
191 : : DEBUG_FUNCTION void dump (void);
192 : :
193 : : /* Semantic item initialization function. */
194 : : virtual void init (ipa_icf_gimple::func_checker *) = 0;
195 : :
196 : : /* Add reference to a semantic TARGET. */
197 : : void add_reference (ref_map *map, sem_item *target);
198 : :
199 : : /* Fast equality function based on knowledge known in WPA. */
200 : : virtual bool equals_wpa (sem_item *item,
201 : : hash_map <symtab_node *, sem_item *> &ignored_nodes) = 0;
202 : :
203 : : /* Returns true if the item equals to ITEM given as argument. */
204 : : virtual bool equals (sem_item *item,
205 : : hash_map <symtab_node *, sem_item *> &ignored_nodes) = 0;
206 : :
207 : : /* References independent hash function. */
208 : : virtual hashval_t get_hash (void) = 0;
209 : :
210 : : /* Set new hash value of the item. */
211 : : void set_hash (hashval_t hash);
212 : :
213 : : /* Merges instance with an ALIAS_ITEM, where alias, thunk or redirection can
214 : : be applied. */
215 : : virtual bool merge (sem_item *alias_item) = 0;
216 : :
217 : : /* Dump symbol to FILE. */
218 : : virtual void dump_to_file (FILE *file) = 0;
219 : :
220 : : /* Update hash by address sensitive references. */
221 : : void update_hash_by_addr_refs (hash_map <symtab_node *,
222 : : sem_item *> &m_symtab_node_map);
223 : :
224 : : /* Update hash by computed local hash values taken from different
225 : : semantic items. */
226 : : void update_hash_by_local_refs (hash_map <symtab_node *,
227 : : sem_item *> &m_symtab_node_map);
228 : :
229 : : /* Return base tree that can be used for compatible_types_p and
230 : : contains_polymorphic_type_p comparison. */
231 : : static bool get_base_types (tree *t1, tree *t2);
232 : :
233 : : /* Return true if target supports alias symbols. */
234 : : bool target_supports_symbol_aliases_p (void);
235 : :
236 : : /* Item type. */
237 : : sem_item_type type;
238 : :
239 : : /* Symtab node. */
240 : : symtab_node *node;
241 : :
242 : : /* Declaration tree node. */
243 : : tree decl;
244 : :
245 : : /* Number of references to a semantic symbols (function calls,
246 : : variable references). */
247 : : unsigned reference_count;
248 : :
249 : : /* Pointer to a congruence class the item belongs to. */
250 : : congruence_class *cls;
251 : :
252 : : /* Index of the item in a class belonging to. */
253 : : unsigned int index_in_class;
254 : :
255 : : /* A bitmap with indices of all classes referencing this item. */
256 : : bitmap usage_index_bitmap;
257 : :
258 : : /* List of tree references (either FUNC_DECL or VAR_DECL). */
259 : : vec <tree> tree_refs;
260 : :
261 : : /* A set with symbol table references. */
262 : : hash_set <symtab_node *> refs_set;
263 : :
264 : : /* Temporary hash used where hash values of references are added. */
265 : : hashval_t global_hash;
266 : :
267 : : /* Number of references to this symbol. */
268 : : unsigned referenced_by_count;
269 : : protected:
270 : : /* Cached, once calculated hash for the item. */
271 : :
272 : : /* Compare properties of symbol that does not affect semantics of symbol
273 : : itself but affects semantics of its references.
274 : : If ADDRESS is true, do extra checking needed for IPA_REF_ADDR. */
275 : : static bool compare_referenced_symbol_properties (symtab_node *used_by,
276 : : symtab_node *n1,
277 : : symtab_node *n2,
278 : : bool address);
279 : :
280 : : /* Hash properties compared by compare_referenced_symbol_properties. */
281 : : void hash_referenced_symbol_properties (symtab_node *ref,
282 : : inchash::hash &hstate,
283 : : bool address);
284 : :
285 : : /* For a given symbol table nodes N1 and N2, we check that FUNCTION_DECLs
286 : : point to a same function. Comparison can be skipped if IGNORED_NODES
287 : : contains these nodes. ADDRESS indicate if address is taken. */
288 : : bool compare_symbol_references (hash_map <symtab_node *, sem_item *>
289 : : &ignored_nodes,
290 : : symtab_node *n1, symtab_node *n2,
291 : : bool address);
292 : : protected:
293 : : /* Hash of item. */
294 : : hashval_t m_hash;
295 : :
296 : : /* Indicated whether a hash value has been set or not. */
297 : : bool m_hash_set;
298 : :
299 : : private:
300 : : /* Initialize internal data structures. Bitmap STACK is used for
301 : : bitmap memory allocation process. */
302 : : void setup (bitmap_obstack *stack);
303 : :
304 : : /* Because types can be arbitrarily large, avoid quadratic bottleneck. */
305 : : static hash_map<const_tree, hashval_t> m_type_hash_cache;
306 : : }; // class sem_item
307 : :
308 : : class sem_function: public sem_item
309 : : {
310 : : public:
311 : : /* Semantic function constructor that uses STACK as bitmap memory stack. */
312 : : sem_function (bitmap_obstack *stack);
313 : :
314 : : /* Constructor based on callgraph node _NODE.
315 : : Bitmap STACK is used for memory allocation. */
316 : : sem_function (cgraph_node *_node, bitmap_obstack *stack);
317 : :
318 : : ~sem_function ();
319 : :
320 : : void init (ipa_icf_gimple::func_checker *) final override;
321 : : bool equals_wpa (sem_item *item,
322 : : hash_map <symtab_node *, sem_item *> &ignored_nodes)
323 : : final override;
324 : : hashval_t get_hash (void) final override;
325 : : bool equals (sem_item *item,
326 : : hash_map <symtab_node *, sem_item *> &ignored_nodes)
327 : : final override;
328 : : bool merge (sem_item *alias_item) final override;
329 : :
330 : : /* Dump symbol to FILE. */
331 : 24 : void dump_to_file (FILE *file) final override
332 : : {
333 : 24 : gcc_assert (file);
334 : 24 : dump_function_to_file (decl, file, TDF_DETAILS);
335 : 24 : }
336 : :
337 : : /* Returns cgraph_node. */
338 : 81370 : inline cgraph_node *get_node (void)
339 : : {
340 : 4915348 : return dyn_cast <cgraph_node *> (node);
341 : : }
342 : :
343 : : /* Improve accumulated hash for HSTATE based on a gimple statement STMT. */
344 : : void hash_stmt (gimple *stmt, inchash::hash &inchash);
345 : :
346 : : /* Return true if polymorphic comparison must be processed. */
347 : : bool compare_polymorphic_p (void);
348 : :
349 : : /* For a given call graph NODE, the function constructs new
350 : : semantic function item. */
351 : : static sem_function *parse (cgraph_node *node, bitmap_obstack *stack,
352 : : ipa_icf_gimple::func_checker *checker);
353 : :
354 : : /* Perform additional checks needed to match types of used function
355 : : parameters. */
356 : : bool compatible_parm_types_p (tree, tree);
357 : :
358 : : /* Exception handling region tree. */
359 : : eh_region region_tree;
360 : :
361 : : /* Number of function arguments. */
362 : : unsigned int arg_count;
363 : :
364 : : /* Total amount of edges in the function. */
365 : : unsigned int edge_count;
366 : :
367 : : /* Vector of sizes of all basic blocks. */
368 : : vec <unsigned int> bb_sizes;
369 : :
370 : : /* Control flow graph checksum. */
371 : : hashval_t cfg_checksum;
372 : :
373 : : /* GIMPLE codes hash value. */
374 : : hashval_t gcode_hash;
375 : :
376 : : /* Vector of subpart of memory access types. */
377 : : auto_vec<tree> memory_access_types;
378 : :
379 : : /* Total number of SSA names used in the function. */
380 : : unsigned ssa_names_size;
381 : :
382 : : /* Array of structures for all basic blocks. */
383 : : vec <ipa_icf_gimple::sem_bb *> bb_sorted;
384 : :
385 : : /* Hash of canonical types used for memory references in the
386 : : function. */
387 : : hashval_t m_alias_sets_hash;
388 : :
389 : : /* Return true if parameter I may be used. */
390 : : bool param_used_p (unsigned int i);
391 : :
392 : : private:
393 : : /* Calculates hash value based on a BASIC_BLOCK. */
394 : : hashval_t get_bb_hash (const ipa_icf_gimple::sem_bb *basic_block);
395 : :
396 : : /* For given basic blocks BB1 and BB2 (from functions FUNC1 and FUNC),
397 : : true value is returned if phi nodes are semantically
398 : : equivalent in these blocks . */
399 : : bool compare_phi_node (basic_block bb1, basic_block bb2);
400 : :
401 : : /* Basic blocks dictionary BB_DICT returns true if SOURCE index BB
402 : : corresponds to TARGET. */
403 : : bool bb_dict_test (vec<int> *bb_dict, int source, int target);
404 : :
405 : : /* If cgraph edges E1 and E2 are indirect calls, verify that
406 : : ICF flags are the same. */
407 : : bool compare_edge_flags (cgraph_edge *e1, cgraph_edge *e2);
408 : :
409 : : /* Processes function equality comparison. */
410 : : bool equals_private (sem_item *item);
411 : :
412 : : /* Function checker stores binding between functions. */
413 : : ipa_icf_gimple::func_checker *m_checker;
414 : :
415 : : /* COMPARED_FUNC is a function that we compare to. */
416 : : sem_function *m_compared_func;
417 : : }; // class sem_function
418 : :
419 : : class sem_variable: public sem_item
420 : : {
421 : : public:
422 : : /* Semantic variable constructor that uses STACK as bitmap memory stack. */
423 : : sem_variable (bitmap_obstack *stack);
424 : :
425 : : /* Constructor based on callgraph node _NODE.
426 : : Bitmap STACK is used for memory allocation. */
427 : :
428 : : sem_variable (varpool_node *_node, bitmap_obstack *stack);
429 : :
430 : : /* Semantic variable initialization function. */
431 : : void init (ipa_icf_gimple::func_checker *) final override;
432 : :
433 : : hashval_t get_hash (void) final override;
434 : : bool merge (sem_item *alias_item) final override;
435 : : void dump_to_file (FILE *file) final override;
436 : : bool equals (sem_item *item,
437 : : hash_map <symtab_node *, sem_item *> &ignored_nodes)
438 : : final override;
439 : :
440 : : /* Fast equality variable based on knowledge known in WPA. */
441 : : bool equals_wpa (sem_item *item,
442 : : hash_map <symtab_node *, sem_item *> &ignored_nodes)
443 : : final override;
444 : :
445 : : /* Returns varpool_node. */
446 : 416964 : inline varpool_node *get_node (void)
447 : : {
448 : 15634786 : return dyn_cast <varpool_node *> (node);
449 : : }
450 : :
451 : : /* Parser function that visits a varpool NODE. */
452 : : static sem_variable *parse (varpool_node *node, bitmap_obstack *stack,
453 : : ipa_icf_gimple::func_checker *checker);
454 : :
455 : : private:
456 : : /* Compares trees T1 and T2 for semantic equality. */
457 : : static bool equals (tree t1, tree t2);
458 : : }; // class sem_variable
459 : :
460 : : class sem_item_optimizer;
461 : :
462 : : struct congruence_class_group
463 : : {
464 : : hashval_t hash;
465 : : sem_item_type type;
466 : : vec <congruence_class *> classes;
467 : : };
468 : :
469 : : /* Congruence class set structure. */
470 : : struct congruence_class_hash : nofree_ptr_hash <congruence_class_group>
471 : : {
472 : 13650497 : static inline hashval_t hash (const congruence_class_group *item)
473 : : {
474 : 13650497 : return item->hash;
475 : : }
476 : :
477 : 14372820 : static inline int equal (const congruence_class_group *item1,
478 : : const congruence_class_group *item2)
479 : : {
480 : 14372820 : return item1->hash == item2->hash && item1->type == item2->type;
481 : : }
482 : : };
483 : :
484 : : struct traverse_split_pair
485 : : {
486 : : sem_item_optimizer *optimizer;
487 : : class congruence_class *cls;
488 : : };
489 : :
490 : : /* Semantic item optimizer includes all top-level logic
491 : : related to semantic equality comparison. */
492 : : class sem_item_optimizer
493 : : {
494 : : public:
495 : : sem_item_optimizer ();
496 : : ~sem_item_optimizer ();
497 : :
498 : : /* Function responsible for visiting all potential functions and
499 : : read-only variables that can be merged. */
500 : : void parse_funcs_and_vars (void);
501 : :
502 : : /* Optimizer entry point which returns true in case it processes
503 : : a merge operation. True is returned if there's a merge operation
504 : : processed. */
505 : : bool execute (void);
506 : :
507 : : /* Dump function. */
508 : : void dump (void);
509 : :
510 : : /* Verify congruence classes if checking is enabled. */
511 : : void checking_verify_classes (void);
512 : :
513 : : /* Verify congruence classes. */
514 : : void verify_classes (void);
515 : :
516 : : /* Write IPA ICF summary for symbols. */
517 : : void write_summary (void);
518 : :
519 : : /* Read IPA ICF summary for symbols. */
520 : : void read_summary (void);
521 : :
522 : : /* Callgraph removal hook called for a NODE with a custom DATA. */
523 : : static void cgraph_removal_hook (cgraph_node *node, void *data);
524 : :
525 : : /* Varpool removal hook called for a NODE with a custom DATA. */
526 : : static void varpool_removal_hook (varpool_node *node, void *data);
527 : :
528 : : /* Worklist of congruence classes that can potentially
529 : : refine classes of congruence. */
530 : : fibonacci_heap<unsigned, congruence_class> worklist;
531 : :
532 : : /* Remove semantic ITEM and release memory. */
533 : : void remove_item (sem_item *item);
534 : :
535 : : /* Remove symtab NODE triggered by symtab removal hooks. */
536 : : void remove_symtab_node (symtab_node *node);
537 : :
538 : : /* Register callgraph and varpool hooks. */
539 : : void register_hooks (void);
540 : :
541 : : /* Unregister callgraph and varpool hooks. */
542 : : void unregister_hooks (void);
543 : :
544 : : /* Adds a CLS to hashtable associated by hash value. */
545 : : void add_class (congruence_class *cls);
546 : :
547 : : /* Gets a congruence class group based on given HASH value and TYPE. */
548 : : congruence_class_group *get_group_by_hash (hashval_t hash,
549 : : sem_item_type type);
550 : : private:
551 : :
552 : : /* For each semantic item, append hash values of references. */
553 : : void update_hash_by_addr_refs ();
554 : :
555 : : /* Update hash by canonical types of memory accesses. */
556 : : void update_hash_by_memory_access_type ();
557 : :
558 : : /* Congruence classes are built by hash value. */
559 : : void build_hash_based_classes (void);
560 : :
561 : : /* Semantic items in classes having more than one element and initialized.
562 : : In case of WPA, we load function body. */
563 : : unsigned int parse_nonsingleton_classes (void);
564 : :
565 : : /* Equality function for semantic items is used to subdivide existing
566 : : classes. If IN_WPA, fast equality function is invoked. */
567 : : void subdivide_classes_by_equality (bool in_wpa = false);
568 : :
569 : : /* Subdivide classes by address and interposable references
570 : : that members of the class reference.
571 : : Example can be a pair of functions that have an address
572 : : taken from a function. If these addresses are different the class
573 : : is split. */
574 : : unsigned subdivide_classes_by_sensitive_refs();
575 : :
576 : : /* Debug function prints all informations about congruence classes. */
577 : : void dump_cong_classes (void);
578 : :
579 : : /* Build references according to call graph. */
580 : : void build_graph (void);
581 : :
582 : : /* Iterative congruence reduction function. */
583 : : void process_cong_reduction (void);
584 : :
585 : : /* After reduction is done, we can declare all items in a group
586 : : to be equal. PREV_CLASS_COUNT is start number of classes
587 : : before reduction. True is returned if there's a merge operation
588 : : processed. LOADED_SYMBOLS is number of symbols that were loaded
589 : : in WPA. */
590 : : bool merge_classes (unsigned int prev_class_count,
591 : : unsigned int loaded_symbols);
592 : :
593 : : /* Fixup points to analysis info. */
594 : : void fixup_points_to_sets (void);
595 : :
596 : : /* Fixup points to set PT. */
597 : : void fixup_pt_set (struct pt_solution *pt);
598 : :
599 : : /* Adds a newly created congruence class CLS to worklist. */
600 : : void worklist_push (congruence_class *cls);
601 : :
602 : : /* Pops a class from worklist. */
603 : : congruence_class *worklist_pop ();
604 : :
605 : : /* Every usage of a congruence class CLS is a candidate that can split the
606 : : collection of classes. Bitmap stack BMSTACK is used for bitmap
607 : : allocation. */
608 : : void do_congruence_step (congruence_class *cls);
609 : :
610 : : /* Tests if a class CLS used as INDEXth splits any congruence classes.
611 : : Bitmap stack BMSTACK is used for bitmap allocation. */
612 : : bool do_congruence_step_for_index (congruence_class *cls, unsigned int index);
613 : :
614 : : /* Makes pairing between a congruence class CLS and semantic ITEM. */
615 : : static void add_item_to_class (congruence_class *cls, sem_item *item);
616 : :
617 : : /* Disposes split map traverse function. CLS is congruence
618 : : class, BSLOT is bitmap slot we want to release. DATA is mandatory,
619 : : but unused argument. */
620 : : static bool release_split_map (congruence_class * const &cls, bitmap const &b,
621 : : traverse_split_pair *pair);
622 : :
623 : : /* Process split operation for a congruence class CLS,
624 : : where bitmap B splits congruence class members. DATA is used
625 : : as argument of split pair. */
626 : : static bool traverse_congruence_split (congruence_class * const &cls,
627 : : bitmap const &b,
628 : : traverse_split_pair *pair);
629 : :
630 : : /* Compare function for sorting pairs in do_congruence_step_f. */
631 : : static int sort_congruence_split (const void *, const void *);
632 : :
633 : : /* Reads a section from LTO stream file FILE_DATA. Input block for DATA
634 : : contains LEN bytes. */
635 : : void read_section (lto_file_decl_data *file_data, const char *data,
636 : : size_t len);
637 : :
638 : : /* Removes all callgraph and varpool nodes that are marked by symtab
639 : : as deleted. */
640 : : void filter_removed_items (void);
641 : :
642 : : /* Vector of semantic items. */
643 : : vec <sem_item *> m_items;
644 : :
645 : : /* A set containing all items removed by hooks. */
646 : : hash_set <symtab_node *> m_removed_items_set;
647 : :
648 : : /* Hashtable of congruence classes. */
649 : : hash_table <congruence_class_hash> m_classes;
650 : :
651 : : /* Count of congruence classes. */
652 : : unsigned int m_classes_count;
653 : :
654 : : /* Map data structure maps symtab nodes to semantic items. */
655 : : hash_map <symtab_node *, sem_item *> m_symtab_node_map;
656 : :
657 : : /* Set to true if a splitter class is removed. */
658 : : bool splitter_class_removed;
659 : :
660 : : /* Global unique class id counter. */
661 : : static unsigned int class_id;
662 : :
663 : : /* Callgraph node removal hook holder. */
664 : : cgraph_node_hook_list *m_cgraph_node_hooks;
665 : :
666 : : /* Varpool node removal hook holder. */
667 : : varpool_node_hook_list *m_varpool_node_hooks;
668 : :
669 : : /* Bitmap stack. */
670 : : bitmap_obstack m_bmstack;
671 : :
672 : : /* Vector of merged variables. Needed for fixup of points-to-analysis
673 : : info. */
674 : : vec <symtab_pair> m_merged_variables;
675 : :
676 : : /* Hash map will all references. */
677 : : ref_map m_references;
678 : : }; // class sem_item_optimizer
679 : :
680 : : } // ipa_icf namespace
|
