com.oracle.graal.graphbuilderconf

Interface NodePlugin

All Superinterfaces:

GraphBuilderPlugin

All Known Implementing Classes:

HotSpotNodePlugin, HotSpotWordOperationPlugin, MethodHandlePlugin, NodeIntrinsificationPlugin, WordOperationPlugin

public interface NodePlugin
extends GraphBuilderPlugin

Method Summary

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

Method Detail

handleInvoke

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

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.

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

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

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

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

default boolean handleLoadStaticField(GraphBuilderContext b,
                                      ResolvedJavaField field)

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

Parameters:

b - the context

field - the accessed field

Returns:

true if the plugin handles the field access, false otherwise

handleStoreField

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

Handle the parsing of a PUTFIELD bytecode.

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

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

Handle the parsing of a PUTSTATIC bytecode.

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

default boolean handleLoadIndexed(GraphBuilderContext b,
                                  ValueNode array,
                                  ValueNode index,
                                  Kind elementKind)

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

Parameters:

b - the context

array - the accessed array

index - the index for the array access

elementKind - the element kind of the accessed array

Returns:

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

handleStoreIndexed

default boolean handleStoreIndexed(GraphBuilderContext b,
                                   ValueNode array,
                                   ValueNode index,
                                   Kind elementKind,
                                   ValueNode value)

Handle the parsing of an array store bytecode.

Parameters:

b - the context

array - the accessed array

index - the index for the array access

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

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

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

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

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

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

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

canChangeStackKind

default boolean canChangeStackKind(GraphBuilderContext b)

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

Parameters:

b - the context