org.graalvm.compiler.nodes.calc

Class MinMaxNode<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.MinMaxNode<OP>

All Implemented Interfaces:

Cloneable, Formattable, Node.IndirectCanonicalization, Node.ValueNumberable, BinaryCommutativeMarker, CanonicalizableMarker, ArithmeticOperation, NarrowableArithmeticNode, ArithmeticLIRLowerable, Canonicalizable, Canonicalizable.Binary<ValueNode>, Canonicalizable.BinaryCommutative<ValueNode>, LIRLowerable, ValueNodeInterface

Direct Known Subclasses:

MaxNode, MinNode, UnsignedMaxNode, UnsignedMinNode

public abstract class MinMaxNode<OP>
extends BinaryArithmeticNode<OP>
implements NarrowableArithmeticNode, Canonicalizable.BinaryCommutative<ValueNode>

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<MinMaxNode>	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	MinMaxNode(NodeClass<? extends BinaryArithmeticNode<OP>> c, ArithmeticOpTable.BinaryOp<OP> opForStampComputation, ValueNode x, ValueNode y)

Method Summary

Modifier and Type	Method and Description
abstract ValueNode	asConditional(LoweringProvider lowerer) Tries to return a conditional value equivalent to this min/max node.
ValueNode	canonical(CanonicalizerTool tool, ValueNode forX, ValueNode forY) 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 ValueNode	fromConditional(ConditionalNode conditional) Tries to build a MinMaxNode representation of the given conditional.
void	generate(NodeLIRBuilderTool nodeValueMap, ArithmeticLIRGeneratorTool gen)
protected boolean	isNarrowable(int resultBits, NumUtil.Signedness signedness)
protected static ValueNode	maybeExtendForCompare(ValueNode value, LoweringProvider lowerer, NumUtil.Signedness signedness) Helper for MinMaxNode.asConditional(LoweringProvider), extending the value if needed to match the LoweringProvider.smallestCompareWidth().

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

add, add, add, branchlessMax, branchlessMin, 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, hasExactlyOneUsageOfType, 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.calc.NarrowableArithmeticNode

isNarrowable

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

getArithmeticOp

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

maybeCommuteInputs

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

canonical, getX, getY

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

generate

Field Detail

TYPE

public static final NodeClass<MinMaxNode> TYPE

Constructor Detail

MinMaxNode

protected MinMaxNode(NodeClass<? extends BinaryArithmeticNode<OP>> c,
                     ArithmeticOpTable.BinaryOp<OP> opForStampComputation,
                     ValueNode x,
                     ValueNode y)

Method Detail

canonical

public ValueNode canonical(CanonicalizerTool tool,
                           ValueNode forX,
                           ValueNode forY)

Description copied from interface: Canonicalizable.Binary

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.Binary<ValueNode>

Overrides:

canonical in class BinaryArithmeticNode<OP>

generate

public void generate(NodeLIRBuilderTool nodeValueMap,
                     ArithmeticLIRGeneratorTool gen)

Specified by:

generate in interface ArithmeticLIRLowerable

isNarrowable

protected boolean isNarrowable(int resultBits,
                               NumUtil.Signedness signedness)

fromConditional

public static ValueNode fromConditional(ConditionalNode conditional)

Tries to build a MinMaxNode representation of the given conditional. Returns null if no simple equivalent form exists.

asConditional

public abstract ValueNode asConditional(LoweringProvider lowerer)

Tries to return a conditional value equivalent to this min/max node. Implementations may return null if no simple equivalent conditional form exists. Implementations that build a compare node must take LoweringProvider.smallestCompareWidth() into account.

maybeExtendForCompare

protected static ValueNode maybeExtendForCompare(ValueNode value,
                                                 LoweringProvider lowerer,
                                                 NumUtil.Signedness signedness)

Helper for MinMaxNode.asConditional(LoweringProvider), extending the value if needed to match the LoweringProvider.smallestCompareWidth().