org.graalvm.compiler.nodes.calc

Interface ConvertNode

All Superinterfaces:

ValueNodeInterface

All Known Implementing Classes:

ClassGetHubNode, CompressionNode, FloatConvertNode, HotSpotCompressionNode, HubGetClassNode, IntegerConvertNode, NarrowNode, SignExtendNode, ZeroExtendNode

public interface ConvertNode
extends ValueNodeInterface

Represents a conversion between primitive types.

Method Summary

Modifier and Type	Method and Description
Constant	convert(Constant c, ConstantReflectionProvider constantReflection)
ValueNode	getValue()
boolean	isLossless() Check whether a conversion is lossless.
boolean	mayNullCheckSkipConversion() Checks whether a null check may skip the conversion.
default boolean	preservesOrder(CanonicalCondition op) Check whether a conversion preserves comparison order.
default boolean	preservesOrder(CanonicalCondition op, Constant value, ConstantReflectionProvider constantReflection) Check whether a conversion preserves comparison order against a particular constant value.
Constant	reverse(Constant c, ConstantReflectionProvider constantReflection)

Methods inherited from interface org.graalvm.compiler.nodes.ValueNodeInterface

asNode

Method Detail

getValue

ValueNode getValue()

convert

Constant convert(Constant c,
                 ConstantReflectionProvider constantReflection)

reverse

Constant reverse(Constant c,
                 ConstantReflectionProvider constantReflection)

mayNullCheckSkipConversion

boolean mayNullCheckSkipConversion()

Checks whether a null check may skip the conversion. This is true if in the conversion NULL is converted to NULL and if it is the only value converted to NULL.

Returns:

whether a null check may skip the conversion

isLossless

boolean isLossless()

Check whether a conversion is lossless.

Returns:

true iff reverse(convert(c)) == c for all c

preservesOrder

default boolean preservesOrder(CanonicalCondition op)

Check whether a conversion preserves comparison order.

Parameters:

op - a comparison operator

Returns:

true iff (c1 op c2) == (convert(c1) op convert(c2)) for all c1, c2

preservesOrder

default boolean preservesOrder(CanonicalCondition op,
                               Constant value,
                               ConstantReflectionProvider constantReflection)

Check whether a conversion preserves comparison order against a particular constant value.

Parameters:

op - a comparison operator

value -

constantReflection -

Returns:

true iff (c1 op value) == (convert(c1) op convert(value)) for value and all c1