org.graalvm.compiler.nodes.calc

Class IntegerConvertNode<OP>

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.calc.FloatingNode

org.graalvm.compiler.nodes.calc.UnaryNode

org.graalvm.compiler.nodes.calc.IntegerConvertNode<OP>

All Implemented Interfaces:

Cloneable, Formattable, Node.IndirectCanonicalization, Node.ValueNumberable, CanonicalizableMarker, ArithmeticOperation, ConvertNode, ArithmeticLIRLowerable, Canonicalizable, Canonicalizable.Unary<ValueNode>, LIRLowerable, StampInverter, ValueNodeInterface

Direct Known Subclasses:

NarrowNode, SignExtendNode, ZeroExtendNode

public abstract class IntegerConvertNode<OP>
extends UnaryNode
implements ArithmeticOperation, ConvertNode, ArithmeticLIRLowerable, StampInverter

An IntegerConvert converts an integer to an integer of different width.

Nested Class Summary

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
protected int	inputBits
protected int	resultBits
static NodeClass<IntegerConvertNode>	TYPE

Fields inherited from class org.graalvm.compiler.nodes.calc.UnaryNode

value

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	IntegerConvertNode(NodeClass<? extends IntegerConvertNode<OP>> c, ArithmeticOpTable.IntegerConvertOp<OP> opForStampComputation, int inputBits, int resultBits, ValueNode input)

Method Summary

Modifier and Type	Method and Description
ValueNode	canonical(CanonicalizerTool tool, ValueNode forValue) Similar to Canonicalizable.canonical(CanonicalizerTool), except that implementations should act as if the current input of the node was the given one, i.e., they should never look at the inputs via the this pointer.
Constant	convert(Constant c, ConstantReflectionProvider constantReflection)
static ValueNode	convert(ValueNode input, Stamp stamp, boolean zeroExtend, NodeView view)
static ValueNode	convert(ValueNode input, Stamp stamp, boolean zeroExtend, StructuredGraph graph, NodeView view)
static ValueNode	convert(ValueNode input, Stamp stamp, boolean zeroExtend, StructuredGraph graph, NodeView view, boolean gvn)
static ValueNode	convert(ValueNode input, Stamp stamp, NodeView view)
static ValueNode	convert(ValueNode input, Stamp stamp, StructuredGraph graph, NodeView view)
static ValueNode	convertUnsigned(ValueNode input, Stamp stamp, NodeView view)
static ValueNode	convertUnsigned(ValueNode input, Stamp stamp, StructuredGraph graph, NodeView view)
protected static <T> ValueNode	findSynonym(ArithmeticOpTable.IntegerConvertOp<T> operation, ValueNode value, int inputBits, int resultBits, Stamp stamp)
Stamp	foldStamp(Stamp newStamp) Compute an improved for this node using the passed in stamp.
ArithmeticOpTable.IntegerConvertOp<OP>	getArithmeticOp()
int	getInputBits()
protected abstract ArithmeticOpTable.IntegerConvertOp<OP>	getOp(ArithmeticOpTable table)
int	getResultBits()
protected abstract ArithmeticOpTable.IntegerConvertOp<?>	getReverseOp(ArithmeticOpTable table)
Stamp	invertStamp(Stamp outStamp) Computes the stamp of the input for the given output stamp.
Constant	reverse(Constant c, ConstantReflectionProvider constantReflection)

Methods inherited from class org.graalvm.compiler.nodes.calc.UnaryNode

getValue, inferStamp, setValue

Methods inherited from class org.graalvm.compiler.nodes.ValueNode

asConstant, asJavaConstant, asNode, asSerializableConstant, checkReplaceAtUsagesInvariants, getStackKind, graph, hasUsagesOtherThan, 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, verify, 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.calc.ConvertNode

getValue, isLossless, mayNullCheckSkipConversion, preservesOrder, preservesOrder

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

asNode

Methods inherited from interface org.graalvm.compiler.nodes.spi.ArithmeticLIRLowerable

generate, generate

Methods inherited from interface org.graalvm.compiler.nodes.spi.StampInverter

getValue

Methods inherited from interface org.graalvm.compiler.nodes.spi.Canonicalizable.Unary

canonical

Field Detail

TYPE

public static final NodeClass<IntegerConvertNode> TYPE

inputBits

protected final int inputBits

resultBits

protected final int resultBits

Constructor Detail

IntegerConvertNode

protected IntegerConvertNode(NodeClass<? extends IntegerConvertNode<OP>> c,
                             ArithmeticOpTable.IntegerConvertOp<OP> opForStampComputation,
                             int inputBits,
                             int resultBits,
                             ValueNode input)

Method Detail

getInputBits

public int getInputBits()

getResultBits

public int getResultBits()

getOp

protected abstract ArithmeticOpTable.IntegerConvertOp<OP> getOp(ArithmeticOpTable table)

getReverseOp

protected abstract ArithmeticOpTable.IntegerConvertOp<?> getReverseOp(ArithmeticOpTable table)

getArithmeticOp

public final ArithmeticOpTable.IntegerConvertOp<OP> getArithmeticOp()

Specified by:

getArithmeticOp in interface ArithmeticOperation

convert

public Constant convert(Constant c,
                        ConstantReflectionProvider constantReflection)

Specified by:

convert in interface ConvertNode

reverse

public Constant reverse(Constant c,
                        ConstantReflectionProvider constantReflection)

Specified by:

reverse in interface ConvertNode

foldStamp

public Stamp foldStamp(Stamp newStamp)

Description copied from class: UnaryNode

Compute an improved for this node using the passed in stamp. The stamp must be compatible with the current value of UnaryNode.value. This code is used to provide the default implementation of UnaryNode.inferStamp() and may be used by external optimizations.

Overrides:

foldStamp in class UnaryNode

canonical

public ValueNode canonical(CanonicalizerTool tool,
                           ValueNode forValue)

Description copied from interface: Canonicalizable.Unary

Similar to Canonicalizable.canonical(CanonicalizerTool), except that implementations should act as if the current input of the node was the given one, i.e., they should never look at the inputs via the this pointer.

Specified by:

canonical in interface Canonicalizable.Unary<ValueNode>

findSynonym

protected static <T> ValueNode findSynonym(ArithmeticOpTable.IntegerConvertOp<T> operation,
                                           ValueNode value,
                                           int inputBits,
                                           int resultBits,
                                           Stamp stamp)

convert

public static ValueNode convert(ValueNode input,
                                Stamp stamp,
                                NodeView view)

convert

public static ValueNode convert(ValueNode input,
                                Stamp stamp,
                                StructuredGraph graph,
                                NodeView view)

convert

public static ValueNode convert(ValueNode input,
                                Stamp stamp,
                                boolean zeroExtend,
                                StructuredGraph graph,
                                NodeView view)

convert

public static ValueNode convert(ValueNode input,
                                Stamp stamp,
                                boolean zeroExtend,
                                StructuredGraph graph,
                                NodeView view,
                                boolean gvn)

convertUnsigned

public static ValueNode convertUnsigned(ValueNode input,
                                        Stamp stamp,
                                        NodeView view)

convertUnsigned

public static ValueNode convertUnsigned(ValueNode input,
                                        Stamp stamp,
                                        StructuredGraph graph,
                                        NodeView view)

convert

public static ValueNode convert(ValueNode input,
                                Stamp stamp,
                                boolean zeroExtend,
                                NodeView view)

invertStamp

public Stamp invertStamp(Stamp outStamp)

Description copied from interface: StampInverter

Computes the stamp of the input for the given output stamp.

Specified by:

invertStamp in interface StampInverter