com.oracle.graal.replacements

Class IntrinsicGraphBuilder

java.lang.Object

com.oracle.graal.replacements.IntrinsicGraphBuilder

All Implemented Interfaces:

GraphBuilderContext, InvocationPlugin.Receiver

public class IntrinsicGraphBuilder
extends Object
implements GraphBuilderContext, InvocationPlugin.Receiver

Implementation of GraphBuilderContext used to produce a graph for a method based on an InvocationPlugin for the method.

Field Summary

Fields

Modifier and Type	Field and Description
private ValueNode[]	arguments
private ConstantReflectionProvider	constantReflection
private StructuredGraph	graph
private int	invokeBci
private FixedWithNextNode	lastInstr
private MetaAccessProvider	metaAccess
private ResolvedJavaMethod	method
private ValueNode	returnValue
private StampProvider	stampProvider

Constructor Summary

Constructors

Constructor and Description
IntrinsicGraphBuilder(MetaAccessProvider metaAccess, ConstantReflectionProvider constantReflection, StampProvider stampProvider, ResolvedJavaMethod method, int invokeBci)

Method Summary

Modifier and Type	Method and Description
<T extends ValueNode> T	append(T v) Raw operation for adding a node to the graph when neither GraphBuilderContext.add(T) nor GraphBuilderContext.addPush(Kind, ValueNode) can be used.
BailoutException	bailout(String string)
int	bci() Gets the index of the bytecode instruction currently being parsed.
StructuredGraph	buildGraph(InvocationPlugin plugin)
ValueNode	get() Gets the receiver value, null checking it first if necessary.
ConstantReflectionProvider	getConstantReflection()
int	getDepth() Gets the inline depth of this context.
StructuredGraph	getGraph() Gets the graph being constructed.
IntrinsicContext	getIntrinsic() Gets the intrinsic of the current parsing context or null if not parsing an intrinsic.
CallTargetNode.InvokeKind	getInvokeKind() Gets the kind of invocation currently being parsed.
JavaType	getInvokeReturnType() Gets the return type of the invocation currently being parsed.
MetaAccessProvider	getMetaAccess()
ResolvedJavaMethod	getMethod() Gets the method being parsed by this context.
GraphBuilderContext	getParent() Gets the parsing context for the method that inlines the method being parsed by this context.
StampProvider	getStampProvider()
void	handleReplacedInvoke(CallTargetNode.InvokeKind invokeKind, ResolvedJavaMethod targetMethod, ValueNode[] args, boolean forceInlineEverything) Handles an invocation that a plugin determines can replace the original invocation (i.e., the one for which the plugin was applied).
void	intrinsify(ResolvedJavaMethod targetMethod, ResolvedJavaMethod substitute, ValueNode[] args) Intrinsifies an invocation of a given method by inlining the bytecodes of a given substitution method.
boolean	parsingIntrinsic() Determines if this parsing context is within the bytecode of an intrinsic or a method inlined by an intrinsic.
void	push(Kind kind, ValueNode value) Pushes a given value to the frame state stack using an explicit kind.
<T extends ValueNode> T	recursiveAppend(T v) Adds the given node to the graph and also adds recursively all referenced inputs.
void	setStateAfter(StateSplit sideEffect) Creates a snap shot of the current frame state with the BCI of the instruction after the one currently being parsed and assigns it to a given side effect node.
String	toString()
private <T extends ValueNode> void	updateLastInstruction(T v)

Methods inherited from class java.lang.Object

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

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

add, addPush, getAssumptions, getInvokeReturnStamp, getNonIntrinsicAncestor, nullCheckedValue

Methods inherited from interface com.oracle.graal.graphbuilderconf.InvocationPlugin.Receiver

isConstant

Field Detail

metaAccess

private final MetaAccessProvider metaAccess

constantReflection

private final ConstantReflectionProvider constantReflection

stampProvider

private final StampProvider stampProvider

graph

private final StructuredGraph graph

method

private final ResolvedJavaMethod method

invokeBci

private final int invokeBci

lastInstr

private FixedWithNextNode lastInstr

arguments

private ValueNode[] arguments

returnValue

private ValueNode returnValue

Constructor Detail

IntrinsicGraphBuilder

public IntrinsicGraphBuilder(MetaAccessProvider metaAccess,
                             ConstantReflectionProvider constantReflection,
                             StampProvider stampProvider,
                             ResolvedJavaMethod method,
                             int invokeBci)

Method Detail

updateLastInstruction

private <T extends ValueNode> void updateLastInstruction(T v)

append

public <T extends ValueNode> T append(T v)

Description copied from interface: GraphBuilderContext

Raw operation for adding a node to the graph when neither GraphBuilderContext.add(T) nor GraphBuilderContext.addPush(Kind, ValueNode) can be used.

Specified by:

append in interface GraphBuilderContext

Returns:

either the node added or an equivalent node

recursiveAppend

public <T extends ValueNode> T recursiveAppend(T v)

Description copied from interface: GraphBuilderContext

Adds the given node to the graph and also adds recursively all referenced inputs.

Specified by:

recursiveAppend in interface GraphBuilderContext

Parameters:

v - the node to be added to the graph

Returns:

either the node added or an equivalent node

push

public void push(Kind kind,
                 ValueNode value)

Description copied from interface: GraphBuilderContext

Pushes a given value to the frame state stack using an explicit kind. This should be used when value.getKind() is different from the kind that the bytecode instruction currently being parsed pushes to the stack.

Specified by:

push in interface GraphBuilderContext

Parameters:

kind - the kind to use when type checking this operation

value - the value to push to the stack. The value must already have been appended.

handleReplacedInvoke

public void handleReplacedInvoke(CallTargetNode.InvokeKind invokeKind,
                                 ResolvedJavaMethod targetMethod,
                                 ValueNode[] args,
                                 boolean forceInlineEverything)

Description copied from interface: GraphBuilderContext

Handles an invocation that a plugin determines can replace the original invocation (i.e., the one for which the plugin was applied). This applies all standard graph builder processing to the replaced invocation including applying any relevant plugins.

Specified by:

handleReplacedInvoke in interface GraphBuilderContext

Parameters:

invokeKind - the kind of the replacement invocation

targetMethod - the target of the replacement invocation

args - the arguments to the replacement invocation

forceInlineEverything - specifies if all invocations encountered in the scope of handling the replaced invoke are to be force inlined

getStampProvider

public StampProvider getStampProvider()

Specified by:

getStampProvider in interface GraphBuilderContext

getMetaAccess

public MetaAccessProvider getMetaAccess()

Specified by:

getMetaAccess in interface GraphBuilderContext

getConstantReflection

public ConstantReflectionProvider getConstantReflection()

Specified by:

getConstantReflection in interface GraphBuilderContext

getGraph

public StructuredGraph getGraph()

Description copied from interface: GraphBuilderContext

Gets the graph being constructed.

Specified by:

getGraph in interface GraphBuilderContext

setStateAfter

public void setStateAfter(StateSplit sideEffect)

Description copied from interface: GraphBuilderContext

Creates a snap shot of the current frame state with the BCI of the instruction after the one currently being parsed and assigns it to a given side effect node.

Specified by:

setStateAfter in interface GraphBuilderContext

Parameters:

sideEffect - a side effect node just appended to the graph

getParent

public GraphBuilderContext getParent()

Description copied from interface: GraphBuilderContext

Gets the parsing context for the method that inlines the method being parsed by this context.

Specified by:

getParent in interface GraphBuilderContext

getMethod

public ResolvedJavaMethod getMethod()

Description copied from interface: GraphBuilderContext

Gets the method being parsed by this context.

Specified by:

getMethod in interface GraphBuilderContext

bci

public int bci()

Description copied from interface: GraphBuilderContext

Gets the index of the bytecode instruction currently being parsed.

Specified by:

bci in interface GraphBuilderContext

getInvokeKind

public CallTargetNode.InvokeKind getInvokeKind()

Description copied from interface: GraphBuilderContext

Gets the kind of invocation currently being parsed.

Specified by:

getInvokeKind in interface GraphBuilderContext

getInvokeReturnType

public JavaType getInvokeReturnType()

Description copied from interface: GraphBuilderContext

Gets the return type of the invocation currently being parsed.

Specified by:

getInvokeReturnType in interface GraphBuilderContext

getDepth

public int getDepth()

Description copied from interface: GraphBuilderContext

Gets the inline depth of this context. A return value of 0 implies that this is the context for the parse root.

Specified by:

getDepth in interface GraphBuilderContext

parsingIntrinsic

public boolean parsingIntrinsic()

Description copied from interface: GraphBuilderContext

Determines if this parsing context is within the bytecode of an intrinsic or a method inlined by an intrinsic.

Specified by:

parsingIntrinsic in interface GraphBuilderContext

getIntrinsic

public IntrinsicContext getIntrinsic()

Description copied from interface: GraphBuilderContext

Gets the intrinsic of the current parsing context or null if not parsing an intrinsic.

Specified by:

getIntrinsic in interface GraphBuilderContext

bailout

public BailoutException bailout(String string)

Specified by:

bailout in interface GraphBuilderContext

get

public ValueNode get()

Description copied from interface: InvocationPlugin.Receiver

Gets the receiver value, null checking it first if necessary.

Specified by:

get in interface InvocationPlugin.Receiver

Returns:

the receiver value with a non-null stamp

buildGraph

public StructuredGraph buildGraph(InvocationPlugin plugin)

intrinsify

public void intrinsify(ResolvedJavaMethod targetMethod,
                       ResolvedJavaMethod substitute,
                       ValueNode[] args)

Description copied from interface: GraphBuilderContext

Intrinsifies an invocation of a given method by inlining the bytecodes of a given substitution method.

Specified by:

intrinsify in interface GraphBuilderContext

Parameters:

targetMethod - the method being intrinsified

substitute - the intrinsic implementation

args - the arguments with which to inline the invocation

toString

public String toString()

Overrides:

toString in class Object