com.oracle.graal.hotspot.meta

Class HotSpotNodePlugin

java.lang.Object

com.oracle.graal.hotspot.meta.HotSpotNodePlugin

All Implemented Interfaces:

GraphBuilderPlugin, NodePlugin, ParameterPlugin

public final class HotSpotNodePlugin
extends Object
implements NodePlugin, ParameterPlugin

This plugin handles the HotSpot-specific customizations 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 ParameterPlugin 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.

Handling of Fold and Node.NodeIntrinsic annotated methods, by forwarding to the NodeIntrinsificationPlugin when parsing intrinsic functions.

Constant folding of field loads.

Field Summary

Fields

Modifier and Type	Field and Description
protected NodeIntrinsificationPlugin	nodeIntrinsificationPlugin
protected WordOperationPlugin	wordOperationPlugin

Constructor Summary

Constructors

Constructor and Description
HotSpotNodePlugin(WordOperationPlugin wordOperationPlugin, NodeIntrinsificationPlugin nodeIntrinsificationPlugin)

Method Summary

Modifier and Type	Method and Description
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.
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, Kind 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, Kind 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.
FloatingNode	interceptParameter(GraphBuilderContext b, int index, Stamp stamp)
private static boolean	tryConstantFold(GraphBuilderContext b, ResolvedJavaField field, JavaConstant object)
private static boolean	tryReadField(GraphBuilderContext b, ResolvedJavaField field, JavaConstant object)

Methods inherited from class java.lang.Object

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

Field Detail

wordOperationPlugin

protected final WordOperationPlugin wordOperationPlugin

nodeIntrinsificationPlugin

protected final NodeIntrinsificationPlugin nodeIntrinsificationPlugin

Constructor Detail

HotSpotNodePlugin

public HotSpotNodePlugin(WordOperationPlugin wordOperationPlugin,
                         NodeIntrinsificationPlugin nodeIntrinsificationPlugin)

Method Detail

canChangeStackKind

public boolean canChangeStackKind(GraphBuilderContext b)

Description copied from interface: NodePlugin

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.

Specified by:

canChangeStackKind in interface NodePlugin

Parameters:

b - the context

interceptParameter

public FloatingNode interceptParameter(GraphBuilderContext b,
                                       int index,
                                       Stamp stamp)

Specified by:

interceptParameter in interface ParameterPlugin

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

tryReadField

private static boolean tryReadField(GraphBuilderContext b,
                                    ResolvedJavaField field,
                                    JavaConstant object)

tryConstantFold

private static boolean tryConstantFold(GraphBuilderContext b,
                                       ResolvedJavaField field,
                                       JavaConstant object)

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,
                                 Kind 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

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,
                                  Kind 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

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