org.jikesrvm.compilers.opt.ssa

Class IndexPropagationSystem.MeetOperator

java.lang.Object

org.jikesrvm.compilers.opt.dfsolver.DF_Operator

org.jikesrvm.compilers.opt.ssa.IndexPropagationSystem.MeetOperator

Enclosing class:

IndexPropagationSystem

static class IndexPropagationSystem.MeetOperator
extends DF_Operator

Represents a MEET function (intersection) over Cells.

Constructor Summary

Constructors

Constructor and Description
MeetOperator()

Method Summary

Modifier and Type	Method and Description
boolean	evaluate(DF_LatticeCell[] operands) Evaluate a dataflow equation with the MEET operator
(package private) boolean	evaluateArrayMeet(DF_LatticeCell[] operands) Evaluate a dataflow equation with the MEET operator for lattice cells representing array heap variables.
(package private) boolean	evaluateObjectMeet(DF_LatticeCell[] operands) Evaluate a dataflow equation with the MEET operator for lattice cells representing field heap variables.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

MeetOperator

MeetOperator()

Method Detail

toString

public String toString()

Overrides:

toString in class Object

Returns:

"MEET"

evaluate

public boolean evaluate(DF_LatticeCell[] operands)

Evaluate a dataflow equation with the MEET operator

Specified by:

evaluate in class DF_Operator

Parameters:

operands - the operands of the dataflow equation

Returns:

true iff the value of the lhs changes

evaluateObjectMeet

boolean evaluateObjectMeet(DF_LatticeCell[] operands)

Evaluate a dataflow equation with the MEET operator for lattice cells representing field heap variables.

Parameters:

operands - the operands of the dataflow equation

Returns:

true iff the value of the lhs changes

evaluateArrayMeet

boolean evaluateArrayMeet(DF_LatticeCell[] operands)

Evaluate a dataflow equation with the MEET operator for lattice cells representing array heap variables.

Parameters:

operands - the operands of the dataflow equation

Returns:

true iff the value of the lhs changes