org.graalvm.compiler.core.common.type

Class ObjectStamp

java.lang.Object

org.graalvm.compiler.core.common.type.Stamp

org.graalvm.compiler.core.common.type.AbstractPointerStamp

org.graalvm.compiler.core.common.type.AbstractObjectStamp

org.graalvm.compiler.core.common.type.ObjectStamp

All Implemented Interfaces:

SpeculationReasonGroup.SpeculationContextObject

Direct Known Subclasses:

PiNode.PlaceholderStamp

public class ObjectStamp
extends AbstractObjectStamp

Nested Class Summary

Nested classes/interfaces inherited from interface org.graalvm.compiler.serviceprovider.SpeculationReasonGroup.SpeculationContextObject

SpeculationReasonGroup.SpeculationContextObject.Visitor

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
protected ObjectStamp	copyWith(ResolvedJavaType type, boolean exactType, boolean nonNull, boolean alwaysNull, boolean alwaysArray)
LIRKind	getLIRKind(LIRKindTool tool) Gets a platform dependent LIRKind that can be used to store a value of this stamp.
boolean	isCompatible(Constant constant) Check that the constant other is compatible with this stamp.
boolean	isCompatible(Stamp other) Check that the constant other is compatible with this stamp.
SymbolicJVMCIReference<ObjectStamp>	makeSymbolic() Convert an ObjectStamp into a representation that can be resolved symbolically into the original stamp.
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 org.graalvm.compiler.core.common.type.AbstractObjectStamp

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

Methods inherited from class org.graalvm.compiler.core.common.type.AbstractPointerStamp

alwaysNull, asAlwaysNull, asConstant, asMaybeNull, asNonNull, defaultPointerJoin, isCompressed, nonNull, nullConstant, pointerAlwaysNull, pointerMaybeNull, pointerNonNull

Methods inherited from class org.graalvm.compiler.core.common.type.Stamp

alwaysDistinct, isEmpty, isPointerStamp, isUnrestricted, neverDistinct, readConstant, tryImproveWith

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectStamp

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

Method Detail

copyWith

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

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()

Specified by:

toString in class Stamp

isCompatible

public boolean isCompatible(Stamp other)

Description copied from class: Stamp

Check that the constant other is compatible with this stamp.

Specified by:

isCompatible in class Stamp

isCompatible

public boolean isCompatible(Constant constant)

Description copied from class: Stamp

Check that the constant other is compatible with this stamp.

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

Returns:

the value read or null if the value can't be read for some reason.

makeSymbolic

public SymbolicJVMCIReference<ObjectStamp> makeSymbolic()

Convert an ObjectStamp into a representation that can be resolved symbolically into the original stamp.

Overrides:

makeSymbolic in class Stamp