1 /* Control flow graph manipulation code header file.
2 Copyright (C) 2014-2023 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
23 #include "dominance.h"
25 /* What sort of profiling information we have. */
31 PROFILE_LAST
/* Last value, used by profile streaming. */
34 /* A structure to group all the per-function control flow graph data.
35 The x_* prefixing is necessary because otherwise references to the
36 fields of this struct are interpreted as the defines for backward
37 source compatibility following the definition of this struct. */
38 struct GTY(()) control_flow_graph
{
39 /* Block pointers for the exit and entry of a function.
40 These are always the head and tail of the basic block list. */
41 basic_block x_entry_block_ptr
;
42 basic_block x_exit_block_ptr
;
44 /* Index by basic block number, get basic block struct info. */
45 vec
<basic_block
, va_gc
> *x_basic_block_info
;
47 /* Number of basic blocks in this flow graph. */
50 /* Number of edges in this flow graph. */
53 /* The first free basic block number. */
54 int x_last_basic_block
;
56 /* UIDs for LABEL_DECLs. */
59 /* Mapping of labels to their associated blocks. At present
60 only used for the gimple CFG. */
61 vec
<basic_block
, va_gc
> *x_label_to_block_map
;
63 enum profile_status_d x_profile_status
;
65 /* Whether the dominators and the postdominators are available. */
66 enum dom_state x_dom_computed
[2];
68 /* Number of basic blocks in the dominance tree. */
69 unsigned x_n_bbs_in_dom_tree
[2];
71 /* Maximal number of entities in the single jumptable. Used to estimate
72 final flowgraph size. */
73 int max_jumptable_ents
;
75 /* Maximal count of BB in function. */
76 profile_count count_max
;
78 /* Dynamically allocated edge/bb flags. */
79 int edge_flags_allocated
;
80 int bb_flags_allocated
;
82 /* Set if the profile is computed on every edge and basic block. */
87 extern void init_flow (function
*);
88 extern void free_cfg (function
*);
89 extern basic_block
alloc_block (void);
90 extern void link_block (basic_block
, basic_block
);
91 extern void unlink_block (basic_block
);
92 extern void compact_blocks (void);
93 extern void expunge_block (basic_block
);
94 extern edge
unchecked_make_edge (basic_block
, basic_block
, int);
95 extern edge
cached_make_edge (sbitmap
, basic_block
, basic_block
, int);
96 extern edge
make_edge (basic_block
, basic_block
, int);
97 extern edge
make_single_succ_edge (basic_block
, basic_block
, int);
98 extern void remove_edge_raw (edge
);
99 extern void redirect_edge_succ (edge
, basic_block
);
100 extern void redirect_edge_pred (edge
, basic_block
);
101 extern void clear_bb_flags (void);
102 extern void dump_edge_info (FILE *, edge
, dump_flags_t
, int);
103 extern void debug (edge_def
&ref
);
104 extern void debug (edge_def
*ptr
);
105 extern void alloc_aux_for_blocks (int);
106 extern void clear_aux_for_blocks (void);
107 extern void free_aux_for_blocks (void);
108 extern void alloc_aux_for_edge (edge
, int);
109 extern void alloc_aux_for_edges (int);
110 extern void clear_aux_for_edges (void);
111 extern void free_aux_for_edges (void);
112 extern void debug_bb (basic_block
);
113 extern basic_block
debug_bb_n (int);
114 extern void debug_bb (basic_block
, dump_flags_t
);
115 extern basic_block
debug_bb_n (int, dump_flags_t
);
116 extern void dump_bb_info (FILE *, basic_block
, int, dump_flags_t
, bool, bool);
117 extern void brief_dump_cfg (FILE *, dump_flags_t
);
118 extern void set_edge_probability_and_rescale_others (edge
, profile_probability
);
119 extern void update_bb_profile_for_threading (basic_block
, profile_count
, edge
);
120 extern void scale_bbs_frequencies_profile_count (basic_block
*, int,
121 profile_count
, profile_count
);
122 extern void scale_bbs_frequencies (basic_block
*, int, profile_probability
);
123 extern void initialize_original_copy_tables (void);
124 extern void reset_original_copy_tables (void);
125 extern void free_original_copy_tables (void);
126 extern bool original_copy_tables_initialized_p (void);
127 extern void set_bb_original (basic_block
, basic_block
);
128 extern basic_block
get_bb_original (basic_block
);
129 extern void set_bb_copy (basic_block
, basic_block
);
130 extern basic_block
get_bb_copy (basic_block
);
131 void set_loop_copy (class loop
*, class loop
*);
132 class loop
*get_loop_copy (class loop
*);
133 void scale_strictly_dominated_blocks (basic_block
,
134 profile_count
, profile_count
);
136 /* Generic RAII class to allocate a bit from storage of integer type T.
137 The allocated bit is accessible as mask with the single bit set
138 via the conversion operator to T. */
144 /* static assert T is integer type of max HOST_WIDE_INT precision. */
148 int free_bit
= ffs_hwi (~*sptr
);
149 /* If there are no unset bits... */
152 m_flag
= HOST_WIDE_INT_1U
<< (free_bit
- 1);
153 /* ...or if T is signed and thus the complement is sign-extended,
154 check if we ran out of bits. We could spare us this bit
155 if we could use C++11 std::make_unsigned<T>::type to pass
156 ~*sptr to ffs_hwi. */
159 gcc_checking_assert ((*sptr
& m_flag
) == 0);
164 gcc_checking_assert ((*m_sptr
& m_flag
) == m_flag
);
167 operator T () const { return m_flag
; }
173 /* RAII class to allocate an edge flag for temporary use. You have
174 to clear the flag from all edges when you are finished using it. */
176 class auto_edge_flag
: public auto_flag
<int>
179 auto_edge_flag (function
*fun
)
180 : auto_flag
<int> (&fun
->cfg
->edge_flags_allocated
) {}
183 /* RAII class to allocate a bb flag for temporary use. You have
184 to clear the flag from all edges when you are finished using it. */
185 class auto_bb_flag
: public auto_flag
<int>
188 auto_bb_flag (function
*fun
)
189 : auto_flag
<int> (&fun
->cfg
->bb_flags_allocated
) {}
192 #endif /* GCC_CFG_H */