org.graalvm.compiler.nodes.calc

Class IntegerLessThanNode.LessThanOp

java.lang.Object

org.graalvm.compiler.nodes.calc.CompareNode.CompareOp

org.graalvm.compiler.nodes.calc.IntegerLowerThanNode.LowerOp

org.graalvm.compiler.nodes.calc.IntegerLessThanNode.LessThanOp

Enclosing class:

IntegerLessThanNode

public static class IntegerLessThanNode.LessThanOp
extends IntegerLowerThanNode.LowerOp

Constructor Summary

Constructors

Constructor and Description
LessThanOp()

Method Summary

Modifier and Type	Method and Description
protected boolean	addCanOverflow(IntegerStamp a, IntegerStamp b) Return true if the a + b can overflow w.r.t.
protected long	cast(long a, int bits)
protected int	compare(long a, long b)
protected IntegerLowerThanNode	createNode(ValueNode x, ValueNode y)
protected CompareNode	duplicateModified(ValueNode newX, ValueNode newY, boolean unorderedIsTrue, NodeView view)
protected LogicNode	findSynonym(ValueNode forX, ValueNode forY, NodeView view)
protected IntegerStamp	forInteger(int bits, long min, long max)
protected CanonicalCondition	getCondition()
protected boolean	isMatchingBitExtendNode(ValueNode node) Return true if the node is an IntegerConvertNode that does not change the comparison result.
protected boolean	leftShiftCanOverflow(IntegerStamp a, long shift) Return true if the a << shift can overflow w.r.t.
protected long	lowerBound(IntegerStamp stamp)
protected long	max(long a, long b)
protected long	maxValue(int bits)
protected long	min(long a, long b)
protected long	minValue(int bits)
protected LogicNode	optimizeNormalizeCompare(ConstantReflectionProvider constantReflection, MetaAccessProvider metaAccess, OptionValues options, Integer smallestCompareWidth, Constant constant, AbstractNormalizeCompareNode normalizeNode, boolean mirrored, NodeView view)
protected long	upperBound(IntegerStamp stamp)

Methods inherited from class org.graalvm.compiler.nodes.calc.IntegerLowerThanNode.LowerOp

canonical, canonicalizeCommonArithmetic, canonicalizeRangeFlip, constantOrNull, create, getSucceedingStampForX, getSucceedingStampForXLowerXPlusA, max, min, tryFold

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

canonicalizeSymmetricConstant

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LessThanOp

public LessThanOp()

Method Detail

duplicateModified

protected CompareNode duplicateModified(ValueNode newX,
                                        ValueNode newY,
                                        boolean unorderedIsTrue,
                                        NodeView view)

Specified by:

duplicateModified in class CompareNode.CompareOp

optimizeNormalizeCompare

protected LogicNode optimizeNormalizeCompare(ConstantReflectionProvider constantReflection,
                                             MetaAccessProvider metaAccess,
                                             OptionValues options,
                                             Integer smallestCompareWidth,
                                             Constant constant,
                                             AbstractNormalizeCompareNode normalizeNode,
                                             boolean mirrored,
                                             NodeView view)

Overrides:

optimizeNormalizeCompare in class CompareNode.CompareOp

findSynonym

protected LogicNode findSynonym(ValueNode forX,
                                ValueNode forY,
                                NodeView view)

Overrides:

findSynonym in class IntegerLowerThanNode.LowerOp

isMatchingBitExtendNode

protected boolean isMatchingBitExtendNode(ValueNode node)

Description copied from class: IntegerLowerThanNode.LowerOp

Return true if the node is an IntegerConvertNode that does not change the comparison result.

Specified by:

isMatchingBitExtendNode in class IntegerLowerThanNode.LowerOp

addCanOverflow

protected boolean addCanOverflow(IntegerStamp a,
                                 IntegerStamp b)

Description copied from class: IntegerLowerThanNode.LowerOp

Return true if the a + b can overflow w.r.t. signed or unsigned semantics.

Specified by:

addCanOverflow in class IntegerLowerThanNode.LowerOp

leftShiftCanOverflow

protected boolean leftShiftCanOverflow(IntegerStamp a,
                                       long shift)

Description copied from class: IntegerLowerThanNode.LowerOp

Return true if the a << shift can overflow w.r.t. signed or unsigned semantics.

Specified by:

leftShiftCanOverflow in class IntegerLowerThanNode.LowerOp

getCondition

protected CanonicalCondition getCondition()

Specified by:

getCondition in class IntegerLowerThanNode.LowerOp

createNode

protected IntegerLowerThanNode createNode(ValueNode x,
                                          ValueNode y)

Specified by:

createNode in class IntegerLowerThanNode.LowerOp

upperBound

protected long upperBound(IntegerStamp stamp)

Specified by:

upperBound in class IntegerLowerThanNode.LowerOp

lowerBound

protected long lowerBound(IntegerStamp stamp)

Specified by:

lowerBound in class IntegerLowerThanNode.LowerOp

compare

protected int compare(long a,
                      long b)

Specified by:

compare in class IntegerLowerThanNode.LowerOp

min

protected long min(long a,
                   long b)

Specified by:

min in class IntegerLowerThanNode.LowerOp

max

protected long max(long a,
                   long b)

Specified by:

max in class IntegerLowerThanNode.LowerOp

cast

protected long cast(long a,
                    int bits)

Specified by:

cast in class IntegerLowerThanNode.LowerOp

minValue

protected long minValue(int bits)

Specified by:

minValue in class IntegerLowerThanNode.LowerOp

maxValue

protected long maxValue(int bits)

Specified by:

maxValue in class IntegerLowerThanNode.LowerOp

forInteger

protected IntegerStamp forInteger(int bits,
                                  long min,
                                  long max)

Specified by:

forInteger in class IntegerLowerThanNode.LowerOp