org.graalvm.compiler.core.common.type

Class StampFactory

java.lang.Object

org.graalvm.compiler.core.common.type.StampFactory

public class StampFactory
extends Object

Constructor Summary

Constructors

Constructor and Description
StampFactory()

Method Summary

Modifier and Type	Method and Description
static Stamp	alwaysNull()
static Stamp	contradiction()
static Stamp[]	createParameterStamps(Assumptions assumptions, ResolvedJavaMethod method)
static Stamp[]	createParameterStamps(Assumptions assumptions, ResolvedJavaMethod method, boolean trustInterfaceTypes)
static Stamp	empty(JavaKind kind)
static Stamp	forConstant(JavaConstant value)
static Stamp	forConstant(JavaConstant value, MetaAccessProvider metaAccess)
static StampPair	forDeclaredType(Assumptions assumptions, JavaType returnType, boolean nonNull)
static FloatStamp	forFloat(JavaKind kind, double lowerBound, double upperBound, boolean nonNaN)
static IntegerStamp	forInteger(int bits)
static IntegerStamp	forInteger(JavaKind kind, long lowerBound, long upperBound)
static IntegerStamp	forInteger(JavaKind kind, long lowerBound, long upperBound, long downMask, long upMask)
static IntegerStamp	forIntegerWithMask(int bits, long newLowerBound, long newUpperBound, IntegerStamp maskStamp) Create a new stamp use newLowerBound and newUpperBound computing the appropriate IntegerStamp.upMask and IntegerStamp.downMask and incorporating any mask information from maskStamp.
static IntegerStamp	forIntegerWithMask(int bits, long newLowerBound, long newUpperBound, long newDownMask, long newUpMask)
static Stamp	forKind(JavaKind kind) Return a stamp for a Java kind, as it would be represented on the bytecode stack.
static IntegerStamp	forUnsignedInteger(int bits)
static IntegerStamp	forUnsignedInteger(int bits, long unsignedLowerBound, long unsignedUpperBound)
static IntegerStamp	forUnsignedInteger(int bits, long unsignedLowerBound, long unsignedUpperBound, long downMask, long upMask)
static Stamp	forVoid() Return the stamp for the void type.
static Stamp	intValue()
static Stamp	nonZeroInt()
static Stamp	nonZeroLong()
static Stamp	object()
static ObjectStamp	object(TypeReference type)
static ObjectStamp	object(TypeReference type, boolean nonNull)
static Stamp	objectNonNull()
static ObjectStamp	objectNonNull(TypeReference type)
static Stamp	pointer()
static Stamp	positiveInt()
static Stamp	tautology()

Methods inherited from class java.lang.Object

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

Constructor Detail

StampFactory

public StampFactory()

Method Detail

tautology

public static Stamp tautology()

contradiction

public static Stamp contradiction()

forKind

public static Stamp forKind(JavaKind kind)

Return a stamp for a Java kind, as it would be represented on the bytecode stack.

forVoid

public static Stamp forVoid()

Return the stamp for the void type. This will return a singleton instance than can be compared using ==.

intValue

public static Stamp intValue()

positiveInt

public static Stamp positiveInt()

nonZeroInt

public static Stamp nonZeroInt()

nonZeroLong

public static Stamp nonZeroLong()

empty

public static Stamp empty(JavaKind kind)

forInteger

public static IntegerStamp forInteger(JavaKind kind,
                                      long lowerBound,
                                      long upperBound,
                                      long downMask,
                                      long upMask)

forInteger

public static IntegerStamp forInteger(JavaKind kind,
                                      long lowerBound,
                                      long upperBound)

forIntegerWithMask

public static IntegerStamp forIntegerWithMask(int bits,
                                              long newLowerBound,
                                              long newUpperBound,
                                              IntegerStamp maskStamp)

Create a new stamp use newLowerBound and newUpperBound computing the appropriate IntegerStamp.upMask and IntegerStamp.downMask and incorporating any mask information from maskStamp.

Parameters:

bits -

newLowerBound -

newUpperBound -

maskStamp -

Returns:

a new stamp with the appropriate bounds and masks

forIntegerWithMask

public static IntegerStamp forIntegerWithMask(int bits,
                                              long newLowerBound,
                                              long newUpperBound,
                                              long newDownMask,
                                              long newUpMask)

forInteger

public static IntegerStamp forInteger(int bits)

forUnsignedInteger

public static IntegerStamp forUnsignedInteger(int bits)

forUnsignedInteger

public static IntegerStamp forUnsignedInteger(int bits,
                                              long unsignedLowerBound,
                                              long unsignedUpperBound)

forUnsignedInteger

public static IntegerStamp forUnsignedInteger(int bits,
                                              long unsignedLowerBound,
                                              long unsignedUpperBound,
                                              long downMask,
                                              long upMask)

forFloat

public static FloatStamp forFloat(JavaKind kind,
                                  double lowerBound,
                                  double upperBound,
                                  boolean nonNaN)

forConstant

public static Stamp forConstant(JavaConstant value)

forConstant

public static Stamp forConstant(JavaConstant value,
                                MetaAccessProvider metaAccess)

object

public static Stamp object()

objectNonNull

public static Stamp objectNonNull()

alwaysNull

public static Stamp alwaysNull()

object

public static ObjectStamp object(TypeReference type)

objectNonNull

public static ObjectStamp objectNonNull(TypeReference type)

object

public static ObjectStamp object(TypeReference type,
                                 boolean nonNull)

createParameterStamps

public static Stamp[] createParameterStamps(Assumptions assumptions,
                                            ResolvedJavaMethod method)

createParameterStamps

public static Stamp[] createParameterStamps(Assumptions assumptions,
                                            ResolvedJavaMethod method,
                                            boolean trustInterfaceTypes)

pointer

public static Stamp pointer()

forDeclaredType

public static StampPair forDeclaredType(Assumptions assumptions,
                                        JavaType returnType,
                                        boolean nonNull)