org.graalvm.compiler.nodes

Class SimplifyingGraphDecoder

java.lang.Object

org.graalvm.compiler.nodes.GraphDecoder

org.graalvm.compiler.nodes.SimplifyingGraphDecoder

Direct Known Subclasses:

PEGraphDecoder

public class SimplifyingGraphDecoder
extends GraphDecoder

Graph decoder that simplifies nodes during decoding. 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
protected class	SimplifyingGraphDecoder.PECanonicalizerTool

Nested classes/interfaces inherited from class org.graalvm.compiler.nodes.GraphDecoder

GraphDecoder.InvokeData, GraphDecoder.LoopExplosionState, GraphDecoder.LoopScope, GraphDecoder.LoopScopeTrigger, GraphDecoder.MethodScope, GraphDecoder.ProxyPlaceholder

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	canonicalizeReads
protected CanonicalizerTool	canonicalizerTool
protected CoreProviders	providers

Fields inherited from class org.graalvm.compiler.nodes.GraphDecoder

architecture, debug, DUMP_DURING_FIXED_NODE_PROCESSING, graph, options

Constructor Summary

Constructors

Constructor and Description
SimplifyingGraphDecoder(Architecture architecture, StructuredGraph graph, CoreProviders providers, boolean canonicalizeReads)

Method Summary

Modifier and Type	Method and Description
protected Node	addFloatingNode(GraphDecoder.MethodScope methodScope, Node node)
protected boolean	allowLazyPhis()
protected Node	canonicalizeFixedNode(GraphDecoder.MethodScope methodScope, Node node) Canonicalizes the provided node, which was originally a FixedNode but can already be canonicalized (and therefore be a non-fixed node).
protected void	cleanupGraph(GraphDecoder.MethodScope methodScope) Removes unnecessary nodes from the graph after decoding.
protected boolean	earlyCanonicalization(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope, int nodeOrderId, FixedNode node) Hook for subclasses for early canonicalization of IfNodes and IntegerSwitchNodes.
protected void	handleFixedNode(GraphDecoder.MethodScope methodScope, GraphDecoder.LoopScope loopScope, int nodeOrderId, FixedNode node) Hook for subclasses.
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	handleMergeNode(MergeNode merge) Hook for subclasses to perform simplifications for a non-loop-header control flow merge.

Methods inherited from class org.graalvm.compiler.nodes.GraphDecoder

afterMethodScope, appendInvoke, checkLoopExplosionIteration, createInitialLoopScope, decode, decode, decode, decodeFloatingNode, ensureNodeCreated, finishInlining, getNodeClass, handleFloatingNodeAfterAdd, handleInvoke, handleLoopExplosionBegin, handleLoopExplosionEnd, handleLoopExplosionProxyNodes, handlePhiFunctions, handleProxyNodes, lookupNode, makeFixedNodeInputs, makeFloatingNodeInputs, makeStubNode, makeSuccessorStubs, processNextNode, readInvokeData, readObject, readOrderId, readProperties, registerNode, skipDirectEdge, verifyEdges

Methods inherited from class java.lang.Object

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

Field Detail

providers

protected final CoreProviders providers

canonicalizeReads

protected final boolean canonicalizeReads

canonicalizerTool

protected final CanonicalizerTool canonicalizerTool

Constructor Detail

SimplifyingGraphDecoder

public SimplifyingGraphDecoder(Architecture architecture,
                               StructuredGraph graph,
                               CoreProviders providers,
                               boolean canonicalizeReads)

Method Detail

cleanupGraph

protected void cleanupGraph(GraphDecoder.MethodScope methodScope)

Description copied from class: GraphDecoder

Removes unnecessary nodes from the graph after decoding.

Overrides:

cleanupGraph in class GraphDecoder

Parameters:

methodScope - The current method.

allowLazyPhis

protected boolean allowLazyPhis()

Overrides:

allowLazyPhis in class GraphDecoder

handleMergeNode

protected void handleMergeNode(MergeNode merge)

Description copied from class: GraphDecoder

Hook for subclasses to perform simplifications for a non-loop-header control flow merge.

Overrides:

handleMergeNode in class GraphDecoder

Parameters:

merge - The control flow merge.

handleFixedNode

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

Description copied from class: GraphDecoder

Hook for subclasses.

Overrides:

handleFixedNode in class GraphDecoder

Parameters:

methodScope - The current method.

loopScope - The current loop.

nodeOrderId - The orderId of the node.

node - The node to be simplified.

canonicalizeFixedNode

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

Canonicalizes the provided node, which was originally a FixedNode but can already be canonicalized (and therefore be a non-fixed node).

Parameters:

methodScope - The current method.

node - The node to be canonicalized.

earlyCanonicalization

protected boolean earlyCanonicalization(GraphDecoder.MethodScope methodScope,
                                        GraphDecoder.LoopScope loopScope,
                                        int nodeOrderId,
                                        FixedNode node)

Description copied from class: GraphDecoder

Hook for subclasses for early canonicalization of IfNodes and IntegerSwitchNodes. "Early" means that this is called before successor stubs creation. Therefore, all successors are null a this point, and calling any method using them without prior manual initialization will fail.

Overrides:

earlyCanonicalization in class GraphDecoder

Parameters:

methodScope - The current method.

loopScope - The current loop.

nodeOrderId - The orderId of the node.

node - The node to be simplified.

Returns:

true if canonicalization happened, false otherwise.

handleFloatingNodeBeforeAdd

protected Node handleFloatingNodeBeforeAdd(GraphDecoder.MethodScope methodScope,
                                           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 GraphDecoder

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.

addFloatingNode

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

Overrides:

addFloatingNode in class GraphDecoder