com.oracle.svm.hosted.nodes

Class AssertTypeStateNode

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.FixedNode

org.graalvm.compiler.nodes.FixedWithNextNode

com.oracle.svm.hosted.nodes.AssertValueNode

com.oracle.svm.hosted.nodes.AssertTypeStateNode

All Implemented Interfaces:

Cloneable, Formattable, org.graalvm.compiler.graph.NodeInterface, org.graalvm.compiler.graph.spi.Canonicalizable, org.graalvm.compiler.nodes.FixedNodeInterface, org.graalvm.compiler.nodes.spi.Lowerable, org.graalvm.compiler.nodes.spi.Virtualizable, org.graalvm.compiler.nodes.ValueNodeInterface

public class AssertTypeStateNode
extends AssertValueNode
implements org.graalvm.compiler.nodes.spi.Virtualizable

Run-time check that the actual input to this node conforms to the expected type state.

Nested Class Summary

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

org.graalvm.compiler.graph.Node.ConstantNodeParameter, org.graalvm.compiler.graph.Node.EdgeVisitor, org.graalvm.compiler.graph.Node.IndirectCanonicalization, org.graalvm.compiler.graph.Node.InjectedNodeParameter, org.graalvm.compiler.graph.Node.Input, org.graalvm.compiler.graph.Node.NodeInsertionStackTrace, org.graalvm.compiler.graph.Node.NodeIntrinsic, org.graalvm.compiler.graph.Node.OptionalInput, org.graalvm.compiler.graph.Node.Successor, org.graalvm.compiler.graph.Node.ValueNumberable

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

org.graalvm.compiler.graph.spi.Canonicalizable.Binary<T extends org.graalvm.compiler.graph.Node>, org.graalvm.compiler.graph.spi.Canonicalizable.BinaryCommutative<T extends org.graalvm.compiler.graph.Node>, org.graalvm.compiler.graph.spi.Canonicalizable.Unary<T extends org.graalvm.compiler.graph.Node>

Field Summary

Fields

Modifier and Type	Field and Description
static org.graalvm.compiler.graph.NodeClass<AssertTypeStateNode>	TYPE
protected jdk.vm.ci.meta.JavaTypeProfile	typeState

Fields inherited from class com.oracle.svm.hosted.nodes.AssertValueNode

input

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

next

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

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	AssertTypeStateNode(org.graalvm.compiler.core.common.type.Stamp stamp, jdk.vm.ci.meta.JavaTypeProfile typeState)

Method Summary

Modifier and Type	Method and Description
protected boolean	alwaysHolds(boolean reportError)
static void	create(org.graalvm.compiler.nodes.ValueNode input, jdk.vm.ci.meta.JavaTypeProfile typeState)
jdk.vm.ci.meta.JavaTypeProfile	getTypeState()
void	virtualize(org.graalvm.compiler.nodes.spi.VirtualizerTool tool)

Methods inherited from class com.oracle.svm.hosted.nodes.AssertValueNode

canonical, getInput, inferStamp, insert, lower

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

asNode, next, setNext

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

verify

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

asConstant, asJavaConstant, getStackKind, graph, hasUsagesOtherThan, isAllowedUsageType, isConstant, isConstantPredicate, isDefaultConstant, isJavaConstant, isNullConstant, replaceAtUsages, setStamp, stamp, updateStamp

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

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

Methods inherited from class java.lang.Object

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

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

asNode

Field Detail

TYPE

public static final org.graalvm.compiler.graph.NodeClass<AssertTypeStateNode> TYPE

typeState

protected final jdk.vm.ci.meta.JavaTypeProfile typeState

Constructor Detail

AssertTypeStateNode

protected AssertTypeStateNode(org.graalvm.compiler.core.common.type.Stamp stamp,
                              jdk.vm.ci.meta.JavaTypeProfile typeState)

Method Detail

create

public static void create(org.graalvm.compiler.nodes.ValueNode input,
                          jdk.vm.ci.meta.JavaTypeProfile typeState)

getTypeState

public jdk.vm.ci.meta.JavaTypeProfile getTypeState()

alwaysHolds

protected boolean alwaysHolds(boolean reportError)

Specified by:

alwaysHolds in class AssertValueNode

virtualize

public void virtualize(org.graalvm.compiler.nodes.spi.VirtualizerTool tool)

Specified by:

virtualize in interface org.graalvm.compiler.nodes.spi.Virtualizable