org.jikesrvm.compilers.opt.ir.operand

Class TrueGuardOperand

java.lang.Object

org.jikesrvm.compilers.opt.ir.operand.Operand

org.jikesrvm.compilers.opt.ir.operand.ConstantOperand

org.jikesrvm.compilers.opt.ir.operand.TrueGuardOperand

public final class TrueGuardOperand
extends ConstantOperand

This operand represents a "true" guard, e.g. non-nullness of the result of an allocation or boundcheck eliminated via analysis of the loop induction variables.

See Also:

Operand

Field Summary

Fields inherited from class org.jikesrvm.compilers.opt.ir.operand.Operand

instruction

Constructor Summary

Constructors

Constructor and Description
TrueGuardOperand()

Method Summary

Modifier and Type	Method and Description
Operand	copy() Return a new operand that is semantically equivalent to this.
TypeReference	getType() Return the TypeReference of the value represented by the operand.
boolean	similar(Operand op) Are two operands semantically equivalent?
String	toString() Returns the string representation of this operand.

Methods inherited from class org.jikesrvm.compilers.opt.ir.operand.Operand

asAddressConstant, asBlock, asBranch, asClassConstant, asCondition, asDoubleConstant, asFloatConstant, asIntConstant, asLocation, asLongConstant, asMemory, asMethod, asNullConstant, asObjectConstant, asRegister, asStackLocation, asStringConstant, asTIBConstant, asType, conservativelyApproximates, getIndexInInstruction, isAddress, isAddressConstant, isBlock, isBranch, isClassConstant, isConstant, isDefinitelyNull, isDouble, isDoubleConstant, isFloat, isFloatConstant, isInt, isIntConstant, isIntLike, isLocation, isLong, isLongConstant, isMemory, isMethod, isMovableObjectConstant, isNullConstant, isObjectConstant, isRef, isRegister, isStackLocation, isStringConstant, isTIBConstant, isTrueGuard, isType, meet

Methods inherited from class java.lang.Object

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

Constructor Detail

TrueGuardOperand

public TrueGuardOperand()

Method Detail

getType

public TypeReference getType()

Description copied from class: Operand

Return the TypeReference of the value represented by the operand.

Overrides:

getType in class Operand

Returns:

TypeReference.VALIDATION_TYPE

copy

public Operand copy()

Description copied from class: Operand

Return a new operand that is semantically equivalent to this.

Specified by:

copy in class Operand

Returns:

a copy of this

similar

public boolean similar(Operand op)

Description copied from class: Operand

Are two operands semantically equivalent?

Specified by:

similar in class Operand

Parameters:

op - other operand

Returns:

true if this and op are semantically equivalent or false if they are not.

toString

public String toString()

Returns the string representation of this operand.

Overrides:

toString in class Object

Returns:

a string representation of this operand.