]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/domwalk.h
Update copyright years.
[thirdparty/gcc.git] / gcc / domwalk.h
CommitLineData
6de9cd9a 1/* Generic dominator tree walker
a5544970 2 Copyright (C) 2003-2019 Free Software Foundation, Inc.
6de9cd9a
DN
3 Contributed by Diego Novillo <dnovillo@redhat.com>
4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify
8it under the terms of the GNU General Public License as published by
9dcd6f09 9the Free Software Foundation; either version 3, or (at your option)
6de9cd9a
DN
10any later version.
11
12GCC is distributed in the hope that it will be useful,
13but WITHOUT ANY WARRANTY; without even the implied warranty of
14MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15GNU General Public License for 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/>. */
6de9cd9a 20
4d9192b5
TS
21#ifndef GCC_DOM_WALK_H
22#define GCC_DOM_WALK_H
23
24/**
25 * This is the main class for the dominator walker. It is expected that
26 * consumers will have a custom class inheriting from it, which will over ride
27 * at least one of before_dom_children and after_dom_children to implement the
28 * custom behavior.
29 */
30class dom_walker
6de9cd9a 31{
4d9192b5 32public:
d2552094
RB
33 static const edge STOP;
34
9972bbbc
DM
35 /* An enum for determining whether the dom walk should be constrained to
36 blocks reachable by executable edges. */
37
38 enum reachability
39 {
40 /* Walk all blocks within the CFG. */
41 ALL_BLOCKS,
42
43 /* Use REACHABLE_BLOCKS when your subclass can discover that some edges
44 are not executable.
45
46 If a subclass can discover that a COND, SWITCH or GOTO has a static
47 target in the before_dom_children callback, the taken edge should
48 be returned. The generic walker will clear EDGE_EXECUTABLE on all
49 edges it can determine are not executable.
50
51 With REACHABLE_BLOCKS, EDGE_EXECUTABLE will be set on every edge in
52 the dom_walker ctor; the flag will then be cleared on edges that are
53 determined to be not executable. */
54 REACHABLE_BLOCKS,
55
56 /* Identical to REACHABLE_BLOCKS, but the initial state of EDGE_EXECUTABLE
57 will instead be preserved in the ctor, allowing for information about
58 non-executable edges to be merged in from an earlier analysis (and
59 potentially for additional edges to be marked as non-executable). */
60 REACHABLE_BLOCKS_PRESERVING_FLAGS
61 };
62
dc3b4a20
RB
63 dom_walker (cdi_direction direction, enum reachability = ALL_BLOCKS);
64
9972bbbc 65 /* You can provide a mapping of basic-block index to RPO if you
dc3b4a20
RB
66 have that readily available or you do multiple walks. If you
67 specify NULL as BB_INDEX_TO_RPO dominator children will not be
68 walked in RPO order. */
69 dom_walker (cdi_direction direction, enum reachability, int *bb_index_to_rpo);
d2552094
RB
70
71 ~dom_walker ();
6de9cd9a 72
4d9192b5
TS
73 /* Walk the dominator tree. */
74 void walk (basic_block);
6de9cd9a 75
3daacdcd
JL
76 /* Function to call before the recursive walk of the dominator children.
77
78 Return value is the always taken edge if the block has multiple outgoing
79 edges, NULL otherwise. When skipping unreachable blocks, the walker
80 uses the taken edge information to clear EDGE_EXECUTABLE on the other
81 edges, exposing unreachable blocks. A NULL return value means all
d2552094
RB
82 outgoing edges should still be considered executable. A return value
83 of STOP means to stop the domwalk from processing dominated blocks from
84 here. This can be used to process a SEME region only (note domwalk
85 will still do work linear in function size). */
3daacdcd 86 virtual edge before_dom_children (basic_block) { return NULL; }
6de9cd9a 87
ccf5c864 88 /* Function to call after the recursive walk of the dominator children. */
4d9192b5 89 virtual void after_dom_children (basic_block) {}
6de9cd9a 90
4d9192b5
TS
91private:
92 /* This is the direction of the dominator tree we want to walk. i.e.,
93 if it is set to CDI_DOMINATORS, then we walk the dominator tree,
94 if it is set to CDI_POST_DOMINATORS, then we walk the post
95 dominator tree. */
65d3284b 96 const ENUM_BITFIELD (cdi_direction) m_dom_direction : 2;
3daacdcd 97 bool m_skip_unreachable_blocks;
d2552094 98 bool m_user_bb_to_rpo;
3daacdcd 99 basic_block m_unreachable_dom;
d2552094 100 int *m_bb_to_rpo;
3daacdcd
JL
101
102 /* Query whether or not the given block is reachable or not. */
103 bool bb_reachable (struct function *, basic_block);
104
105 /* Given an unreachable block, propagate that property to outgoing
106 and possibly incoming edges for the block. Typically called after
107 determining a block is unreachable in the before_dom_children
108 callback. */
1a817418 109 void propagate_unreachable_to_edges (basic_block, FILE *, dump_flags_t);
3daacdcd 110
6de9cd9a
DN
111};
112
9972bbbc
DM
113extern void set_all_edges_as_executable (function *fn);
114
4d9192b5 115#endif