org.graalvm.compiler.hotspot.nodes.type

Class MetaspacePointerStamp

java.lang.Object

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

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

org.graalvm.compiler.hotspot.nodes.type.MetaspacePointerStamp

All Implemented Interfaces:

SpeculationReasonGroup.SpeculationContextObject

Direct Known Subclasses:

KlassPointerStamp, MethodCountersPointerStamp, MethodPointerStamp

public abstract class MetaspacePointerStamp
extends AbstractPointerStamp

Nested Class Summary

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

SpeculationReasonGroup.SpeculationContextObject.Visitor

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	MetaspacePointerStamp(boolean nonNull, boolean alwaysNull)

Method Summary

Modifier and Type	Method and Description
protected void	appendString(StringBuilder str)
Stamp	empty() Returns a stamp of the same kind, but with no allowed values.
LIRKind	getLIRKind(LIRKindTool tool) Gets a platform dependent LIRKind that can be used to store a value of this stamp.
boolean	hasValues() Test whether this stamp has legal values.
boolean	isCompatible(Constant constant) Check that the constant other is compatible with this stamp.
ResolvedJavaType	javaType(MetaAccessProvider metaAccess) Returns the type of the stamp, guaranteed to be non-null.
Stamp	join(Stamp other) Returns the intersection of this stamp and the given stamp.

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

accept, alwaysNull, asAlwaysNull, asConstant, asMaybeNull, asNonNull, copyWith, defaultPointerJoin, equals, getStackKind, hashCode, improveWith, isCompressed, meet, nonNull, nullConstant, pointerAlwaysNull, pointerMaybeNull, pointerNonNull, unrestricted

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

alwaysDistinct, constant, isEmpty, isPointerStamp, isUnrestricted, makeSymbolic, neverDistinct, readConstant, readConstant, toString, tryImproveWith

Methods inherited from class java.lang.Object

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

Constructor Detail

MetaspacePointerStamp

protected MetaspacePointerStamp(boolean nonNull,
                                boolean alwaysNull)

Method Detail

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

empty

public Stamp empty()

Description copied from class: Stamp

Returns a stamp of the same kind, but with no allowed values. Stamp.empty() is the neutral element of the Stamp.meet(Stamp) operation.

Specified by:

empty 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

hasValues

public boolean hasValues()

Description copied from class: Stamp

Test whether this stamp has legal values.

Specified by:

hasValues in class Stamp

join

public Stamp join(Stamp other)

Description copied from class: Stamp

Returns the intersection of this stamp and the given stamp.

Specified by:

join in class Stamp

Parameters:

other - The stamp that will tighten this stamp.

Returns:

The intersection of this stamp and the given stamp.

javaType

public ResolvedJavaType javaType(MetaAccessProvider metaAccess)

Description copied from class: Stamp

Returns the type of the stamp, guaranteed to be non-null. In some cases, this requires the lookup of class meta data, therefore the MetaAccessProvider is mandatory.

Specified by:

javaType in class Stamp

appendString

protected void appendString(StringBuilder str)