com.oracle.graal.nodes.java

Class CheckCastNode

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

All Implemented Interfaces:

NodeInterface, Canonicalizable, Simplifiable, LimitedValueProxy, Lowerable, Proxy, ValueProxy, Virtualizable, Cloneable, Formattable, KindProvider

public class CheckCastNode
extends FixedWithNextNode
implements Canonicalizable, Simplifiable, Lowerable, Virtualizable, ValueProxy

Implements a type check against a compile-time known type.

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.
protected ValueNode	object
protected JavaTypeProfile	profile
protected ResolvedJavaType	type
static NodeClass<CheckCastNode>	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

Modifier	Constructor and Description
protected	CheckCastNode(NodeClass<? extends CheckCastNode> c, ResolvedJavaType type, ValueNode object, JavaTypeProfile profile, boolean forStoreCheck)
	CheckCastNode(ResolvedJavaType type, ValueNode object, JavaTypeProfile profile, boolean forStoreCheck)

Method Summary

Modifier and Type	Method and Description
Node	canonical(CanonicalizerTool tool) Implementations of this method can provide local optimizations like constant folding and strength reduction.
static ValueNode	create(ResolvedJavaType inputType, ValueNode object, JavaTypeProfile profile, boolean forStoreCheck, Assumptions assumptions)
protected static ValueNode	findSynonym(ResolvedJavaType type, ValueNode object)
ValueNode	getOriginalNode()
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) Lowers a CheckCastNode.
ValueNode	object()
JavaTypeProfile	profile()
void	simplify(SimplifierTool tool) Must be overridden by subclasses that implement Simplifiable.
TriState	tryFold(Stamp testStamp)
ResolvedJavaType	type() Gets the type being cast to.
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.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, 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.nodes.spi.Lowerable

asNode

Field Detail

TYPE

public static final NodeClass<CheckCastNode> TYPE

object

protected ValueNode object

type

protected final ResolvedJavaType type

profile

protected final JavaTypeProfile profile

forStoreCheck

protected final boolean forStoreCheck

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

Constructor Detail

CheckCastNode

public CheckCastNode(ResolvedJavaType type,
                     ValueNode object,
                     JavaTypeProfile profile,
                     boolean forStoreCheck)

CheckCastNode

protected CheckCastNode(NodeClass<? extends CheckCastNode> c,
                        ResolvedJavaType type,
                        ValueNode object,
                        JavaTypeProfile profile,
                        boolean forStoreCheck)

Method Detail

create

public static ValueNode create(ResolvedJavaType inputType,
                               ValueNode object,
                               JavaTypeProfile profile,
                               boolean forStoreCheck,
                               Assumptions assumptions)

isForStoreCheck

public boolean isForStoreCheck()

lower

public void lower(LoweringTool tool)

Lowers a CheckCastNode. That is:

 1: A a = ...
 2: B b = (B) a;
 

is lowered to:

 1: A a = ...
 2: B b = guardingPi(a == null || a instanceof B, a, stamp(B))
 

or if a is known to be non-null:

 1: A a = ...
 2: B b = guardingPi(a instanceof B, a, stamp(B, non-null))
 

Note: we use Graph.addWithoutUnique(T) as opposed to Graph.unique(T) for the new InstanceOfNode to maintain the invariant checked by LoweringPhase.checkUsagesAreScheduled().

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 Node canonical(CanonicalizerTool tool)

Description copied from interface: Canonicalizable

Implementations of this method can provide local optimizations like constant folding and strength reduction. Implementations should look at the properties and inputs of the current node and determine if there is a more optimal and always semantically correct replacement.
The return value determines the effect that the canonicalization will have:

• Returning an pre-existing node will replace the current node with the given one.
• Returning a newly created node (that was not yet added to the graph) will replace the current node with the given one, after adding it to the graph. If both the replacement and the replacee are anchored in control flow (fixed nodes), the replacement will be added to the control flow. It is invalid to replace a non-fixed node with a newly created fixed node (because its placement in the control flow cannot be determined without scheduling).
• Returning null will delete the current node and replace it with null at all usages. Note that it is not necessary to delete floating nodes that have no more usages this way - they will be deleted automatically.

Specified by:

canonical in interface Canonicalizable

Parameters:

tool - provides access to runtime interfaces like MetaAccessProvider

findSynonym

protected static ValueNode findSynonym(ResolvedJavaType type,
                                       ValueNode object)

simplify

public void simplify(SimplifierTool tool)

Description copied from class: Node

Must be overridden by subclasses that implement Simplifiable. The implementation in Node exists to obviate the need to cast a node before invoking Simplifiable.simplify(SimplifierTool).

Specified by:

simplify in interface Simplifiable

Overrides:

simplify in class Node

object

public ValueNode object()

type

public ResolvedJavaType type()

Gets the type being cast to.

profile

public JavaTypeProfile profile()

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

getOriginalNode

public ValueNode getOriginalNode()

Specified by:

getOriginalNode in interface LimitedValueProxy

Specified by:

getOriginalNode in interface Proxy

tryFold

public TriState tryFold(Stamp testStamp)