| // Copyright (c) 2017 Google Inc. | |
| // | |
| // Licensed under the Apache License, Version 2.0 (the "License"); | |
| // you may not use this file except in compliance with the License. | |
| // You may obtain a copy of the License at | |
| // | |
| // http://www.apache.org/licenses/LICENSE-2.0 | |
| // | |
| // Unless required by applicable law or agreed to in writing, software | |
| // distributed under the License is distributed on an "AS IS" BASIS, | |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
| // See the License for the specific language governing permissions and | |
| // limitations under the License. | |
| #ifndef SOURCE_OPT_DOMINATOR_TREE_H_ | |
| #define SOURCE_OPT_DOMINATOR_TREE_H_ | |
| #include <algorithm> | |
| #include <cstdint> | |
| #include <map> | |
| #include <utility> | |
| #include <vector> | |
| #include "source/opt/cfg.h" | |
| #include "source/opt/tree_iterator.h" | |
| namespace spvtools { | |
| namespace opt { | |
| // This helper struct forms the nodes in the tree, with each node containing its | |
| // children. It also contains two values, for the pre and post indexes in the | |
| // tree which are used to compare two nodes. | |
| struct DominatorTreeNode { | |
| explicit DominatorTreeNode(BasicBlock* bb) | |
| : bb_(bb), | |
| parent_(nullptr), | |
| children_({}), | |
| dfs_num_pre_(-1), | |
| dfs_num_post_(-1) {} | |
| using iterator = std::vector<DominatorTreeNode*>::iterator; | |
| using const_iterator = std::vector<DominatorTreeNode*>::const_iterator; | |
| // depth first preorder iterator. | |
| using df_iterator = TreeDFIterator<DominatorTreeNode>; | |
| using const_df_iterator = TreeDFIterator<const DominatorTreeNode>; | |
| // depth first postorder iterator. | |
| using post_iterator = PostOrderTreeDFIterator<DominatorTreeNode>; | |
| using const_post_iterator = PostOrderTreeDFIterator<const DominatorTreeNode>; | |
| iterator begin() { return children_.begin(); } | |
| iterator end() { return children_.end(); } | |
| const_iterator begin() const { return cbegin(); } | |
| const_iterator end() const { return cend(); } | |
| const_iterator cbegin() const { return children_.begin(); } | |
| const_iterator cend() const { return children_.end(); } | |
| // Depth first preorder iterator using this node as root. | |
| df_iterator df_begin() { return df_iterator(this); } | |
| df_iterator df_end() { return df_iterator(); } | |
| const_df_iterator df_begin() const { return df_cbegin(); } | |
| const_df_iterator df_end() const { return df_cend(); } | |
| const_df_iterator df_cbegin() const { return const_df_iterator(this); } | |
| const_df_iterator df_cend() const { return const_df_iterator(); } | |
| // Depth first postorder iterator using this node as root. | |
| post_iterator post_begin() { return post_iterator::begin(this); } | |
| post_iterator post_end() { return post_iterator::end(nullptr); } | |
| const_post_iterator post_begin() const { return post_cbegin(); } | |
| const_post_iterator post_end() const { return post_cend(); } | |
| const_post_iterator post_cbegin() const { | |
| return const_post_iterator::begin(this); | |
| } | |
| const_post_iterator post_cend() const { | |
| return const_post_iterator::end(nullptr); | |
| } | |
| inline uint32_t id() const { return bb_->id(); } | |
| BasicBlock* bb_; | |
| DominatorTreeNode* parent_; | |
| std::vector<DominatorTreeNode*> children_; | |
| // These indexes are used to compare two given nodes. A node is a child or | |
| // grandchild of another node if its preorder index is greater than the | |
| // first nodes preorder index AND if its postorder index is less than the | |
| // first nodes postorder index. | |
| int dfs_num_pre_; | |
| int dfs_num_post_; | |
| }; | |
| // A class representing a tree of BasicBlocks in a given function, where each | |
| // node is dominated by its parent. | |
| class DominatorTree { | |
| public: | |
| // Map OpLabel ids to dominator tree nodes | |
| using DominatorTreeNodeMap = std::map<uint32_t, DominatorTreeNode>; | |
| using iterator = TreeDFIterator<DominatorTreeNode>; | |
| using const_iterator = TreeDFIterator<const DominatorTreeNode>; | |
| using post_iterator = PostOrderTreeDFIterator<DominatorTreeNode>; | |
| using const_post_iterator = PostOrderTreeDFIterator<const DominatorTreeNode>; | |
| // List of DominatorTreeNode to define the list of roots | |
| using DominatorTreeNodeList = std::vector<DominatorTreeNode*>; | |
| using roots_iterator = DominatorTreeNodeList::iterator; | |
| using roots_const_iterator = DominatorTreeNodeList::const_iterator; | |
| DominatorTree() : postdominator_(false) {} | |
| explicit DominatorTree(bool post) : postdominator_(post) {} | |
| // Depth first iterators. | |
| // Traverse the dominator tree in a depth first pre-order. | |
| // The pseudo-block is ignored. | |
| iterator begin() { return ++iterator(GetRoot()); } | |
| iterator end() { return iterator(); } | |
| const_iterator begin() const { return cbegin(); } | |
| const_iterator end() const { return cend(); } | |
| const_iterator cbegin() const { return ++const_iterator(GetRoot()); } | |
| const_iterator cend() const { return const_iterator(); } | |
| // Traverse the dominator tree in a depth first post-order. | |
| // The pseudo-block is ignored. | |
| post_iterator post_begin() { return post_iterator::begin(GetRoot()); } | |
| post_iterator post_end() { return post_iterator::end(GetRoot()); } | |
| const_post_iterator post_begin() const { return post_cbegin(); } | |
| const_post_iterator post_end() const { return post_cend(); } | |
| const_post_iterator post_cbegin() const { | |
| return const_post_iterator::begin(GetRoot()); | |
| } | |
| const_post_iterator post_cend() const { | |
| return const_post_iterator::end(GetRoot()); | |
| } | |
| roots_iterator roots_begin() { return roots_.begin(); } | |
| roots_iterator roots_end() { return roots_.end(); } | |
| roots_const_iterator roots_begin() const { return roots_cbegin(); } | |
| roots_const_iterator roots_end() const { return roots_cend(); } | |
| roots_const_iterator roots_cbegin() const { return roots_.begin(); } | |
| roots_const_iterator roots_cend() const { return roots_.end(); } | |
| // Get the unique root of the tree. | |
| // It is guaranteed to work on a dominator tree. | |
| // post-dominator might have a list. | |
| DominatorTreeNode* GetRoot() { | |
| assert(roots_.size() == 1); | |
| return *roots_.begin(); | |
| } | |
| const DominatorTreeNode* GetRoot() const { | |
| assert(roots_.size() == 1); | |
| return *roots_.begin(); | |
| } | |
| const DominatorTreeNodeList& Roots() const { return roots_; } | |
| // Dumps the tree in the graphvis dot format into the |out_stream|. | |
| void DumpTreeAsDot(std::ostream& out_stream) const; | |
| // Build the (post-)dominator tree for the given control flow graph | |
| // |cfg| and the function |f|. |f| must exist in the |cfg|. Any | |
| // existing data in the dominator tree will be overwritten | |
| void InitializeTree(const CFG& cfg, const Function* f); | |
| // Check if the basic block |a| dominates the basic block |b|. | |
| bool Dominates(const BasicBlock* a, const BasicBlock* b) const; | |
| // Check if the basic block id |a| dominates the basic block id |b|. | |
| bool Dominates(uint32_t a, uint32_t b) const; | |
| // Check if the dominator tree node |a| dominates the dominator tree node |b|. | |
| bool Dominates(const DominatorTreeNode* a, const DominatorTreeNode* b) const; | |
| // Check if the basic block |a| strictly dominates the basic block |b|. | |
| bool StrictlyDominates(const BasicBlock* a, const BasicBlock* b) const; | |
| // Check if the basic block id |a| strictly dominates the basic block id |b|. | |
| bool StrictlyDominates(uint32_t a, uint32_t b) const; | |
| // Check if the dominator tree node |a| strictly dominates the dominator tree | |
| // node |b|. | |
| bool StrictlyDominates(const DominatorTreeNode* a, | |
| const DominatorTreeNode* b) const; | |
| // Returns the immediate dominator of basic block |a|. | |
| BasicBlock* ImmediateDominator(const BasicBlock* A) const; | |
| // Returns the immediate dominator of basic block id |a|. | |
| BasicBlock* ImmediateDominator(uint32_t a) const; | |
| // Returns true if the basic block |a| is reachable by this tree. A node would | |
| // be unreachable if it cannot be reached by traversal from the start node or | |
| // for a postdominator tree, cannot be reached from the exit nodes. | |
| inline bool ReachableFromRoots(const BasicBlock* a) const { | |
| if (!a) return false; | |
| return ReachableFromRoots(a->id()); | |
| } | |
| // Returns true if the basic block id |a| is reachable by this tree. | |
| bool ReachableFromRoots(uint32_t a) const { | |
| return GetTreeNode(a) != nullptr; | |
| } | |
| // Returns true if this tree is a post dominator tree. | |
| bool IsPostDominator() const { return postdominator_; } | |
| // Clean up the tree. | |
| void ClearTree() { | |
| nodes_.clear(); | |
| roots_.clear(); | |
| } | |
| // Applies the std::function |func| to all nodes in the dominator tree. | |
| // Tree nodes are visited in a depth first pre-order. | |
| bool Visit(std::function<bool(DominatorTreeNode*)> func) { | |
| for (auto n : *this) { | |
| if (!func(&n)) return false; | |
| } | |
| return true; | |
| } | |
| // Applies the std::function |func| to all nodes in the dominator tree. | |
| // Tree nodes are visited in a depth first pre-order. | |
| bool Visit(std::function<bool(const DominatorTreeNode*)> func) const { | |
| for (auto n : *this) { | |
| if (!func(&n)) return false; | |
| } | |
| return true; | |
| } | |
| // Applies the std::function |func| to all nodes in the dominator tree from | |
| // |node| downwards. The boolean return from |func| is used to determine | |
| // whether or not the children should also be traversed. Tree nodes are | |
| // visited in a depth first pre-order. | |
| void VisitChildrenIf(std::function<bool(DominatorTreeNode*)> func, | |
| iterator node) { | |
| if (func(&*node)) { | |
| for (auto n : *node) { | |
| VisitChildrenIf(func, n->df_begin()); | |
| } | |
| } | |
| } | |
| // Returns the DominatorTreeNode associated with the basic block |bb|. | |
| // If the |bb| is unknown to the dominator tree, it returns null. | |
| inline DominatorTreeNode* GetTreeNode(BasicBlock* bb) { | |
| return GetTreeNode(bb->id()); | |
| } | |
| // Returns the DominatorTreeNode associated with the basic block |bb|. | |
| // If the |bb| is unknown to the dominator tree, it returns null. | |
| inline const DominatorTreeNode* GetTreeNode(BasicBlock* bb) const { | |
| return GetTreeNode(bb->id()); | |
| } | |
| // Returns the DominatorTreeNode associated with the basic block id |id|. | |
| // If the id |id| is unknown to the dominator tree, it returns null. | |
| inline DominatorTreeNode* GetTreeNode(uint32_t id) { | |
| DominatorTreeNodeMap::iterator node_iter = nodes_.find(id); | |
| if (node_iter == nodes_.end()) { | |
| return nullptr; | |
| } | |
| return &node_iter->second; | |
| } | |
| // Returns the DominatorTreeNode associated with the basic block id |id|. | |
| // If the id |id| is unknown to the dominator tree, it returns null. | |
| inline const DominatorTreeNode* GetTreeNode(uint32_t id) const { | |
| DominatorTreeNodeMap::const_iterator node_iter = nodes_.find(id); | |
| if (node_iter == nodes_.end()) { | |
| return nullptr; | |
| } | |
| return &node_iter->second; | |
| } | |
| // Adds the basic block |bb| to the tree structure if it doesn't already | |
| // exist. | |
| DominatorTreeNode* GetOrInsertNode(BasicBlock* bb); | |
| // Recomputes the DF numbering of the tree. | |
| void ResetDFNumbering(); | |
| private: | |
| // Wrapper function which gets the list of pairs of each BasicBlocks to its | |
| // immediately dominating BasicBlock and stores the result in the the edges | |
| // parameter. | |
| // | |
| // The |edges| vector will contain the dominator tree as pairs of nodes. | |
| // The first node in the pair is a node in the graph. The second node in the | |
| // pair is its immediate dominator. | |
| // The root of the tree has themself as immediate dominator. | |
| void GetDominatorEdges( | |
| const Function* f, const BasicBlock* dummy_start_node, | |
| std::vector<std::pair<BasicBlock*, BasicBlock*>>* edges); | |
| // The roots of the tree. | |
| std::vector<DominatorTreeNode*> roots_; | |
| // Pairs each basic block id to the tree node containing that basic block. | |
| DominatorTreeNodeMap nodes_; | |
| // True if this is a post dominator tree. | |
| bool postdominator_; | |
| }; | |
| } // namespace opt | |
| } // namespace spvtools | |
| #endif // SOURCE_OPT_DOMINATOR_TREE_H_ |