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

Class InlineableGraph

java.lang.Object

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

All Implemented Interfaces:

Inlineable

public class InlineableGraph
extends Object
implements Inlineable

Represents a feasible concrete target for inlining, whose graph has been copied already and thus can be modified without affecting the original (usually cached) version.

Instances of this class don't make sense in isolation but as part of an InlineInfo.

See Also:

InliningData.moveForward(), CallsiteHolderExplorable

Field Summary

Fields

Modifier and Type	Field and Description
private StructuredGraph	graph
private FixedNodeProbabilityCache	probabilites

Constructor Summary

Constructors

Constructor and Description
InlineableGraph(ResolvedJavaMethod method, Invoke invoke, HighTierContext context, CanonicalizerPhase canonicalizer)

Method Summary

Modifier and Type	Method and Description
private static boolean	canStampBeImproved(ValueNode arg, ParameterNode param)
StructuredGraph	getGraph()
Iterable<Invoke>	getInvokes()
int	getNodeCount()
private static StructuredGraph	getOriginalGraph(ResolvedJavaMethod method, HighTierContext context, CanonicalizerPhase canonicalizer, StructuredGraph caller, int callerBci) This method looks up in a cache the graph for the argument, if not found bytecode is parsed.
double	getProbability(Invoke invoke)
private static Stamp	improvedStamp(ValueNode arg, ParameterNode param)
private static boolean	isArgMoreInformativeThanParam(ValueNode arg, ParameterNode param)
private static StructuredGraph	parseBytecodes(ResolvedJavaMethod method, HighTierContext context, CanonicalizerPhase canonicalizer, StructuredGraph caller) This method builds the IR nodes for the given method and canonicalizes them.
private ArrayList<Node>	replaceParamsWithMoreInformativeArguments(Invoke invoke, HighTierContext context) This method detects: constants among the arguments to the invoke arguments with more precise type than that declared by the corresponding parameter
private boolean	specializeGraphToArguments(Invoke invoke, HighTierContext context, CanonicalizerPhase canonicalizer)
private static ArrayList<Node>	trackParameterUsages(ParameterNode param, ArrayList<Node> parameterUsages)

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.oracle.graal.phases.common.inlining.info.elem.Inlineable

getInlineableElement

Field Detail

graph

private final StructuredGraph graph

probabilites

private FixedNodeProbabilityCache probabilites

Constructor Detail

InlineableGraph

public InlineableGraph(ResolvedJavaMethod method,
                       Invoke invoke,
                       HighTierContext context,
                       CanonicalizerPhase canonicalizer)

Method Detail

getOriginalGraph

private static StructuredGraph getOriginalGraph(ResolvedJavaMethod method,
                                                HighTierContext context,
                                                CanonicalizerPhase canonicalizer,
                                                StructuredGraph caller,
                                                int callerBci)

This method looks up in a cache the graph for the argument, if not found bytecode is parsed. The graph thus obtained is returned, ie the caller is responsible for cloning before modification.

specializeGraphToArguments

private boolean specializeGraphToArguments(Invoke invoke,
                                           HighTierContext context,
                                           CanonicalizerPhase canonicalizer)

Returns:

true iff one or more parameters newGraph were specialized to account for a constant argument, or an argument with a more specific stamp.

isArgMoreInformativeThanParam

private static boolean isArgMoreInformativeThanParam(ValueNode arg,
                                                     ParameterNode param)

canStampBeImproved

private static boolean canStampBeImproved(ValueNode arg,
                                          ParameterNode param)

improvedStamp

private static Stamp improvedStamp(ValueNode arg,
                                   ParameterNode param)

replaceParamsWithMoreInformativeArguments

private ArrayList<Node> replaceParamsWithMoreInformativeArguments(Invoke invoke,
                                                                  HighTierContext context)

This method detects:

• constants among the arguments to the invoke
• arguments with more precise type than that declared by the corresponding parameter

The corresponding parameters are updated to reflect the above information. Before doing so, their usages are added to parameterUsages for later incremental canonicalization.

Returns:

null if no incremental canonicalization is need, a list of nodes for such canonicalization otherwise.

trackParameterUsages

private static ArrayList<Node> trackParameterUsages(ParameterNode param,
                                                    ArrayList<Node> parameterUsages)

parseBytecodes

private static StructuredGraph parseBytecodes(ResolvedJavaMethod method,
                                              HighTierContext context,
                                              CanonicalizerPhase canonicalizer,
                                              StructuredGraph caller)

This method builds the IR nodes for the given method and canonicalizes them. Provided profiling info is mature, the resulting graph is cached. The caller is responsible for cloning before modification.

getNodeCount

public int getNodeCount()

Specified by:

getNodeCount in interface Inlineable

getInvokes

public Iterable<Invoke> getInvokes()

Specified by:

getInvokes in interface Inlineable

getProbability

public double getProbability(Invoke invoke)

Specified by:

getProbability in interface Inlineable

getGraph

public StructuredGraph getGraph()