org.graalvm.compiler.nodes.calc

Class FloatEqualsNode

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.nodes.BinaryOpLogicNode

org.graalvm.compiler.nodes.calc.CompareNode

org.graalvm.compiler.nodes.calc.FloatEqualsNode

All Implemented Interfaces:

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

public final class FloatEqualsNode
extends CompareNode
implements Canonicalizable.BinaryCommutative<ValueNode>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	FloatEqualsNode.FloatEqualsOp

Nested classes/interfaces inherited from class org.graalvm.compiler.nodes.calc.CompareNode

CompareNode.CompareOp

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<FloatEqualsNode>	TYPE

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

condition, unorderedIsTrue

Fields inherited from class org.graalvm.compiler.nodes.BinaryOpLogicNode

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
FloatEqualsNode(ValueNode x, ValueNode y)

Method Summary

Modifier and Type	Method and Description
Node	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 LogicNode	create(ConstantReflectionProvider constantReflection, MetaAccessProvider metaAccess, OptionValues options, Integer smallestCompareWidth, ValueNode x, ValueNode y, NodeView view)
static LogicNode	create(ValueNode x, ValueNode y, NodeView view)
Stamp	getSucceedingStampForX(boolean negated, Stamp xStamp, Stamp yStamp)
Stamp	getSucceedingStampForY(boolean negated, Stamp xStamp, Stamp yStamp)
boolean	isIdentityComparison() Does this operation represent an identity check such that for x == y, x is exactly the same thing as y.
TriState	tryFold(Stamp xStampGeneric, Stamp yStampGeneric)

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

condition, createAnyCompareNode, createCompareNode, createCompareNode, createCompareNode, createCompareNode, createFloatCompareNode, createFloatCompareNode, implies, implies, tryConstantFold, tryConstantFoldPrimitive, unorderedIsTrue

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

generate, getX, getY, maybeCommuteInputs, verify

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

maybeCommuteInputs

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

canonical, getX, getY

Field Detail

TYPE

public static final NodeClass<FloatEqualsNode> TYPE

Constructor Detail

FloatEqualsNode

public FloatEqualsNode(ValueNode x,
                       ValueNode y)

Method Detail

create

public static LogicNode create(ValueNode x,
                               ValueNode y,
                               NodeView view)

create

public static LogicNode create(ConstantReflectionProvider constantReflection,
                               MetaAccessProvider metaAccess,
                               OptionValues options,
                               Integer smallestCompareWidth,
                               ValueNode x,
                               ValueNode y,
                               NodeView view)

isIdentityComparison

public boolean isIdentityComparison()

Description copied from class: CompareNode

Does this operation represent an identity check such that for x == y, x is exactly the same thing as y. This is generally true except for some floating point comparisons.

Overrides:

isIdentityComparison in class CompareNode

Returns:

true for identity comparisons

canonical

public Node 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>

getSucceedingStampForX

public Stamp getSucceedingStampForX(boolean negated,
                                    Stamp xStamp,
                                    Stamp yStamp)

Specified by:

getSucceedingStampForX in class BinaryOpLogicNode

getSucceedingStampForY

public Stamp getSucceedingStampForY(boolean negated,
                                    Stamp xStamp,
                                    Stamp yStamp)

Specified by:

getSucceedingStampForY in class BinaryOpLogicNode

tryFold

public TriState tryFold(Stamp xStampGeneric,
                        Stamp yStampGeneric)

Specified by:

tryFold in class BinaryOpLogicNode