org.graalvm.compiler.nodes.extended

Class ObjectIsArrayNode

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.calc.FloatingNode

org.graalvm.compiler.nodes.LogicNode

org.graalvm.compiler.nodes.UnaryOpLogicNode

org.graalvm.compiler.nodes.extended.ObjectIsArrayNode

All Implemented Interfaces:

Cloneable, Formattable, Node.IndirectCanonicalization, Node.ValueNumberable, CanonicalizableMarker, Canonicalizable, Canonicalizable.Unary<ValueNode>, LIRLowerable, Lowerable, Virtualizable, ValueNodeInterface

public final class ObjectIsArrayNode
extends UnaryOpLogicNode
implements Lowerable

Checks if the provided object is an array. Combining a GetClassNode and ClassIsArrayNode into a single ObjectIsArrayNode allows better optimization of values that depend on the condition, because ObjectIsArrayNode improves the stamp of its input value during conditional elimination phases.

Nested Class Summary

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.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<ObjectIsArrayNode>	TYPE

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

value

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

Modifier	Constructor and Description
protected	ObjectIsArrayNode(ValueNode object)

Method Summary

Modifier and Type	Method and Description
ValueNode	canonical(CanonicalizerTool tool, ValueNode forValue) Similar to Canonicalizable.canonical(CanonicalizerTool), except that implementations should act as if the current input of the node was the given one, i.e., they should never look at the inputs via the this pointer.
static LogicNode	create(ValueNode forValue)
Stamp	getSucceedingStampForValue(boolean negated) The input stamp cannot be trusted, the returned stamp cannot use the input stamp to narrow itself or derive any assumptions.
TriState	tryFold(Stamp valueStamp)

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

generate, getSucceedingStampForValue, getValue, implies, virtualize

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

and, and, isContradiction, isTautology, or, or

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

asConstant, asJavaConstant, asNode, asSerializableConstant, checkReplaceAtUsagesInvariants, getStackKind, graph, hasUsagesOtherThan, inferStamp, 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.Lowerable

lower

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

asNode

Methods inherited from interface org.graalvm.compiler.nodes.spi.Canonicalizable.Unary

canonical

Field Detail

TYPE

public static final NodeClass<ObjectIsArrayNode> TYPE

Constructor Detail

ObjectIsArrayNode

protected ObjectIsArrayNode(ValueNode object)

Method Detail

create

public static LogicNode create(ValueNode forValue)

canonical

public ValueNode canonical(CanonicalizerTool tool,
                           ValueNode forValue)

Description copied from interface: Canonicalizable.Unary

Similar to Canonicalizable.canonical(CanonicalizerTool), except that implementations should act as if the current input of the node was the given one, i.e., they should never look at the inputs via the this pointer.

Specified by:

canonical in interface Canonicalizable.Unary<ValueNode>

getSucceedingStampForValue

public Stamp getSucceedingStampForValue(boolean negated)

Description copied from class: UnaryOpLogicNode

The input stamp cannot be trusted, the returned stamp cannot use the input stamp to narrow itself or derive any assumptions. This method does not use the input stamp and is considered safe. It's responsibility of the caller to determine when it's "safe" to "trust" the input stamp and use UnaryOpLogicNode.getSucceedingStampForValue(boolean, Stamp) instead.

Specified by:

getSucceedingStampForValue in class UnaryOpLogicNode

tryFold

public TriState tryFold(Stamp valueStamp)

Specified by:

tryFold in class UnaryOpLogicNode