org.graalvm.compiler.core.common.type

Class ArithmeticStamp

java.lang.Object

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

org.graalvm.compiler.core.common.type.ArithmeticStamp

All Implemented Interfaces:

SpeculationReasonGroup.SpeculationContextObject

Direct Known Subclasses:

PrimitiveStamp

public abstract class ArithmeticStamp
extends Stamp

Type describing values that support arithmetic operations.

Nested Class Summary

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

SpeculationReasonGroup.SpeculationContextObject.Visitor

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ArithmeticStamp(ArithmeticOpTable ops)

Method Summary

Modifier and Type	Method and Description
abstract SerializableConstant	deserialize(ByteBuffer buffer)
boolean	equals(Object obj)
ArithmeticOpTable	getOps()
int	hashCode()
Stamp	improveWith(Stamp other) Tries to improve this stamp with the stamp given as parameter.

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

alwaysDistinct, asConstant, constant, empty, getLIRKind, getStackKind, hasValues, isCompatible, isCompatible, isEmpty, isPointerStamp, isUnrestricted, javaType, join, makeSymbolic, meet, neverDistinct, readConstant, readConstant, toString, tryImproveWith, unrestricted

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.graalvm.compiler.serviceprovider.SpeculationReasonGroup.SpeculationContextObject

accept

Constructor Detail

ArithmeticStamp

protected ArithmeticStamp(ArithmeticOpTable ops)

Method Detail

getOps

public ArithmeticOpTable getOps()

deserialize

public abstract SerializableConstant deserialize(ByteBuffer buffer)

improveWith

public Stamp improveWith(Stamp other)

Description copied from class: Stamp

Tries to improve this stamp with the stamp given as parameter. If successful, returns the new improved stamp. Otherwise, returns a stamp equal to this.

Specified by:

improveWith in class Stamp

Parameters:

other - the stamp that should be used to improve this stamp

Returns:

the newly improved stamp or a stamp equal to this if an improvement was not possible

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object