org.graalvm.compiler.hotspot.replacements

Class ClassGetHubNode

java.lang.Object

org.graalvm.compiler.graph.Node

org.graalvm.compiler.nodes.ValueNode

org.graalvm.compiler.nodes.calc.FloatingNode

org.graalvm.compiler.hotspot.replacements.ClassGetHubNode

All Implemented Interfaces:

Cloneable, Formattable, Node.ValueNumberable, CanonicalizableMarker, ConvertNode, Canonicalizable, Lowerable, ValueNodeInterface

public final class ClassGetHubNode
extends FloatingNode
implements Lowerable, Canonicalizable, ConvertNode

Read Class::_klass to get the hub for a Class. This node mostly exists to replace _klass._java_mirror._klass with _klass. The constant folding could be handled by ReadNode.canonicalizeRead(ValueNode, AddressNode, LocationIdentity, CanonicalizerTool). Note that there is no Klass for primitive types in the Java HotSpot VM. If the input Class is a primitive type, the returned value is null.

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 ValueNode	clazz
static NodeClass<ClassGetHubNode>	TYPE

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
ClassGetHubNode(ValueNode clazz)

Method Summary

Modifier and Type	Method and Description
Node	canonical(CanonicalizerTool tool) Implementations of this method can provide local optimizations like constant folding and strength reduction.
static ValueNode	canonical(ClassGetHubNode classGetHubNode, MetaAccessProvider metaAccess, ConstantReflectionProvider constantReflection, boolean allUsagesAvailable, Stamp stamp, ValueNode clazz)
Constant	convert(Constant c, ConstantReflectionProvider constantReflection)
static ValueNode	create(ValueNode clazz, MetaAccessProvider metaAccess, ConstantReflectionProvider constantReflection)
ValueNode	getValue()
static boolean	intrinsify(GraphBuilderContext b, ValueNode clazz)
boolean	isLossless() Check whether a conversion is lossless.
boolean	mayNullCheckSkipConversion() There is more than one Class value that has a NULL hub.
static KlassPointer	piCastNonNull(KlassPointer object, GuardingNode anchor)
boolean	preservesOrder(CanonicalCondition op, Constant value, ConstantReflectionProvider constantReflection) Check whether a conversion preserves comparison order against a particular constant value.
static KlassPointer	readClass(Class<?> clazzNonNull)
Constant	reverse(Constant c, ConstantReflectionProvider constantReflection)

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

asConstant, asJavaConstant, asNode, asSerializableConstant, checkReplaceAtUsagesInvariants, getStackKind, graph, hasUsagesOtherThan, inferStamp, 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.Lowerable

lower

Methods inherited from interface org.graalvm.compiler.nodes.calc.ConvertNode

preservesOrder

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

asNode

Field Detail

TYPE

public static final NodeClass<ClassGetHubNode> TYPE

clazz

protected ValueNode clazz

Constructor Detail

ClassGetHubNode

public ClassGetHubNode(ValueNode clazz)

Method Detail

create

public static ValueNode create(ValueNode clazz,
                               MetaAccessProvider metaAccess,
                               ConstantReflectionProvider constantReflection)

intrinsify

public static boolean intrinsify(GraphBuilderContext b,
                                 ValueNode clazz)

canonical

public static ValueNode canonical(ClassGetHubNode classGetHubNode,
                                  MetaAccessProvider metaAccess,
                                  ConstantReflectionProvider constantReflection,
                                  boolean allUsagesAvailable,
                                  Stamp stamp,
                                  ValueNode clazz)

canonical

public Node canonical(CanonicalizerTool tool)

Description copied from interface: Canonicalizable

Implementations of this method can provide local optimizations like constant folding and strength reduction. Implementations should look at the properties and inputs of the current node and determine if there is a more optimal and always semantically correct replacement.
The return value determines the effect that the canonicalization will have:

• Returning an pre-existing node will replace the current node with the given one.
• Returning a newly created node (that was not yet added to the graph) will replace the current node with the given one, after adding it to the graph. If both the replacement and the replacee are anchored in control flow (fixed nodes), the replacement will be added to the control flow. It is invalid to replace a non-fixed node with a newly created fixed node (because its placement in the control flow cannot be determined without scheduling).
• Returning null will delete the current node and replace it with null at all usages. Note that it is not necessary to delete floating nodes that have no more usages this way - they will be deleted automatically.

Specified by:

canonical in interface Canonicalizable

Parameters:

tool - provides access to runtime interfaces like MetaAccessProvider

readClass

public static KlassPointer readClass(Class<?> clazzNonNull)

piCastNonNull

public static KlassPointer piCastNonNull(KlassPointer object,
                                         GuardingNode anchor)

getValue

public ValueNode getValue()

Specified by:

getValue in interface ConvertNode

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

isLossless

public boolean isLossless()

Description copied from interface: ConvertNode

Check whether a conversion is lossless.

Specified by:

isLossless in interface ConvertNode

Returns:

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

mayNullCheckSkipConversion

public boolean mayNullCheckSkipConversion()

There is more than one Class value that has a NULL hub.

Specified by:

mayNullCheckSkipConversion in interface ConvertNode

Returns:

whether a null check may skip the conversion

preservesOrder

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

Description copied from interface: ConvertNode

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

Specified by:

preservesOrder in interface ConvertNode

Parameters:

op - a comparison operator

Returns:

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