com.oracle.svm.hosted.nodes

Class AssertValueNode

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

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

Direct Known Subclasses:

AssertStampNode, AssertTypeStateNode

public abstract class AssertValueNode
extends org.graalvm.compiler.nodes.FixedWithNextNode
implements org.graalvm.compiler.graph.spi.Canonicalizable, org.graalvm.compiler.nodes.spi.Lowerable

Run-time check that the actual AssertValueNode.input passes some run-time checks, which are defined in a subclass.

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
protected org.graalvm.compiler.nodes.ValueNode	input
static org.graalvm.compiler.graph.NodeClass<AssertValueNode>	TYPE

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	AssertValueNode(org.graalvm.compiler.graph.NodeClass<? extends AssertValueNode> c, org.graalvm.compiler.core.common.type.Stamp stamp)

Method Summary

Modifier and Type	Method and Description
protected abstract boolean	alwaysHolds(boolean reportError)
org.graalvm.compiler.nodes.ValueNode	canonical(org.graalvm.compiler.graph.spi.CanonicalizerTool tool)
org.graalvm.compiler.nodes.ValueNode	getInput()
boolean	inferStamp()
protected static void	insert(org.graalvm.compiler.nodes.ValueNode input, AssertValueNode assertionNode)
void	lower(org.graalvm.compiler.nodes.spi.LoweringTool tool)

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

input

protected org.graalvm.compiler.nodes.ValueNode input

Constructor Detail

AssertValueNode

protected AssertValueNode(org.graalvm.compiler.graph.NodeClass<? extends AssertValueNode> c,
                          org.graalvm.compiler.core.common.type.Stamp stamp)

Method Detail

insert

protected static void insert(org.graalvm.compiler.nodes.ValueNode input,
                             AssertValueNode assertionNode)

getInput

public org.graalvm.compiler.nodes.ValueNode getInput()

inferStamp

public boolean inferStamp()

Overrides:

inferStamp in class org.graalvm.compiler.nodes.ValueNode

canonical

public org.graalvm.compiler.nodes.ValueNode canonical(org.graalvm.compiler.graph.spi.CanonicalizerTool tool)

Specified by:

canonical in interface org.graalvm.compiler.graph.spi.Canonicalizable

lower

public void lower(org.graalvm.compiler.nodes.spi.LoweringTool tool)

Specified by:

lower in interface org.graalvm.compiler.nodes.spi.Lowerable

alwaysHolds

protected abstract boolean alwaysHolds(boolean reportError)