org.graalvm.compiler.hotspot.meta

Class HotSpotNodePlugin

java.lang.Object

org.graalvm.compiler.hotspot.meta.HotSpotNodePlugin

All Implemented Interfaces:

GraphBuilderPlugin, NodePlugin, TypePlugin

public final class HotSpotNodePlugin
extends Object
implements NodePlugin, TypePlugin

This plugin does HotSpot-specific customization of bytecode parsing:

• Word-type rewriting for intrinsic functions (snippets and method substitutions), by forwarding to the WordOperationPlugin. Note that we forward the NodePlugin and TypePlugin methods, but not the InlineInvokePlugin methods implemented by WordOperationPlugin. The latter is not necessary because HotSpot only uses the Word type in methods that are force-inlined, i.e., there are never non-inlined invokes that involve the Word type.
• Constant folding of field loads.

Field Summary

Fields

Modifier and Type	Field and Description
protected WordOperationPlugin	wordOperationPlugin

Constructor Summary

Constructors

Constructor and Description
HotSpotNodePlugin(WordOperationPlugin wordOperationPlugin)

Method Summary

Modifier and Type	Method and Description
boolean	canChangeStackKind(GraphBuilderContext b) If the plugin pushes a value with a different JavaKind than specified by the bytecode, it must override this method and return true.
boolean	handleCheckCast(GraphBuilderContext b, ValueNode object, ResolvedJavaType type, JavaTypeProfile profile) Handle the parsing of a CHECKCAST bytecode.
boolean	handleInstanceOf(GraphBuilderContext b, ValueNode object, ResolvedJavaType type, JavaTypeProfile profile) Handle the parsing of a INSTANCEOF bytecode.
boolean	handleInvoke(GraphBuilderContext b, ResolvedJavaMethod method, ValueNode[] args) Handle the parsing of a method invocation bytecode to a method that can be bound statically.
boolean	handleLoadField(GraphBuilderContext b, ValueNode object, ResolvedJavaField field) Handle the parsing of a GETFIELD bytecode.
boolean	handleLoadIndexed(GraphBuilderContext b, ValueNode array, ValueNode index, GuardingNode boundsCheck, JavaKind elementKind) Handle the parsing of an array load bytecode.
boolean	handleLoadStaticField(GraphBuilderContext b, ResolvedJavaField field) Handle the parsing of a GETSTATIC bytecode.
boolean	handleStoreField(GraphBuilderContext b, ValueNode object, ResolvedJavaField field, ValueNode value) Handle the parsing of a PUTFIELD bytecode.
boolean	handleStoreIndexed(GraphBuilderContext b, ValueNode array, ValueNode index, GuardingNode boundsCheck, GuardingNode storeCheck, JavaKind elementKind, ValueNode value) Handle the parsing of an array store bytecode.
boolean	handleStoreStaticField(GraphBuilderContext b, ResolvedJavaField field, ValueNode value) Handle the parsing of a PUTSTATIC bytecode.
StampPair	interceptType(GraphBuilderTool b, JavaType declaredType, boolean nonNull) Intercept the type of arguments or return values.

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.graalvm.compiler.nodes.graphbuilderconf.NodePlugin

convertInvokeDynamic, handleNewArray, handleNewInstance, handleNewMultiArray, instrumentExceptionDispatch

Field Detail

wordOperationPlugin

protected final WordOperationPlugin wordOperationPlugin

Constructor Detail

HotSpotNodePlugin

public HotSpotNodePlugin(WordOperationPlugin wordOperationPlugin)

Method Detail

canChangeStackKind

public boolean canChangeStackKind(GraphBuilderContext b)

Description copied from interface: NodePlugin

If the plugin pushes a value with a different JavaKind than specified by the bytecode, it must override this method and return true. This disables assertion checking for value kinds.

Specified by:

canChangeStackKind in interface NodePlugin

Parameters:

b - the context

interceptType

public StampPair interceptType(GraphBuilderTool b,
                               JavaType declaredType,
                               boolean nonNull)

Description copied from interface: TypePlugin

Intercept the type of arguments or return values.

Specified by:

interceptType in interface TypePlugin

handleInvoke

public boolean handleInvoke(GraphBuilderContext b,
                            ResolvedJavaMethod method,
                            ValueNode[] args)

Description copied from interface: NodePlugin

Handle the parsing of a method invocation bytecode to a method that can be bound statically. If the method returns true, it must push a value as the result of the method invocation using the return kind of the method.

Specified by:

handleInvoke in interface NodePlugin

Parameters:

b - the context

method - the statically bound, invoked method

args - the arguments of the method invocation

Returns:

true if the plugin handles the invocation, false otherwise

handleLoadField

public boolean handleLoadField(GraphBuilderContext b,
                               ValueNode object,
                               ResolvedJavaField field)

Description copied from interface: NodePlugin

Handle the parsing of a GETFIELD bytecode. If the method returns true, it must push a value using the kind of the field.

Specified by:

handleLoadField in interface NodePlugin

Parameters:

b - the context

object - the receiver object for the field access

field - the accessed field

Returns:

true if the plugin handles the field access, false otherwise

handleLoadStaticField

public boolean handleLoadStaticField(GraphBuilderContext b,
                                     ResolvedJavaField field)

Description copied from interface: NodePlugin

Handle the parsing of a GETSTATIC bytecode. If the method returns true, it must push a value using the kind of the field.

Specified by:

handleLoadStaticField in interface NodePlugin

Parameters:

b - the context

field - the accessed field

Returns:

true if the plugin handles the field access, false otherwise

handleStoreField

public boolean handleStoreField(GraphBuilderContext b,
                                ValueNode object,
                                ResolvedJavaField field,
                                ValueNode value)

Description copied from interface: NodePlugin

Handle the parsing of a PUTFIELD bytecode.

Specified by:

handleStoreField in interface NodePlugin

Parameters:

b - the context

object - the receiver object for the field access

field - the accessed field

value - the value to be stored into the field

Returns:

true if the plugin handles the field access, false otherwise

handleStoreStaticField

public boolean handleStoreStaticField(GraphBuilderContext b,
                                      ResolvedJavaField field,
                                      ValueNode value)

Description copied from interface: NodePlugin

Handle the parsing of a PUTSTATIC bytecode.

Specified by:

handleStoreStaticField in interface NodePlugin

Parameters:

b - the context

field - the accessed field

value - the value to be stored into the field

Returns:

true if the plugin handles the field access, false otherwise.

handleLoadIndexed

public boolean handleLoadIndexed(GraphBuilderContext b,
                                 ValueNode array,
                                 ValueNode index,
                                 GuardingNode boundsCheck,
                                 JavaKind elementKind)

Description copied from interface: NodePlugin

Handle the parsing of an array load bytecode. If the method returns true, it must push a value using the provided elementKind.

Specified by:

handleLoadIndexed in interface NodePlugin

Parameters:

b - the context

array - the accessed array

index - the index for the array access

boundsCheck - the explicit bounds check already emitted, or null if no bounds check was emitted yet

elementKind - the element kind of the accessed array

Returns:

true if the plugin handles the array access, false otherwise.

handleStoreIndexed

public boolean handleStoreIndexed(GraphBuilderContext b,
                                  ValueNode array,
                                  ValueNode index,
                                  GuardingNode boundsCheck,
                                  GuardingNode storeCheck,
                                  JavaKind elementKind,
                                  ValueNode value)

Description copied from interface: NodePlugin

Handle the parsing of an array store bytecode.

Specified by:

handleStoreIndexed in interface NodePlugin

Parameters:

b - the context

array - the accessed array

index - the index for the array access

boundsCheck - the explicit array bounds check already emitted, or null if no array bounds check was emitted yet

storeCheck - the explicit array store check already emitted, or null if no array store check was emitted yet

elementKind - the element kind of the accessed array

value - the value to be stored into the array

Returns:

true if the plugin handles the array access, false otherwise.

handleCheckCast

public boolean handleCheckCast(GraphBuilderContext b,
                               ValueNode object,
                               ResolvedJavaType type,
                               JavaTypeProfile profile)

Description copied from interface: NodePlugin

Handle the parsing of a CHECKCAST bytecode. If the method returns true, it must push a value with the result of the cast using JavaKind.Object.

Specified by:

handleCheckCast in interface NodePlugin

Parameters:

b - the context

object - the object to be type checked

type - the type that the object is checked against

profile - the profiling information for the type check, or null if no profiling information is available

Returns:

true if the plugin handles the cast, false otherwise

handleInstanceOf

public boolean handleInstanceOf(GraphBuilderContext b,
                                ValueNode object,
                                ResolvedJavaType type,
                                JavaTypeProfile profile)

Description copied from interface: NodePlugin

Handle the parsing of a INSTANCEOF bytecode. If the method returns true, it must push a value with the result of the instanceof using JavaKind.Int.

Specified by:

handleInstanceOf in interface NodePlugin

Parameters:

b - the context

object - the object to be type checked

type - the type that the object is checked against

profile - the profiling information for the type check, or null if no profiling information is available

Returns:

true if the plugin handles the instanceof, false otherwise