org.jruby.ir.dataflow.analyses

Class StoreLocalVarPlacementNode

java.lang.Object

org.jruby.ir.dataflow.FlowGraphNode

org.jruby.ir.dataflow.analyses.StoreLocalVarPlacementNode

public class StoreLocalVarPlacementNode
extends FlowGraphNode

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.util.Set<LocalVariable>	inDirtyVars
(package private) java.util.Set<LocalVariable>	outDirtyVars

Fields inherited from class org.jruby.ir.dataflow.FlowGraphNode

basicBlock, problem

Constructor Summary

Constructors

Constructor and Description
StoreLocalVarPlacementNode(DataFlowProblem prob, BasicBlock n)

Method Summary

Modifier and Type	Method and Description
private boolean	addClosureExitStoreLocalVars(IRScope scope, java.util.ListIterator<Instr> instrs, java.util.Set<LocalVariable> dirtyVars, java.util.Map<Operand,Operand> varRenameMap)
boolean	addStores(java.util.Map<Operand,Operand> varRenameMap, java.util.Set<LocalVariable> excTargetDirtyVars)
boolean	applyTransferFunction() Compute "OUT/IN" for the current node! The choice of "IN/OUT" is determined by the direction of data flow.
void	buildDataFlowVars(Instr i) Builds the data-flow variables (or facts) for a particular instruction.
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.
private TemporaryVariable	getLocalVarReplacement(LocalVariable v, IRScope scope, java.util.Map<Operand,Operand> varRenameMap)
void	init() Initialize this data flow node for solving the current problem This is done after building dataflow variables for the problem.
void	initSolnForNode() Initialize this data flow node to compute the new solution This is done before iteratively calling the MEET operator.
java.lang.String	toString()

Methods inherited from class org.jruby.ir.dataflow.FlowGraphNode

buildDataFlowVars, computeDataFlowInfo, finalizeSolnForNode, getBB, getExceptionTargetNode, getNonExitBBExceptionTargetNode, hasExceptionsRescued

Methods inherited from class java.lang.Object

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

Field Detail

inDirtyVars

java.util.Set<LocalVariable> inDirtyVars

outDirtyVars

java.util.Set<LocalVariable> outDirtyVars

Constructor Detail

StoreLocalVarPlacementNode

public StoreLocalVarPlacementNode(DataFlowProblem prob,
                                  BasicBlock n)

Method Detail

init

public void init()

Description copied from class: FlowGraphNode

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

Overrides:

init in class FlowGraphNode

buildDataFlowVars

public void buildDataFlowVars(Instr i)

Description copied from class: FlowGraphNode

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

Specified by:

buildDataFlowVars in class FlowGraphNode

initSolnForNode

public void initSolnForNode()

Description copied from class: FlowGraphNode

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

Specified by:

initSolnForNode in class FlowGraphNode

compute_MEET

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

Description copied from class: FlowGraphNode

"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.

Specified by:

compute_MEET in class FlowGraphNode

applyTransferFunction

public boolean applyTransferFunction()

Description copied from class: FlowGraphNode

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)

Specified by:

applyTransferFunction in class FlowGraphNode

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getLocalVarReplacement

private TemporaryVariable getLocalVarReplacement(LocalVariable v,
                                                 IRScope scope,
                                                 java.util.Map<Operand,Operand> varRenameMap)

addClosureExitStoreLocalVars

private boolean addClosureExitStoreLocalVars(IRScope scope,
                                             java.util.ListIterator<Instr> instrs,
                                             java.util.Set<LocalVariable> dirtyVars,
                                             java.util.Map<Operand,Operand> varRenameMap)

addStores

public boolean addStores(java.util.Map<Operand,Operand> varRenameMap,
                         java.util.Set<LocalVariable> excTargetDirtyVars)