org.jikesrvm.compilers.opt.ssa
Class IndexPropagationSystem.UpdateDefObjectOperator

package class IndexPropagationSystem.UpdateDefObjectOperator
extends DF_Operator
Represents an UPDATE_DEF function over two ObjectCells.

Given a value number v, this function updates a heap variable lattice cell to indicate that element at address v is available, but kills any available indices that are not DD from v

SinceNot specified.
VersionNot specified.
AuthorNot specified.
Wiki javadoc Use textile entry format.
Add your comments here.
Field Summary
private final int valueNumber
The value number used in the dataflow equation.
Constructor Summary
IndexPropagationSystem.UpdateDefObjectOperator( int valueNumber )
Create an operator with a given value number
Method Summary
boolean evaluate( DF_LatticeCell [] operands )
Evaluate the dataflow equation with this operator.
String toString()
No description provided.
valueNumber
private final int valueNumber
The value number used in the dataflow equation.
Wiki javadoc Use textile entry format.
Add your comments here.
IndexPropagationSystem.UpdateDefObjectOperator
IndexPropagationSystem.UpdateDefObjectOperator ( int valueNumber )
Create an operator with a given value number
Parameters
TypeNameDescription
int valueNumber No description provided.
Wiki javadoc Use textile entry format.
Add your comments here.
evaluate
public boolean evaluate ( DF_LatticeCell [] operands )
Evaluate the dataflow equation with this operator.
Overrides method in DF_Operator
Parameters
TypeNameDescription
DF_LatticeCell [] operands operands in the dataflow equation
Wiki javadoc Use textile entry format.
Add your comments here.
toString
public String toString ( )
No description provided.
Overrides method in Object
Wiki javadoc Use textile entry format.
Add your comments here.