Package org.jruby.ir.representations

Class CFG

java.lang.Object

org.jruby.ir.representations.CFG

public class CFG
extends Object

Represents the base build of a CFG. All information here is accessed via delegation from the CFG itself so this is meant as an internal organizational structure for a build.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static enum	CFG.EdgeType

Constructor Summary

Constructors

Constructor	Description
CFG(IRScope scope)

Method Summary

Modifier and Type	Method	Description
void	addBasicBlock(BasicBlock bb)
void	addEdge(BasicBlock source, BasicBlock destination, CFG.EdgeType type)
void	addGlobalEnsureBB(BasicBlock geb)
boolean	bbIsProtected(BasicBlock b)
org.jruby.dirgra.DirectedGraph<BasicBlock,CFG.EdgeType>	build(Instr[] instrs)	Build the Control Flow Graph
CFG	clone(CloneInfo info, IRScope clonedScope)	Clone this CFG and return a new one.
void	collapseStraightLineBBs()
void	fixupEdges(BasicBlock bb)
Collection<BasicBlock>	getBasicBlocks()
BasicBlock	getBBForLabel(Label label)
BasicBlock	getEntryBB()
BasicBlock	getExitBB()
BasicBlock	getGlobalEnsureBB()
Iterable<org.jruby.dirgra.Edge<BasicBlock,CFG.EdgeType>>	getIncomingEdges(BasicBlock block)
BasicBlock	getIncomingSourceOfType(BasicBlock block, CFG.EdgeType type)
Iterable<BasicBlock>	getIncomingSources(BasicBlock block)
IRManager	getManager()
int	getMaxNodeID()
int	getNextBBID()
BasicBlock	getOutgoingDestinationOfType(BasicBlock block, CFG.EdgeType type)
Iterable<BasicBlock>	getOutgoingDestinations(BasicBlock block)
Iterable<BasicBlock>	getOutgoingDestinationsNotOfType(BasicBlock block, CFG.EdgeType type)
Iterable<BasicBlock>	getOutgoingDestinationsOfType(BasicBlock block, CFG.EdgeType type)
Collection<org.jruby.dirgra.Edge<BasicBlock,CFG.EdgeType>>	getOutgoingEdges(BasicBlock block)
Iterator<BasicBlock>	getPostOrderTraverser()
BasicBlock	getRescuerBBFor(BasicBlock block)
Iterator<BasicBlock>	getReversePostOrderTraverser()
IRScope	getScope()
Collection<BasicBlock>	getSortedBasicBlocks()
int	inDegree(BasicBlock b)
void	optimize()
int	outDegree(BasicBlock b)
LinkedList<BasicBlock>	postOrderList()
void	removeAllOutgoingEdgesForBB(BasicBlock b)
void	removeBB(BasicBlock b)
void	removeEdge(BasicBlock a, BasicBlock b)
void	setRescuerBB(BasicBlock block, BasicBlock rescuerBlock)
int	size()	How many BasicBlocks are there in this CFG?
String	toStringGraph()
String	toStringInstrs()

Methods inherited from class java.lang.Object

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

Constructor Details

CFG

public CFG(IRScope scope)

Method Details

getNextBBID

public int getNextBBID()

getManager

public IRManager getManager()

getMaxNodeID

public int getMaxNodeID()

bbIsProtected

public boolean bbIsProtected(BasicBlock b)

getBBForLabel

public BasicBlock getBBForLabel(Label label)

getEntryBB

public BasicBlock getEntryBB()

getExitBB

public BasicBlock getExitBB()

getGlobalEnsureBB

public BasicBlock getGlobalEnsureBB()

postOrderList

public LinkedList<BasicBlock> postOrderList()

getPostOrderTraverser

public Iterator<BasicBlock> getPostOrderTraverser()

getReversePostOrderTraverser

public Iterator<BasicBlock> getReversePostOrderTraverser()

getScope

public IRScope getScope()

size

public int size()

How many BasicBlocks are there in this CFG?

getBasicBlocks

public Collection<BasicBlock> getBasicBlocks()

getSortedBasicBlocks

public Collection<BasicBlock> getSortedBasicBlocks()

addEdge

public void addEdge(BasicBlock source,
 BasicBlock destination,
 CFG.EdgeType type)

inDegree

public int inDegree(BasicBlock b)

outDegree

public int outDegree(BasicBlock b)

getIncomingSources

public Iterable<BasicBlock> getIncomingSources(BasicBlock block)

getIncomingEdges

public Iterable<org.jruby.dirgra.Edge<BasicBlock,CFG.EdgeType>> getIncomingEdges(BasicBlock block)

getIncomingSourceOfType

public BasicBlock getIncomingSourceOfType(BasicBlock block,
 CFG.EdgeType type)

getOutgoingDestinationOfType

public BasicBlock getOutgoingDestinationOfType(BasicBlock block,
 CFG.EdgeType type)

getOutgoingDestinations

public Iterable<BasicBlock> getOutgoingDestinations(BasicBlock block)

getOutgoingDestinationsOfType

public Iterable<BasicBlock> getOutgoingDestinationsOfType(BasicBlock block,
 CFG.EdgeType type)

getOutgoingDestinationsNotOfType

public Iterable<BasicBlock> getOutgoingDestinationsNotOfType(BasicBlock block,
 CFG.EdgeType type)

getOutgoingEdges

public Collection<org.jruby.dirgra.Edge<BasicBlock,CFG.EdgeType>> getOutgoingEdges(BasicBlock block)

getRescuerBBFor

public BasicBlock getRescuerBBFor(BasicBlock block)

addGlobalEnsureBB

public void addGlobalEnsureBB(BasicBlock geb)

setRescuerBB

public void setRescuerBB(BasicBlock block,
 BasicBlock rescuerBlock)

build

public org.jruby.dirgra.DirectedGraph<BasicBlock,CFG.EdgeType> build(Instr[] instrs)

Build the Control Flow Graph

fixupEdges

public void fixupEdges(BasicBlock bb)

addBasicBlock

public void addBasicBlock(BasicBlock bb)

removeAllOutgoingEdgesForBB

public void removeAllOutgoingEdgesForBB(BasicBlock b)

removeBB

public void removeBB(BasicBlock b)

collapseStraightLineBBs

public void collapseStraightLineBBs()

optimize

public void optimize()

toStringGraph

public String toStringGraph()

toStringInstrs

public String toStringInstrs()

removeEdge

public void removeEdge(BasicBlock a,
 BasicBlock b)

clone

public CFG clone(CloneInfo info,
 IRScope clonedScope)

Clone this CFG and return a new one.

Parameters:

info - context object to perform the clone

clonedScope - already cloned IRScope which this new CFG will belong to

Returns:

a newly cloned CFG