org.jruby.ir.representations

Class CFG

java.lang.Object

org.jruby.ir.representations.CFG

public class CFG
extends java.lang.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 and Description
static class	CFG.EdgeType

Constructor Summary

Constructors

Constructor and Description
CFG(IRScope scope)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

CFG

public CFG(IRScope scope)

Method Detail

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 java.util.LinkedList<BasicBlock> postOrderList()

getPostOrderTraverser

public java.util.Iterator<BasicBlock> getPostOrderTraverser()

getReversePostOrderTraverser

public java.util.Iterator<BasicBlock> getReversePostOrderTraverser()

resetState

public void resetState()

getScope

public IRScope getScope()

size

public int size()

How many BasicBlocks are there in this CFG?

getBasicBlocks

public java.util.Collection<BasicBlock> getBasicBlocks()

getSortedBasicBlocks

public java.util.Collection<BasicBlock> getSortedBasicBlocks()

addEdge

public void addEdge(BasicBlock source,
                    BasicBlock destination,
                    java.lang.Object type)

inDegree

public int inDegree(BasicBlock b)

outDegree

public int outDegree(BasicBlock b)

getIncomingSources

public java.lang.Iterable<BasicBlock> getIncomingSources(BasicBlock block)

getIncomingEdges

public java.lang.Iterable<org.jruby.dirgra.Edge<BasicBlock>> getIncomingEdges(BasicBlock block)

getIncomingSourceOfType

public BasicBlock getIncomingSourceOfType(BasicBlock block,
                                          java.lang.Object type)

getOutgoingDestinationOfType

public BasicBlock getOutgoingDestinationOfType(BasicBlock block,
                                               java.lang.Object type)

getOutgoingDestinations

public java.lang.Iterable<BasicBlock> getOutgoingDestinations(BasicBlock block)

getOutgoingDestinationsOfType

public java.lang.Iterable<BasicBlock> getOutgoingDestinationsOfType(BasicBlock block,
                                                                    java.lang.Object type)

getOutgoingDestinationsNotOfType

public java.lang.Iterable<BasicBlock> getOutgoingDestinationsNotOfType(BasicBlock block,
                                                                       java.lang.Object type)

getOutgoingEdges

public java.util.Collection<org.jruby.dirgra.Edge<BasicBlock>> 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> build(Instr[] instrs)

Build the Control Flow Graph

addBasicBlock

public void addBasicBlock(BasicBlock bb)

removeAllOutgoingEdgesForBB

public void removeAllOutgoingEdgesForBB(BasicBlock b)

removeBB

public void removeBB(BasicBlock b)

collapseStraightLineBBs

public void collapseStraightLineBBs()

toStringGraph

public java.lang.String toStringGraph()

toStringInstrs

public java.lang.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