Package org.jruby.ir.dataflow.analyses

Class UnboxableOpsAnalysisNode

java.lang.Object

org.jruby.ir.dataflow.FlowGraphNode<UnboxableOpsAnalysisProblem,UnboxableOpsAnalysisNode>

org.jruby.ir.dataflow.analyses.UnboxableOpsAnalysisNode

public class UnboxableOpsAnalysisNode
extends FlowGraphNode<UnboxableOpsAnalysisProblem,UnboxableOpsAnalysisNode>

Field Summary

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

basicBlock, problem

Constructor Summary

Constructors

Constructor	Description
UnboxableOpsAnalysisNode(UnboxableOpsAnalysisProblem prob, BasicBlock n)

Method Summary

Modifier and Type	Method	Description
void	applyPreMeetHandler()	Initialize this data flow node to compute the new solution This is done before iteratively calling the MEET operator.
void	applyTransferFunction(Instr i)	Apply transfer function to the instruction
void	boxVar(org.jruby.ir.dataflow.analyses.UnboxableOpsAnalysisNode.UnboxState state, Class reqdType, Map<Variable,TemporaryLocalVariable> unboxMap, Variable v, List<Instr> newInstrs)
void	buildDataFlowVars(Instr i)	Builds the data-flow variables (or facts) for a particular instruction.
void	compute_MEET(org.jruby.dirgra.Edge e, UnboxableOpsAnalysisNode 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	finalizeSolution()	Any required cleanup of state after applying transfer function
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
boolean	solutionChanged()	Did dataflow solution for this node change from last time?
String	toString()
void	unbox(Map<Variable,TemporaryLocalVariable> unboxMap)
void	unboxVar(org.jruby.ir.dataflow.analyses.UnboxableOpsAnalysisNode.UnboxState state, Class reqdType, Map<Variable,TemporaryLocalVariable> unboxMap, Variable v, List<Instr> newInstrs)

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

buildDataFlowVars, computeDataFlowInfo, computeDataFlowInfoBackward, computeDataFlowInfoForward, getBB, getCFG, getExceptionTargetNode, hasExceptionsRescued

Methods inherited from class java.lang.Object

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

Constructor Details

UnboxableOpsAnalysisNode

public UnboxableOpsAnalysisNode(UnboxableOpsAnalysisProblem prob,
 BasicBlock n)

Method Details

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<UnboxableOpsAnalysisProblem,UnboxableOpsAnalysisNode>

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<UnboxableOpsAnalysisProblem,UnboxableOpsAnalysisNode>

applyPreMeetHandler

public void applyPreMeetHandler()

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:

applyPreMeetHandler in class FlowGraphNode<UnboxableOpsAnalysisProblem,UnboxableOpsAnalysisNode>

compute_MEET

public void compute_MEET(org.jruby.dirgra.Edge e,
 UnboxableOpsAnalysisNode 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<UnboxableOpsAnalysisProblem,UnboxableOpsAnalysisNode>

initSolution

public void initSolution()

Description copied from class: FlowGraphNode

Any setting up of state/initialization before applying transfer function

Overrides:

initSolution in class FlowGraphNode<UnboxableOpsAnalysisProblem,UnboxableOpsAnalysisNode>

applyTransferFunction

public void applyTransferFunction(Instr i)

Description copied from class: FlowGraphNode

Apply transfer function to the instruction

Specified by:

applyTransferFunction in class FlowGraphNode<UnboxableOpsAnalysisProblem,UnboxableOpsAnalysisNode>

solutionChanged

public boolean solutionChanged()

Description copied from class: FlowGraphNode

Did dataflow solution for this node change from last time?

Specified by:

solutionChanged in class FlowGraphNode<UnboxableOpsAnalysisProblem,UnboxableOpsAnalysisNode>

finalizeSolution

public void finalizeSolution()

Description copied from class: FlowGraphNode

Any required cleanup of state after applying transfer function

Overrides:

finalizeSolution in class FlowGraphNode<UnboxableOpsAnalysisProblem,UnboxableOpsAnalysisNode>

boxVar

public void boxVar(org.jruby.ir.dataflow.analyses.UnboxableOpsAnalysisNode.UnboxState state,
 Class reqdType,
 Map<Variable,TemporaryLocalVariable> unboxMap,
 Variable v,
 List<Instr> newInstrs)

unboxVar

public void unboxVar(org.jruby.ir.dataflow.analyses.UnboxableOpsAnalysisNode.UnboxState state,
 Class reqdType,
 Map<Variable,TemporaryLocalVariable> unboxMap,
 Variable v,
 List<Instr> newInstrs)

unbox

public void unbox(Map<Variable,TemporaryLocalVariable> unboxMap)

toString

public String toString()

Overrides:

toString in class Object