org.graalvm.compiler.nodes

Class PiArrayNode

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.calc.FloatingNode

org.graalvm.compiler.nodes.FloatingGuardedNode

org.graalvm.compiler.nodes.PiNode

org.graalvm.compiler.nodes.PiArrayNode

All Implemented Interfaces:

Cloneable, Formattable, Node.ValueNumberable, CanonicalizableMarker, GuardedNode, ArrayLengthProvider, Canonicalizable, LimitedValueProxy, LIRLowerable, Proxy, ValueProxy, Virtualizable, ValueNodeInterface

public final class PiArrayNode
extends PiNode
implements ArrayLengthProvider

A PiNode that also provides an array length in addition to a more refined stamp. A usage that reads the array length, such as an ArrayLengthNode, can be canonicalized based on this information.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PiArrayNode.Placeholder A placeholder node in a snippet that will be replaced with a PiArrayNode when the snippet is instantiated.

Nested classes/interfaces inherited from class org.graalvm.compiler.nodes.PiNode

PiNode.IntrinsifyOp, PiNode.PlaceholderStamp

Nested classes/interfaces inherited from class org.graalvm.compiler.graph.Node

Node.ConstantNodeParameter, Node.EdgeVisitor, Node.IndirectCanonicalization, Node.InjectedNodeParameter, Node.Input, Node.NodeInsertionStackTrace, Node.NodeIntrinsic, Node.NodeIntrinsicFactory, Node.OptionalInput, Node.Successor, Node.ValueNumberable

Nested classes/interfaces inherited from interface org.graalvm.compiler.nodes.spi.ArrayLengthProvider

ArrayLengthProvider.FindLengthMode

Nested classes/interfaces inherited from interface org.graalvm.compiler.nodes.spi.Canonicalizable

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

Field Summary

Fields

Modifier and Type	Field and Description
static NodeClass<PiArrayNode>	TYPE

Fields inherited from class org.graalvm.compiler.nodes.PiNode

piStamp

Fields inherited from class org.graalvm.compiler.nodes.FloatingGuardedNode

guard

Fields inherited from class org.graalvm.compiler.nodes.ValueNode

EMPTY_ARRAY, stamp

Fields inherited from class org.graalvm.compiler.graph.Node

NODE_LIST, NOT_ITERABLE, TRACK_CREATION_POSITION, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges

Constructor Summary

Constructors

Constructor and Description
PiArrayNode(ValueNode object, ValueNode length, Stamp stamp)

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.
ValueNode	findLength(ArrayLengthProvider.FindLengthMode mode, ConstantReflectionProvider constantReflection) Returns the length of the array described by this node, or null if it is not available.
static Object	piArrayCastToSnippetReplaceeStamp(Object object, int length) Changes the stamp of an object inside a snippet to be the stamp of the node replaced by the snippet.

Methods inherited from class org.graalvm.compiler.nodes.PiNode

asNonNullClass, asNonNullObject, canonical, create, create, create, generate, getOriginalNode, inferStamp, intrinsify, intrinsify, object, piCast, piCastNonNull, piCastNonNull, piCastNonNullClass, piCastNonZero, piCastNonZero, piCastPositive, piCastToSnippetReplaceeStamp, piStamp, setOriginalNode, strengthenPiStamp, virtualize

Methods inherited from class org.graalvm.compiler.nodes.FloatingGuardedNode

getGuard, setGuard

Methods inherited from class org.graalvm.compiler.nodes.ValueNode

asConstant, asJavaConstant, asNode, asSerializableConstant, checkReplaceAtUsagesInvariants, getStackKind, graph, hasUsagesOtherThan, isAllowedUsageType, isConstant, isConstantPredicate, isDefaultConstant, isIllegalConstant, isJavaConstant, isNullConstant, isSerializableConstant, recursivelyDataFlowEqualsUpTo, setStamp, stamp, updateStamp, updateUsagesInterface

Methods inherited from class org.graalvm.compiler.graph.Node

afterClone, applyInputs, applySuccessors, assertFalse, assertTrue, cfgPredecessors, cfgSuccessors, clearInputs, clearNodeSourcePosition, clearSuccessors, copyWithInputs, copyWithInputs, dataFlowEquals, dynamicNodeSizeEstimate, estimatedNodeCycles, estimatedNodeSize, fail, formatTo, getCreationPosition, getDebug, getDebugProperties, getDebugProperties, getInsertionPosition, getNodeClass, getNodeSourcePosition, getOptions, getUsageCount, hasExactlyOneUsage, hashCode, hasMoreThanOneUsage, hasNoUsages, hasOnlyUsagesOfType, hasUsages, hasUsagesOfType, inputPositions, inputs, isAlive, isDeleted, isUnregistered, markDeleted, maybeNotifyZeroUsages, modCount, predecessor, pushInputs, removeUsage, replaceAllInputs, replaceAndDelete, replaceAtAllUsages, replaceAtMatchingUsages, replaceAtPredecessor, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceAtUsages, replaceAtUsagesAndDelete, replaceAtUsagesAndDelete, replaceFirstInput, replaceFirstSuccessor, safeDelete, setCreationPosition, setInsertionPosition, setNodeSourcePosition, singleUsage, successorPositions, successors, toString, toString, updateNodeSourcePosition, updatePredecessor, updateUsages, usages, valueEquals, verify, verifyEdges, verifyInputs, verifySourcePosition, withNodeSourcePosition

Methods inherited from class java.lang.Object

clone, equals, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.graalvm.compiler.nodes.spi.ValueProxy

getGuard

Methods inherited from interface org.graalvm.compiler.nodes.ValueNodeInterface

asNode

Field Detail

TYPE

public static final NodeClass<PiArrayNode> TYPE

Constructor Detail

PiArrayNode

public PiArrayNode(ValueNode object,
                   ValueNode length,
                   Stamp stamp)

Method Detail

findLength

public ValueNode findLength(ArrayLengthProvider.FindLengthMode mode,
                            ConstantReflectionProvider constantReflection)

Description copied from interface: ArrayLengthProvider

Returns the length of the array described by this node, or null if it is not available. Details of the different modes are documented in ArrayLengthProvider.FindLengthMode. This method should not be called directly. Use GraphUtil.arrayLength(org.graalvm.compiler.nodes.ValueNode, org.graalvm.compiler.nodes.spi.ArrayLengthProvider.FindLengthMode, ConstantReflectionProvider) instead.

Specified by:

findLength in interface ArrayLengthProvider

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

Overrides:

canonical in class PiNode

Parameters:

tool - provides access to runtime interfaces like MetaAccessProvider

piArrayCastToSnippetReplaceeStamp

public static Object piArrayCastToSnippetReplaceeStamp(Object object,
                                                       int length)

Changes the stamp of an object inside a snippet to be the stamp of the node replaced by the snippet.