Modifier and Type	Class and Description
public static enum	CFG.EdgeType

Field Summary

Modifier and Type	Field and Description
private final Map<Label, BasicBlock>	bbMap
private BasicBlock	entryBB Entry BB
private BasicBlock	exitBB Exit BB
private BasicBlock	globalEnsureBB BB that traps all exception-edges out of the cfg where we could add any cleanup/ensure code (ex: pop frames, etc.)
private final DirectedGraph<BasicBlock, CFG.EdgeType>	graph The graph itself
private static final Logger	LOG
private int	nextBBId
pack-priv LinkedList<BasicBlock>	postOrderList
private final Map<BasicBlock, BasicBlock>	rescuerMap
pack-priv List<BasicBlock>	returnBBs List of bbs that have a 'return' instruction
private final IRScope	scope

Constructor Summary

Access	Constructor and Description
public	CFG(IRScope scope)

Method Summary

Modifier and Type	Method and Description
public void	addBasicBlock(BasicBlock bb)
public void	addEdge(BasicBlock source, BasicBlock destination, CFG.EdgeType type)
private void	addEdge(BasicBlock src, Label targetLabel, Map<Label, List<BasicBlock>> forwardRefs)
public void	addGlobalEnsureBB(BasicBlock geb)
public boolean	bbIsProtected(BasicBlock b)
public DirectedGraph<BasicBlock, CFG.EdgeType>	build(Instr[] instrs) Build the Control Flow Graph
private BasicBlock	buildExitBasicBlock(Stack<ExceptionRegion> nestedExceptionRegions, BasicBlock firstBB, List<BasicBlock> returnBBs, List<BasicBlock> exceptionBBs, boolean nextIsFallThrough, BasicBlock currBB, BasicBlock entryBB) Create special empty exit BasicBlock that all BasicBlocks will eventually flow into.
private LinkedList<BasicBlock>	buildPostOrderList()
public CFG	Returns: a newly cloned CFG clone(CloneInfo context object to perform the clone info, IRScope already cloned IRScope which this new CFG will belong to clonedScope) Clone this CFG and return a new one.
public void	collapseStraightLineBBs()
private BasicBlock	createBB(Label label, Stack<ExceptionRegion> nestedExceptionRegions)
private BasicBlock	createBB(Stack<ExceptionRegion> nestedExceptionRegions)
private void	deleteOrphanedBlocks(DirectedGraph<BasicBlock, CFG.EdgeType> graph)
public void	fixupEdges(BasicBlock bb)
public Collection<BasicBlock>	getBasicBlocks()
public BasicBlock	getBBForLabel(Label label)
public BasicBlock	getEntryBB()
public BasicBlock	getExitBB()
public BasicBlock	getGlobalEnsureBB()
public Iterable<Edge<BasicBlock, CFG.EdgeType>>	getIncomingEdges(BasicBlock block)
public BasicBlock	getIncomingSourceOfType(BasicBlock block, CFG.EdgeType type)
public Iterable<BasicBlock>	getIncomingSources(BasicBlock block)
public IRManager	getManager()
public int	getMaxNodeID()
public int	getNextBBID()
public BasicBlock	getOutgoingDestinationOfType(BasicBlock block, CFG.EdgeType type)
public Iterable<BasicBlock>	getOutgoingDestinations(BasicBlock block)
public Iterable<BasicBlock>	getOutgoingDestinationsNotOfType(BasicBlock block, CFG.EdgeType type)
public Iterable<BasicBlock>	getOutgoingDestinationsOfType(BasicBlock block, CFG.EdgeType type)
public Collection<Edge<BasicBlock, CFG.EdgeType>>	getOutgoingEdges(BasicBlock block)
public Iterator<BasicBlock>	getPostOrderTraverser()
public BasicBlock	getRescuerBBFor(BasicBlock block)
public Iterator<BasicBlock>	getReversePostOrderTraverser()
public IRScope	getScope()
public Collection<BasicBlock>	getSortedBasicBlocks()
public int	inDegree(BasicBlock b)
private boolean	mergeBBs(BasicBlock a, BasicBlock b)
public void	optimize()
public int	outDegree(BasicBlock b)
public LinkedList<BasicBlock>	postOrderList()
private void	printError(String message)
public void	removeAllOutgoingEdgesForBB(BasicBlock b)
public void	removeBB(BasicBlock b)
public void	removeEdge(BasicBlock a, BasicBlock b)
private void	removeNestedScopesFromBB(BasicBlock bb) Wrapped IRClosures in dead BB are lexically rooted to that dead BB, so they can be removed from the parent scope if the BB they live in died.
public void	setRescuerBB(BasicBlock block, BasicBlock rescuerBlock)
public int	size() How many BasicBlocks are there in this CFG?
public String	toStringGraph()
public String	toStringInstrs()

Inherited from java.lang.Object:: clone equals finalize getClass hashCode notify notifyAll toString wait wait wait

Field Detail

bbMap	back to summary
private final Map<Label, BasicBlock> bbMap

entryBB	back to summary
private BasicBlock entryBB Entry BB

exitBB	back to summary
private BasicBlock exitBB Exit BB

globalEnsureBB	back to summary
private BasicBlock globalEnsureBB BB that traps all exception-edges out of the cfg where we could add any cleanup/ensure code (ex: pop frames, etc.)

graph	back to summary
private final DirectedGraph<BasicBlock, CFG.EdgeType> graph The graph itself

LOG	back to summary
private static final Logger LOG

nextBBId	back to summary
private int nextBBId

postOrderList	back to summary
pack-priv LinkedList<BasicBlock> postOrderList

rescuerMap	back to summary
private final Map<BasicBlock, BasicBlock> rescuerMap

returnBBs	back to summary
pack-priv List<BasicBlock> returnBBs List of bbs that have a 'return' instruction

scope	back to summary
private final IRScope scope

Constructor Detail

CFG	back to summary
public CFG(IRScope scope)

Method Detail

addBasicBlock	back to summary
public void addBasicBlock(BasicBlock bb)

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

addEdge	back to summary
private void addEdge(BasicBlock src, Label targetLabel, Map<Label, List<BasicBlock>> forwardRefs)

addGlobalEnsureBB	back to summary
public void addGlobalEnsureBB(BasicBlock geb)

bbIsProtected	back to summary
public boolean bbIsProtected(BasicBlock b)

build	back to summary
public DirectedGraph<BasicBlock, CFG.EdgeType> build(Instr[] instrs) Build the Control Flow Graph

buildExitBasicBlock	back to summary
private BasicBlock buildExitBasicBlock(Stack<ExceptionRegion> nestedExceptionRegions, BasicBlock firstBB, List<BasicBlock> returnBBs, List<BasicBlock> exceptionBBs, boolean nextIsFallThrough, BasicBlock currBB, BasicBlock entryBB) Create special empty exit BasicBlock that all BasicBlocks will eventually flow into. All Edges to this 'dummy' BasicBlock will get marked with an edge type of EXIT. Special BasicBlocks worth noting: 1. Exceptions, Returns, Entry(why?)$ -> ExitBB 2. Returns$ -> ExitBB

buildExitBasicBlock

back to summary

private BasicBlock buildExitBasicBlock(Stack<ExceptionRegion> nestedExceptionRegions, BasicBlock firstBB, List<BasicBlock> returnBBs, List<BasicBlock> exceptionBBs, boolean nextIsFallThrough, BasicBlock currBB, BasicBlock entryBB)

Create special empty exit BasicBlock that all BasicBlocks will eventually flow into. All Edges to this 'dummy' BasicBlock will get marked with an edge type of EXIT. Special BasicBlocks worth noting: 1. Exceptions, Returns, Entry(why?)$ -> ExitBB 2. Returns$ -> ExitBB

buildPostOrderList	back to summary
private LinkedList<BasicBlock> buildPostOrderList()

clone	back to summary
public CFG clone(CloneInfo info, IRScope clonedScope) Clone this CFG and return a new one. Parameters info:CloneInfo context object to perform the clone clonedScope:IRScope already cloned IRScope which this new CFG will belong to Returns:CFG a newly cloned CFG

clone

back to summary

public CFG clone(CloneInfo info, IRScope clonedScope)

Clone this CFG and return a new one.

Parameters

info:CloneInfo: context object to perform the clone
clonedScope:IRScope: already cloned IRScope which this new CFG will belong to

Returns:CFG

a newly cloned CFG

collapseStraightLineBBs	back to summary
public void collapseStraightLineBBs()

createBB	back to summary
private BasicBlock createBB(Label label, Stack<ExceptionRegion> nestedExceptionRegions)

createBB	back to summary
private BasicBlock createBB(Stack<ExceptionRegion> nestedExceptionRegions)

deleteOrphanedBlocks	back to summary
private void deleteOrphanedBlocks(DirectedGraph<BasicBlock, CFG.EdgeType> graph)

fixupEdges	back to summary
public void fixupEdges(BasicBlock bb)

getBasicBlocks	back to summary
public Collection<BasicBlock> getBasicBlocks()

getBBForLabel	back to summary
public BasicBlock getBBForLabel(Label label)

getEntryBB	back to summary
public BasicBlock getEntryBB()

getExitBB	back to summary
public BasicBlock getExitBB()

getGlobalEnsureBB	back to summary
public BasicBlock getGlobalEnsureBB()

getIncomingEdges	back to summary
public Iterable<Edge<BasicBlock, CFG.EdgeType>> getIncomingEdges(BasicBlock block)

getIncomingSourceOfType	back to summary
public BasicBlock getIncomingSourceOfType(BasicBlock block, CFG.EdgeType type)

getIncomingSources	back to summary
public Iterable<BasicBlock> getIncomingSources(BasicBlock block)

getManager	back to summary
public IRManager getManager()

getMaxNodeID	back to summary
public int getMaxNodeID()

getNextBBID	back to summary
public int getNextBBID()

getOutgoingDestinationOfType	back to summary
public BasicBlock getOutgoingDestinationOfType(BasicBlock block, CFG.EdgeType type)

getOutgoingDestinations	back to summary
public Iterable<BasicBlock> getOutgoingDestinations(BasicBlock block)

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

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

getOutgoingEdges	back to summary
public Collection<Edge<BasicBlock, CFG.EdgeType>> getOutgoingEdges(BasicBlock block)

getPostOrderTraverser	back to summary
public Iterator<BasicBlock> getPostOrderTraverser()

getRescuerBBFor	back to summary
public BasicBlock getRescuerBBFor(BasicBlock block)

getReversePostOrderTraverser	back to summary
public Iterator<BasicBlock> getReversePostOrderTraverser()

getScope	back to summary
public IRScope getScope()

getSortedBasicBlocks	back to summary
public Collection<BasicBlock> getSortedBasicBlocks()

inDegree	back to summary
public int inDegree(BasicBlock b)

mergeBBs	back to summary
private boolean mergeBBs(BasicBlock a, BasicBlock b)

optimize	back to summary
public void optimize()

outDegree	back to summary
public int outDegree(BasicBlock b)

postOrderList	back to summary
public LinkedList<BasicBlock> postOrderList()

printError	back to summary
private void printError(String message)

removeAllOutgoingEdgesForBB	back to summary
public void removeAllOutgoingEdgesForBB(BasicBlock b)

removeBB	back to summary
public void removeBB(BasicBlock b)

removeEdge	back to summary
public void removeEdge(BasicBlock a, BasicBlock b)

removeNestedScopesFromBB	back to summary
private void removeNestedScopesFromBB(BasicBlock bb) Wrapped IRClosures in dead BB are lexically rooted to that dead BB, so they can be removed from the parent scope if the BB they live in died.

setRescuerBB	back to summary
public void setRescuerBB(BasicBlock block, BasicBlock rescuerBlock)

size	back to summary
public int size() How many BasicBlocks are there in this CFG?

toStringGraph	back to summary
public String toStringGraph()

toStringInstrs	back to summary
public String toStringInstrs()

org.jruby.ir.representations back to summary

public final Enum CFG.EdgeType

Class Inheritance

extends Enum<CFG.EdgeType>

java.lang.Object
java.lang.Enum
org.jruby.ir.representations.CFG.EdgeType

Field Summary

Modifier and Type	Field and Description
public static final CFG.EdgeType	EXCEPTION
public static final CFG.EdgeType	EXIT
public static final CFG.EdgeType	FALL_THROUGH
public static final CFG.EdgeType	REGULAR

Constructor Summary

Access	Constructor and Description
private	EdgeType()

Method Summary

Modifier and Type	Method and Description
public static CFG.EdgeType	valueOf(String name)
public static CFG.EdgeType[]	values()

Inherited from java.lang.Enum:: clone compareTo describeConstable equals finalize getDeclaringClass hashCode name ordinal toString valueOf

Field Detail

EXCEPTION	back to summary
public static final CFG.EdgeType EXCEPTION

EXIT	back to summary
public static final CFG.EdgeType EXIT

FALL_THROUGH	back to summary
public static final CFG.EdgeType FALL_THROUGH

REGULAR	back to summary
public static final CFG.EdgeType REGULAR

Constructor Detail

EdgeType	back to summary
private EdgeType()

Method Detail

valueOf	back to summary
public static CFG.EdgeType valueOf(String name)

values	back to summary
public static CFG.EdgeType[] values()

public Class CFG

Nested and Inner Type Summary

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail

public final Enum CFG.EdgeType

Field Summary

Constructor Summary

Method Summary

Field Detail

Constructor Detail

Method Detail