org.graalvm.compiler.nodes.calc

Class FloatingIntegerDivRemNode<OP>

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.calc.FloatingNode

org.graalvm.compiler.nodes.calc.BinaryNode

org.graalvm.compiler.nodes.calc.BinaryArithmeticNode<OP>

org.graalvm.compiler.nodes.calc.FloatingIntegerDivRemNode<OP>

All Implemented Interfaces:

Cloneable, Formattable, IterableNodeType, Node.IndirectCanonicalization, Node.ValueNumberable, CanonicalizableMarker, ArithmeticOperation, GuardedNode, ArithmeticLIRLowerable, Canonicalizable, Canonicalizable.Binary<ValueNode>, LIRLowerable, Lowerable, ValueNodeInterface

Direct Known Subclasses:

SignedFloatingIntegerDivNode, SignedFloatingIntegerRemNode

public abstract class FloatingIntegerDivRemNode<OP>
extends BinaryArithmeticNode<OP>
implements IterableNodeType, GuardedNode, Lowerable

FloatingNode version of IntegerDivRemNode if it is known that this node cannot trap nor overflow (if these concepts exist with respect to the target architecture's division operation). We distinguish between two reasons to trap: a division by zero or an overflow of MIN_VALUE/-1. The division by 0 is typically checked with a zeroGuard. The knowledge about the dividend containing MIN_VALUE is either guaranteed by its stamp or externally injected by a guard.

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
protected GuardingNode	floatingGuard
static NodeClass<FloatingIntegerDivRemNode>	TYPE

Fields inherited from class org.graalvm.compiler.nodes.calc.BinaryNode

x, 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

Modifier	Constructor and Description
protected	FloatingIntegerDivRemNode(NodeClass<? extends FloatingIntegerDivRemNode<OP>> c, ArithmeticOpTable.BinaryOp<OP> op, ValueNode x, ValueNode y, GuardingNode floatingGuard) Construct a new FloatingIntegerDivRemNode.
protected	FloatingIntegerDivRemNode(NodeClass<? extends FloatingIntegerDivRemNode<OP>> c, ArithmeticOpTable.BinaryOp<OP> op, ValueNode x, ValueNode y, GuardingNode floatingGuard, boolean divisionOverflowIsJVMSCompliant)

Method Summary

Modifier and Type	Method and Description
protected boolean	canDivideByZero() Determine if the division operation can potentially be a division by zero, i.e., the divisor stamp can contain the value 0.
boolean	divisionOverflowIsJVMSCompliant()
GuardingNode	getGuard()
void	setDivisionOverflowIsJVMSCompliant()
void	setGuard(GuardingNode guard)
boolean	verify()

Methods inherited from class org.graalvm.compiler.nodes.calc.BinaryArithmeticNode

add, add, add, branchlessMax, branchlessMin, canonical, foldStamp, getArithmeticOp, getArithmeticOpTable, getOp, getOp, isAssociative, maybeCommuteInputs, mul, mul, mul, reassociateMatchedValues, reassociateUnmatchedValues, shouldSwapInputs, sub, sub, sub, tryConstantFold

Methods inherited from class org.graalvm.compiler.nodes.calc.BinaryNode

getX, getY, inferStamp, setX, setY

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

lower

Methods inherited from interface org.graalvm.compiler.nodes.ValueNodeInterface

asNode

Methods inherited from interface org.graalvm.compiler.nodes.spi.ArithmeticLIRLowerable

generate, generate

Methods inherited from interface org.graalvm.compiler.nodes.spi.Canonicalizable.Binary

canonical, getX, getY

Field Detail

TYPE

public static final NodeClass<FloatingIntegerDivRemNode> TYPE

floatingGuard

protected GuardingNode floatingGuard

Constructor Detail

FloatingIntegerDivRemNode

protected FloatingIntegerDivRemNode(NodeClass<? extends FloatingIntegerDivRemNode<OP>> c,
                                    ArithmeticOpTable.BinaryOp<OP> op,
                                    ValueNode x,
                                    ValueNode y,
                                    GuardingNode floatingGuard)

Construct a new FloatingIntegerDivRemNode.

Parameters:

c - the concrete subclass for this node

op - the division operation of this node

x - the dividend

y - the divisor

floatingGuard - the guard (potentially a MultiGuardNode) that represents all necessary pre-conditions to allow a floating of the previously fixed IntegerDivRemNode

FloatingIntegerDivRemNode

protected FloatingIntegerDivRemNode(NodeClass<? extends FloatingIntegerDivRemNode<OP>> c,
                                    ArithmeticOpTable.BinaryOp<OP> op,
                                    ValueNode x,
                                    ValueNode y,
                                    GuardingNode floatingGuard,
                                    boolean divisionOverflowIsJVMSCompliant)

Method Detail

getGuard

public GuardingNode getGuard()

Specified by:

getGuard in interface GuardedNode

setDivisionOverflowIsJVMSCompliant

public void setDivisionOverflowIsJVMSCompliant()

divisionOverflowIsJVMSCompliant

public boolean divisionOverflowIsJVMSCompliant()

setGuard

public void setGuard(GuardingNode guard)

Specified by:

setGuard in interface GuardedNode

canDivideByZero

protected boolean canDivideByZero()

Determine if the division operation can potentially be a division by zero, i.e., the divisor stamp can contain the value 0.

verify

public boolean verify()

Overrides:

verify in class Node