com.oracle.graal.nodes.java

Class DynamicNewArrayNode

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

com.oracle.graal.nodes.java.AbstractNewObjectNode

com.oracle.graal.nodes.java.AbstractNewArrayNode

com.oracle.graal.nodes.java.DynamicNewArrayNode

All Implemented Interfaces:

NodeInterface, Canonicalizable, Simplifiable, DeoptimizingNode, DeoptimizingNode.DeoptBefore, ArrayLengthProvider, Lowerable, NodeWithState, Cloneable, Formattable, KindProvider

public class DynamicNewArrayNode
extends AbstractNewArrayNode
implements Canonicalizable

The DynamicNewArrayNode is used for allocation of arrays when the type is not a compile-time constant.

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>

Nested classes/interfaces inherited from interface com.oracle.graal.nodes.DeoptimizingNode

DeoptimizingNode.DeoptAfter, DeoptimizingNode.DeoptBefore, DeoptimizingNode.DeoptDuring

Field Summary

Fields

Modifier and Type	Field and Description
(package private) ValueNode	elementType
protected Kind	knownElementKind A non-null value indicating the worst case element type.
static NodeClass<DynamicNewArrayNode>	TYPE

Fields inherited from class com.oracle.graal.nodes.java.AbstractNewArrayNode

length

Fields inherited from class com.oracle.graal.nodes.java.AbstractNewObjectNode

fillContents

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

stateBefore

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
	DynamicNewArrayNode(MetaAccessProvider metaAccess, ValueNode elementType, ValueNode length, boolean fillContents, Kind knownElementKind)
protected	DynamicNewArrayNode(NodeClass<? extends DynamicNewArrayNode> c, ValueNode elementType, ValueNode length, boolean fillContents, Kind knownElementKind, FrameState stateBefore, MetaAccessProvider metaAccess)
	DynamicNewArrayNode(ValueNode elementType, ValueNode length, boolean fillContents)

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.
private static Stamp	computeStamp(Kind knownElementKind, MetaAccessProvider metaAccess)
protected NewArrayNode	createNewArrayNode(ResolvedJavaType type) Hook for subclasses to instantiate a subclass of NewArrayNode.
ValueNode	getElementType()
Kind	getKnownElementKind()
private static Object	newArray(Class<?> componentType, int length, boolean fillContents, Kind knownElementKind)
static Object	newArray(Class<?> componentType, int length, Kind knownElementKind)
static Object	newUninitializedArray(Class<?> componentType, int length, Kind knownElementKind)
void	simplify(SimplifierTool tool) Must be overridden by subclasses that implement Simplifiable.
static boolean	throwsIllegalArgumentException(Class<?> elementType)
static boolean	throwsIllegalArgumentException(ResolvedJavaType elementType)

Methods inherited from class com.oracle.graal.nodes.java.AbstractNewArrayNode

dimension, dimensionCount, length

Methods inherited from class com.oracle.graal.nodes.java.AbstractNewObjectNode

canDeoptimize, fillContents, lower

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

setStateBefore, stateBefore

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, 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, 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

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

states

Field Detail

TYPE

public static final NodeClass<DynamicNewArrayNode> TYPE

elementType

ValueNode elementType

knownElementKind

protected final Kind knownElementKind

A non-null value indicating the worst case element type. Mainly useful for distinguishing Object arrays from primitive arrays.

Constructor Detail

DynamicNewArrayNode

public DynamicNewArrayNode(ValueNode elementType,
                           ValueNode length,
                           boolean fillContents)

DynamicNewArrayNode

public DynamicNewArrayNode(MetaAccessProvider metaAccess,
                           ValueNode elementType,
                           ValueNode length,
                           boolean fillContents,
                           Kind knownElementKind)

DynamicNewArrayNode

protected DynamicNewArrayNode(NodeClass<? extends DynamicNewArrayNode> c,
                              ValueNode elementType,
                              ValueNode length,
                              boolean fillContents,
                              Kind knownElementKind,
                              FrameState stateBefore,
                              MetaAccessProvider metaAccess)

Method Detail

computeStamp

private static Stamp computeStamp(Kind knownElementKind,
                                  MetaAccessProvider metaAccess)

getElementType

public ValueNode getElementType()

getKnownElementKind

public Kind getKnownElementKind()

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 AbstractNewArrayNode

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

createNewArrayNode

protected NewArrayNode createNewArrayNode(ResolvedJavaType type)

Hook for subclasses to instantiate a subclass of NewArrayNode.

throwsIllegalArgumentException

public static boolean throwsIllegalArgumentException(Class<?> elementType)

throwsIllegalArgumentException

public static boolean throwsIllegalArgumentException(ResolvedJavaType elementType)

newArray

private static Object newArray(Class<?> componentType,
                               int length,
                               boolean fillContents,
                               Kind knownElementKind)

newArray

public static Object newArray(Class<?> componentType,
                              int length,
                              Kind knownElementKind)

newUninitializedArray

public static Object newUninitializedArray(Class<?> componentType,
                                           int length,
                                           Kind knownElementKind)