com.oracle.graal.replacements

Class PEGraphDecoder

java.lang.Object

com.oracle.graal.nodes.GraphDecoder

com.oracle.graal.nodes.SimplifyingGraphDecoder

com.oracle.graal.replacements.PEGraphDecoder

Direct Known Subclasses:

CachingPEGraphDecoder

public abstract class PEGraphDecoder
extends SimplifyingGraphDecoder

A graph decoder that performs partial evaluation, i.e., that performs method inlining and canonicalization/simplification of nodes during decoding. Inlining and loop explosion are configured via the plugin mechanism also used by the GraphBuilderPhase. However, not all callback methods defined in GraphBuilderContext are available since decoding is more limited than graph building. The standard node canonicalization interface is used to canonicalize nodes during decoding. Additionally, branches and switches with constant conditions are simplified.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
(package private) static class	PEGraphDecoder.ExceptionPlaceholderNode
static class	PEGraphDecoder.Options
protected class	PEGraphDecoder.PEAppendGraphBuilderContext
protected class	PEGraphDecoder.PEMethodScope
protected class	PEGraphDecoder.PENonAppendGraphBuilderContext

Nested classes/interfaces inherited from class com.oracle.graal.nodes.SimplifyingGraphDecoder

SimplifyingGraphDecoder.PECanonicalizerTool

Nested classes/interfaces inherited from class com.oracle.graal.nodes.GraphDecoder

GraphDecoder.InvokeData, GraphDecoder.LoopExplosionKind, GraphDecoder.LoopExplosionState, GraphDecoder.LoopScope, GraphDecoder.MethodScope

Field Summary

Fields inherited from class com.oracle.graal.nodes.SimplifyingGraphDecoder

canonicalizeReads, constantReflection, metaAccess, stampProvider

Fields inherited from class com.oracle.graal.nodes.GraphDecoder

architecture

Constructor Summary

Constructors

Constructor and Description
PEGraphDecoder(MetaAccessProvider metaAccess, ConstantReflectionProvider constantReflection, StampProvider stampProvider, Architecture architecture)

Method Summary

Modifier and Type	Method and Description
protected void	checkLoopExplosionIteration(GraphDecoder.MethodScope s, GraphDecoder.LoopScope loopScope) Hook for subclasses.
void	decode(StructuredGraph targetGraph, ResolvedJavaMethod method, LoopExplosionPlugin loopExplosionPlugin, InvocationPlugins invocationPlugins, InlineInvokePlugin[] inlineInvokePlugins, ParameterPlugin parameterPlugin)
private static void	deleteInvoke(Invoke invoke)
protected boolean	doInline(PEGraphDecoder.PEMethodScope methodScope, GraphDecoder.LoopScope loopScope, GraphDecoder.InvokeData invokeData, InlineInvokePlugin.InlineInfo inlineInfo, ValueNode[] arguments)
protected void	ensureExceptionStateDecoded(PEGraphDecoder.PEMethodScope methodScope)
protected void	ensureOuterStateDecoded(PEGraphDecoder.PEMethodScope methodScope)
protected void	ensureStateAfterDecoded(PEGraphDecoder.PEMethodScope methodScope)
protected void	handleFixedNode(GraphDecoder.MethodScope s, GraphDecoder.LoopScope loopScope, int nodeOrderId, FixedNode node) Hook for subclasses.
protected Node	handleFloatingNodeAfterAdd(GraphDecoder.MethodScope s, GraphDecoder.LoopScope loopScope, Node node) Hook for subclasses to process a non-fixed node after it is added to the graph.
protected Node	handleFloatingNodeBeforeAdd(GraphDecoder.MethodScope s, GraphDecoder.LoopScope loopScope, Node node) Hook for subclasses to process a non-fixed node before it is added to the graph.
protected void	handleInvoke(GraphDecoder.MethodScope s, GraphDecoder.LoopScope loopScope, GraphDecoder.InvokeData invokeData) Invoke nodes do not have the CallTargetNode, FrameState, and successors encoded.
protected abstract EncodedGraph	lookupEncodedGraph(ResolvedJavaMethod method, boolean isIntrinsic)
protected static GraphDecoder.LoopExplosionKind	loopExplosionKind(ResolvedJavaMethod method, LoopExplosionPlugin loopExplosionPlugin)
FixedNode	nodeAfterInvoke(PEGraphDecoder.PEMethodScope methodScope, GraphDecoder.LoopScope loopScope, GraphDecoder.InvokeData invokeData, AbstractBeginNode lastBlock)
private static RuntimeException	tooDeepInlining(PEGraphDecoder.PEMethodScope methodScope)
protected boolean	tryInline(PEGraphDecoder.PEMethodScope methodScope, GraphDecoder.LoopScope loopScope, GraphDecoder.InvokeData invokeData, MethodCallTargetNode callTarget)
protected boolean	tryInvocationPlugin(PEGraphDecoder.PEMethodScope methodScope, GraphDecoder.LoopScope loopScope, GraphDecoder.InvokeData invokeData, MethodCallTargetNode callTarget)
protected boolean	trySimplifyInvoke(PEGraphDecoder.PEMethodScope methodScope, GraphDecoder.LoopScope loopScope, GraphDecoder.InvokeData invokeData, MethodCallTargetNode callTarget)

Methods inherited from class com.oracle.graal.nodes.SimplifyingGraphDecoder

addFloatingNode, allowLazyPhis, cleanupGraph

Methods inherited from class com.oracle.graal.nodes.GraphDecoder

decode, decode, decodeFloatingNode, detectLoops, ensureNodeCreated, handleLoopExplosionBegin, handleLoopExplosionEnd, handleLoopExplosionProxyNodes, handlePhiFunctions, handleProxyNodes, instantiateNode, lookupNode, makeInputNodes, makeStubNode, makeSuccessorStubs, processNextNode, readObject, readOrderId, readProperties, registerNode, skipEdge, verifyEdges

Methods inherited from class java.lang.Object

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

Constructor Detail

PEGraphDecoder

public PEGraphDecoder(MetaAccessProvider metaAccess,
                      ConstantReflectionProvider constantReflection,
                      StampProvider stampProvider,
                      Architecture architecture)

Method Detail

loopExplosionKind

protected static GraphDecoder.LoopExplosionKind loopExplosionKind(ResolvedJavaMethod method,
                                                                  LoopExplosionPlugin loopExplosionPlugin)

decode

public void decode(StructuredGraph targetGraph,
                   ResolvedJavaMethod method,
                   LoopExplosionPlugin loopExplosionPlugin,
                   InvocationPlugins invocationPlugins,
                   InlineInvokePlugin[] inlineInvokePlugins,
                   ParameterPlugin parameterPlugin)

checkLoopExplosionIteration

protected void checkLoopExplosionIteration(GraphDecoder.MethodScope s,
                                           GraphDecoder.LoopScope loopScope)

Description copied from class: GraphDecoder

Hook for subclasses.

Overrides:

checkLoopExplosionIteration in class GraphDecoder

Parameters:

s - The current method.

loopScope - The current loop.

handleInvoke

protected void handleInvoke(GraphDecoder.MethodScope s,
                            GraphDecoder.LoopScope loopScope,
                            GraphDecoder.InvokeData invokeData)

Description copied from class: GraphDecoder

Invoke nodes do not have the CallTargetNode, FrameState, and successors encoded. Instead, this information is provided separately to allow method inlining without decoding and adding them to the graph upfront. For non-inlined methods, this method restores the normal state. Subclasses can override it to perform method inlining.

Overrides:

handleInvoke in class GraphDecoder

trySimplifyInvoke

protected boolean trySimplifyInvoke(PEGraphDecoder.PEMethodScope methodScope,
                                    GraphDecoder.LoopScope loopScope,
                                    GraphDecoder.InvokeData invokeData,
                                    MethodCallTargetNode callTarget)

tryInvocationPlugin

protected boolean tryInvocationPlugin(PEGraphDecoder.PEMethodScope methodScope,
                                      GraphDecoder.LoopScope loopScope,
                                      GraphDecoder.InvokeData invokeData,
                                      MethodCallTargetNode callTarget)

tryInline

protected boolean tryInline(PEGraphDecoder.PEMethodScope methodScope,
                            GraphDecoder.LoopScope loopScope,
                            GraphDecoder.InvokeData invokeData,
                            MethodCallTargetNode callTarget)

doInline

protected boolean doInline(PEGraphDecoder.PEMethodScope methodScope,
                           GraphDecoder.LoopScope loopScope,
                           GraphDecoder.InvokeData invokeData,
                           InlineInvokePlugin.InlineInfo inlineInfo,
                           ValueNode[] arguments)

tooDeepInlining

private static RuntimeException tooDeepInlining(PEGraphDecoder.PEMethodScope methodScope)

nodeAfterInvoke

public FixedNode nodeAfterInvoke(PEGraphDecoder.PEMethodScope methodScope,
                                 GraphDecoder.LoopScope loopScope,
                                 GraphDecoder.InvokeData invokeData,
                                 AbstractBeginNode lastBlock)

deleteInvoke

private static void deleteInvoke(Invoke invoke)

lookupEncodedGraph

protected abstract EncodedGraph lookupEncodedGraph(ResolvedJavaMethod method,
                                                   boolean isIntrinsic)

handleFixedNode

protected void handleFixedNode(GraphDecoder.MethodScope s,
                               GraphDecoder.LoopScope loopScope,
                               int nodeOrderId,
                               FixedNode node)

Description copied from class: GraphDecoder

Hook for subclasses.

Overrides:

handleFixedNode in class SimplifyingGraphDecoder

Parameters:

s - The current method.

loopScope - The current loop.

nodeOrderId - The orderId of the node.

node - The node to be simplified.

handleFloatingNodeBeforeAdd

protected Node handleFloatingNodeBeforeAdd(GraphDecoder.MethodScope s,
                                           GraphDecoder.LoopScope loopScope,
                                           Node node)

Description copied from class: GraphDecoder

Hook for subclasses to process a non-fixed node before it is added to the graph.

Overrides:

handleFloatingNodeBeforeAdd in class SimplifyingGraphDecoder

Parameters:

s - The current method.

loopScope - The current loop.

node - The node to be canonicalized.

Returns:

The replacement for the node, or the node itself.

ensureOuterStateDecoded

protected void ensureOuterStateDecoded(PEGraphDecoder.PEMethodScope methodScope)

ensureStateAfterDecoded

protected void ensureStateAfterDecoded(PEGraphDecoder.PEMethodScope methodScope)

ensureExceptionStateDecoded

protected void ensureExceptionStateDecoded(PEGraphDecoder.PEMethodScope methodScope)

handleFloatingNodeAfterAdd

protected Node handleFloatingNodeAfterAdd(GraphDecoder.MethodScope s,
                                          GraphDecoder.LoopScope loopScope,
                                          Node node)

Description copied from class: GraphDecoder

Hook for subclasses to process a non-fixed node after it is added to the graph.

Overrides:

handleFloatingNodeAfterAdd in class GraphDecoder

Parameters:

s - The current method.

loopScope - The current loop.

node - The node to be canonicalized.

Returns:

The replacement for the node, or the node itself.