com.oracle.graal.compiler.common.type

Class AbstractPointerStamp

java.lang.Object

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

com.oracle.graal.compiler.common.type.AbstractPointerStamp

Direct Known Subclasses:

AbstractObjectStamp, MetaspacePointerStamp, RawPointerStamp

public abstract class AbstractPointerStamp
extends Stamp

Abstract base class of all pointer types.

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	alwaysNull
private boolean	nonNull

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	AbstractPointerStamp(boolean nonNull, boolean alwaysNull)

Method Summary

Modifier and Type	Method and Description
boolean	alwaysNull()
Constant	asConstant() If this stamp represents a single value, the methods returns this single value.
protected abstract AbstractPointerStamp	copyWith(boolean newNonNull, boolean newAlwaysNull)
boolean	equals(Object obj)
Kind	getStackKind() Gets a Java Kind that can be used to store a value of this stamp on the Java bytecode stack.
int	hashCode()
Stamp	improveWith(Stamp other) Tries to improve this stamp with the stamp given as parameter.
Stamp	join(Stamp stamp) Returns the intersection of this stamp and the given stamp.
Stamp	meet(Stamp stamp) Returns the union of this stamp and the given stamp.
boolean	nonNull()
Stamp	unrestricted() Returns a stamp of the same kind, but allowing the full value range of the kind.

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

alwaysDistinct, constant, empty, getLIRKind, hasValues, isCompatible, isEmpty, javaType, neverDistinct, readConstant, tryImproveWith

Methods inherited from class java.lang.Object

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

Field Detail

nonNull

private final boolean nonNull

alwaysNull

private final boolean alwaysNull

Constructor Detail

AbstractPointerStamp

protected AbstractPointerStamp(boolean nonNull,
                               boolean alwaysNull)

Method Detail

nonNull

public boolean nonNull()

alwaysNull

public boolean alwaysNull()

copyWith

protected abstract AbstractPointerStamp copyWith(boolean newNonNull,
                                                 boolean newAlwaysNull)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

join

public Stamp join(Stamp stamp)

Description copied from class: Stamp

Returns the intersection of this stamp and the given stamp.

Specified by:

join in class Stamp

Parameters:

stamp - The stamp that will tighten this stamp.

Returns:

The intersection of this stamp and the given stamp.

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

meet

public Stamp meet(Stamp stamp)

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:

stamp - The stamp that will enlarge this stamp.

Returns:

The union of this stamp and the given stamp.

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

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

asConstant

public Constant 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.

getStackKind

public 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