org.graalvm.compiler.nodes.calc

Class IntegerLowerThanNode

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

All Implemented Interfaces:

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

Direct Known Subclasses:

IntegerBelowNode, IntegerLessThanNode

public abstract class IntegerLowerThanNode
extends CompareNode

Common super-class for "a < b" comparisons both signed and unsigned.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	IntegerLowerThanNode.LowerOp

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<IntegerLowerThanNode>	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

Modifier	Constructor and Description
protected	IntegerLowerThanNode(NodeClass<? extends CompareNode> c, ValueNode x, ValueNode y, IntegerLowerThanNode.LowerOp op)

Method Summary

Modifier and Type	Method and Description
protected IntegerLowerThanNode.LowerOp	getOp()
Stamp	getSucceedingStampForX(boolean negated, Stamp xStampGeneric, Stamp yStampGeneric)
Stamp	getSucceedingStampForY(boolean negated, Stamp xStampGeneric, Stamp yStampGeneric)
TriState	implies(boolean thisNegated, LogicNode other) Determines what this condition implies about the other.
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, isIdentityComparison, 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, 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.Binary

canonical, canonical, getX, getY

Field Detail

TYPE

public static final NodeClass<IntegerLowerThanNode> TYPE

Constructor Detail

IntegerLowerThanNode

protected IntegerLowerThanNode(NodeClass<? extends CompareNode> c,
                               ValueNode x,
                               ValueNode y,
                               IntegerLowerThanNode.LowerOp op)

Method Detail

getOp

protected IntegerLowerThanNode.LowerOp getOp()

getSucceedingStampForX

public Stamp getSucceedingStampForX(boolean negated,
                                    Stamp xStampGeneric,
                                    Stamp yStampGeneric)

Specified by:

getSucceedingStampForX in class BinaryOpLogicNode

getSucceedingStampForY

public Stamp getSucceedingStampForY(boolean negated,
                                    Stamp xStampGeneric,
                                    Stamp yStampGeneric)

Specified by:

getSucceedingStampForY in class BinaryOpLogicNode

tryFold

public TriState tryFold(Stamp xStampGeneric,
                        Stamp yStampGeneric)

Specified by:

tryFold in class BinaryOpLogicNode

implies

public TriState implies(boolean thisNegated,
                        LogicNode other)

Description copied from class: LogicNode

Determines what this condition implies about the other.

• If negate(this, thisNegated) => other, returns TriState.TRUE
• If negate(this, thisNegated) => !other, returns TriState.FALSE

Overrides:

implies in class LogicNode

Parameters:

thisNegated - whether this condition should be considered as false.

other - the other condition.