public class RawPointerStamp extends AbstractPointerStamp
Modifier | Constructor and Description |
---|---|
protected |
RawPointerStamp() |
Modifier and Type | Method and Description |
---|---|
Stamp |
constant(Constant c,
MetaAccessProvider meta)
If it is possible to represent single value stamps of this kind, this method returns the
stamp representing the single value c.
|
protected AbstractPointerStamp |
copyWith(boolean newNonNull,
boolean newAlwaysNull) |
Stamp |
empty()
Returns a stamp of the same kind, but with no allowed values.
|
LIRKind |
getLIRKind(LIRKindTool tool)
Gets a platform dependent
LIRKind that can be used to store a value of this stamp. |
boolean |
hasValues()
Test whether this stamp has legal values.
|
Stamp |
improveWith(Stamp other)
Tries to improve this stamp with the stamp given as parameter.
|
boolean |
isCompatible(Stamp other)
Test whether two stamps have the same base type.
|
ResolvedJavaType |
javaType(MetaAccessProvider metaAccess)
Returns the type of the stamp, guaranteed to be non-null.
|
Stamp |
join(Stamp other)
Returns the intersection of this stamp and the given stamp.
|
Stamp |
meet(Stamp other)
Returns the union of this stamp and the given stamp.
|
Constant |
readConstant(MemoryAccessProvider provider,
Constant base,
long displacement)
Read a value of this stamp from memory.
|
String |
toString() |
Stamp |
unrestricted()
Returns a stamp of the same kind, but allowing the full value range of the kind.
|
alwaysNull, asConstant, equals, getStackKind, hashCode, nonNull
alwaysDistinct, isEmpty, neverDistinct, tryImproveWith
protected RawPointerStamp()
public LIRKind getLIRKind(LIRKindTool tool)
Stamp
LIRKind
that can be used to store a value of this stamp.getLIRKind
in class Stamp
protected AbstractPointerStamp copyWith(boolean newNonNull, boolean newAlwaysNull)
copyWith
in class AbstractPointerStamp
public Stamp meet(Stamp other)
Stamp
meet
in class AbstractPointerStamp
other
- The stamp that will enlarge this stamp.public Stamp improveWith(Stamp other)
Stamp
improveWith
in class AbstractPointerStamp
other
- the stamp that should be used to improve this stampthis
if an improvement was not
possiblepublic Stamp join(Stamp other)
Stamp
join
in class AbstractPointerStamp
other
- The stamp that will tighten this stamp.public Stamp unrestricted()
Stamp
Stamp.unrestricted()
is the neutral element of the Stamp.join(Stamp)
operation.unrestricted
in class AbstractPointerStamp
public Stamp empty()
Stamp
Stamp.empty()
is the neutral element of the Stamp.meet(Stamp)
operation.public boolean hasValues()
Stamp
public ResolvedJavaType javaType(MetaAccessProvider metaAccess)
Stamp
MetaAccessProvider
is mandatory.public Stamp constant(Constant c, MetaAccessProvider meta)
Stamp
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.
public boolean isCompatible(Stamp other)
Stamp
isCompatible
in class Stamp
public Constant readConstant(MemoryAccessProvider provider, Constant base, long displacement)
Stamp
readConstant
in class Stamp