org.graalvm.compiler.nodes

Class UnaryOpLogicNode

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

All Implemented Interfaces:

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

Direct Known Subclasses:

InstanceOfNode, IsNullNode, ObjectIsArrayNode

public abstract class UnaryOpLogicNode
extends LogicNode
implements LIRLowerable, Canonicalizable.Unary<ValueNode>, Virtualizable

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<UnaryOpLogicNode>	TYPE
protected ValueNode	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
UnaryOpLogicNode(NodeClass<? extends UnaryOpLogicNode> c, ValueNode value)

Method Summary

Modifier and Type	Method and Description
void	generate(NodeLIRBuilderTool gen)
abstract 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.
Stamp	getSucceedingStampForValue(boolean negated, Stamp valueStamp) In general the input stamp cannot be trusted, this method is reserved for the cases when it's "safe" to use the input stamp.
ValueNode	getValue() Gets the current value of the input, so that calling Canonicalizable.Unary.canonical(CanonicalizerTool, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).
TriState	implies(boolean thisNegated, LogicNode other) Determines what this condition implies about the other.
abstract TriState	tryFold(Stamp valueStamp)
void	virtualize(VirtualizerTool tool) A node class can implement this method to convey information about what its effect would be if some of its inputs were virtualized.

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, verify, 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, canonical

Field Detail

TYPE

public static final NodeClass<UnaryOpLogicNode> TYPE

value

protected ValueNode value

Constructor Detail

UnaryOpLogicNode

public UnaryOpLogicNode(NodeClass<? extends UnaryOpLogicNode> c,
                        ValueNode value)

Method Detail

getValue

public ValueNode getValue()

Description copied from interface: Canonicalizable.Unary

Gets the current value of the input, so that calling Canonicalizable.Unary.canonical(CanonicalizerTool, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).

Specified by:

getValue in interface Canonicalizable.Unary<ValueNode>

virtualize

public void virtualize(VirtualizerTool tool)

Description copied from interface: Virtualizable

A node class can implement this method to convey information about what its effect would be if some of its inputs were virtualized. All modifications must be made through the supplied tool, and not directly on the node, because by the time this method is called the virtualized/non-virtualized state is still speculative and might not hold because of loops, etc.

Specified by:

virtualize in interface Virtualizable

Parameters:

tool - the tool used to describe the effects of this node

generate

public void generate(NodeLIRBuilderTool gen)

Specified by:

generate in interface LIRLowerable

getSucceedingStampForValue

public Stamp getSucceedingStampForValue(boolean negated,
                                        Stamp valueStamp)

In general the input stamp cannot be trusted, this method is reserved for the cases when it's "safe" to use the input stamp. To ensure safety use UnaryOpLogicNode.getSucceedingStampForValue(boolean) instead.

getSucceedingStampForValue

public abstract 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. 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.

tryFold

public abstract TriState tryFold(Stamp valueStamp)

implies

public TriState implies(boolean thisNegated,
                        LogicNode other)

Description copied from class: LogicNode

Determines what this condition implies about the other.

• If negate(this, thisNegated) => other, returns TriState.TRUE
• If negate(this, thisNegated) => !other, returns TriState.FALSE

Overrides:

implies in class LogicNode

Parameters:

thisNegated - whether this condition should be considered as false.

other - the other condition.