org.jikesrvm.compilers.opt.ssa

Class IndexPropagationSystem.UpdateDefObjectOperator

java.lang.Object

org.jikesrvm.compilers.opt.dfsolver.DF_Operator

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

Enclosing class:

IndexPropagationSystem

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

Field Summary

Fields

Modifier and Type	Field and Description
private int	valueNumber The value number used in the dataflow equation.

Constructor Summary

Constructors

Constructor and Description
UpdateDefObjectOperator(int valueNumber)

Method Summary

Modifier and Type	Method and Description
boolean	evaluate(DF_LatticeCell[] operands) Evaluate the dataflow equation with this operator.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

valueNumber

private final int valueNumber

The value number used in the dataflow equation.

Constructor Detail

UpdateDefObjectOperator

UpdateDefObjectOperator(int valueNumber)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

Returns:

a String representation

evaluate

public boolean evaluate(DF_LatticeCell[] operands)

Evaluate the dataflow equation with this operator.

Specified by:

evaluate in class DF_Operator

Parameters:

operands - operands in the dataflow equation

Returns:

true iff the lhs changes from this evaluation