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
static String	NAME

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

direction, flowGraphNodes, scope

Constructor Summary

Constructors

Constructor and Description
LiveVariablesProblem(IRScope scope)

Method Summary

Methods

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

See Also:

Constant Field Values

Constructor Detail

LiveVariablesProblem

public LiveVariablesProblem(IRScope scope)

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 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,
         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 String getDataFlowVarsForOutput()

Overrides:

getDataFlowVarsForOutput in class DataFlowProblem

markDeadInstructions

public void markDeadInstructions()

setVarsLiveOnScopeExit

public void setVarsLiveOnScopeExit(Collection<LocalVariable> vars)

getVarsLiveOnScopeExit

public Collection<LocalVariable> getVarsLiveOnScopeExit()

getAllVars

public Set<Variable> getAllVars()

getNonSelfLocalVars

public Set<LocalVariable> getNonSelfLocalVars()

getName

public String getName()

Specified by:

getName in class DataFlowProblem