com.oracle.graal.compiler.common.type

Class ObjectStamp

java.lang.Object

com.oracle.graal.compiler.common.type.Stamp

com.oracle.graal.compiler.common.type.AbstractPointerStamp

com.oracle.graal.compiler.common.type.AbstractObjectStamp

com.oracle.graal.compiler.common.type.ObjectStamp

public class ObjectStamp
extends AbstractObjectStamp

Constructor Summary

Constructors

Constructor and Description
ObjectStamp(ResolvedJavaType type, boolean exactType, boolean nonNull, boolean alwaysNull)

Method Summary

Modifier and Type	Method and Description
protected ObjectStamp	copyWith(ResolvedJavaType type, boolean exactType, boolean nonNull, boolean alwaysNull)
LIRKind	getLIRKind(LIRKindTool tool) Gets a platform dependent LIRKind that can be used to store a value of this stamp.
boolean	isCompatible(Stamp other) Test whether two stamps have the same base type.
Constant	readConstant(MemoryAccessProvider provider, Constant base, long displacement) Read a value of this stamp from memory.
String	toString()
Stamp	unrestricted() Returns a stamp of the same kind, but allowing the full value range of the kind.

Methods inherited from class com.oracle.graal.compiler.common.type.AbstractObjectStamp

appendString, constant, copyWith, empty, equals, getStackKind, hashCode, hasValues, improveWith, isConcreteType, isExactType, javaType, join, meet, type

Methods inherited from class com.oracle.graal.compiler.common.type.AbstractPointerStamp

alwaysNull, asConstant, nonNull

Methods inherited from class com.oracle.graal.compiler.common.type.Stamp

alwaysDistinct, isEmpty, neverDistinct, tryImproveWith

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ObjectStamp

public ObjectStamp(ResolvedJavaType type,
                   boolean exactType,
                   boolean nonNull,
                   boolean alwaysNull)

Method Detail

copyWith

protected ObjectStamp copyWith(ResolvedJavaType type,
                               boolean exactType,
                               boolean nonNull,
                               boolean alwaysNull)

Specified by:

copyWith in class AbstractObjectStamp

unrestricted

public Stamp unrestricted()

Description copied from class: Stamp

Returns a stamp of the same kind, but allowing the full value range of the kind. Stamp.unrestricted() is the neutral element of the Stamp.join(Stamp) operation.

Overrides:

unrestricted in class AbstractObjectStamp

toString

public String toString()

Overrides:

toString in class Object

isCompatible

public boolean isCompatible(Stamp other)

Description copied from class: Stamp

Test whether two stamps have the same base type.

Specified by:

isCompatible in class Stamp

getLIRKind

public LIRKind getLIRKind(LIRKindTool tool)

Description copied from class: Stamp

Gets a platform dependent LIRKind that can be used to store a value of this stamp.

Specified by:

getLIRKind in class Stamp

readConstant

public Constant readConstant(MemoryAccessProvider provider,
                             Constant base,
                             long displacement)

Description copied from class: Stamp

Read a value of this stamp from memory.

Specified by:

readConstant in class Stamp