com.oracle.graal.nodes.java

Class TypeCheckNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

com.oracle.graal.nodes.calc.FloatingNode

com.oracle.graal.nodes.LogicNode

com.oracle.graal.nodes.UnaryOpLogicNode

com.oracle.graal.nodes.java.TypeCheckNode

All Implemented Interfaces:

Node.ValueNumberable, NodeInterface, Canonicalizable, Canonicalizable.Unary<ValueNode>, LIRLowerable, Lowerable, Virtualizable, Cloneable, Formattable, KindProvider

public final class TypeCheckNode
extends UnaryOpLogicNode
implements Lowerable, Virtualizable

The 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.

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.graph.Node

Node.ConstantNodeParameter, Node.InjectedNodeParameter, Node.Input, Node.NodeIntrinsic, Node.OptionalInput, Node.Successor, Node.ValueNumberable

Nested classes/interfaces inherited from interface com.oracle.graal.graph.spi.Canonicalizable

Canonicalizable.Binary<T extends Node>, Canonicalizable.BinaryCommutative<T extends Node>, Canonicalizable.Unary<T extends Node>

Field Summary

Fields

Modifier and Type	Field and Description
protected ResolvedJavaType	type
static NodeClass<TypeCheckNode>	TYPE

Fields inherited from class com.oracle.graal.nodes.UnaryOpLogicNode

value

Fields inherited from class com.oracle.graal.nodes.ValueNode

stamp

Fields inherited from class com.oracle.graal.graph.Node

NODE_LIST, NOT_ITERABLE, USE_UNSAFE_TO_CLONE, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	TypeCheckNode(ResolvedJavaType type, ValueNode object)

Method Summary

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.

Methods inherited from class com.oracle.graal.nodes.UnaryOpLogicNode

generate, getValue

Methods inherited from class com.oracle.graal.nodes.LogicNode

and, and, isContradiction, isTautology, or, or

Methods inherited from class com.oracle.graal.nodes.calc.FloatingNode

asNode

Methods inherited from class com.oracle.graal.nodes.ValueNode

asConstant, asJavaConstant, getKind, graph, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isNullConstant, setStamp, stamp, updateStamp

Methods inherited from class com.oracle.graal.graph.Node

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

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.oracle.graal.nodes.spi.Lowerable

asNode

Methods inherited from interface com.oracle.graal.graph.spi.Canonicalizable.Unary

canonical

Field Detail

TYPE

public static final NodeClass<TypeCheckNode> TYPE

type

protected final ResolvedJavaType type

Constructor Detail

TypeCheckNode

protected TypeCheckNode(ResolvedJavaType type,
                        ValueNode object)

Method Detail

create

public static LogicNode create(ResolvedJavaType type,
                               ValueNode object)

lower

public void lower(LoweringTool tool)

Description copied from interface: Lowerable

Expand this node into lower level nodes expressing the same semantics. If the introduced nodes are themselves lowerable, they should be recursively lowered as part of this call.

Specified by:

lower in interface Lowerable

canonical

public ValueNode canonical(CanonicalizerTool tool,
                           ValueNode forValue)

Description copied from interface: Canonicalizable.Unary

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.

Specified by:

canonical in interface Canonicalizable.Unary<ValueNode>

findSynonym

public static LogicNode findSynonym(ResolvedJavaType type,
                                    ResolvedJavaType inputType,
                                    boolean nonNull,
                                    boolean exactType)

type

public ResolvedJavaType type()

Gets the type being tested.

virtualize

public void virtualize(VirtualizerTool tool)

Description copied from interface: Virtualizable

A node class can implement this method to convey information about what its effect would be if some of its inputs were virtualized. All modifications must be made through the supplied tool, and not directly on the node, because by the time this method is called the virtualized/non-virtualized state is still speculative and might not hold because of loops, etc.

Specified by:

virtualize in interface Virtualizable

Parameters:

tool - the tool used to describe the effects of this node

getSucceedingStampForValue

public Stamp getSucceedingStampForValue(boolean negated)

Specified by:

getSucceedingStampForValue in class UnaryOpLogicNode

tryFold

public TriState tryFold(Stamp valueStamp)

Specified by:

tryFold in class UnaryOpLogicNode