public class RawPointerStamp extends AbstractPointerStamp
SpeculationReasonGroup.SpeculationContextObject.Visitor| 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(Constant constant)
Check that the constant
other is compatible with this stamp. |
boolean |
isCompatible(Stamp other)
Check that the constant
other is compatible with this stamp. |
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.
|
accept, alwaysNull, asAlwaysNull, asConstant, asMaybeNull, asNonNull, defaultPointerJoin, equals, getStackKind, hashCode, isCompressed, nonNull, nullConstant, pointerAlwaysNull, pointerMaybeNull, pointerNonNullalwaysDistinct, isEmpty, isPointerStamp, isUnrestricted, makeSymbolic, neverDistinct, readConstant, tryImproveWithpublic LIRKind getLIRKind(LIRKindTool tool)
StampLIRKind that can be used to store a value of this stamp.getLIRKind in class Stampprotected AbstractPointerStamp copyWith(boolean newNonNull, boolean newAlwaysNull)
copyWith in class AbstractPointerStamppublic Stamp meet(Stamp other)
Stampmeet in class AbstractPointerStampother - The stamp that will enlarge this stamp.public Stamp improveWith(Stamp other)
StampimproveWith in class AbstractPointerStampother - the stamp that should be used to improve this stampthis if an improvement was not
possiblepublic Stamp join(Stamp other)
Stamppublic Stamp unrestricted()
StampStamp.unrestricted() is the neutral element of the Stamp.join(Stamp) operation.unrestricted in class AbstractPointerStamppublic Stamp empty()
StampStamp.empty() is the neutral element of the Stamp.meet(Stamp) operation.public boolean hasValues()
Stamppublic ResolvedJavaType javaType(MetaAccessProvider metaAccess)
StampMetaAccessProvider is mandatory.public Stamp constant(Constant c, MetaAccessProvider meta)
StampIf 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)
Stampother is compatible with this stamp.isCompatible in class Stamppublic boolean isCompatible(Constant constant)
Stampother is compatible with this stamp.isCompatible in class Stamppublic Constant readConstant(MemoryAccessProvider provider,
Constant base,
long displacement)
StampreadConstant in class Stamp