com.oracle.svm.hosted.analysis

Class NativeImagePointsToAnalysis

java.lang.Object

com.oracle.graal.pointsto.PointsToAnalysis

com.oracle.svm.hosted.analysis.NativeImagePointsToAnalysis

All Implemented Interfaces:

com.oracle.graal.pointsto.BigBang, com.oracle.graal.pointsto.HeapScanning, com.oracle.graal.pointsto.ReachabilityAnalysis, Inflation

public class NativeImagePointsToAnalysis
extends com.oracle.graal.pointsto.PointsToAnalysis
implements Inflation

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.pointsto.PointsToAnalysis

com.oracle.graal.pointsto.PointsToAnalysis.AnalysisTiming, com.oracle.graal.pointsto.PointsToAnalysis.BucketTiming, com.oracle.graal.pointsto.PointsToAnalysis.ConstantObjectsProfiler, com.oracle.graal.pointsto.PointsToAnalysis.TypeFlowRunnable

Field Summary

Fields inherited from class com.oracle.graal.pointsto.PointsToAnalysis

analysisTimer, checkObjectsTimer, extendedAsserts, hostVM, metaAccess, numParsedGraphs, processFeaturesTimer, reportAnalysisStatistics, trackTypeFlowInputs, typeFlowTimer, universe

Constructor Summary

Constructors

Constructor and Description
NativeImagePointsToAnalysis(org.graalvm.compiler.options.OptionValues options, com.oracle.graal.pointsto.meta.AnalysisUniverse universe, com.oracle.graal.pointsto.meta.HostedProviders providers, AnnotationSubstitutionProcessor annotationSubstitutionProcessor, ForkJoinPool executor, Runnable heartbeatCallback, com.oracle.graal.pointsto.constraints.UnsupportedFeatures unsupportedFeatures)

Method Summary

Modifier and Type	Method and Description
protected void	checkObjectGraph(com.oracle.graal.pointsto.ObjectScanner objectScanner)
void	checkUserLimitations()
void	cleanupAfterAnalysis()
com.oracle.graal.pointsto.flow.MethodTypeFlowBuilder	createMethodTypeFlowBuilder(com.oracle.graal.pointsto.PointsToAnalysis bb, com.oracle.graal.pointsto.flow.MethodTypeFlow methodFlow)
AnnotationSubstitutionProcessor	getAnnotationSubstitutionProcessor()
SVMHost	getHostVM()
SubstrateReplacements	getReplacements()
boolean	isCallAllowed(com.oracle.graal.pointsto.PointsToAnalysis bb, com.oracle.graal.pointsto.meta.AnalysisMethod caller, com.oracle.graal.pointsto.meta.AnalysisMethod target, org.graalvm.compiler.graph.NodeSourcePosition srcPosition)
static jdk.vm.ci.meta.ResolvedJavaType	toWrappedType(jdk.vm.ci.meta.ResolvedJavaType type)
boolean	trackConcreteAnalysisObjects(com.oracle.graal.pointsto.meta.AnalysisType type)

Methods inherited from class com.oracle.graal.pointsto.PointsToAnalysis

addRootClass, addRootField, addRootMethod, addRootMethod, addRootMethod, addRootStaticField, analysisPolicy, assertPointsToAnalysisMethod, contextPolicy, createExecutor, doTypeflow, executorIsStarted, extendedAsserts, finish, forceUnsafeUpdate, getAllInstantiatedTypeFlow, getAllInstantiatedTypes, getAllSynchronizedTypeFlow, getAllSynchronizedTypeState, getAnalysisTimer, getConstantFieldProvider, getConstantReflectionProvider, getDebug, getDebugHandlerFactories, getExecutor, getGraalNodeListType, getGraalNodeType, getHeartbeatCallback, getMetaAccess, getObjectArrayType, getObjectType, getOptions, getProcessFeaturesTimer, getProviders, getSnippetReflectionProvider, getThreadType, getThrowableType, getUniverse, getUnsupportedFeatures, lookup, postFlow, postTask, printTimers, printTimerStatistics, registerAsJNIAccessed, registerUnsafeLoad, registerUnsafeStore, reportAnalysisStatistics, runAnalysis, scanningPolicy, skippedHeapTypes, strengthenGraalGraphs, trackTypeFlowInputs

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.oracle.svm.hosted.analysis.Inflation

getConstantReflectionProvider, getProviders

Methods inherited from interface com.oracle.graal.pointsto.BigBang

extendedAsserts, getAnalysisTimer, getDebug, getDebugHandlerFactories, getHeartbeatCallback, getOptions, getProcessFeaturesTimer, getSnippetReflectionProvider, getUnsupportedFeatures, printTimers, printTimerStatistics, runAnalysis

Methods inherited from interface com.oracle.graal.pointsto.ReachabilityAnalysis

addRootClass, addRootField, addRootMethod, addRootMethod, addRootMethod, analysisPolicy, finish, forceUnsafeUpdate, getAllSynchronizedTypeState, getMetaAccess, getUniverse, registerAsJNIAccessed

Methods inherited from interface com.oracle.graal.pointsto.HeapScanning

scanningPolicy, skippedHeapTypes

Constructor Detail

NativeImagePointsToAnalysis

public NativeImagePointsToAnalysis(org.graalvm.compiler.options.OptionValues options,
                                   com.oracle.graal.pointsto.meta.AnalysisUniverse universe,
                                   com.oracle.graal.pointsto.meta.HostedProviders providers,
                                   AnnotationSubstitutionProcessor annotationSubstitutionProcessor,
                                   ForkJoinPool executor,
                                   Runnable heartbeatCallback,
                                   com.oracle.graal.pointsto.constraints.UnsupportedFeatures unsupportedFeatures)

Method Detail

isCallAllowed

public boolean isCallAllowed(com.oracle.graal.pointsto.PointsToAnalysis bb,
                             com.oracle.graal.pointsto.meta.AnalysisMethod caller,
                             com.oracle.graal.pointsto.meta.AnalysisMethod target,
                             org.graalvm.compiler.graph.NodeSourcePosition srcPosition)

Specified by:

isCallAllowed in interface com.oracle.graal.pointsto.BigBang

createMethodTypeFlowBuilder

public com.oracle.graal.pointsto.flow.MethodTypeFlowBuilder createMethodTypeFlowBuilder(com.oracle.graal.pointsto.PointsToAnalysis bb,
                                                                                        com.oracle.graal.pointsto.flow.MethodTypeFlow methodFlow)

Overrides:

createMethodTypeFlowBuilder in class com.oracle.graal.pointsto.PointsToAnalysis

checkObjectGraph

protected void checkObjectGraph(com.oracle.graal.pointsto.ObjectScanner objectScanner)

Overrides:

checkObjectGraph in class com.oracle.graal.pointsto.PointsToAnalysis

getHostVM

public SVMHost getHostVM()

Specified by:

getHostVM in interface com.oracle.graal.pointsto.BigBang

Specified by:

getHostVM in interface Inflation

Overrides:

getHostVM in class com.oracle.graal.pointsto.PointsToAnalysis

cleanupAfterAnalysis

public void cleanupAfterAnalysis()

Specified by:

cleanupAfterAnalysis in interface com.oracle.graal.pointsto.ReachabilityAnalysis

Overrides:

cleanupAfterAnalysis in class com.oracle.graal.pointsto.PointsToAnalysis

checkUserLimitations

public void checkUserLimitations()

Specified by:

checkUserLimitations in interface com.oracle.graal.pointsto.BigBang

Overrides:

checkUserLimitations in class com.oracle.graal.pointsto.PointsToAnalysis

getAnnotationSubstitutionProcessor

public AnnotationSubstitutionProcessor getAnnotationSubstitutionProcessor()

Specified by:

getAnnotationSubstitutionProcessor in interface Inflation

toWrappedType

public static jdk.vm.ci.meta.ResolvedJavaType toWrappedType(jdk.vm.ci.meta.ResolvedJavaType type)

trackConcreteAnalysisObjects

public boolean trackConcreteAnalysisObjects(com.oracle.graal.pointsto.meta.AnalysisType type)

Overrides:

trackConcreteAnalysisObjects in class com.oracle.graal.pointsto.PointsToAnalysis

getReplacements

public SubstrateReplacements getReplacements()

Specified by:

getReplacements in interface Inflation

Overrides:

getReplacements in class com.oracle.graal.pointsto.PointsToAnalysis