com.oracle.graal.hotspot.replacements.arraycopy

Class ArrayCopyCallNode

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

com.oracle.graal.nodes.memory.AbstractMemoryCheckpoint

com.oracle.graal.hotspot.replacements.arraycopy.ArrayCopyCallNode

All Implemented Interfaces:

NodeInterface, Canonicalizable, MemoryAccess, MemoryCheckpoint, MemoryCheckpoint.Single, MemoryNode, Lowerable, NodeWithState, StateSplit, Cloneable, Formattable, KindProvider

public final class ArrayCopyCallNode
extends AbstractMemoryCheckpoint
implements Lowerable, MemoryCheckpoint.Single, MemoryAccess, Canonicalizable

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.nodes.memory.MemoryCheckpoint

MemoryCheckpoint.Multi, MemoryCheckpoint.Single, MemoryCheckpoint.TypeAssertion

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	aligned Aligned means that the offset of the copy is heap word aligned.
protected ValueNode	dest
protected ValueNode	destPos
protected boolean	disjoint
protected Kind	elementKind
(package private) MemoryNode	lastLocationAccess
protected ValueNode	length
protected LocationIdentity	locationIdentity
protected HotSpotGraalRuntimeProvider	runtime
protected ValueNode	src
protected ValueNode	srcPos
static NodeClass<ArrayCopyCallNode>	TYPE
protected boolean	uninitialized

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

stateAfter

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
	ArrayCopyCallNode(HotSpotGraalRuntimeProvider runtime, ValueNode src, ValueNode srcPos, ValueNode dest, ValueNode destPos, ValueNode length, Kind elementKind, boolean disjoint)
	ArrayCopyCallNode(HotSpotGraalRuntimeProvider runtime, ValueNode src, ValueNode srcPos, ValueNode dest, ValueNode destPos, ValueNode length, Kind elementKind, boolean aligned, boolean disjoint, boolean uninitialized)
protected	ArrayCopyCallNode(HotSpotGraalRuntimeProvider runtime, ValueNode src, ValueNode srcPos, ValueNode dest, ValueNode destPos, ValueNode length, Kind elementKind, LocationIdentity locationIdentity, boolean aligned, boolean disjoint, boolean uninitialized)

Method Summary

Modifier and Type	Method and Description
static void	arraycopy(Object src, int srcPos, Object dest, int destPos, int length, Kind elementKind)
private static void	arraycopy(Object src, int srcPos, Object dest, int destPos, int length, Kind elementKind, boolean aligned, boolean disjoint, boolean uninitialized)
private static void	arraycopy(Object src, int srcPos, Object dest, int destPos, int length, Kind elementKind, LocationIdentity locationIdentity, boolean aligned, boolean disjoint, boolean uninitialized)
static void	arraycopyObjectKillsAny(Object src, int srcPos, Object dest, int destPos, int length)
Node	canonical(CanonicalizerTool tool) Implementations of this method can provide local optimizations like constant folding and strength reduction.
private ValueNode	computeBase(ValueNode base, ValueNode pos)
static void	disjointArraycopy(Object src, int srcPos, Object dest, int destPos, int length, Kind elementKind)
static void	disjointUninitializedArraycopy(Object src, int srcPos, Object dest, int destPos, int length, Kind elementKind)
ValueNode	getDestination()
ValueNode	getDestinationPosition()
Kind	getElementKind()
MemoryNode	getLastLocationAccess()
ValueNode	getLength()
LocationIdentity	getLocationIdentity() This method is used to determine which memory location is killed by this node.
ValueNode	getSource()
ValueNode	getSourcePosition()
boolean	isAligned()
boolean	isDisjoint()
(package private) boolean	isHeapWordAligned(JavaConstant value, Kind kind)
boolean	isUninitialized()
void	lower(LoweringTool tool) Expand this node into lower level nodes expressing the same semantics.
void	setLastLocationAccess(MemoryNode lla)
void	updateAlignedDisjoint()

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

hasSideEffect, setStateAfter, stateAfter

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, 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.nodes.spi.Lowerable

asNode

Methods inherited from interface com.oracle.graal.nodes.StateSplit

asNode

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

states

Field Detail

TYPE

public static final NodeClass<ArrayCopyCallNode> TYPE

src

protected ValueNode src

srcPos

protected ValueNode srcPos

dest

protected ValueNode dest

destPos

protected ValueNode destPos

length

protected ValueNode length

lastLocationAccess

MemoryNode lastLocationAccess

elementKind

protected final Kind elementKind

locationIdentity

protected final LocationIdentity locationIdentity

aligned

protected boolean aligned

Aligned means that the offset of the copy is heap word aligned.

disjoint

protected boolean disjoint

uninitialized

protected boolean uninitialized

runtime

protected final HotSpotGraalRuntimeProvider runtime

Constructor Detail

ArrayCopyCallNode

public ArrayCopyCallNode(HotSpotGraalRuntimeProvider runtime,
                         ValueNode src,
                         ValueNode srcPos,
                         ValueNode dest,
                         ValueNode destPos,
                         ValueNode length,
                         Kind elementKind,
                         boolean aligned,
                         boolean disjoint,
                         boolean uninitialized)

ArrayCopyCallNode

public ArrayCopyCallNode(HotSpotGraalRuntimeProvider runtime,
                         ValueNode src,
                         ValueNode srcPos,
                         ValueNode dest,
                         ValueNode destPos,
                         ValueNode length,
                         Kind elementKind,
                         boolean disjoint)

ArrayCopyCallNode

protected ArrayCopyCallNode(HotSpotGraalRuntimeProvider runtime,
                            ValueNode src,
                            ValueNode srcPos,
                            ValueNode dest,
                            ValueNode destPos,
                            ValueNode length,
                            Kind elementKind,
                            LocationIdentity locationIdentity,
                            boolean aligned,
                            boolean disjoint,
                            boolean uninitialized)

Method Detail

getSource

public ValueNode getSource()

getSourcePosition

public ValueNode getSourcePosition()

getDestination

public ValueNode getDestination()

getDestinationPosition

public ValueNode getDestinationPosition()

getLength

public ValueNode getLength()

getElementKind

public Kind getElementKind()

computeBase

private ValueNode computeBase(ValueNode base,
                              ValueNode pos)

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

getLastLocationAccess

public MemoryNode getLastLocationAccess()

Specified by:

getLastLocationAccess in interface MemoryAccess

setLastLocationAccess

public void setLastLocationAccess(MemoryNode lla)

Specified by:

setLastLocationAccess in interface MemoryAccess

Parameters:

lla - the MemoryNode that represents the last kill of the location

getLocationIdentity

public LocationIdentity getLocationIdentity()

Description copied from interface: MemoryCheckpoint.Single

This method is used to determine which memory location is killed by this node. Returning the special value LocationIdentity.any() will kill all memory locations.

Specified by:

getLocationIdentity in interface MemoryAccess

Specified by:

getLocationIdentity in interface MemoryCheckpoint.Single

Returns:

the identity of the location killed by this node.

arraycopy

private static void arraycopy(Object src,
                              int srcPos,
                              Object dest,
                              int destPos,
                              int length,
                              Kind elementKind,
                              boolean aligned,
                              boolean disjoint,
                              boolean uninitialized)

arraycopy

private static void arraycopy(Object src,
                              int srcPos,
                              Object dest,
                              int destPos,
                              int length,
                              Kind elementKind,
                              LocationIdentity locationIdentity,
                              boolean aligned,
                              boolean disjoint,
                              boolean uninitialized)

arraycopyObjectKillsAny

public static void arraycopyObjectKillsAny(Object src,
                                           int srcPos,
                                           Object dest,
                                           int destPos,
                                           int length)

arraycopy

public static void arraycopy(Object src,
                             int srcPos,
                             Object dest,
                             int destPos,
                             int length,
                             Kind elementKind)

disjointArraycopy

public static void disjointArraycopy(Object src,
                                     int srcPos,
                                     Object dest,
                                     int destPos,
                                     int length,
                                     Kind elementKind)

disjointUninitializedArraycopy

public static void disjointUninitializedArraycopy(Object src,
                                                  int srcPos,
                                                  Object dest,
                                                  int destPos,
                                                  int length,
                                                  Kind elementKind)

isAligned

public boolean isAligned()

isDisjoint

public boolean isDisjoint()

isUninitialized

public boolean isUninitialized()

isHeapWordAligned

boolean isHeapWordAligned(JavaConstant value,
                          Kind kind)

updateAlignedDisjoint

public void updateAlignedDisjoint()

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