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>

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	UnboxableOpsAnalysisNode.UnboxState

Field Summary

Fields

Modifier and Type	Field	Description
(package private) UnboxableOpsAnalysisNode.UnboxState	inState
(package private) UnboxableOpsAnalysisNode.UnboxState	outState
(package private) UnboxableOpsAnalysisNode.UnboxState	tmpState

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
private void	boxRequiredVars(Instr i, UnboxableOpsAnalysisNode.UnboxState state, Map<Variable,TemporaryLocalVariable> unboxMap, Variable dst, boolean hasRescuer, boolean isDFBarrier, List<Instr> newInstrs)
void	boxVar(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
private Class	getOperandType(UnboxableOpsAnalysisNode.UnboxState state, Operand o)
private Operand	getUnboxedOperand(UnboxableOpsAnalysisNode.UnboxState state, Map<Variable,TemporaryLocalVariable> unboxMap, Operand arg)
private TemporaryLocalVariable	getUnboxedVar(Class reqdType, Map<Variable,TemporaryLocalVariable> unboxMap, Variable v)
private TemporaryLocalVariable	getUnboxedVar(Class reqdType, Map<Variable,TemporaryLocalVariable> unboxMap, Variable v, boolean createNew)
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
private void	markLocalVariables(Collection<Variable> varsToBox, Set<Variable> varsToCheck)
private boolean	matchingTypes(Class c, TemporaryVariableType t)
private void	setOperandType(UnboxableOpsAnalysisNode.UnboxState state, Variable v, Class newType)
boolean	solutionChanged()	Did dataflow solution for this node change from last time?
String	toString()
void	unbox(Map<Variable,TemporaryLocalVariable> unboxMap)
private Operand	unboxOperand(UnboxableOpsAnalysisNode.UnboxState state, Class reqdType, Map<Variable,TemporaryLocalVariable> unboxMap, Operand arg, List<Instr> newInstrs)
void	unboxVar(UnboxableOpsAnalysisNode.UnboxState state, Class reqdType, Map<Variable,TemporaryLocalVariable> unboxMap, Variable v, List<Instr> newInstrs)
private void	updateUnboxedVarsInfoForBoxedInstr(Instr i, UnboxableOpsAnalysisNode.UnboxState state, Variable dst, boolean hasRescuer, boolean isDFBarrier)

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

Field Details

inState

UnboxableOpsAnalysisNode.UnboxState inState

outState

UnboxableOpsAnalysisNode.UnboxState outState

tmpState

UnboxableOpsAnalysisNode.UnboxState tmpState

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>

getOperandType

private Class getOperandType(UnboxableOpsAnalysisNode.UnboxState state,
 Operand o)

setOperandType

private void setOperandType(UnboxableOpsAnalysisNode.UnboxState state,
 Variable v,
 Class newType)

markLocalVariables

private void markLocalVariables(Collection<Variable> varsToBox,
 Set<Variable> varsToCheck)

updateUnboxedVarsInfoForBoxedInstr

private void updateUnboxedVarsInfoForBoxedInstr(Instr i,
 UnboxableOpsAnalysisNode.UnboxState state,
 Variable dst,
 boolean hasRescuer,
 boolean isDFBarrier)

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>

matchingTypes

private boolean matchingTypes(Class c,
 TemporaryVariableType t)

getUnboxedVar

private TemporaryLocalVariable getUnboxedVar(Class reqdType,
 Map<Variable,TemporaryLocalVariable> unboxMap,
 Variable v,
 boolean createNew)

getUnboxedVar

private TemporaryLocalVariable getUnboxedVar(Class reqdType,
 Map<Variable,TemporaryLocalVariable> unboxMap,
 Variable v)

boxVar

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

unboxVar

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

unboxOperand

private Operand unboxOperand(UnboxableOpsAnalysisNode.UnboxState state,
 Class reqdType,
 Map<Variable,TemporaryLocalVariable> unboxMap,
 Operand arg,
 List<Instr> newInstrs)

getUnboxedOperand

private Operand getUnboxedOperand(UnboxableOpsAnalysisNode.UnboxState state,
 Map<Variable,TemporaryLocalVariable> unboxMap,
 Operand arg)

boxRequiredVars

private void boxRequiredVars(Instr i,
 UnboxableOpsAnalysisNode.UnboxState state,
 Map<Variable,TemporaryLocalVariable> unboxMap,
 Variable dst,
 boolean hasRescuer,
 boolean isDFBarrier,
 List<Instr> newInstrs)

unbox

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

toString

public String toString()

Overrides:

toString in class Object