org.graalvm.compiler.nodes.calc

Class TernaryNode

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.calc.FloatingNode

org.graalvm.compiler.nodes.calc.TernaryNode

All Implemented Interfaces:

Cloneable, Formattable, Node.ValueNumberable, CanonicalizableMarker, Canonicalizable, Canonicalizable.Ternary<ValueNode>, ValueNodeInterface

Direct Known Subclasses:

FusedMultiplyAddNode

public abstract class TernaryNode
extends FloatingNode
implements Canonicalizable.Ternary<ValueNode>

The TernaryNode class is the base of arithmetic and logic operations with three inputs.

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<TernaryNode>	TYPE
protected ValueNode	x
protected ValueNode	y
protected ValueNode	z

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

Modifier	Constructor and Description
protected	TernaryNode(NodeClass<? extends TernaryNode> c, Stamp stamp, ValueNode x, ValueNode y, ValueNode z) Creates a new TernaryNode instance.

Method Summary

Modifier and Type	Method and Description
abstract Stamp	foldStamp(Stamp stampX, Stamp stampY, Stamp stampZ) Compute an improved stamp for this node using the passed in stamps.
ValueNode	getX() Gets the current value of the input, so that calling Canonicalizable.Ternary.canonical(CanonicalizerTool, Node, Node, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).
ValueNode	getY() Gets the current value of the input, so that calling Canonicalizable.Ternary.canonical(CanonicalizerTool, Node, Node, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).
ValueNode	getZ() Gets the current value of the input, so that calling Canonicalizable.Ternary.canonical(CanonicalizerTool, Node, Node, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).
boolean	inferStamp() This method can be overridden by subclasses of ValueNode if they need to recompute their stamp if their inputs change.
void	setX(ValueNode x)
void	setY(ValueNode y)
void	setZ(ValueNode z)

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

asConstant, asJavaConstant, asNode, asSerializableConstant, checkReplaceAtUsagesInvariants, getStackKind, graph, hasUsagesOtherThan, 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.Ternary

canonical, canonical

Field Detail

TYPE

public static final NodeClass<TernaryNode> TYPE

x

protected ValueNode x

y

protected ValueNode y

z

protected ValueNode z

Constructor Detail

TernaryNode

protected TernaryNode(NodeClass<? extends TernaryNode> c,
                      Stamp stamp,
                      ValueNode x,
                      ValueNode y,
                      ValueNode z)

Creates a new TernaryNode instance.

Parameters:

stamp - the result type of this instruction

x - the first input instruction

y - the second input instruction

z - the second input instruction

Method Detail

getX

public ValueNode getX()

Description copied from interface: Canonicalizable.Ternary

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

Specified by:

getX in interface Canonicalizable.Ternary<ValueNode>

getY

public ValueNode getY()

Description copied from interface: Canonicalizable.Ternary

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

Specified by:

getY in interface Canonicalizable.Ternary<ValueNode>

getZ

public ValueNode getZ()

Description copied from interface: Canonicalizable.Ternary

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

Specified by:

getZ in interface Canonicalizable.Ternary<ValueNode>

setX

public void setX(ValueNode x)

setY

public void setY(ValueNode y)

setZ

public void setZ(ValueNode z)

inferStamp

public boolean inferStamp()

Description copied from class: ValueNode

This method can be overridden by subclasses of ValueNode if they need to recompute their stamp if their inputs change. A typical implementation will compute the stamp and pass it to ValueNode.updateStamp(Stamp), whose return value can be used as the result of this method.

Overrides:

inferStamp in class ValueNode

Returns:

true if the stamp has changed, false otherwise.

foldStamp

public abstract Stamp foldStamp(Stamp stampX,
                                Stamp stampY,
                                Stamp stampZ)

Compute an improved stamp for this node using the passed in stamps. The stamps must be compatible with the current values of TernaryNode.x, TernaryNode.y and TernaryNode.z. This code is used to provide the default implementation of TernaryNode.inferStamp() and may be used by external optimizations.

Parameters:

stampX -

stampY -

stampZ -