org.jikesrvm.compilers.opt.ssa

Class IndexPropagationSystem.UpdateDefArrayOperator

java.lang.Object

org.jikesrvm.compilers.opt.dfsolver.DF_Operator

org.jikesrvm.compilers.opt.ssa.IndexPropagationSystem.UpdateDefArrayOperator

Enclosing class:

IndexPropagationSystem

class IndexPropagationSystem.UpdateDefArrayOperator
extends DF_Operator

Represents an UPDATE_DEF function over two ArrayCells. Given two value numbers v1, v2, this function updates a heap variable lattice cell to indicate that element for array v1 at address v2 is available, but kills any available indices that are not DD from <v1,v2>

Field Summary

Fields

Modifier and Type	Field and Description
private ValueNumberPair	v The value number pair used in the dataflow equation.

Constructor Summary

Constructors

Constructor and Description
UpdateDefArrayOperator(int v1, int v2) Create an operator with a given value number pair

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

v

private final ValueNumberPair v

The value number pair used in the dataflow equation.

Constructor Detail

UpdateDefArrayOperator

UpdateDefArrayOperator(int v1,
                       int v2)

Create an operator with a given value number pair

Parameters:

v1 - first value number in the pari

v2 - first value number in the pari

Method Detail

toString

public String toString()

Overrides:

toString in class Object

Returns:

"UPDATE-DEF"

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