com.oracle.graal.nodes.java

Class CheckCastDynamicNode

java.lang.Object

com.oracle.graal.graph.Node

com.oracle.graal.nodes.ValueNode

com.oracle.graal.nodes.FixedNode

com.oracle.graal.nodes.FixedWithNextNode

com.oracle.graal.nodes.java.CheckCastDynamicNode

All Implemented Interfaces:

NodeInterface, Canonicalizable, Canonicalizable.Binary<ValueNode>, Lowerable, Cloneable, Formattable, KindProvider

public final class CheckCastDynamicNode
extends FixedWithNextNode
implements Canonicalizable.Binary<ValueNode>, Lowerable

Implements a type check where the type being checked is loaded at runtime. This is used, for instance, to implement an object array store check.

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 boolean	forStoreCheck Determines the exception thrown by this node if the check fails: ClassCastException if false; ArrayStoreException if true.
(package private) ValueNode	hub
(package private) ValueNode	object
static NodeClass<CheckCastDynamicNode>	TYPE

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

next

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

Constructor and Description
CheckCastDynamicNode(ValueNode hub, ValueNode object, boolean forStoreCheck)

Method Summary

Modifier and Type	Method and Description
ValueNode	canonical(CanonicalizerTool tool, ValueNode forObject, ValueNode forHub) 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.
ValueNode	getX() Gets the current value of the input, so that calling Canonicalizable.Binary.canonical(CanonicalizerTool, Node, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).
ValueNode	getY() Gets the current value of the input, so that calling Canonicalizable.Binary.canonical(CanonicalizerTool, Node, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).
ValueNode	hub() Gets the runtime-loaded type being cast to.
boolean	inferStamp() This method can be overridden by subclasses of ValueNode if they need to recompute their stamp if their inputs change.
boolean	isForStoreCheck()
void	lower(LoweringTool tool) Expand this node into lower level nodes expressing the same semantics.
ValueNode	object()

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

asNode, next, setNext

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

verify

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

asConstant, asJavaConstant, getKind, graph, 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, verifyEdges, verifyInputs

Methods inherited from class java.lang.Object

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

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

canonical

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

asNode

Field Detail

TYPE

public static final NodeClass<CheckCastDynamicNode> TYPE

object

ValueNode object

hub

ValueNode hub

forStoreCheck

protected final boolean forStoreCheck

Determines the exception thrown by this node if the check fails: ClassCastException if false; ArrayStoreException if true.

Constructor Detail

CheckCastDynamicNode

public CheckCastDynamicNode(ValueNode hub,
                            ValueNode object,
                            boolean forStoreCheck)

Method Detail

object

public ValueNode object()

hub

public ValueNode hub()

Gets the runtime-loaded type being cast to.

getX

public ValueNode getX()

Description copied from interface: Canonicalizable.Binary

Gets the current value of the input, so that calling Canonicalizable.Binary.canonical(CanonicalizerTool, Node, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).

Specified by:

getX in interface Canonicalizable.Binary<ValueNode>

getY

public ValueNode getY()

Description copied from interface: Canonicalizable.Binary

Gets the current value of the input, so that calling Canonicalizable.Binary.canonical(CanonicalizerTool, Node, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).

Specified by:

getY in interface Canonicalizable.Binary<ValueNode>

isForStoreCheck

public boolean isForStoreCheck()

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

inferStamp

public boolean inferStamp()

Description copied from class: ValueNode

This method can be overridden by subclasses of ValueNode if they need to recompute their stamp if their inputs change. A typical implementation will compute the stamp and pass it to ValueNode.updateStamp(Stamp), whose return value can be used as the result of this method.

Overrides:

inferStamp in class ValueNode

Returns:

true if the stamp has changed, false otherwise.

canonical

public ValueNode canonical(CanonicalizerTool tool,
                           ValueNode forObject,
                           ValueNode forHub)

Description copied from interface: Canonicalizable.Binary

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.Binary<ValueNode>