com.oracle.graal.replacements

Class WordOperationPlugin

java.lang.Object

com.oracle.graal.replacements.WordOperationPlugin

All Implemented Interfaces:

GraphBuilderPlugin, InlineInvokePlugin, NodePlugin, ParameterPlugin

Direct Known Subclasses:

HotSpotWordOperationPlugin

public class WordOperationPlugin
extends Object
implements NodePlugin, ParameterPlugin, InlineInvokePlugin

A plugin for calls to word operations, as well as all other nodes that need special handling for Word types.

Nested Class Summary

Nested classes/interfaces inherited from interface com.oracle.graal.graphbuilderconf.InlineInvokePlugin

InlineInvokePlugin.InlineInfo

Field Summary

Fields

Modifier and Type	Field and Description
protected SnippetReflectionProvider	snippetReflection
protected Kind	wordKind
protected WordTypes	wordTypes

Constructor Summary

Constructors

Constructor and Description
WordOperationPlugin(SnippetReflectionProvider snippetReflection, WordTypes wordTypes)

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.
private ValueNode	comparisonOp(GraphBuilderContext graph, Condition condition, ValueNode left, ValueNode right)
ValueNode	convert(GraphBuilderContext b, ValueNode value, Kind toKind, boolean unsigned)
private static ValueNode	createBinaryNodeInstance(Class<? extends ValueNode> nodeClass, ValueNode left, ValueNode right) Create an instance of a binary node which is used to lower Word operations.
protected LoadIndexedNode	createLoadIndexedNode(ValueNode array, ValueNode index)
protected StoreIndexedNode	createStoreIndexedNode(ValueNode array, ValueNode index, ValueNode value)
ValueNode	fromSigned(GraphBuilderContext b, ValueNode value)
ValueNode	fromUnsigned(GraphBuilderContext b, ValueNode value)
WordTypes	getWordTypes()
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) Processes a call to a method if it is annotated with Word.Operation by adding nodes to the graph being built that implement the denoted operation.
boolean	handleLoadField(GraphBuilderContext b, ValueNode receiver, 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 staticField) Handle the parsing of a GETSTATIC bytecode.
boolean	handleStoreIndexed(GraphBuilderContext b, ValueNode array, ValueNode index, Kind elementKind, ValueNode value) Handle the parsing of an array store bytecode.
FloatingNode	interceptParameter(GraphBuilderContext b, int index, Stamp stamp)
AddressNode	makeAddress(GraphBuilderContext b, ValueNode base, ValueNode offset)
void	notifyNotInlined(GraphBuilderContext b, ResolvedJavaMethod method, Invoke invoke) Notifies this plugin of the Invoke node created for a method that was not inlined per InlineInvokePlugin.shouldInlineInvoke(com.oracle.graal.graphbuilderconf.GraphBuilderContext, jdk.internal.jvmci.meta.ResolvedJavaMethod, com.oracle.graal.nodes.ValueNode[], jdk.internal.jvmci.meta.JavaType).
protected void	processWordOperation(GraphBuilderContext b, ValueNode[] args, ResolvedJavaMethod wordMethod)
static ValueNode	readOp(GraphBuilderContext b, Kind readKind, AddressNode address, LocationIdentity location, HeapAccess.BarrierType barrierType, boolean compressible)
protected ValueNode	readOp(GraphBuilderContext b, Kind readKind, AddressNode address, LocationIdentity location, Word.Opcode op)
ValueNode	toUnsigned(GraphBuilderContext b, ValueNode value, Kind toKind)
protected void	writeOp(GraphBuilderContext b, Kind writeKind, AddressNode address, LocationIdentity location, ValueNode value, Word.Opcode op)

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.oracle.graal.graphbuilderconf.NodePlugin

handleStoreField, handleStoreStaticField

Methods inherited from interface com.oracle.graal.graphbuilderconf.InlineInvokePlugin

notifyAfterInline, notifyBeforeInline, shouldInlineInvoke

Field Detail

wordTypes

protected final WordTypes wordTypes

wordKind

protected final Kind wordKind

snippetReflection

protected final SnippetReflectionProvider snippetReflection

Constructor Detail

WordOperationPlugin

public WordOperationPlugin(SnippetReflectionProvider snippetReflection,
                           WordTypes wordTypes)

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

handleInvoke

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

Processes a call to a method if it is annotated with Word.Operation by adding nodes to the graph being built that implement the denoted operation.

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 iff method is annotated with Word.Operation (and was thus processed by this method)

interceptParameter

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

Specified by:

interceptParameter in interface ParameterPlugin

notifyNotInlined

public void notifyNotInlined(GraphBuilderContext b,
                             ResolvedJavaMethod method,
                             Invoke invoke)

Description copied from interface: InlineInvokePlugin

Notifies this plugin of the Invoke node created for a method that was not inlined per InlineInvokePlugin.shouldInlineInvoke(com.oracle.graal.graphbuilderconf.GraphBuilderContext, jdk.internal.jvmci.meta.ResolvedJavaMethod, com.oracle.graal.nodes.ValueNode[], jdk.internal.jvmci.meta.JavaType).

Specified by:

notifyNotInlined in interface InlineInvokePlugin

Parameters:

b - the context

method - the method that was not inlined

invoke - the invoke node created for the call to method

handleLoadField

public boolean handleLoadField(GraphBuilderContext b,
                               ValueNode receiver,
                               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

receiver - 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 staticField)

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

staticField - the accessed 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.

createLoadIndexedNode

protected LoadIndexedNode createLoadIndexedNode(ValueNode array,
                                                ValueNode index)

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.

createStoreIndexedNode

protected StoreIndexedNode createStoreIndexedNode(ValueNode array,
                                                  ValueNode index,
                                                  ValueNode value)

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

processWordOperation

protected void processWordOperation(GraphBuilderContext b,
                                    ValueNode[] args,
                                    ResolvedJavaMethod wordMethod)
                             throws JVMCIError

Throws:

JVMCIError

createBinaryNodeInstance

private static ValueNode createBinaryNodeInstance(Class<? extends ValueNode> nodeClass,
                                                  ValueNode left,
                                                  ValueNode right)

Create an instance of a binary node which is used to lower Word operations. This method is called for all Word operations which are annotated with @Operation(node = ...) and encapsulates the reflective allocation of the node.

comparisonOp

private ValueNode comparisonOp(GraphBuilderContext graph,
                               Condition condition,
                               ValueNode left,
                               ValueNode right)

readOp

protected ValueNode readOp(GraphBuilderContext b,
                           Kind readKind,
                           AddressNode address,
                           LocationIdentity location,
                           Word.Opcode op)

readOp

public static ValueNode readOp(GraphBuilderContext b,
                               Kind readKind,
                               AddressNode address,
                               LocationIdentity location,
                               HeapAccess.BarrierType barrierType,
                               boolean compressible)

writeOp

protected void writeOp(GraphBuilderContext b,
                       Kind writeKind,
                       AddressNode address,
                       LocationIdentity location,
                       ValueNode value,
                       Word.Opcode op)

makeAddress

public AddressNode makeAddress(GraphBuilderContext b,
                               ValueNode base,
                               ValueNode offset)

fromUnsigned

public ValueNode fromUnsigned(GraphBuilderContext b,
                              ValueNode value)

fromSigned

public ValueNode fromSigned(GraphBuilderContext b,
                            ValueNode value)

toUnsigned

public ValueNode toUnsigned(GraphBuilderContext b,
                            ValueNode value,
                            Kind toKind)

convert

public ValueNode convert(GraphBuilderContext b,
                         ValueNode value,
                         Kind toKind,
                         boolean unsigned)

getWordTypes

public WordTypes getWordTypes()