1*38fd1498Szrj /* Calculate (post)dominators header file.
2*38fd1498Szrj Copyright (C) 2014-2018 Free Software Foundation, Inc.
3*38fd1498Szrj
4*38fd1498Szrj This file is part of GCC.
5*38fd1498Szrj
6*38fd1498Szrj GCC is free software; you can redistribute it and/or modify it
7*38fd1498Szrj under the terms of the GNU General Public License as published by
8*38fd1498Szrj the Free Software Foundation; either version 3, or (at your option)
9*38fd1498Szrj any later version.
10*38fd1498Szrj
11*38fd1498Szrj GCC is distributed in the hope that it will be useful, but WITHOUT
12*38fd1498Szrj ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13*38fd1498Szrj or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
14*38fd1498Szrj License for more details.
15*38fd1498Szrj
16*38fd1498Szrj You should have received a copy of the GNU General Public License
17*38fd1498Szrj along with GCC; see the file COPYING3. If not see
18*38fd1498Szrj <http://www.gnu.org/licenses/>. */
19*38fd1498Szrj
20*38fd1498Szrj #ifndef GCC_DOMINANCE_H
21*38fd1498Szrj #define GCC_DOMINANCE_H
22*38fd1498Szrj
23*38fd1498Szrj enum cdi_direction
24*38fd1498Szrj {
25*38fd1498Szrj CDI_DOMINATORS = 1,
26*38fd1498Szrj CDI_POST_DOMINATORS = 2
27*38fd1498Szrj };
28*38fd1498Szrj
29*38fd1498Szrj /* State of dominance information. */
30*38fd1498Szrj
31*38fd1498Szrj enum dom_state
32*38fd1498Szrj {
33*38fd1498Szrj DOM_NONE, /* Not computed at all. */
34*38fd1498Szrj DOM_NO_FAST_QUERY, /* The data is OK, but the fast query data are not usable. */
35*38fd1498Szrj DOM_OK /* Everything is ok. */
36*38fd1498Szrj };
37*38fd1498Szrj
38*38fd1498Szrj extern void calculate_dominance_info (enum cdi_direction);
39*38fd1498Szrj extern void calculate_dominance_info_for_region (enum cdi_direction,
40*38fd1498Szrj vec<basic_block>);
41*38fd1498Szrj extern void free_dominance_info (function *, enum cdi_direction);
42*38fd1498Szrj extern void free_dominance_info (enum cdi_direction);
43*38fd1498Szrj extern void free_dominance_info_for_region (function *,
44*38fd1498Szrj enum cdi_direction,
45*38fd1498Szrj vec<basic_block>);
46*38fd1498Szrj extern basic_block get_immediate_dominator (enum cdi_direction, basic_block);
47*38fd1498Szrj extern void set_immediate_dominator (enum cdi_direction, basic_block,
48*38fd1498Szrj basic_block);
49*38fd1498Szrj extern vec<basic_block> get_dominated_by (enum cdi_direction, basic_block);
50*38fd1498Szrj extern vec<basic_block> get_dominated_by_region (enum cdi_direction,
51*38fd1498Szrj basic_block *,
52*38fd1498Szrj unsigned);
53*38fd1498Szrj extern vec<basic_block> get_dominated_to_depth (enum cdi_direction,
54*38fd1498Szrj basic_block, int);
55*38fd1498Szrj extern vec<basic_block> get_all_dominated_blocks (enum cdi_direction,
56*38fd1498Szrj basic_block);
57*38fd1498Szrj extern void redirect_immediate_dominators (enum cdi_direction, basic_block,
58*38fd1498Szrj basic_block);
59*38fd1498Szrj extern basic_block nearest_common_dominator (enum cdi_direction,
60*38fd1498Szrj basic_block, basic_block);
61*38fd1498Szrj extern basic_block nearest_common_dominator_for_set (enum cdi_direction,
62*38fd1498Szrj bitmap);
63*38fd1498Szrj extern bool dominated_by_p (enum cdi_direction, const_basic_block,
64*38fd1498Szrj const_basic_block);
65*38fd1498Szrj unsigned bb_dom_dfs_in (enum cdi_direction, basic_block);
66*38fd1498Szrj unsigned bb_dom_dfs_out (enum cdi_direction, basic_block);
67*38fd1498Szrj extern void verify_dominators (enum cdi_direction);
68*38fd1498Szrj
69*38fd1498Szrj /* Verify invariants of computed dominance information, if internal consistency
70*38fd1498Szrj checks are enabled. */
71*38fd1498Szrj
72*38fd1498Szrj static inline void
checking_verify_dominators(cdi_direction dir)73*38fd1498Szrj checking_verify_dominators (cdi_direction dir)
74*38fd1498Szrj {
75*38fd1498Szrj if (flag_checking)
76*38fd1498Szrj verify_dominators (dir);
77*38fd1498Szrj }
78*38fd1498Szrj
79*38fd1498Szrj basic_block recompute_dominator (enum cdi_direction, basic_block);
80*38fd1498Szrj extern void iterate_fix_dominators (enum cdi_direction,
81*38fd1498Szrj vec<basic_block> , bool);
82*38fd1498Szrj extern void add_to_dominance_info (enum cdi_direction, basic_block);
83*38fd1498Szrj extern void delete_from_dominance_info (enum cdi_direction, basic_block);
84*38fd1498Szrj extern basic_block first_dom_son (enum cdi_direction, basic_block);
85*38fd1498Szrj extern basic_block next_dom_son (enum cdi_direction, basic_block);
86*38fd1498Szrj extern enum dom_state dom_info_state (function *, enum cdi_direction);
87*38fd1498Szrj extern enum dom_state dom_info_state (enum cdi_direction);
88*38fd1498Szrj extern void set_dom_info_availability (enum cdi_direction, enum dom_state);
89*38fd1498Szrj extern bool dom_info_available_p (function *, enum cdi_direction);
90*38fd1498Szrj extern bool dom_info_available_p (enum cdi_direction);
91*38fd1498Szrj
92*38fd1498Szrj
93*38fd1498Szrj
94*38fd1498Szrj #endif /* GCC_DOMINANCE_H */
95