com.oracle.graal.compiler.common.type

Class FloatStamp

java.lang.Object

com.oracle.graal.compiler.common.type.Stamp

com.oracle.graal.compiler.common.type.ArithmeticStamp

com.oracle.graal.compiler.common.type.PrimitiveStamp

com.oracle.graal.compiler.common.type.FloatStamp

public class FloatStamp
extends PrimitiveStamp

Field Summary

Fields

Modifier and Type	Field and Description
private double	lowerBound
private boolean	nonNaN
private static ArithmeticOpTable	OPS
private double	upperBound

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	FloatStamp(int bits)
	FloatStamp(int bits, double lowerBound, double upperBound, boolean nonNaN)

Method Summary

Modifier and Type	Method and Description
jdk.internal.jvmci.meta.JavaConstant	asConstant() If this stamp represents a single value, the methods returns this single value.
Stamp	constant(jdk.internal.jvmci.meta.Constant c, jdk.internal.jvmci.meta.MetaAccessProvider meta) If it is possible to represent single value stamps of this kind, this method returns the stamp representing the single value c.
boolean	contains(double value)
jdk.internal.jvmci.meta.SerializableConstant	deserialize(ByteBuffer buffer)
Stamp	empty() Returns a stamp of the same kind, but with no allowed values.
boolean	equals(Object obj)
jdk.internal.jvmci.meta.LIRKind	getLIRKind(LIRKindTool tool) Gets a platform dependent LIRKind that can be used to store a value of this stamp.
jdk.internal.jvmci.meta.Kind	getStackKind() Gets a Java Kind that can be used to store a value of this stamp on the Java bytecode stack.
int	hashCode()
boolean	hasValues() Test whether this stamp has legal values.
boolean	isCompatible(Stamp stamp) Test whether two stamps have the same base type.
boolean	isNaN()
boolean	isNonNaN()
boolean	isUnrestricted()
jdk.internal.jvmci.meta.ResolvedJavaType	javaType(jdk.internal.jvmci.meta.MetaAccessProvider metaAccess) Returns the type of the stamp, guaranteed to be non-null.
Stamp	join(Stamp otherStamp) Returns the intersection of this stamp and the given stamp.
double	lowerBound() The (inclusive) lower bound on the value described by this stamp.
Stamp	meet(Stamp otherStamp) Returns the union of this stamp and the given stamp.
private static double	meetBounds(double a, double b, DoubleBinaryOperator op)
String	toString()
Stamp	unrestricted() Returns a stamp of the same kind, but allowing the full value range of the kind.
double	upperBound() The (inclusive) upper bound on the value described by this stamp.

Methods inherited from class com.oracle.graal.compiler.common.type.PrimitiveStamp

getBits, getBits, readConstant

Methods inherited from class com.oracle.graal.compiler.common.type.ArithmeticStamp

getOps, improveWith

Methods inherited from class com.oracle.graal.compiler.common.type.Stamp

alwaysDistinct, isEmpty, neverDistinct, tryImproveWith

Methods inherited from class java.lang.Object

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

Field Detail

lowerBound

private final double lowerBound

upperBound

private final double upperBound

nonNaN

private final boolean nonNaN

OPS

private static final ArithmeticOpTable OPS

Constructor Detail

FloatStamp

protected FloatStamp(int bits)

FloatStamp

public FloatStamp(int bits,
                  double lowerBound,
                  double upperBound,
                  boolean nonNaN)

Method Detail

unrestricted

public Stamp unrestricted()

Description copied from class: Stamp

Returns a stamp of the same kind, but allowing the full value range of the kind. Stamp.unrestricted() is the neutral element of the Stamp.join(Stamp) operation.

Specified by:

unrestricted 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

constant

public Stamp constant(jdk.internal.jvmci.meta.Constant c,
                      jdk.internal.jvmci.meta.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

deserialize

public jdk.internal.jvmci.meta.SerializableConstant deserialize(ByteBuffer buffer)

Specified by:

deserialize in class ArithmeticStamp

hasValues

public boolean hasValues()

Description copied from class: Stamp

Test whether this stamp has legal values.

Specified by:

hasValues in class Stamp

getStackKind

public jdk.internal.jvmci.meta.Kind getStackKind()

Description copied from class: Stamp

Gets a Java Kind that can be used to store a value of this stamp on the Java bytecode stack. Returns Kind.Illegal if a value of this stamp can not be stored on the bytecode stack.

Specified by:

getStackKind in class Stamp

getLIRKind

public jdk.internal.jvmci.meta.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

javaType

public jdk.internal.jvmci.meta.ResolvedJavaType javaType(jdk.internal.jvmci.meta.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

lowerBound

public double lowerBound()

The (inclusive) lower bound on the value described by this stamp.

upperBound

public double upperBound()

The (inclusive) upper bound on the value described by this stamp.

isNonNaN

public boolean isNonNaN()

isNaN

public boolean isNaN()

isUnrestricted

public boolean isUnrestricted()

contains

public boolean contains(double value)

toString

public String toString()

Overrides:

toString in class Object

meetBounds

private static double meetBounds(double a,
                                 double b,
                                 DoubleBinaryOperator op)

meet

public Stamp meet(Stamp otherStamp)

Description copied from class: Stamp

Returns the union of this stamp and the given stamp. Typically used to create stamps for phi nodes.

Specified by:

meet in class Stamp

Parameters:

otherStamp - The stamp that will enlarge this stamp.

Returns:

The union of this stamp and the given stamp.

join

public Stamp join(Stamp otherStamp)

Description copied from class: Stamp

Returns the intersection of this stamp and the given stamp.

Specified by:

join in class Stamp

Parameters:

otherStamp - The stamp that will tighten this stamp.

Returns:

The intersection of this stamp and the given stamp.

hashCode

public int hashCode()

Overrides:

hashCode in class PrimitiveStamp

isCompatible

public boolean isCompatible(Stamp stamp)

Description copied from class: Stamp

Test whether two stamps have the same base type.

Specified by:

isCompatible in class Stamp

equals

public boolean equals(Object obj)

Overrides:

equals in class PrimitiveStamp

asConstant

public jdk.internal.jvmci.meta.JavaConstant asConstant()

Description copied from class: Stamp

If this stamp represents a single value, the methods returns this single value. It returns null otherwise.

Overrides:

asConstant in class Stamp

Returns:

the constant corresponding to the single value of this stamp and null if this stamp can represent less or more than one value.