com.oracle.graal.nodes

Class GraphDecoder

java.lang.Object

com.oracle.graal.nodes.GraphDecoder

Direct Known Subclasses:

SimplifyingGraphDecoder

public class GraphDecoder
extends Object

Decoder for encoded graphs produced by GraphEncoder. Support for loop explosion during decoding is built into this class, because it requires many interactions with the decoding process. Subclasses can provide canonicalization and simplification of nodes during decoding, as well as method inlining during decoding.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	GraphDecoder.InvokeData Additional information encoded for Invoke nodes to allow method inlining without decoding the frame state and successors beforehand.
static class	GraphDecoder.LoopExplosionKind
protected static class	GraphDecoder.LoopExplosionState
protected static class	GraphDecoder.LoopScope Decoding state maintained for each loop in the encoded graph.
protected class	GraphDecoder.MethodScope Decoding state maintained for each encoded graph.

Field Summary

Fields

Modifier and Type	Field and Description
protected Architecture	architecture

Constructor Summary

Constructors

Constructor and Description
GraphDecoder(Architecture architecture)

Method Summary

Modifier and Type	Method and Description
protected Node	addFloatingNode(GraphDecoder.MethodScope methodScope, Node node)
private static void	addLoopExits(StructuredGraph currentGraph, LoopBeginNode loopBegin, LoopBeginNode inner, IdentityHashMap<LoopBeginNode,List<LoopBeginNode>> innerLoopsMap, NodeBitMap visited)
protected boolean	allowLazyPhis()
private static LoopBeginNode	appendLoopBegin(StructuredGraph currentGraph, FixedWithNextNode fixedWithNext)
protected void	checkLoopExplosionIteration(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope) Hook for subclasses.
protected void	cleanupGraph(GraphDecoder.MethodScope methodScope, Graph.Mark start) Removes unnecessary nodes from the graph after decoding.
protected void	decode(GraphDecoder.MethodScope methodScope, FixedWithNextNode startNode)
void	decode(StructuredGraph graph, EncodedGraph encodedGraph)
protected Node	decodeFloatingNode(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope, int nodeOrderId) Decodes a non-fixed node, but does not do any post-processing and does not register it.
protected void	detectLoops(StructuredGraph currentGraph, FixedNode startInstruction)
protected Node	ensureNodeCreated(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope, int nodeOrderId)
protected void	handleFixedNode(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope, int nodeOrderId, FixedNode node) Hook for subclasses.
protected Node	handleFloatingNodeAfterAdd(GraphDecoder.MethodScope methodScope, 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 methodScope, 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 methodScope, GraphDecoder.LoopScope loopScope, GraphDecoder.InvokeData invokeData) Invoke nodes do not have the CallTargetNode, FrameState, and successors encoded.
protected void	handleLoopExplosionBegin(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope, LoopBeginNode loopBegin)
protected FixedNode	handleLoopExplosionEnd(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope, LoopEndNode loopEnd)
protected void	handleLoopExplosionProxyNodes(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope, LoopExitNode loopExit, int loopExitOrderId)
protected void	handlePhiFunctions(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope phiInputScope, GraphDecoder.LoopScope phiNodeScope, AbstractEndNode end, AbstractMergeNode merge)
protected void	handleProxyNodes(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope, LoopExitNode loopExit)
private static void	insertLoopEnds(StructuredGraph currentGraph, FixedNode startInstruction)
private static void	insertLoopExits(StructuredGraph currentGraph, LoopBeginNode loopBegin, IdentityHashMap<LoopBeginNode,List<LoopBeginNode>> innerLoopsMap)
protected Node	instantiateNode(GraphDecoder.MethodScope methodScope, int nodeOrderId)
protected Node	lookupNode(GraphDecoder.LoopScope loopScope, int nodeOrderId)
protected void	makeInputNodes(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope, Node node, boolean updateUsages) Process the input edges of a node.
protected FixedNode	makeStubNode(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope, int nodeOrderId)
protected void	makeSuccessorStubs(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope, Node node, boolean updatePredecessors) Process successor edges of a node.
protected GraphDecoder.LoopScope	processNextNode(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope)
private static void	propagateCreatedNodes(GraphDecoder.LoopScope loopScope)
private GraphDecoder.InvokeData	readInvokeData(GraphDecoder.MethodScope methodScope, int invokeOrderId, Invoke invoke)
protected Object	readObject(GraphDecoder.MethodScope methodScope)
protected int	readOrderId(GraphDecoder.MethodScope methodScope)
protected void	readProperties(GraphDecoder.MethodScope methodScope, Node node)
protected void	registerNode(GraphDecoder.LoopScope loopScope, int nodeOrderId, Node node, boolean allowOverwrite, boolean allowNull)
protected static boolean	skipEdge(Node node, Edges edges, int index, boolean direct, boolean decode) Returns false for Edges that are not necessary in the encoded graph because they are reconstructed using other sources of information.
protected boolean	verifyEdges(GraphDecoder.MethodScope methodScope)

Methods inherited from class java.lang.Object

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

Field Detail

architecture

protected final Architecture architecture

Constructor Detail

GraphDecoder

public GraphDecoder(Architecture architecture)

Method Detail

decode

public final void decode(StructuredGraph graph,
                         EncodedGraph encodedGraph)

decode

protected final void decode(GraphDecoder.MethodScope methodScope,
                            FixedWithNextNode startNode)

propagateCreatedNodes

private static void propagateCreatedNodes(GraphDecoder.LoopScope loopScope)

processNextNode

protected GraphDecoder.LoopScope processNextNode(GraphDecoder.MethodScope methodScope,
                                                 GraphDecoder.LoopScope loopScope)

readInvokeData

private GraphDecoder.InvokeData readInvokeData(GraphDecoder.MethodScope methodScope,
                                               int invokeOrderId,
                                               Invoke invoke)

handleInvoke

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

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.

handleLoopExplosionBegin

protected void handleLoopExplosionBegin(GraphDecoder.MethodScope methodScope,
                                        GraphDecoder.LoopScope loopScope,
                                        LoopBeginNode loopBegin)

checkLoopExplosionIteration

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

Hook for subclasses.

Parameters:

methodScope - The current method.

loopScope - The current loop.

handleLoopExplosionEnd

protected FixedNode handleLoopExplosionEnd(GraphDecoder.MethodScope methodScope,
                                           GraphDecoder.LoopScope loopScope,
                                           LoopEndNode loopEnd)

handleFixedNode

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

Hook for subclasses.

Parameters:

methodScope - The current method.

loopScope - The current loop.

nodeOrderId - The orderId of the node.

node - The node to be simplified.

handleProxyNodes

protected void handleProxyNodes(GraphDecoder.MethodScope methodScope,
                                GraphDecoder.LoopScope loopScope,
                                LoopExitNode loopExit)

handleLoopExplosionProxyNodes

protected void handleLoopExplosionProxyNodes(GraphDecoder.MethodScope methodScope,
                                             GraphDecoder.LoopScope loopScope,
                                             LoopExitNode loopExit,
                                             int loopExitOrderId)

handlePhiFunctions

protected void handlePhiFunctions(GraphDecoder.MethodScope methodScope,
                                  GraphDecoder.LoopScope phiInputScope,
                                  GraphDecoder.LoopScope phiNodeScope,
                                  AbstractEndNode end,
                                  AbstractMergeNode merge)

allowLazyPhis

protected boolean allowLazyPhis()

instantiateNode

protected Node instantiateNode(GraphDecoder.MethodScope methodScope,
                               int nodeOrderId)

readProperties

protected void readProperties(GraphDecoder.MethodScope methodScope,
                              Node node)

makeInputNodes

protected void makeInputNodes(GraphDecoder.MethodScope methodScope,
                              GraphDecoder.LoopScope loopScope,
                              Node node,
                              boolean updateUsages)

Process the input edges of a node. Input nodes that have not yet been created must be non-fixed nodes (because fixed nodes are processed in reverse postorder. Such non-fixed nodes are created on demand (recursively since they can themselves reference not yet created nodes).

ensureNodeCreated

protected Node ensureNodeCreated(GraphDecoder.MethodScope methodScope,
                                 GraphDecoder.LoopScope loopScope,
                                 int nodeOrderId)

addFloatingNode

protected Node addFloatingNode(GraphDecoder.MethodScope methodScope,
                               Node node)

decodeFloatingNode

protected Node decodeFloatingNode(GraphDecoder.MethodScope methodScope,
                                  GraphDecoder.LoopScope loopScope,
                                  int nodeOrderId)

Decodes a non-fixed node, but does not do any post-processing and does not register it.

handleFloatingNodeBeforeAdd

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

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

Parameters:

methodScope - The current method.

loopScope - The current loop.

node - The node to be canonicalized.

Returns:

The replacement for the node, or the node itself.

handleFloatingNodeAfterAdd

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

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

Parameters:

methodScope - The current method.

loopScope - The current loop.

node - The node to be canonicalized.

Returns:

The replacement for the node, or the node itself.

makeSuccessorStubs

protected void makeSuccessorStubs(GraphDecoder.MethodScope methodScope,
                                  GraphDecoder.LoopScope loopScope,
                                  Node node,
                                  boolean updatePredecessors)

Process successor edges of a node. We create the successor nodes so that we can fill the successor list, but no properties or edges are loaded yet. That is done when the successor is on top of the worklist in processNextNode(com.oracle.graal.nodes.GraphDecoder.MethodScope, com.oracle.graal.nodes.GraphDecoder.LoopScope).

makeStubNode

protected FixedNode makeStubNode(GraphDecoder.MethodScope methodScope,
                                 GraphDecoder.LoopScope loopScope,
                                 int nodeOrderId)

skipEdge

protected static boolean skipEdge(Node node,
                                  Edges edges,
                                  int index,
                                  boolean direct,
                                  boolean decode)

Returns false for Edges that are not necessary in the encoded graph because they are reconstructed using other sources of information.

lookupNode

protected Node lookupNode(GraphDecoder.LoopScope loopScope,
                          int nodeOrderId)

registerNode

protected void registerNode(GraphDecoder.LoopScope loopScope,
                            int nodeOrderId,
                            Node node,
                            boolean allowOverwrite,
                            boolean allowNull)

readOrderId

protected int readOrderId(GraphDecoder.MethodScope methodScope)

readObject

protected Object readObject(GraphDecoder.MethodScope methodScope)

detectLoops

protected void detectLoops(StructuredGraph currentGraph,
                           FixedNode startInstruction)

appendLoopBegin

private static LoopBeginNode appendLoopBegin(StructuredGraph currentGraph,
                                             FixedWithNextNode fixedWithNext)

insertLoopEnds

private static void insertLoopEnds(StructuredGraph currentGraph,
                                   FixedNode startInstruction)

insertLoopExits

private static void insertLoopExits(StructuredGraph currentGraph,
                                    LoopBeginNode loopBegin,
                                    IdentityHashMap<LoopBeginNode,List<LoopBeginNode>> innerLoopsMap)

addLoopExits

private static void addLoopExits(StructuredGraph currentGraph,
                                 LoopBeginNode loopBegin,
                                 LoopBeginNode inner,
                                 IdentityHashMap<LoopBeginNode,List<LoopBeginNode>> innerLoopsMap,
                                 NodeBitMap visited)

cleanupGraph

protected void cleanupGraph(GraphDecoder.MethodScope methodScope,
                            Graph.Mark start)

Removes unnecessary nodes from the graph after decoding.

Parameters:

methodScope - The current method.

start - Marker for the begin of the current method in the graph.

verifyEdges

protected boolean verifyEdges(GraphDecoder.MethodScope methodScope)