Description
template<class CFGNodeFilter>
class Backstroke::CFG< CFGNodeFilter >
A class holding a Control Flow Graph.
Definition at line 77 of file graphTemplate.h.
#include <graphTemplate.h>
Collaboration diagram for Backstroke::CFG< CFGNodeFilter >:
Classes | |
| struct | EdgeCopier |
| This class is used to copy edges when calling copy_graph(). More... | |
| struct | VertexCopier |
| This class is used to copy vertices when calling copy_graph(). More... | |
Public Types | |
| typedef VirtualCFG::FilteredCFGNode< CFGNodeFilter > | CFGNodeType |
| typedef VirtualCFG::FilteredCFGEdge< CFGNodeFilter > | CFGEdgeType |
| typedef boost::shared_ptr< CFGNodeType > | CFGNodePtr |
| typedef boost::shared_ptr< CFGEdgeType > | CFGEdgePtr |
| typedef GraphTraits::vertex_descriptor | Vertex |
| typedef GraphTraits::edge_descriptor | Edge |
| typedef std::map< Vertex, Vertex > | VertexVertexMap |
Public Member Functions | |
| std::map< CFGNodeType, Vertex > | getNodeVert () |
| CFG () | |
| The default constructor. | |
| CFG (SgFunctionDefinition *funcDef) | |
| The constructor building the CFG. | |
| void | build (SgFunctionDefinition *funcDef) |
| Build the actual CFG for the given function. | |
| SgFunctionDefinition * | getFunctionDefinition () const |
| Get the function definition of this CFG. | |
| const Vertex & | getEntry () const |
| Get the entry node of the CFG. | |
| const Vertex & | getExit () const |
| Get the exit node of the CFG. | |
| const VertexVertexMap & | getDominatorTree () |
| Build the dominator tree of this CFG. More... | |
| const VertexVertexMap & | getPostdominatorTree () |
| Build the postdominator tree of this CFG. | |
| CFG< CFGNodeFilter > | makeReverseCopy () const |
| Build a reverse CFG. | |
| void | toDot (const std::string &filename) const |
| Output the graph to a DOT file. | |
| std::vector< CFGNodePtr > | getAllNodes () const |
| Get all CFG nodes in this graph. | |
| std::vector< CFGEdgePtr > | getAllEdges () const |
| Get all CFG edges in this graph. | |
| Vertex | getVertexForNode (const CFGNodeType &node) const |
| Given a CFG node, returns the corresponding vertex in the graph. More... | |
| bool | isReducible () const |
| Return if this CFG is reducible (if all loops are natural loops, the CFG is reducible). | |
| std::vector< Edge > | getAllBackEdges () |
| Get all back edges in the CFG. A back edge is one whose target dominates its source. | |
| std::vector< Vertex > | getAllLoopHeaders () |
| Get all loop headers in this CFG. A natural loop only has one header. | |
Public Attributes | |
| Vertex | entry_ |
| The entry node. | |
| Vertex | exit_ |
| The exit node. | |
Protected Member Functions | |
| void | buildCFG (const CFGNodeType &node, std::map< CFGNodeType, Vertex > &nodesAdded, std::set< CFGNodeType > &nodesProcessed) |
| A internal funtion which builds the actual CFG (boost::graph). | |
| void | setEntryAndExit () |
| Find the entry and exit of this CFG and set the corresponding members. | |
| void | writeGraphNode (std::ostream &out, const Vertex &node) const |
| This function helps to write the DOT file for vertices. | |
| void | writeGraphEdge (std::ostream &out, const Edge &edge) const |
| This function helps to write the DOT file for edges. | |
Protected Attributes | |
| SgFunctionDefinition * | funcDef_ |
| The function definition of this CFG. | |
| std::map< CFGNodeType, Vertex > | nodesToVertices_ |
| A map from a CFG node to the corresponding vertex. | |
| VertexVertexMap | dominatorTree_ |
| The dominator tree of this CFG. | |
| VertexVertexMap | postdominatorTree_ |
| The postdominator tree of this CFG. | |
Member Function Documentation
◆ getDominatorTree()
template<class CFGNodeFilter >
| const CFG< CFGNodeFilter >::VertexVertexMap & Backstroke::CFG< CFGNodeFilter >::getDominatorTree |
Build the dominator tree of this CFG.
- Returns
- A map from each node to its immediate dominator.
Definition at line 403 of file graphTemplate.h.
◆ getVertexForNode()
template<class CFGNodeFilter >
| CFG< CFGNodeFilter >::Vertex Backstroke::CFG< CFGNodeFilter >::getVertexForNode | ( | const CFGNodeType & | node | ) | const |
Given a CFG node, returns the corresponding vertex in the graph.
Returns Vertex::null_vertex() if the given node is not in the graph
Definition at line 477 of file graphTemplate.h.
The documentation for this class was generated from the following file:
