org.graalvm.compiler.nodes.calc

Class FloatNormalizeCompareNode

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.AbstractNormalizeCompareNode

org.graalvm.compiler.nodes.calc.FloatNormalizeCompareNode

All Implemented Interfaces:

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

public final class FloatNormalizeCompareNode
extends AbstractNormalizeCompareNode

If the comparison is undecided (one of the inputs is NaN), the result is 1 if isUnorderedLess is false and -1 if isUnorderedLess is true.

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 boolean	isUnorderedLess
static NodeClass<FloatNormalizeCompareNode>	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

Constructor and Description
FloatNormalizeCompareNode(ValueNode x, ValueNode y, JavaKind kind, boolean isUnorderedLess)

Method Summary

Modifier and Type	Method and Description
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	create(ValueNode x, ValueNode y, boolean isUnorderedLess, JavaKind kind, ConstantReflectionProvider constantReflection)
LogicNode	createEqualComparison()
LogicNode	createEqualComparison(ConstantReflectionProvider constantReflection, MetaAccessProvider metaAccess, OptionValues options, Integer smallestCompareWidth, NodeView view)
LogicNode	createLowerComparison(boolean swapInputs)
LogicNode	createLowerComparison(boolean swapInputs, ConstantReflectionProvider constantReflection, MetaAccessProvider metaAccess, OptionValues options, Integer smallestCompareWidth, NodeView view)
boolean	isUnorderedLess()

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

createLowerComparison, createLowerComparison, foldStamp, inferStamp, tryConstantFold

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

getX, getY, 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, 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

Field Detail

TYPE

public static final NodeClass<FloatNormalizeCompareNode> TYPE

isUnorderedLess

protected final boolean isUnorderedLess

Constructor Detail

FloatNormalizeCompareNode

public FloatNormalizeCompareNode(ValueNode x,
                                 ValueNode y,
                                 JavaKind kind,
                                 boolean isUnorderedLess)

Method Detail

create

public static ValueNode create(ValueNode x,
                               ValueNode y,
                               boolean isUnorderedLess,
                               JavaKind kind,
                               ConstantReflectionProvider constantReflection)

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.

isUnorderedLess

public boolean isUnorderedLess()

createEqualComparison

public LogicNode createEqualComparison()

Specified by:

createEqualComparison in class AbstractNormalizeCompareNode

createEqualComparison

public LogicNode createEqualComparison(ConstantReflectionProvider constantReflection,
                                       MetaAccessProvider metaAccess,
                                       OptionValues options,
                                       Integer smallestCompareWidth,
                                       NodeView view)

Specified by:

createEqualComparison in class AbstractNormalizeCompareNode

createLowerComparison

public LogicNode createLowerComparison(boolean swapInputs)

Specified by:

createLowerComparison in class AbstractNormalizeCompareNode

createLowerComparison

public LogicNode createLowerComparison(boolean swapInputs,
                                       ConstantReflectionProvider constantReflection,
                                       MetaAccessProvider metaAccess,
                                       OptionValues options,
                                       Integer smallestCompareWidth,
                                       NodeView view)

Specified by:

createLowerComparison in class AbstractNormalizeCompareNode