analysis::PostdominatorTree Class Reference

#include <PostdominatorTree.h>

Inheritance diagram for analysis::PostdominatorTree:

Collaboration diagram for analysis::PostdominatorTree:

List of all members.

Public Types
typedef std::vector< int >	IndexVector
typedef std::vector< IndexVector >	IndexArrayVector
Public Member Functions
	PostdominatorTree (ir::ControlFlowGraph *cfg)
	~PostdominatorTree ()
std::ostream &	write (std::ostream &out)
bool	postDominates (ir::ControlFlowGraph::iterator block, ir::ControlFlowGraph::iterator potentialPredecessor)
ir::ControlFlowGraph::iterator	getPostDominator (ir::ControlFlowGraph::iterator block)
Public Attributes
ir::ControlFlowGraph *	cfg
ir::ControlFlowGraph::BlockPointerVector	blocks
IndexVector	p_dom
IndexArrayVector	dominated
ir::ControlFlowGraph::BlockMap	blocksToIndex

---

Detailed Description

A tree structure in which each node corresponds to a BasicBlock in the control flow graph such that each node's block is immediately post-dominated by its parent. Each node is owned by its parent.

---

Member Typedef Documentation

typedef std::vector<IndexVector> analysis::PostdominatorTree::IndexArrayVector

typedef std::vector<int> analysis::PostdominatorTree::IndexVector

---

Constructor & Destructor Documentation

analysis::PostdominatorTree::PostdominatorTree

(

ir::ControlFlowGraph *

cfg

)

analysis::PostdominatorTree::~PostdominatorTree

(

)

---

Member Function Documentation

ir::ControlFlowGraph::iterator analysis::PostdominatorTree::getPostDominator

(

ir::ControlFlowGraph::iterator

block

)

Given a block known to be in the control flow graph, return the post dominator

bool analysis::PostdominatorTree::postDominates	(	ir::ControlFlowGraph::iterator	block,
		ir::ControlFlowGraph::iterator	potentialPredecessor
	)

Does a particular block post-dominate another block?

std::ostream & analysis::PostdominatorTree::write

(

std::ostream &

out

)

Writes a representation of the DominatorTree to an output stream

---

Member Data Documentation

ir::ControlFlowGraph::BlockPointerVector analysis::PostdominatorTree::blocks

store of the basic blocks in the dominator tree in post-order

ir::ControlFlowGraph::BlockMap analysis::PostdominatorTree::blocksToIndex

Map from a BasicBlock pointer to an index into the blocks vector

ir::ControlFlowGraph* analysis::PostdominatorTree::cfg

Parent control flow graph

IndexArrayVector analysis::PostdominatorTree::dominated

nth element stores a list of elements for which n is the immediate post-dominator

IndexVector analysis::PostdominatorTree::p_dom

nth element stores the immediate post-dominator of node n or -1 if undefined

---

The documentation for this class was generated from the following files:

• ocelot/analysis/interface/PostdominatorTree.h
• ocelot/analysis/implementation/PostdominatorTree.cpp