org.jruby.ir.dataflow

Class FlowGraphNode

java.lang.Object

org.jruby.ir.dataflow.FlowGraphNode

Direct Known Subclasses:

LiveVariableNode, LoadLocalVarPlacementNode, StoreLocalVarPlacementNode

public abstract class FlowGraphNode
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected BasicBlock	basicBlock
protected DataFlowProblem	problem

Constructor Summary

Constructors

Constructor and Description
FlowGraphNode(DataFlowProblem p, BasicBlock n)

Method Summary

Modifier and Type	Method and Description
abstract boolean	applyTransferFunction() Compute "OUT/IN" for the current node! The choice of "IN/OUT" is determined by the direction of data flow.
void	buildDataFlowVars() Builds the data-flow variables (or facts) for a particular node.
abstract void	buildDataFlowVars(Instr i) Builds the data-flow variables (or facts) for a particular instruction.
abstract void	compute_MEET(Edge e, BasicBlock source, FlowGraphNode pred) "MEET" current solution of "IN/OUT" with "OUT/IN(pred)", where "pred" is a predecessor of the current node! The choice of "IN/OUT" is determined by the direction of data flow.
void	computeDataFlowInfo(List<FlowGraphNode> workList, BitSet bbSet)
void	finalizeSolnForNode() After meet has been performed, do some more logic.
BasicBlock	getBB()
FlowGraphNode	getExceptionTargetNode()
FlowGraphNode	getNonExitBBExceptionTargetNode()
boolean	hasExceptionsRescued()
void	init() Initialize this data flow node for solving the current problem This is done after building dataflow variables for the problem.
abstract void	initSolnForNode() Initialize this data flow node to compute the new solution This is done before iteratively calling the MEET operator.

Methods inherited from class java.lang.Object

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

Field Detail

problem

protected DataFlowProblem problem

basicBlock

protected BasicBlock basicBlock

Constructor Detail

FlowGraphNode

public FlowGraphNode(DataFlowProblem p,
                     BasicBlock n)

Method Detail

initSolnForNode

public abstract void initSolnForNode()

Initialize this data flow node to compute the new solution This is done before iteratively calling the MEET operator.

compute_MEET

public abstract void compute_MEET(Edge e,
                                  BasicBlock source,
                                  FlowGraphNode pred)

"MEET" current solution of "IN/OUT" with "OUT/IN(pred)", where "pred" is a predecessor of the current node! The choice of "IN/OUT" is determined by the direction of data flow.

applyTransferFunction

public abstract boolean applyTransferFunction()

Compute "OUT/IN" for the current node! The choice of "IN/OUT" is determined by the direction of data flow. OUT/IN = transfer-function (facts at start/end of node, instructions of current node processed in fwd/reverse dirn)

buildDataFlowVars

public abstract void buildDataFlowVars(Instr i)

Builds the data-flow variables (or facts) for a particular instruction.

init

public void init()

Initialize this data flow node for solving the current problem This is done after building dataflow variables for the problem.

finalizeSolnForNode

public void finalizeSolnForNode()

After meet has been performed, do some more logic.

getBB

public BasicBlock getBB()

buildDataFlowVars

public void buildDataFlowVars()

Builds the data-flow variables (or facts) for a particular node. Need only create the DF_Var for them to be added to the problem. Goes over the instructions in this basic block and collect all relevant LOCAL data flow vars for this problem!

computeDataFlowInfo

public void computeDataFlowInfo(List<FlowGraphNode> workList,
                                BitSet bbSet)

hasExceptionsRescued

public boolean hasExceptionsRescued()

getExceptionTargetNode

public FlowGraphNode getExceptionTargetNode()

getNonExitBBExceptionTargetNode

public FlowGraphNode getNonExitBBExceptionTargetNode()