com.oracle.graal.nodes.type

Class StampTool

java.lang.Object

com.oracle.graal.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	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(Collection<? extends ValueNode> values)
static ResolvedJavaType	typeOrNull(Stamp stamp) Returns the Java type this Stamp has if it is a legal Object stamp.
static ResolvedJavaType	typeOrNull(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, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StampTool

public StampTool()

Method Detail

meet

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

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.

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

typeOrNull

public static ResolvedJavaType typeOrNull(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(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 typeOrNull(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 typeOrNull(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