org.graalvm.compiler.nodes.calc

Class IsNullNode

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.calc.IsNullNode

All Implemented Interfaces:

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

public final class IsNullNode
extends UnaryOpLogicNode
implements LIRLowerable

An IsNullNode will be true if the supplied value is null, and false if it is non-null.

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<IsNullNode>	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

Constructor and Description
IsNullNode(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)
static LogicNode	create(ValueNode forValue, JavaConstant nullConstant)
void	generate(NodeLIRBuilderTool gen)
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.
JavaConstant	nullConstant()
TriState	tryFold(Stamp valueStamp)
boolean	verify()

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

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, 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.Unary

canonical

Field Detail

TYPE

public static final NodeClass<IsNullNode> TYPE

Constructor Detail

IsNullNode

public IsNullNode(ValueNode object)

Method Detail

nullConstant

public JavaConstant nullConstant()

create

public static LogicNode create(ValueNode forValue)

create

public static LogicNode create(ValueNode forValue,
                               JavaConstant nullConstant)

generate

public void generate(NodeLIRBuilderTool gen)

Specified by:

generate in interface LIRLowerable

Overrides:

generate in class UnaryOpLogicNode

verify

public boolean verify()

Overrides:

verify in class Node

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