org.graalvm.compiler.nodes.type

Class StampTool

java.lang.Object

org.graalvm.compiler.nodes.type.StampTool

public class StampTool
extends Object

Helper class that is used to keep all stamp-related operations in one place.

Constructor Summary

Constructors

Constructor and Description
StampTool()

Method Summary

Modifier and Type	Method and Description
static boolean	isAlwaysArray(Stamp stamp)
static boolean	isAlwaysArray(ValueNode node)
static boolean	isExactType(Stamp stamp) Checks whether this Stamp represents a legal Object stamp whose Java type is known exactly.
static boolean	isExactType(ValueNode node) Checks whether this ValueNode represents a legal Object value whose Java type is known exactly.
static boolean	isPointerAlwaysNull(Stamp stamp) Checks whether this Stamp represents a legal pointer stamp whose values are known to be always null.
static boolean	isPointerAlwaysNull(ValueNode node) Checks whether this ValueNode represents a legal pointer value which is known to be always null.
static boolean	isPointerNonNull(Stamp stamp) Checks whether this Stamp represents a legal pointer stamp whose values are known to never be null.
static boolean	isPointerNonNull(ValueNode node) Checks whether this ValueNode represents a legal pointer value which is known to never be null.
static Stamp	meet(Iterable<? extends ValueNode> values)
static Stamp	meetOrNull(Iterable<? extends ValueNode> values, ValueNode selfValue) Meet a collection of ValueNodes optionally excluding selfValue.
static Stamp	stampForLeadingZeros(IntegerStamp valueStamp)
static Stamp	stampForTrailingZeros(IntegerStamp valueStamp)
static ResolvedJavaType	typeOrNull(Stamp stamp)
static ResolvedJavaType	typeOrNull(Stamp stamp, MetaAccessProvider metaAccess)
static ResolvedJavaType	typeOrNull(ValueNode node)
static ResolvedJavaType	typeOrNull(ValueNode node, MetaAccessProvider metaAccess)
static TypeReference	typeReferenceOrNull(Stamp stamp) Returns the Java type this Stamp has if it is a legal Object stamp.
static TypeReference	typeReferenceOrNull(ValueNode node) Returns the Java type this ValueNode has if it is a legal Object value.
static Stamp	unsignedCompare(Stamp stamp, Stamp stamp2) Compute the stamp resulting from the unsigned comparison being true.

Methods inherited from class java.lang.Object

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

Constructor Detail

StampTool

public StampTool()

Method Detail

meet

public static Stamp meet(Iterable<? extends ValueNode> values)

meetOrNull

public static Stamp meetOrNull(Iterable<? extends ValueNode> values,
                               ValueNode selfValue)

Meet a collection of ValueNodes optionally excluding selfValue. If no values are encountered then return null.

unsignedCompare

public static Stamp unsignedCompare(Stamp stamp,
                                    Stamp stamp2)

Compute the stamp resulting from the unsigned comparison being true.

Returns:

null if it's can't be true or it nothing useful can be encoded.

stampForLeadingZeros

public static Stamp stampForLeadingZeros(IntegerStamp valueStamp)

stampForTrailingZeros

public static Stamp stampForTrailingZeros(IntegerStamp valueStamp)

isPointerAlwaysNull

public static boolean isPointerAlwaysNull(ValueNode node)

Checks whether this ValueNode represents a legal pointer value which is known to be always null.

Parameters:

node - the node to check

Returns:

true if this node represents a legal object value which is known to be always null

isPointerAlwaysNull

public static boolean isPointerAlwaysNull(Stamp stamp)

Checks whether this Stamp represents a legal pointer stamp whose values are known to be always null.

Parameters:

stamp - the stamp to check

Returns:

true if this stamp represents a legal object stamp whose values are known to be always null

isPointerNonNull

public static boolean isPointerNonNull(ValueNode node)

Checks whether this ValueNode represents a legal pointer value which is known to never be null.

Parameters:

node - the node to check

Returns:

true if this node represents a legal object value which is known to never be null

isPointerNonNull

public static boolean isPointerNonNull(Stamp stamp)

Checks whether this Stamp represents a legal pointer stamp whose values are known to never be null.

Parameters:

stamp - the stamp to check

Returns:

true if this stamp represents a legal object stamp whose values are known to be always null

typeReferenceOrNull

public static TypeReference typeReferenceOrNull(ValueNode node)

Returns the Java type this ValueNode has if it is a legal Object value.

Parameters:

node - the node to check

Returns:

the Java type this value has if it is a legal Object type, null otherwise

typeOrNull

public static ResolvedJavaType typeOrNull(ValueNode node)

typeOrNull

public static ResolvedJavaType typeOrNull(Stamp stamp)

typeOrNull

public static ResolvedJavaType typeOrNull(Stamp stamp,
                                          MetaAccessProvider metaAccess)

typeOrNull

public static ResolvedJavaType typeOrNull(ValueNode node,
                                          MetaAccessProvider metaAccess)

typeReferenceOrNull

public static TypeReference typeReferenceOrNull(Stamp stamp)

Returns the Java type this Stamp has if it is a legal Object stamp.

Parameters:

stamp - the stamp to check

Returns:

the Java type this stamp has if it is a legal Object stamp, null otherwise

isExactType

public static boolean isExactType(ValueNode node)

Checks whether this ValueNode represents a legal Object value whose Java type is known exactly. If this method returns true then the Java type returned by StampTool.typeReferenceOrNull(ValueNode) is the concrete dynamic/runtime Java type of this value.

Parameters:

node - the node to check

Returns:

true if this node represents a legal object value whose Java type is known exactly

isExactType

public static boolean isExactType(Stamp stamp)

Checks whether this Stamp represents a legal Object stamp whose Java type is known exactly. If this method returns true then the Java type returned by StampTool.typeReferenceOrNull(Stamp) is the only concrete dynamic/runtime Java type possible for values of this stamp.

Parameters:

stamp - the stamp to check

Returns:

true if this node represents a legal object stamp whose Java type is known exactly

isAlwaysArray

public static boolean isAlwaysArray(ValueNode node)

isAlwaysArray

public static boolean isAlwaysArray(Stamp stamp)