com.oracle.graal.pointsto.phases

Class InlineBeforeAnalysisPolicy<S extends InlineBeforeAnalysisPolicy.Scope>

java.lang.Object

com.oracle.graal.pointsto.phases.InlineBeforeAnalysisPolicy<S>

public class InlineBeforeAnalysisPolicy<S extends InlineBeforeAnalysisPolicy.Scope>
extends Object

Provides the policy which methods are inlined by InlineBeforeAnalysis. If InlineBeforeAnalysisPolicy.shouldInlineInvoke(org.graalvm.compiler.nodes.graphbuilderconf.GraphBuilderContext, ResolvedJavaMethod, org.graalvm.compiler.nodes.ValueNode[]) returns true for an invocation, the graph decoding goes into callees and starts decoding. A new scope is opened for each callee so that the policy implementation can track each inlined method. As long as InlineBeforeAnalysisPolicy.processNode(com.oracle.graal.pointsto.meta.AnalysisMetaAccess, ResolvedJavaMethod, S, org.graalvm.compiler.graph.Node) returns true, inlining is continued. If InlineBeforeAnalysisPolicy.processNode(com.oracle.graal.pointsto.meta.AnalysisMetaAccess, ResolvedJavaMethod, S, org.graalvm.compiler.graph.Node) returns false, the inlining is aborted. If InlineBeforeAnalysisPolicy.processNode(com.oracle.graal.pointsto.meta.AnalysisMetaAccess, ResolvedJavaMethod, S, org.graalvm.compiler.graph.Node) returns true for all nodes of the callee, the inlining is committed.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	InlineBeforeAnalysisPolicy.Scope A place for policy implementations to store per-callee information like the number of nodes seen in the callee.

Field Summary

Fields

Modifier and Type	Field and Description
static InlineBeforeAnalysisPolicy<InlineBeforeAnalysisPolicy.Scope>	NO_INLINING

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	InlineBeforeAnalysisPolicy()

Method Summary

Modifier and Type	Method and Description
protected void	abortCalleeScope(S outer, S callee)
protected void	commitCalleeScope(S outer, S callee)
protected S	createTopScope()
protected S	openCalleeScope(S outer)
protected boolean	processNode(AnalysisMetaAccess metaAccess, ResolvedJavaMethod method, S scope, org.graalvm.compiler.graph.Node node) Invoked for each node of the callee during graph decoding.
protected boolean	shouldInlineInvoke(org.graalvm.compiler.nodes.graphbuilderconf.GraphBuilderContext b, ResolvedJavaMethod method, org.graalvm.compiler.nodes.ValueNode[] args)

Methods inherited from class java.lang.Object

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

Field Detail

NO_INLINING

public static final InlineBeforeAnalysisPolicy<InlineBeforeAnalysisPolicy.Scope> NO_INLINING

Constructor Detail

InlineBeforeAnalysisPolicy

protected InlineBeforeAnalysisPolicy()

Method Detail

shouldInlineInvoke

protected boolean shouldInlineInvoke(org.graalvm.compiler.nodes.graphbuilderconf.GraphBuilderContext b,
                                     ResolvedJavaMethod method,
                                     org.graalvm.compiler.nodes.ValueNode[] args)

createTopScope

protected S createTopScope()

openCalleeScope

protected S openCalleeScope(S outer)

commitCalleeScope

protected void commitCalleeScope(S outer,
                                 S callee)

abortCalleeScope

protected void abortCalleeScope(S outer,
                                S callee)

processNode

protected boolean processNode(AnalysisMetaAccess metaAccess,
                              ResolvedJavaMethod method,
                              S scope,
                              org.graalvm.compiler.graph.Node node)

Invoked for each node of the callee during graph decoding. If the method returns true, inlining is continued. If the method returns false, inlining is aborted. This method is called during graph decoding. The provided node itself is already fully decoded and canonicalized, i.e., all properties and predecessors of the node are available. But usages have not been decoded yet, so the implementation must not base any decision on the current list of usages. The list of usages is often but not always empty.