org.jruby.ir.dataflow

Class FlowGraphNode<T extends DataFlowProblem<T,U>,U extends FlowGraphNode<T,U>>

java.lang.Object

org.jruby.ir.dataflow.FlowGraphNode<T,U>

Direct Known Subclasses:

LiveVariableNode, LoadLocalVarPlacementNode, StoreLocalVarPlacementNode, UnboxableOpsAnalysisNode

public abstract class FlowGraphNode<T extends DataFlowProblem<T,U>,U extends FlowGraphNode<T,U>>
extends Object

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
FlowGraphNode(T problem, BasicBlock basicBlock)

Method Summary

Methods

Modifier and Type	Method and Description
abstract void	applyPreMeetHandler() Initialize this data flow node to compute the new solution This is done before iteratively calling the MEET operator.
abstract void	applyTransferFunction(Instr i) Apply transfer function to the instruction
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(org.jruby.dirgra.Edge e, U 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<U> workList, BitSet bbSet)
void	computeDataFlowInfoBackward(List<U> workList, BitSet bbSet)
void	computeDataFlowInfoForward(List<U> workList, BitSet bbSet)
void	finalizeSolution() Any required cleanup of state after applying transfer function
BasicBlock	getBB()
CFG	getCFG() Get the control flow graph
U	getExceptionTargetNode()
boolean	hasExceptionsRescued()
void	init() Initialize this data flow node for solving the current problem This is done after building dataflow variables for the problem.
void	initSolution() Any setting up of state/initialization before applying transfer function
abstract boolean	solutionChanged() Did dataflow solution for this node change from last time?

Methods inherited from class java.lang.Object

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

Field Detail

problem

protected final T extends DataFlowProblem<T,U> problem

basicBlock

protected final BasicBlock basicBlock

Constructor Detail

FlowGraphNode

public FlowGraphNode(T problem,
             BasicBlock basicBlock)

Method Detail

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.

applyPreMeetHandler

public abstract void applyPreMeetHandler()

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(org.jruby.dirgra.Edge e,
                U 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.

initSolution

public void initSolution()

Any setting up of state/initialization before applying transfer function

applyTransferFunction

public abstract void applyTransferFunction(Instr i)

Apply transfer function to the instruction

solutionChanged

public abstract boolean solutionChanged()

Did dataflow solution for this node change from last time?

finalizeSolution

public void finalizeSolution()

Any required cleanup of state after applying transfer function

getBB

public BasicBlock getBB()

getCFG

public CFG getCFG()

Get the control flow graph

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<U> workList,
                       BitSet bbSet)

computeDataFlowInfoBackward

public void computeDataFlowInfoBackward(List<U> workList,
                               BitSet bbSet)

computeDataFlowInfoForward

public void computeDataFlowInfoForward(List<U> workList,
                              BitSet bbSet)

hasExceptionsRescued

public boolean hasExceptionsRescued()

getExceptionTargetNode

public U getExceptionTargetNode()