org.graalvm.compiler.nodes.java

Class InstanceOfDynamicNode

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

org.graalvm.compiler.nodes.java.InstanceOfDynamicNode

All Implemented Interfaces:

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

public class InstanceOfDynamicNode
extends BinaryOpLogicNode
implements Canonicalizable.Binary<ValueNode>, Lowerable

The InstanceOfDynamicNode represents a type check where the type being checked is not known at compile time. This is used, for instance, to intrinsify Class.isInstance(Object) .

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<InstanceOfDynamicNode>	TYPE

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

x, y

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	InstanceOfDynamicNode(ValueNode mirror, ValueNode object, boolean allowNull, boolean exact)

Method Summary

Modifier and Type	Method and Description
boolean	allowsNull()
LogicNode	canonical(CanonicalizerTool tool, ValueNode forMirror, ValueNode forObject) 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(Assumptions assumptions, ConstantReflectionProvider constantReflection, ValueNode mirror, ValueNode object, boolean allowNull)
static LogicNode	create(Assumptions assumptions, ConstantReflectionProvider constantReflection, ValueNode mirror, ValueNode object, boolean allowNull, boolean exact)
static LogicNode	create(ValueNode mirror, ValueNode object)
ValueNode	getMirrorOrHub()
ValueNode	getObject()
Stamp	getSucceedingStampForX(boolean negated, Stamp xStamp, Stamp yStamp)
Stamp	getSucceedingStampForY(boolean negated, Stamp xStamp, Stamp yStamp)
boolean	isExact()
void	setMirror(ValueNode newObject)
TriState	tryFold(Stamp xStamp, Stamp yStamp)

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

generate, getX, getY, maybeCommuteInputs, verify

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

and, and, implies, 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, 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.Canonicalizable.Binary

canonical, getX, getY

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

lower

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

asNode

Field Detail

TYPE

public static final NodeClass<InstanceOfDynamicNode> TYPE

Constructor Detail

InstanceOfDynamicNode

protected InstanceOfDynamicNode(ValueNode mirror,
                                ValueNode object,
                                boolean allowNull,
                                boolean exact)

Method Detail

create

public static LogicNode create(Assumptions assumptions,
                               ConstantReflectionProvider constantReflection,
                               ValueNode mirror,
                               ValueNode object,
                               boolean allowNull,
                               boolean exact)

create

public static LogicNode create(Assumptions assumptions,
                               ConstantReflectionProvider constantReflection,
                               ValueNode mirror,
                               ValueNode object,
                               boolean allowNull)

create

public static LogicNode create(ValueNode mirror,
                               ValueNode object)

getMirrorOrHub

public ValueNode getMirrorOrHub()

getObject

public ValueNode getObject()

canonical

public LogicNode canonical(CanonicalizerTool tool,
                           ValueNode forMirror,
                           ValueNode forObject)

Description copied from interface: Canonicalizable.Binary

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.Binary<ValueNode>

setMirror

public void setMirror(ValueNode newObject)

allowsNull

public boolean allowsNull()

isExact

public boolean isExact()

getSucceedingStampForX

public Stamp getSucceedingStampForX(boolean negated,
                                    Stamp xStamp,
                                    Stamp yStamp)

Specified by:

getSucceedingStampForX in class BinaryOpLogicNode

getSucceedingStampForY

public Stamp getSucceedingStampForY(boolean negated,
                                    Stamp xStamp,
                                    Stamp yStamp)

Specified by:

getSucceedingStampForY in class BinaryOpLogicNode

tryFold

public TriState tryFold(Stamp xStamp,
                        Stamp yStamp)

Specified by:

tryFold in class BinaryOpLogicNode