com.oracle.graal.replacements.nodes

Class ArrayEqualsNode

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.replacements.nodes.ArrayEqualsNode

All Implemented Interfaces:

Canonicalizable, MemoryAccess, LIRLowerable, Virtualizable, Cloneable, Formattable, KindProvider

public final class ArrayEqualsNode
extends FixedWithNextNode
implements LIRLowerable, Canonicalizable, Virtualizable, MemoryAccess

Compares two arrays with the same length.

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
(package private) ValueNode	array1 One array to be tested for equality.
(package private) ValueNode	array2 The other array to be tested for equality.
protected Kind	kind Kind of the arrays to compare.
(package private) MemoryNode	lastLocationAccess
(package private) ValueNode	length Length of both arrays.
static NodeClass<ArrayEqualsNode>	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
ArrayEqualsNode(ValueNode array1, ValueNode array2, ValueNode length, Kind kind)

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 boolean	equals(boolean[] array1, boolean[] array2, int length)
static boolean	equals(byte[] array1, byte[] array2, int length)
static boolean	equals(char[] array1, char[] array2, int length)
static boolean	equals(double[] array1, double[] array2, int length)
static boolean	equals(float[] array1, float[] array2, int length)
static boolean	equals(int[] array1, int[] array2, int length)
static boolean	equals(long[] array1, long[] array2, int length)
static boolean	equals(Object array1, Object array2, int length, Kind kind)
static boolean	equals(short[] array1, short[] array2, int length)
void	generate(NodeLIRBuilderTool gen)
MemoryNode	getLastLocationAccess()
LocationIdentity	getLocationIdentity()
void	setLastLocationAccess(MemoryNode lla)
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, 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

Field Detail

TYPE

public static final NodeClass<ArrayEqualsNode> TYPE

kind

protected final Kind kind

Kind of the arrays to compare.

array1

ValueNode array1

One array to be tested for equality.

array2

ValueNode array2

The other array to be tested for equality.

length

ValueNode length

Length of both arrays.

lastLocationAccess

MemoryNode lastLocationAccess

Constructor Detail

ArrayEqualsNode

public ArrayEqualsNode(ValueNode array1,
                       ValueNode array2,
                       ValueNode length,
                       Kind kind)

Method Detail

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

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

equals

public static boolean equals(Object array1,
                             Object array2,
                             int length,
                             Kind kind)

equals

public static boolean equals(boolean[] array1,
                             boolean[] array2,
                             int length)

equals

public static boolean equals(byte[] array1,
                             byte[] array2,
                             int length)

equals

public static boolean equals(char[] array1,
                             char[] array2,
                             int length)

equals

public static boolean equals(short[] array1,
                             short[] array2,
                             int length)

equals

public static boolean equals(int[] array1,
                             int[] array2,
                             int length)

equals

public static boolean equals(long[] array1,
                             long[] array2,
                             int length)

equals

public static boolean equals(float[] array1,
                             float[] array2,
                             int length)

equals

public static boolean equals(double[] array1,
                             double[] array2,
                             int length)

generate

public void generate(NodeLIRBuilderTool gen)

Specified by:

generate in interface LIRLowerable

getLocationIdentity

public LocationIdentity getLocationIdentity()

Specified by:

getLocationIdentity in interface MemoryAccess

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