com.oracle.graal.nodes.calc

Interface ConvertNode

All Superinterfaces:

ArithmeticOperation, NodeInterface

All Known Implementing Classes:

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

public interface ConvertNode
extends ArithmeticOperation, NodeInterface

Represents a conversion between primitive types.

Method Summary

Modifier and Type	Method and Description
ValueNode	asNode()
Constant	convert(Constant c, ConstantReflectionProvider constantReflection)
ValueNode	getValue()
boolean	isLossless() Check whether a conversion is lossless.
default boolean	preservesOrder(Condition op) Check whether a conversion preserves comparison order.
default boolean	preservesOrder(Condition op, Constant value, ConstantReflectionProvider constantReflection) Check whether a conversion preserves comparison order against a particular constant value.
Constant	reverse(Constant c, ConstantReflectionProvider constantReflection)

Method Detail

getValue

ValueNode getValue()

convert

Constant convert(Constant c,
                 ConstantReflectionProvider constantReflection)

reverse

Constant reverse(Constant c,
                 ConstantReflectionProvider constantReflection)

isLossless

boolean isLossless()

Check whether a conversion is lossless.

Returns:

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

preservesOrder

default boolean preservesOrder(Condition 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(Condition 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

asNode

ValueNode asNode()

Specified by:

asNode in interface NodeInterface