org.jruby.ir.dataflow.analyses

Class LiveVariablesProblem

java.lang.Object

org.jruby.ir.dataflow.DataFlowProblem

org.jruby.ir.dataflow.analyses.LiveVariablesProblem

public class LiveVariablesProblem
extends DataFlowProblem

Nested Class Summary

Nested classes/interfaces inherited from class org.jruby.ir.dataflow.DataFlowProblem

DataFlowProblem.DF_Direction

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<LocalVariable>	alwaysLiveVars
private java.util.HashMap<Variable,DataFlowVar>	dfVarMap
private static java.util.Set<LocalVariable>	EMPTY_SET
private java.util.HashSet<LocalVariable>	localVars
static java.lang.String	NAME
private java.util.HashMap<java.lang.Integer,Variable>	varDfVarMap
private java.util.Collection<LocalVariable>	varsLiveOnScopeExit

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

direction, flowGraphNodes, scope

Constructor Summary

Constructors

Constructor and Description
LiveVariablesProblem(IRScope scope)
LiveVariablesProblem(IRScope scope, java.util.Set<LocalVariable> nonSelfLocalVars)

Method Summary

Modifier and Type	Method and Description
void	addDFVar(Variable v)
FlowGraphNode	buildFlowGraphNode(BasicBlock bb)
boolean	dfVarExists(Variable v)
java.util.Set<Variable>	getAllVars()
java.lang.String	getDataFlowVarsForOutput()
DataFlowVar	getDFVar(Variable v)
java.lang.String	getName()
java.util.Set<LocalVariable>	getNonSelfLocalVars()
Variable	getVariable(int id)
java.util.List<Variable>	getVarsLiveOnScopeEntry() Get variables that are live on entry to the cfg.
java.util.Collection<LocalVariable>	getVarsLiveOnScopeExit()
void	markDeadInstructions()
void	setup(IRScope scope, java.util.Collection<LocalVariable> allVars) Initialize the problem with all vars from the surrounding scope variables.
void	setVarsLiveOnScopeExit(java.util.Collection<LocalVariable> vars)

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

compute_MOP_Solution, getDFVarsCount, getFlowDirection, getFlowGraphNode, getIncomingSourcesOf, getOutgoingDestinationsOf, getScope, isEmpty, setup, toString

Methods inherited from class java.lang.Object

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

Field Detail

NAME

public static final java.lang.String NAME

See Also:

Constant Field Values

EMPTY_SET

private static final java.util.Set<LocalVariable> EMPTY_SET

dfVarMap

private java.util.HashMap<Variable,DataFlowVar> dfVarMap

varDfVarMap

private java.util.HashMap<java.lang.Integer,Variable> varDfVarMap

localVars

private java.util.HashSet<LocalVariable> localVars

alwaysLiveVars

private java.util.List<LocalVariable> alwaysLiveVars

varsLiveOnScopeExit

private java.util.Collection<LocalVariable> varsLiveOnScopeExit

Constructor Detail

LiveVariablesProblem

public LiveVariablesProblem(IRScope scope)

LiveVariablesProblem

LiveVariablesProblem(IRScope scope,
                     java.util.Set<LocalVariable> nonSelfLocalVars)

Method Detail

getDFVar

public DataFlowVar getDFVar(Variable v)

dfVarExists

public boolean dfVarExists(Variable v)

getVariable

public Variable getVariable(int id)

buildFlowGraphNode

public FlowGraphNode buildFlowGraphNode(BasicBlock bb)

Specified by:

buildFlowGraphNode in class DataFlowProblem

addDFVar

public void addDFVar(Variable v)

getVarsLiveOnScopeEntry

public java.util.List<Variable> getVarsLiveOnScopeEntry()

Get variables that are live on entry to the cfg. This is the case for closures which access variables from the parent scope. sum = 0; a.each { |i| sum += i }; return sum In the code snippet above, 'sum' is live on entry to the closure

setup

public final void setup(IRScope scope,
                        java.util.Collection<LocalVariable> allVars)

Initialize the problem with all vars from the surrounding scope variables. In closures, vars defined in the closure (or accessed from the surrounding scope) can be used outside the closure. sum = 0; a.each { |i| sum += i }; return sum In the code snippet above, 'sum' is live on entry to and exit from the closure.

getDataFlowVarsForOutput

public java.lang.String getDataFlowVarsForOutput()

Overrides:

getDataFlowVarsForOutput in class DataFlowProblem

markDeadInstructions

public void markDeadInstructions()

setVarsLiveOnScopeExit

public void setVarsLiveOnScopeExit(java.util.Collection<LocalVariable> vars)

getVarsLiveOnScopeExit

public java.util.Collection<LocalVariable> getVarsLiveOnScopeExit()

getAllVars

public java.util.Set<Variable> getAllVars()

getNonSelfLocalVars

public java.util.Set<LocalVariable> getNonSelfLocalVars()

getName

public java.lang.String getName()

Specified by:

getName in class DataFlowProblem