coins.aflow
Class MakeControlFlowGraphHir

java.lang.Object
  coins.aflow.MakeControlFlowGraph
      coins.aflow.MakeControlFlowGraphHir

public class MakeControlFlowGraphHir

extends MakeControlFlowGraph

Field Summary

Flow	flow
(package private) Stmt	lGlobalNextStmt

Fields inherited from class coins.aflow.MakeControlFlowGraph

flowRoot, fResults, fSubpFlow, ioRoot

Constructor Summary

MakeControlFlowGraphHir(FlowResults pResults)
Creates new MakeControlFlowGraphHir

Method Summary

void	find(Label pLabel, SubpFlow pSubpFlow)
(package private) void	makeControlFlowGraph(SubpDefinition pSubpDef, SubpFlow pSubpFlow) Performs the following:

Methods inherited from class coins.aflow.MakeControlFlowGraph

addEdge, deleteEdge, domBitLookUp, find, findEntryBlock, findExitBlock, recordReachableBBlocks, unifyBBlocks

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

flow

public final Flow flow

lGlobalNextStmt

Stmt lGlobalNextStmt

Constructor Detail

MakeControlFlowGraphHir

public MakeControlFlowGraphHir(FlowResults pResults)

Creates new MakeControlFlowGraphHir

Method Detail

find

public void find(Label pLabel,
                 SubpFlow pSubpFlow)

makeControlFlowGraph

void makeControlFlowGraph(SubpDefinition pSubpDef,
                          SubpFlow pSubpFlow)

Performs the following:

• Makes a naive control flow graph based on the HIR specification.
• Labels entry and exit BBlocks.
• Removes BBlocks that can never gain the control.

Specified by:

makeControlFlowGraph in class MakeControlFlowGraph