org.graalvm.compiler.nodes.calc

Class ReinterpretNode

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.ReinterpretNode

All Implemented Interfaces:

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

public final class ReinterpretNode
extends UnaryNode
implements ArithmeticOperation, ArithmeticLIRLowerable

The ReinterpretNode class represents a reinterpreting conversion that changes the stamp of a primitive value to some other incompatible stamp. The new stamp must have the same width as the old stamp.

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
static NodeClass<ReinterpretNode>	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

Constructor and Description
ReinterpretNode(JavaKind to, ValueNode value)

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.
static ValueNode	canonical(ReinterpretNode node, Stamp forStamp, ValueNode forValue, NodeView view)
static ValueNode	create(JavaKind to, ValueNode value, NodeView view)
Stamp	foldStamp(Stamp newStamp) Compute an improved for this node using the passed in stamp.
void	generate(NodeLIRBuilderTool builder, ArithmeticLIRGeneratorTool gen)
ArithmeticOpTable.ReinterpretOp	getArithmeticOp()
static ValueNode	reinterpret(JavaKind toKind, ValueNode value)

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.spi.ArithmeticLIRLowerable

generate

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

canonical

Field Detail

TYPE

public static final NodeClass<ReinterpretNode> TYPE

Constructor Detail

ReinterpretNode

public ReinterpretNode(JavaKind to,
                       ValueNode value)

Method Detail

create

public static ValueNode create(JavaKind to,
                               ValueNode value,
                               NodeView view)

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>

canonical

public static ValueNode canonical(ReinterpretNode node,
                                  Stamp forStamp,
                                  ValueNode forValue,
                                  NodeView view)

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

generate

public void generate(NodeLIRBuilderTool builder,
                     ArithmeticLIRGeneratorTool gen)

Specified by:

generate in interface ArithmeticLIRLowerable

reinterpret

public static ValueNode reinterpret(JavaKind toKind,
                                    ValueNode value)

getArithmeticOp

public ArithmeticOpTable.ReinterpretOp getArithmeticOp()

Specified by:

getArithmeticOp in interface ArithmeticOperation