org.graalvm.compiler.hotspot.nodes.type

Class MethodPointerStamp

java.lang.Object

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

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

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

org.graalvm.compiler.hotspot.nodes.type.MethodPointerStamp

All Implemented Interfaces:

SpeculationReasonGroup.SpeculationContextObject

public final class MethodPointerStamp
extends MetaspacePointerStamp

Nested Class Summary

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

SpeculationReasonGroup.SpeculationContextObject.Visitor

Method Summary

Modifier and Type	Method and Description
Stamp	constant(Constant c, MetaAccessProvider meta) If it is possible to represent single value stamps of this kind, this method returns the stamp representing the single value c.
protected AbstractPointerStamp	copyWith(boolean newNonNull, boolean newAlwaysNull)
boolean	isCompatible(Constant constant) Check that the constant other is compatible with this stamp.
boolean	isCompatible(Stamp otherStamp) Check that the constant other is compatible with this stamp.
static MethodPointerStamp	method()
static MethodPointerStamp	methodNonNull()
Constant	readConstant(MemoryAccessProvider provider, Constant base, long displacement) Read a value of this stamp from memory.
String	toString()

Methods inherited from class org.graalvm.compiler.hotspot.nodes.type.MetaspacePointerStamp

appendString, empty, getLIRKind, hasValues, javaType, join

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

accept, alwaysNull, asAlwaysNull, asConstant, asMaybeNull, asNonNull, 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, isEmpty, isPointerStamp, isUnrestricted, makeSymbolic, neverDistinct, readConstant, tryImproveWith

Methods inherited from class java.lang.Object

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

Method Detail

method

public static MethodPointerStamp method()

methodNonNull

public static MethodPointerStamp methodNonNull()

copyWith

protected AbstractPointerStamp copyWith(boolean newNonNull,
                                        boolean newAlwaysNull)

Specified by:

copyWith in class AbstractPointerStamp

isCompatible

public boolean isCompatible(Stamp otherStamp)

Description copied from class: Stamp

Check that the constant other is compatible with this stamp.

Overrides:

isCompatible in class MetaspacePointerStamp

isCompatible

public boolean isCompatible(Constant constant)

Description copied from class: Stamp

Check that the constant other is compatible with this stamp.

Overrides:

isCompatible in class MetaspacePointerStamp

constant

public Stamp constant(Constant c,
                      MetaAccessProvider meta)

Description copied from class: Stamp

If it is possible to represent single value stamps of this kind, this method returns the stamp representing the single value c. stamp.constant(c).asConstant() should be equal to c.

If it is not possible to represent single value stamps, this method returns a stamp that includes c, and is otherwise as narrow as possible.

Specified by:

constant 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.

toString

public String toString()

Specified by:

toString in class Stamp