com.oracle.svm.hosted.phases

Class ExperimentalNativeImageInlineDuringParsingPlugin

java.lang.Object

com.oracle.svm.hosted.phases.ExperimentalNativeImageInlineDuringParsingPlugin

All Implemented Interfaces:

org.graalvm.compiler.nodes.graphbuilderconf.GraphBuilderPlugin, org.graalvm.compiler.nodes.graphbuilderconf.InlineInvokePlugin

public class ExperimentalNativeImageInlineDuringParsingPlugin
extends Object
implements org.graalvm.compiler.nodes.graphbuilderconf.InlineInvokePlugin

This plugin analyses the graph for the resolved Java method and specifies what should to be inlined during graph parsing before the static analysis. Plugin is searching for the methods that folds to a constant.

Usage: To use this plugin, add option -H:+InlineBeforeAnalysis to the native-image.

Structure of the ExperimentalNativeImageInlineDuringParsingPlugin

• InvocationResultInline -- stores inline data for the currently parsed invoke (resolved Java method).
• CallSite -- class that stores information about caller method. This information are used in InvocationResultInline and saved in the dataInline map from where we read information after analysis.
• TrivialMethodDetector -- class that analyses the callee graph and detects if it should be inlined or not.
• MethodNodeTrackingAndInline -- innerclass of the TrivialMethodDetector that collects information during graph construction to filter non-trivial methods and inline trivial invokes (callees children). It is searching for the method that folds to constant, so an unlimited amount of constants, parameter nodes and load filed nodes is allowed in the callees graph. On the other hand, we don't want to inline if the instance node, array node, store filed node is detected, and also we don't allow call target nodes and invokes that don't fold to constant. During graph analysis, this class also inlines trivial invokes (callees children).

The results of an inlining decision are placed in the ExperimentalNativeImageInlineDuringParsingSupport.inlineData.

Example: Assume that we have a graph with methods R, A, B, C, where R is the root method, A calls B, B calls C, and C returns the constant 1.*

       R
      /
     A
    /
   B
  /
 C   <-- only returns 1
 

We first analyze A and decide whether to enter the method for further analysis or not. In first case, we proceed and analyze the nodes deeper in the graph with MethodNodeTrackingAndInline. We repeat the procedure with B and C, and when the analysis of method C is complete, we decide to inline it because it only returns a constant value. After that, B folds to constant, so we inline this method too. Finally, for the same reason, we decide to inline A into R. This code is for testing purposes only and it will be replaced with a more elegant version.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ExperimentalNativeImageInlineDuringParsingPlugin.InvocationResultInline
static class	ExperimentalNativeImageInlineDuringParsingPlugin.Options

Nested classes/interfaces inherited from interface org.graalvm.compiler.nodes.graphbuilderconf.InlineInvokePlugin

org.graalvm.compiler.nodes.graphbuilderconf.InlineInvokePlugin.InlineInfo

Constructor Summary

Constructors

Constructor and Description
ExperimentalNativeImageInlineDuringParsingPlugin(boolean analysis, com.oracle.graal.pointsto.meta.HostedProviders providers)

Method Summary

Modifier and Type	Method and Description
static boolean	isRecursiveCall(List<org.graalvm.collections.Pair<jdk.vm.ci.meta.ResolvedJavaMethod,Integer>> callingContext, jdk.vm.ci.meta.ResolvedJavaMethod callee)
org.graalvm.compiler.nodes.graphbuilderconf.InlineInvokePlugin.InlineInfo	shouldInlineInvoke(org.graalvm.compiler.nodes.graphbuilderconf.GraphBuilderContext b, jdk.vm.ci.meta.ResolvedJavaMethod callee, org.graalvm.compiler.nodes.ValueNode[] args)
static ExperimentalNativeImageInlineDuringParsingSupport	support()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.graalvm.compiler.nodes.graphbuilderconf.InlineInvokePlugin

notifyAfterInline, notifyBeforeInline, notifyNotInlined

Constructor Detail

ExperimentalNativeImageInlineDuringParsingPlugin

public ExperimentalNativeImageInlineDuringParsingPlugin(boolean analysis,
                                                        com.oracle.graal.pointsto.meta.HostedProviders providers)

Method Detail

shouldInlineInvoke

public org.graalvm.compiler.nodes.graphbuilderconf.InlineInvokePlugin.InlineInfo shouldInlineInvoke(org.graalvm.compiler.nodes.graphbuilderconf.GraphBuilderContext b,
                                                                                                    jdk.vm.ci.meta.ResolvedJavaMethod callee,
                                                                                                    org.graalvm.compiler.nodes.ValueNode[] args)

Specified by:

shouldInlineInvoke in interface org.graalvm.compiler.nodes.graphbuilderconf.InlineInvokePlugin

isRecursiveCall

public static boolean isRecursiveCall(List<org.graalvm.collections.Pair<jdk.vm.ci.meta.ResolvedJavaMethod,Integer>> callingContext,
                                      jdk.vm.ci.meta.ResolvedJavaMethod callee)

support

public static ExperimentalNativeImageInlineDuringParsingSupport support()