com.oracle.svm.hosted.nodes

Class AssertStampNode

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

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 final class AssertStampNode
extends AssertValueNode
implements org.graalvm.compiler.nodes.spi.Virtualizable

Run-time check that the actual input to this node conforms to the expected ValueNode.stamp(NodeView).

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

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	AssertStampNode(org.graalvm.compiler.core.common.type.Stamp stamp)

Method Summary

Modifier and Type	Method and Description
protected boolean	alwaysHolds(boolean reportError)
static void	create(org.graalvm.compiler.nodes.ValueNode input)
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<AssertStampNode> TYPE

Constructor Detail

AssertStampNode

protected AssertStampNode(org.graalvm.compiler.core.common.type.Stamp stamp)

Method Detail

create

public static void create(org.graalvm.compiler.nodes.ValueNode input)

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