org.graalvm.compiler.replacements.nodes.arithmetic

Class IntegerExactOverflowNode

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.replacements.nodes.arithmetic.IntegerExactOverflowNode

All Implemented Interfaces:

Cloneable, Formattable, Node.IndirectCanonicalization, Node.ValueNumberable, CanonicalizableMarker, SimplifiableMarker, Canonicalizable, Canonicalizable.Binary<ValueNode>, Simplifiable, ValueNodeInterface

Direct Known Subclasses:

IntegerAddExactOverflowNode, IntegerMulExactOverflowNode, IntegerSubExactOverflowNode

public abstract class IntegerExactOverflowNode
extends LogicNode
implements Canonicalizable.Binary<ValueNode>, Simplifiable

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

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
IntegerExactOverflowNode(NodeClass<? extends IntegerExactOverflowNode> c, ValueNode x, ValueNode y)

Method Summary

Modifier and Type	Method and Description
protected abstract IntegerExactArithmeticSplitNode	createSplit(Stamp splitStamp, AbstractBeginNode next, AbstractBeginNode overflow)
protected abstract Class<? extends BinaryNode>	getCoupledType()
ValueNode	getX() Gets the current value of the input, so that calling Canonicalizable.Binary.canonical(CanonicalizerTool, 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.Binary.canonical(CanonicalizerTool, Node, Node) with the value returned from this method should behave exactly like Canonicalizable.canonical(CanonicalizerTool).
LogicNode	maybeCommuteInputs() Make sure the overflow detection nodes have the same order of inputs as the exact arithmetic nodes.
void	simplify(SimplifierTool tool)

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

and, and, implies, 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.Binary

canonical, canonical

Field Detail

TYPE

public static final NodeClass<IntegerExactOverflowNode> TYPE

x

protected ValueNode x

y

protected ValueNode y

Constructor Detail

IntegerExactOverflowNode

public IntegerExactOverflowNode(NodeClass<? extends IntegerExactOverflowNode> c,
                                ValueNode x,
                                ValueNode y)

Method Detail

getX

public ValueNode getX()

Description copied from interface: Canonicalizable.Binary

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

Specified by:

getX in interface Canonicalizable.Binary<ValueNode>

getY

public ValueNode getY()

Description copied from interface: Canonicalizable.Binary

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

Specified by:

getY in interface Canonicalizable.Binary<ValueNode>

maybeCommuteInputs

public LogicNode maybeCommuteInputs()

Make sure the overflow detection nodes have the same order of inputs as the exact arithmetic nodes.

Returns:

the original node or another node with the same inputs, ignoring ordering.

createSplit

protected abstract IntegerExactArithmeticSplitNode createSplit(Stamp splitStamp,
                                                               AbstractBeginNode next,
                                                               AbstractBeginNode overflow)

getCoupledType

protected abstract Class<? extends BinaryNode> getCoupledType()

simplify

public void simplify(SimplifierTool tool)

Specified by:

simplify in interface Simplifiable