1/* Calculate (post)dominators header file.
2   Copyright (C) 2014-2015 Free Software Foundation, Inc.
3
4   This file is part of GCC.
5
6   GCC is free software; you can redistribute it and/or modify it
7   under the terms of the GNU General Public License as published by
8   the Free Software Foundation; either version 3, or (at your option)
9   any later version.
10
11   GCC is distributed in the hope that it will be useful, but WITHOUT
12   ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
13   or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
14   License for more details.
15
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/>.  */
19
20#ifndef GCC_DOMINANCE_H
21#define GCC_DOMINANCE_H
22
23enum cdi_direction
24{
25  CDI_DOMINATORS = 1,
26  CDI_POST_DOMINATORS = 2
27};
28
29/* State of dominance information.  */
30
31enum dom_state
32{
33  DOM_NONE,		/* Not computed at all.  */
34  DOM_NO_FAST_QUERY,	/* The data is OK, but the fast query data are not usable.  */
35  DOM_OK		/* Everything is ok.  */
36};
37
38extern void calculate_dominance_info (enum cdi_direction);
39extern void free_dominance_info (function *, enum cdi_direction);
40extern void free_dominance_info (enum cdi_direction);
41extern basic_block get_immediate_dominator (enum cdi_direction, basic_block);
42extern void set_immediate_dominator (enum cdi_direction, basic_block,
43				     basic_block);
44extern vec<basic_block> get_dominated_by (enum cdi_direction, basic_block);
45extern vec<basic_block> get_dominated_by_region (enum cdi_direction,
46							 basic_block *,
47							 unsigned);
48extern vec<basic_block> get_dominated_to_depth (enum cdi_direction,
49							basic_block, int);
50extern vec<basic_block> get_all_dominated_blocks (enum cdi_direction,
51							  basic_block);
52extern void redirect_immediate_dominators (enum cdi_direction, basic_block,
53					   basic_block);
54extern basic_block nearest_common_dominator (enum cdi_direction,
55					     basic_block, basic_block);
56extern basic_block nearest_common_dominator_for_set (enum cdi_direction,
57						     bitmap);
58extern bool dominated_by_p (enum cdi_direction, const_basic_block,
59			    const_basic_block);
60unsigned bb_dom_dfs_in (enum cdi_direction, basic_block);
61unsigned bb_dom_dfs_out (enum cdi_direction, basic_block);
62extern void verify_dominators (enum cdi_direction);
63basic_block recompute_dominator (enum cdi_direction, basic_block);
64extern void iterate_fix_dominators (enum cdi_direction,
65				    vec<basic_block> , bool);
66extern void add_to_dominance_info (enum cdi_direction, basic_block);
67extern void delete_from_dominance_info (enum cdi_direction, basic_block);
68extern basic_block first_dom_son (enum cdi_direction, basic_block);
69extern basic_block next_dom_son (enum cdi_direction, basic_block);
70extern enum dom_state dom_info_state (function *, enum cdi_direction);
71extern enum dom_state dom_info_state (enum cdi_direction);
72extern void set_dom_info_availability (enum cdi_direction, enum dom_state);
73extern bool dom_info_available_p (function *, enum cdi_direction);
74extern bool dom_info_available_p (enum cdi_direction);
75
76
77
78#endif /* GCC_DOMINANCE_H */
79