com.oracle.graal.phases.common.inlining.info

Class MultiTypeGuardInlineInfo

java.lang.Object

com.oracle.graal.phases.common.inlining.info.AbstractInlineInfo

com.oracle.graal.phases.common.inlining.info.MultiTypeGuardInlineInfo

All Implemented Interfaces:

InlineInfo

public class MultiTypeGuardInlineInfo
extends AbstractInlineInfo

Polymorphic inlining of m methods with n type checks (n ≥ m) in case that the profiling information suggests a reasonable amount of different receiver types and different methods. If an unknown type is encountered a deoptimization is triggered.

Field Summary

Fields

Modifier and Type	Field and Description
private List<jdk.internal.jvmci.meta.ResolvedJavaMethod>	concretes
private Inlineable[]	inlineableElements
private double	maximumMethodProbability
private double[]	methodProbabilities
private double	notRecordedTypeProbability
private ArrayList<jdk.internal.jvmci.meta.JavaTypeProfile.ProfiledType>	ptypes
private ArrayList<Integer>	typesToConcretes

Fields inherited from class com.oracle.graal.phases.common.inlining.info.AbstractInlineInfo

invoke

Constructor Summary

Constructors

Constructor and Description
MultiTypeGuardInlineInfo(Invoke invoke, ArrayList<jdk.internal.jvmci.meta.ResolvedJavaMethod> concretes, ArrayList<jdk.internal.jvmci.meta.JavaTypeProfile.ProfiledType> ptypes, ArrayList<Integer> typesToConcretes, double notRecordedTypeProbability)

Method Summary

Modifier and Type	Method and Description
private static boolean	assertUniqueTypes(ArrayList<jdk.internal.jvmci.meta.JavaTypeProfile.ProfiledType> ptypes)
private double[]	computeMethodProbabilities()
private boolean	createDispatchOnTypeBeforeInvoke(StructuredGraph graph, AbstractBeginNode[] successors, boolean invokeIsOnlySuccessor, StampProvider stampProvider)
private static AbstractBeginNode	createInvocationBlock(StructuredGraph graph, Invoke invoke, AbstractMergeNode returnMerge, PhiNode returnValuePhi, AbstractMergeNode exceptionMerge, PhiNode exceptionObjectPhi, boolean useForInlining)
private static AbstractBeginNode	createUnknownTypeSuccessor(StructuredGraph graph)
private void	devirtualizeWithTypeSwitch(StructuredGraph graph, CallTargetNode.InvokeKind kind, jdk.internal.jvmci.meta.ResolvedJavaMethod target, StampProvider stampProvider)
private static Invoke	duplicateInvokeForInlining(StructuredGraph graph, Invoke invoke, AbstractMergeNode exceptionMerge, PhiNode exceptionObjectPhi, boolean useForInlining)
private jdk.internal.jvmci.meta.ResolvedJavaType	getLeastCommonType()
private jdk.internal.jvmci.meta.ResolvedJavaType	getLeastCommonType(int concreteMethodIndex)
private int	getTypeCount(int concreteMethodIndex)
private boolean	hasSingleMethod()
Collection<Node>	inline(Providers providers) Performs the inlining described by this object and returns the node that represents the return value of the inlined method (or null for void methods and methods that have no non-exceptional exit).
Inlineable	inlineableElementAt(int index)
private Collection<Node>	inlineMultipleMethods(StructuredGraph graph, Providers providers)
private Collection<Node>	inlineSingleMethod(StructuredGraph graph, StampProvider stampProvider)
private double	maximumMethodProbability()
jdk.internal.jvmci.meta.ResolvedJavaMethod	methodAt(int index)
int	numberOfMethods() Returns the number of methods that may be inlined by the invocation.
double	probabilityAt(int index)
double	relevanceAt(int index)
void	setInlinableElement(int index, Inlineable inlineableElement)
private boolean	shouldFallbackToInvoke()
boolean	shouldInline()
String	toString()
void	tryToDevirtualizeInvoke(Providers providers) Try to make the call static bindable to avoid interface and virtual method calls.
private void	tryToDevirtualizeMultipleMethods(StructuredGraph graph, StampProvider stampProvider)

Methods inherited from class com.oracle.graal.phases.common.inlining.info.AbstractInlineInfo

determineNodeCount, getInlinedParameterUsages, graph, inline, invoke, populateInlinableElements

Methods inherited from class java.lang.Object

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

Field Detail

concretes

private final List<jdk.internal.jvmci.meta.ResolvedJavaMethod> concretes

methodProbabilities

private final double[] methodProbabilities

maximumMethodProbability

private final double maximumMethodProbability

typesToConcretes

private final ArrayList<Integer> typesToConcretes

ptypes

private final ArrayList<jdk.internal.jvmci.meta.JavaTypeProfile.ProfiledType> ptypes

notRecordedTypeProbability

private final double notRecordedTypeProbability

inlineableElements

private final Inlineable[] inlineableElements

Constructor Detail

MultiTypeGuardInlineInfo

public MultiTypeGuardInlineInfo(Invoke invoke,
                                ArrayList<jdk.internal.jvmci.meta.ResolvedJavaMethod> concretes,
                                ArrayList<jdk.internal.jvmci.meta.JavaTypeProfile.ProfiledType> ptypes,
                                ArrayList<Integer> typesToConcretes,
                                double notRecordedTypeProbability)

Method Detail

assertUniqueTypes

private static boolean assertUniqueTypes(ArrayList<jdk.internal.jvmci.meta.JavaTypeProfile.ProfiledType> ptypes)

computeMethodProbabilities

private double[] computeMethodProbabilities()

maximumMethodProbability

private double maximumMethodProbability()

numberOfMethods

public int numberOfMethods()

Description copied from interface: InlineInfo

Returns the number of methods that may be inlined by the invocation. This may be more than one in the case of a invocation profile showing a number of "hot" concrete methods dispatched to by the invocation.

methodAt

public jdk.internal.jvmci.meta.ResolvedJavaMethod methodAt(int index)

inlineableElementAt

public Inlineable inlineableElementAt(int index)

probabilityAt

public double probabilityAt(int index)

relevanceAt

public double relevanceAt(int index)

setInlinableElement

public void setInlinableElement(int index,
                                Inlineable inlineableElement)

inline

public Collection<Node> inline(Providers providers)

Description copied from interface: InlineInfo

Performs the inlining described by this object and returns the node that represents the return value of the inlined method (or null for void methods and methods that have no non-exceptional exit).

Returns:

a collection of nodes that need to be canonicalized after the inlining

shouldInline

public boolean shouldInline()

hasSingleMethod

private boolean hasSingleMethod()

shouldFallbackToInvoke

private boolean shouldFallbackToInvoke()

inlineMultipleMethods

private Collection<Node> inlineMultipleMethods(StructuredGraph graph,
                                               Providers providers)

getTypeCount

private int getTypeCount(int concreteMethodIndex)

getLeastCommonType

private jdk.internal.jvmci.meta.ResolvedJavaType getLeastCommonType(int concreteMethodIndex)

getLeastCommonType

private jdk.internal.jvmci.meta.ResolvedJavaType getLeastCommonType()

inlineSingleMethod

private Collection<Node> inlineSingleMethod(StructuredGraph graph,
                                            StampProvider stampProvider)

createDispatchOnTypeBeforeInvoke

private boolean createDispatchOnTypeBeforeInvoke(StructuredGraph graph,
                                                 AbstractBeginNode[] successors,
                                                 boolean invokeIsOnlySuccessor,
                                                 StampProvider stampProvider)

createInvocationBlock

private static AbstractBeginNode createInvocationBlock(StructuredGraph graph,
                                                       Invoke invoke,
                                                       AbstractMergeNode returnMerge,
                                                       PhiNode returnValuePhi,
                                                       AbstractMergeNode exceptionMerge,
                                                       PhiNode exceptionObjectPhi,
                                                       boolean useForInlining)

duplicateInvokeForInlining

private static Invoke duplicateInvokeForInlining(StructuredGraph graph,
                                                 Invoke invoke,
                                                 AbstractMergeNode exceptionMerge,
                                                 PhiNode exceptionObjectPhi,
                                                 boolean useForInlining)

tryToDevirtualizeInvoke

public void tryToDevirtualizeInvoke(Providers providers)

Description copied from interface: InlineInfo

Try to make the call static bindable to avoid interface and virtual method calls.

tryToDevirtualizeMultipleMethods

private void tryToDevirtualizeMultipleMethods(StructuredGraph graph,
                                              StampProvider stampProvider)

devirtualizeWithTypeSwitch

private void devirtualizeWithTypeSwitch(StructuredGraph graph,
                                        CallTargetNode.InvokeKind kind,
                                        jdk.internal.jvmci.meta.ResolvedJavaMethod target,
                                        StampProvider stampProvider)

createUnknownTypeSuccessor

private static AbstractBeginNode createUnknownTypeSuccessor(StructuredGraph graph)

toString

public String toString()

Overrides:

toString in class Object