com.oracle.graal.pointsto.meta

Class AnalysisMethod

java.lang.Object

com.oracle.graal.pointsto.meta.AnalysisMethod

All Implemented Interfaces:

GraphProvider, OriginalMethodProvider, WrappedElement, WrappedJavaMethod, AnnotatedElement, jdk.vm.ci.meta.InvokeTarget, jdk.vm.ci.meta.JavaMethod, jdk.vm.ci.meta.ModifiersProvider, jdk.vm.ci.meta.ResolvedJavaMethod

Direct Known Subclasses:

PointsToAnalysisMethod

public abstract class AnalysisMethod
extends Object
implements WrappedJavaMethod, GraphProvider, OriginalMethodProvider

Nested Class Summary

Nested classes/interfaces inherited from interface jdk.vm.ci.meta.ResolvedJavaMethod

jdk.vm.ci.meta.ResolvedJavaMethod.Parameter

Nested classes/interfaces inherited from interface com.oracle.graal.pointsto.infrastructure.GraphProvider

GraphProvider.Purpose

Field Summary

Fields

Modifier and Type	Field and Description
protected AnalysisMethod[]	implementations All concrete methods that can actually be called when calling this method.
jdk.vm.ci.meta.ResolvedJavaMethod	wrapped

Constructor Summary

Constructors

Constructor and Description
AnalysisMethod(AnalysisUniverse universe, jdk.vm.ci.meta.ResolvedJavaMethod wrapped)

Method Summary

Modifier and Type	Method and Description
boolean	allowRuntimeCompilation() Returns true if a graph can be provided for GraphProvider.Purpose.PREPARE_RUNTIME_COMPILATION.
StackTraceElement	asStackTraceElement(int bci)
org.graalvm.compiler.nodes.StructuredGraph	buildGraph(org.graalvm.compiler.debug.DebugContext debug, jdk.vm.ci.meta.ResolvedJavaMethod method, HostedProviders providers, GraphProvider.Purpose purpose)
boolean	canBeInlined()
boolean	canBeStaticallyBound()
void	cleanupAfterAnalysis()
AnalysisParsedGraph	ensureGraphParsed(BigBang bb) Ensures that the method has been parsed, i.e., that the Graal IR for the method is available.
boolean	equals(Object obj)
org.graalvm.compiler.nodes.StructuredGraph	getAnalyzedGraph() Returns the Graal IR for the method that has been processed by the static analysis.
<T extends Annotation> T	getAnnotation(Class<T> annotationClass)
Annotation[]	getAnnotations()
Set<AnalysisMethod>	getCallers() Get the set of all callers for this method, as inferred by the static analysis.
byte[]	getCode()
int	getCodeSize()
jdk.vm.ci.meta.ConstantPool	getConstantPool()
Annotation[]	getDeclaredAnnotations()
AnalysisType	getDeclaringClass()
jdk.vm.ci.meta.Constant	getEncoding()
Object	getEntryPointData()
jdk.vm.ci.meta.ExceptionHandler[]	getExceptionHandlers()
Type[]	getGenericParameterTypes()
int	getId()
AnalysisMethod[]	getImplementations()
abstract List<jdk.vm.ci.code.BytecodePosition>	getInvokeLocations() Get the list of all invoke locations for this method, as inferred by the static analysis.
abstract Collection<InvokeInfo>	getInvokes()
Executable	getJavaMethod()
jdk.vm.ci.meta.LineNumberTable	getLineNumberTable()
jdk.vm.ci.meta.LocalVariableTable	getLocalVariableTable()
int	getMaxLocals()
int	getMaxStackSize()
int	getModifiers()
String	getName()
Annotation[][]	getParameterAnnotations()
jdk.vm.ci.meta.ResolvedJavaMethod.Parameter[]	getParameters()
abstract StackTraceElement[]	getParsingContext()
jdk.vm.ci.meta.ProfilingInfo	getProfilingInfo(boolean includeNormal, boolean includeOSR)
String	getQualifiedName()
WrappedSignature	getSignature()
jdk.vm.ci.meta.SpeculationLog	getSpeculationLog()
jdk.vm.ci.meta.ResolvedJavaMethod	getWrapped()
int	hashCode()
boolean	hasNeverInlineDirective()
boolean	isBridge()
boolean	isClassInitializer()
boolean	isConstructor()
boolean	isDefault()
boolean	isEntryPoint()
boolean	isImplementationInvoked() Returns true if the method body can ever be executed.
boolean	isIntrinsicMethod()
boolean	isInVirtualMethodTable(jdk.vm.ci.meta.ResolvedJavaType resolved)
boolean	isInvoked() Returns true if this method is ever used as the target of a call site.
boolean	isReachable()
boolean	isRootMethod()
boolean	isSimplyImplementationInvoked()
boolean	isSimplyInvoked()
boolean	isSynthetic()
boolean	isVarArgs()
void	registerAsEntryPoint(Object newEntryPointData)
boolean	registerAsImplementationInvoked()
void	registerAsInlined()
void	registerAsIntrinsicMethod() Registers this method as intrinsified to Graal nodes via a graph builder plugin.
boolean	registerAsInvoked()
boolean	registerAsRootMethod() Registers this method as a root for the analysis.
void	reprofile()
void	setAnalyzedGraph(org.graalvm.compiler.nodes.StructuredGraph analyzedGraph)
boolean	shouldBeInlined()
abstract void	startTrackInvocations()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface jdk.vm.ci.meta.ResolvedJavaMethod

getParameterAnnotation, getParameterAnnotations, getProfilingInfo, hasBytecodes, hasReceiver, isFinal, isJavaLangObjectInit, toParameterTypes

Methods inherited from interface jdk.vm.ci.meta.JavaMethod

format

Methods inherited from interface jdk.vm.ci.meta.ModifiersProvider

isAbstract, isConcrete, isFinalFlagSet, isInterface, isNative, isPackagePrivate, isPrivate, isProtected, isPublic, isStatic, isStrict, isSynchronized, isTransient, isVolatile

Methods inherited from interface java.lang.reflect.AnnotatedElement

getAnnotationsByType, getDeclaredAnnotation, getDeclaredAnnotationsByType, isAnnotationPresent

Methods inherited from interface com.oracle.graal.pointsto.infrastructure.OriginalMethodProvider

getJavaMethod

Field Detail

wrapped

public final jdk.vm.ci.meta.ResolvedJavaMethod wrapped

implementations

protected AnalysisMethod[] implementations

All concrete methods that can actually be called when calling this method. This includes all overridden methods in subclasses, as well as this method if it is non-abstract.

Constructor Detail

AnalysisMethod

public AnalysisMethod(AnalysisUniverse universe,
                      jdk.vm.ci.meta.ResolvedJavaMethod wrapped)

Method Detail

getQualifiedName

public String getQualifiedName()

cleanupAfterAnalysis

public void cleanupAfterAnalysis()

startTrackInvocations

public abstract void startTrackInvocations()

getInvokes

public abstract Collection<InvokeInfo> getInvokes()

Returns:

analysis related invoke information for given method, mainly the possible callees to traverse the call graph

getParsingContext

public abstract StackTraceElement[] getParsingContext()

Returns:

the parsing context in which given method was parsed

getId

public int getId()

registerAsIntrinsicMethod

public void registerAsIntrinsicMethod()

Registers this method as intrinsified to Graal nodes via a graph builder plugin. Such a method is treated similar to an invoked method. For example, method resolution must be able to find the method (otherwise the intrinsification would not work).

registerAsEntryPoint

public void registerAsEntryPoint(Object newEntryPointData)

registerAsInvoked

public boolean registerAsInvoked()

registerAsImplementationInvoked

public boolean registerAsImplementationInvoked()

registerAsInlined

public void registerAsInlined()

getCallers

public Set<AnalysisMethod> getCallers()

Get the set of all callers for this method, as inferred by the static analysis.

getInvokeLocations

public abstract List<jdk.vm.ci.code.BytecodePosition> getInvokeLocations()

Get the list of all invoke locations for this method, as inferred by the static analysis.

isEntryPoint

public boolean isEntryPoint()

getEntryPointData

public Object getEntryPointData()

isIntrinsicMethod

public boolean isIntrinsicMethod()

registerAsRootMethod

public boolean registerAsRootMethod()

Registers this method as a root for the analysis. The class constant of the declaring class is used for exception metadata, so marking a method as invoked also makes the declaring class reachable. Class is always marked as reachable regardless of the success of the atomic mark, same reason as in AnalysisMethod.registerAsImplementationInvoked().

isRootMethod

public boolean isRootMethod()

isSimplyInvoked

public boolean isSimplyInvoked()

isSimplyImplementationInvoked

public boolean isSimplyImplementationInvoked()

isInvoked

public boolean isInvoked()

Returns true if this method is ever used as the target of a call site.

isImplementationInvoked

public boolean isImplementationInvoked()

Returns true if the method body can ever be executed.

isReachable

public boolean isReachable()

getWrapped

public jdk.vm.ci.meta.ResolvedJavaMethod getWrapped()

Specified by:

getWrapped in interface WrappedElement

Specified by:

getWrapped in interface WrappedJavaMethod

getName

public String getName()

Specified by:

getName in interface jdk.vm.ci.meta.JavaMethod

getSignature

public WrappedSignature getSignature()

Specified by:

getSignature in interface jdk.vm.ci.meta.JavaMethod

buildGraph

public org.graalvm.compiler.nodes.StructuredGraph buildGraph(org.graalvm.compiler.debug.DebugContext debug,
                                                             jdk.vm.ci.meta.ResolvedJavaMethod method,
                                                             HostedProviders providers,
                                                             GraphProvider.Purpose purpose)

Specified by:

buildGraph in interface GraphProvider

allowRuntimeCompilation

public boolean allowRuntimeCompilation()

Description copied from interface: GraphProvider

Returns true if a graph can be provided for GraphProvider.Purpose.PREPARE_RUNTIME_COMPILATION. Note that a manually generated graph must be able to provide the proper deoptimization entry points and deoptimization frame states.

Specified by:

allowRuntimeCompilation in interface GraphProvider

getCode

public byte[] getCode()

Specified by:

getCode in interface jdk.vm.ci.meta.ResolvedJavaMethod

getCodeSize

public int getCodeSize()

Specified by:

getCodeSize in interface jdk.vm.ci.meta.ResolvedJavaMethod

getDeclaringClass

public AnalysisType getDeclaringClass()

Specified by:

getDeclaringClass in interface jdk.vm.ci.meta.JavaMethod

Specified by:

getDeclaringClass in interface jdk.vm.ci.meta.ResolvedJavaMethod

getMaxLocals

public int getMaxLocals()

Specified by:

getMaxLocals in interface jdk.vm.ci.meta.ResolvedJavaMethod

getMaxStackSize

public int getMaxStackSize()

Specified by:

getMaxStackSize in interface jdk.vm.ci.meta.ResolvedJavaMethod

getParameters

public jdk.vm.ci.meta.ResolvedJavaMethod.Parameter[] getParameters()

Specified by:

getParameters in interface jdk.vm.ci.meta.ResolvedJavaMethod

getModifiers

public int getModifiers()

Specified by:

getModifiers in interface jdk.vm.ci.meta.ModifiersProvider

isSynthetic

public boolean isSynthetic()

Specified by:

isSynthetic in interface jdk.vm.ci.meta.ResolvedJavaMethod

isVarArgs

public boolean isVarArgs()

Specified by:

isVarArgs in interface jdk.vm.ci.meta.ResolvedJavaMethod

isBridge

public boolean isBridge()

Specified by:

isBridge in interface jdk.vm.ci.meta.ResolvedJavaMethod

isClassInitializer

public boolean isClassInitializer()

Specified by:

isClassInitializer in interface jdk.vm.ci.meta.ResolvedJavaMethod

isConstructor

public boolean isConstructor()

Specified by:

isConstructor in interface jdk.vm.ci.meta.ResolvedJavaMethod

canBeStaticallyBound

public boolean canBeStaticallyBound()

Specified by:

canBeStaticallyBound in interface jdk.vm.ci.meta.ResolvedJavaMethod

getImplementations

public AnalysisMethod[] getImplementations()

getExceptionHandlers

public jdk.vm.ci.meta.ExceptionHandler[] getExceptionHandlers()

Specified by:

getExceptionHandlers in interface jdk.vm.ci.meta.ResolvedJavaMethod

asStackTraceElement

public StackTraceElement asStackTraceElement(int bci)

Specified by:

asStackTraceElement in interface jdk.vm.ci.meta.ResolvedJavaMethod

getProfilingInfo

public jdk.vm.ci.meta.ProfilingInfo getProfilingInfo(boolean includeNormal,
                                                     boolean includeOSR)

Specified by:

getProfilingInfo in interface jdk.vm.ci.meta.ResolvedJavaMethod

getConstantPool

public jdk.vm.ci.meta.ConstantPool getConstantPool()

Specified by:

getConstantPool in interface jdk.vm.ci.meta.ResolvedJavaMethod

getAnnotations

public Annotation[] getAnnotations()

Specified by:

getAnnotations in interface AnnotatedElement

getDeclaredAnnotations

public Annotation[] getDeclaredAnnotations()

Specified by:

getDeclaredAnnotations in interface AnnotatedElement

getAnnotation

public <T extends Annotation> T getAnnotation(Class<T> annotationClass)

Specified by:

getAnnotation in interface AnnotatedElement

getParameterAnnotations

public Annotation[][] getParameterAnnotations()

Specified by:

getParameterAnnotations in interface jdk.vm.ci.meta.ResolvedJavaMethod

getGenericParameterTypes

public Type[] getGenericParameterTypes()

Specified by:

getGenericParameterTypes in interface jdk.vm.ci.meta.ResolvedJavaMethod

canBeInlined

public boolean canBeInlined()

Specified by:

canBeInlined in interface jdk.vm.ci.meta.ResolvedJavaMethod

hasNeverInlineDirective

public boolean hasNeverInlineDirective()

Specified by:

hasNeverInlineDirective in interface jdk.vm.ci.meta.ResolvedJavaMethod

shouldBeInlined

public boolean shouldBeInlined()

Specified by:

shouldBeInlined in interface jdk.vm.ci.meta.ResolvedJavaMethod

getLineNumberTable

public jdk.vm.ci.meta.LineNumberTable getLineNumberTable()

Specified by:

getLineNumberTable in interface jdk.vm.ci.meta.ResolvedJavaMethod

toString

public String toString()

Overrides:

toString in class Object

getLocalVariableTable

public jdk.vm.ci.meta.LocalVariableTable getLocalVariableTable()

Specified by:

getLocalVariableTable in interface jdk.vm.ci.meta.ResolvedJavaMethod

reprofile

public void reprofile()

Specified by:

reprofile in interface jdk.vm.ci.meta.ResolvedJavaMethod

getEncoding

public jdk.vm.ci.meta.Constant getEncoding()

Specified by:

getEncoding in interface jdk.vm.ci.meta.ResolvedJavaMethod

isInVirtualMethodTable

public boolean isInVirtualMethodTable(jdk.vm.ci.meta.ResolvedJavaType resolved)

Specified by:

isInVirtualMethodTable in interface jdk.vm.ci.meta.ResolvedJavaMethod

isDefault

public boolean isDefault()

Specified by:

isDefault in interface jdk.vm.ci.meta.ResolvedJavaMethod

getSpeculationLog

public jdk.vm.ci.meta.SpeculationLog getSpeculationLog()

Specified by:

getSpeculationLog in interface jdk.vm.ci.meta.ResolvedJavaMethod

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getJavaMethod

public Executable getJavaMethod()

Specified by:

getJavaMethod in interface OriginalMethodProvider

ensureGraphParsed

public AnalysisParsedGraph ensureGraphParsed(BigBang bb)

Ensures that the method has been parsed, i.e., that the Graal IR for the method is available.

getAnalyzedGraph

public org.graalvm.compiler.nodes.StructuredGraph getAnalyzedGraph()

Returns the Graal IR for the method that has been processed by the static analysis.

setAnalyzedGraph

public void setAnalyzedGraph(org.graalvm.compiler.nodes.StructuredGraph analyzedGraph)