public abstract class IntegerLowerThanNode extends CompareNode
| Modifier and Type | Class and Description |
|---|---|
static class |
IntegerLowerThanNode.LowerOp |
CompareNode.CompareOpNode.ConstantNodeParameter, Node.EdgeVisitor, Node.IndirectCanonicalization, Node.InjectedNodeParameter, Node.Input, Node.NodeInsertionStackTrace, Node.NodeIntrinsic, Node.NodeIntrinsicFactory, Node.OptionalInput, Node.Successor, Node.ValueNumberableCanonicalizable.Binary<T extends Node>, Canonicalizable.BinaryCommutative<T extends Node>, Canonicalizable.Ternary<T extends Node>, Canonicalizable.Unary<T extends Node>| Modifier and Type | Field and Description |
|---|---|
static NodeClass<IntegerLowerThanNode> |
TYPE |
condition, unorderedIsTruex, yEMPTY_ARRAY, stampNODE_LIST, NOT_ITERABLE, TRACK_CREATION_POSITION, WithAllEdges, WithNoEdges, WithOnlyInputEdges, WithOnlySucessorEdges| Modifier | Constructor and Description |
|---|---|
protected |
IntegerLowerThanNode(NodeClass<? extends CompareNode> c,
ValueNode x,
ValueNode y,
IntegerLowerThanNode.LowerOp op) |
| 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) |
condition, createAnyCompareNode, createCompareNode, createCompareNode, createCompareNode, createCompareNode, createFloatCompareNode, createFloatCompareNode, implies, implies, isIdentityComparison, tryConstantFold, tryConstantFoldPrimitive, unorderedIsTruegenerate, getX, getY, maybeCommuteInputs, verifyand, and, isContradiction, isTautology, or, orasConstant, asJavaConstant, asNode, asSerializableConstant, checkReplaceAtUsagesInvariants, getStackKind, graph, hasUsagesOtherThan, inferStamp, isAllowedUsageType, isConstant, isConstantPredicate, isDefaultConstant, isIllegalConstant, isJavaConstant, isNullConstant, isSerializableConstant, recursivelyDataFlowEqualsUpTo, setStamp, stamp, updateStamp, updateUsagesInterfaceafterClone, 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, withNodeSourcePositionclone, equals, getClass, notify, notifyAll, wait, wait, waitcanonical, canonical, getX, getYpublic static final NodeClass<IntegerLowerThanNode> TYPE
protected IntegerLowerThanNode(NodeClass<? extends CompareNode> c, ValueNode x, ValueNode y, IntegerLowerThanNode.LowerOp op)
protected IntegerLowerThanNode.LowerOp getOp()
public Stamp getSucceedingStampForX(boolean negated, Stamp xStampGeneric, Stamp yStampGeneric)
getSucceedingStampForX in class BinaryOpLogicNodepublic Stamp getSucceedingStampForY(boolean negated, Stamp xStampGeneric, Stamp yStampGeneric)
getSucceedingStampForY in class BinaryOpLogicNodepublic TriState tryFold(Stamp xStampGeneric, Stamp yStampGeneric)
tryFold in class BinaryOpLogicNode