public final class TypeCheckNode extends UnaryOpLogicNode implements Lowerable, Virtualizable
TypeCheckNode
represents a test equivalent to o.getClass() == type
. The node
may only be used if o != null
is known to be true as indicated by the object's stamp.Node.ConstantNodeParameter, Node.InjectedNodeParameter, Node.Input, Node.NodeIntrinsic, Node.OptionalInput, Node.Successor, Node.ValueNumberable
Canonicalizable.Binary<T extends Node>, Canonicalizable.BinaryCommutative<T extends Node>, Canonicalizable.Unary<T extends Node>
Modifier and Type | Field and Description |
---|---|
protected ResolvedJavaType |
type |
static NodeClass<TypeCheckNode> |
TYPE |
value
NODE_LIST, NOT_ITERABLE, USE_UNSAFE_TO_CLONE, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges
Modifier | Constructor and Description |
---|---|
protected |
TypeCheckNode(ResolvedJavaType type,
ValueNode object) |
Modifier and Type | Method and Description |
---|---|
ValueNode |
canonical(CanonicalizerTool tool,
ValueNode forValue)
Similar to
Canonicalizable.canonical(CanonicalizerTool) , except that
implementations should act as if the current input of the node was the given one, i.e.,
they should never look at the inputs via the this pointer. |
static LogicNode |
create(ResolvedJavaType type,
ValueNode object) |
static LogicNode |
findSynonym(ResolvedJavaType type,
ResolvedJavaType inputType,
boolean nonNull,
boolean exactType) |
Stamp |
getSucceedingStampForValue(boolean negated) |
void |
lower(LoweringTool tool)
Expand this node into lower level nodes expressing the same semantics.
|
TriState |
tryFold(Stamp valueStamp) |
ResolvedJavaType |
type()
Gets the type being tested.
|
void |
virtualize(VirtualizerTool tool)
A node class can implement this method to convey information about what its effect would be
if some of its inputs were virtualized.
|
generate, getValue
and, and, isContradiction, isTautology, or, or
asNode
asConstant, asJavaConstant, getKind, graph, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isNullConstant, setStamp, stamp, updateStamp
acceptInputs, acceptSuccessors, afterClone, assertFalse, assertTrue, cfgPredecessors, cfgSuccessors, clearInputs, clearSuccessors, copyWithInputs, copyWithInputs, equals, fail, formatTo, getDebugProperties, getDebugProperties, getId, getNodeClass, getUsageAt, getUsageCount, hashCode, hasNoUsages, hasUsages, inputs, isAlive, isDeleted, markDeleted, modCount, newIdentityMap, newIdentityMap, newIdentityMap, newMap, newMap, newMap, newSet, newSet, predecessor, pushInputs, removeUsage, replaceAndDelete, replaceAtMatchingUsages, replaceAtPredecessor, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceFirstInput, replaceFirstSuccessor, safeDelete, simplify, successors, toString, toString, updatePredecessor, updateUsages, updateUsagesInterface, usages, valueEquals, verify, verifyEdges, verifyInputs
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
canonical
public static final NodeClass<TypeCheckNode> TYPE
protected final ResolvedJavaType type
protected TypeCheckNode(ResolvedJavaType type, ValueNode object)
public static LogicNode create(ResolvedJavaType type, ValueNode object)
public void lower(LoweringTool tool)
Lowerable
public ValueNode canonical(CanonicalizerTool tool, ValueNode forValue)
Canonicalizable.Unary
Canonicalizable.canonical(CanonicalizerTool)
, except that
implementations should act as if the current input of the node was the given one, i.e.,
they should never look at the inputs via the this pointer.canonical
in interface Canonicalizable.Unary<ValueNode>
public static LogicNode findSynonym(ResolvedJavaType type, ResolvedJavaType inputType, boolean nonNull, boolean exactType)
public ResolvedJavaType type()
public void virtualize(VirtualizerTool tool)
Virtualizable
virtualize
in interface Virtualizable
tool
- the tool used to describe the effects of this nodepublic Stamp getSucceedingStampForValue(boolean negated)
getSucceedingStampForValue
in class UnaryOpLogicNode
public TriState tryFold(Stamp valueStamp)
tryFold
in class UnaryOpLogicNode