com.oracle.graal.pointsto

Class AnalysisPolicy

java.lang.Object

com.oracle.graal.pointsto.AnalysisPolicy

Direct Known Subclasses:

BytecodeSensitiveAnalysisPolicy, DefaultAnalysisPolicy

public abstract class AnalysisPolicy
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	aliasArrayTypeFlows
protected org.graalvm.compiler.options.OptionValues	options
protected boolean	relaxTypeFlowConstraints
protected boolean	removeSaturatedTypeFlows
protected int	typeFlowSaturationCutoff

Constructor Summary

Constructors

Constructor and Description
AnalysisPolicy(org.graalvm.compiler.options.OptionValues options)

Method Summary

Modifier and Type	Method and Description
boolean	aliasArrayTypeFlows()
protected abstract AnalysisContextPolicy<? extends AnalysisContext>	contextPolicy() Provide an analysis context policy.
abstract BytecodeLocation	createAllocationSite(PointsToAnalysis bb, int bci, AnalysisMethod method) Create an allocation site given the BCI and method.
BytecodeLocation	createAllocationSite(PointsToAnalysis bb, Object key, AnalysisMethod method) Create the allocation site given a unique key and method.
abstract ArrayElementsTypeStore	createArrayElementsTypeStore(AnalysisObject object, AnalysisUniverse universe)
abstract AnalysisObject	createConstantObject(PointsToAnalysis bb, jdk.vm.ci.meta.JavaConstant constant, AnalysisType exactType) Create a constant object abstraction.
abstract FieldTypeStore	createFieldTypeStore(AnalysisObject object, AnalysisField field, AnalysisUniverse universe)
abstract AnalysisObject	createHeapObject(PointsToAnalysis bb, AnalysisType objectType, BytecodeLocation allocationSite, AnalysisContext allocationContext) Create a heap allocated object abstraction.
abstract AbstractSpecialInvokeTypeFlow	createSpecialInvokeTypeFlow(jdk.vm.ci.code.BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, BytecodeLocation location) Provides implementation for the virtual invoke type flow.
abstract AbstractVirtualInvokeTypeFlow	createVirtualInvokeTypeFlow(jdk.vm.ci.code.BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, BytecodeLocation location) Provides implementation for the virtual invoke type flow.
AnalysisContextPolicy<AnalysisContext>	getContextPolicy()
abstract boolean	isContextSensitiveAllocation(PointsToAnalysis bb, AnalysisType type, AnalysisContext allocationContext) Specifies if an allocation site should be modeled context sensitively.
abstract boolean	isMergingEnabled() Check if merging is enabled.
abstract boolean	isSummaryObject(AnalysisObject object) In some analysis policies some objects can summarize others.
int	makeProperties(BigBang bb, AnalysisObject... objects)
int	makePropertiesForUnion(TypeState s1, TypeState s2)
abstract boolean	needsConstantCache() Specifies if this policy models constants objects context sensitively, i.e., by creating a different abstraction for each JavaConstant of the same type, and thus needs a constants cache.
abstract void	noteMerge(PointsToAnalysis bb, AnalysisObject... a) Note analysis object state merge.
abstract void	noteMerge(PointsToAnalysis bb, AnalysisObject o) Note analysis object state merge.
abstract void	noteMerge(PointsToAnalysis bb, TypeState t) Note type state merge.
boolean	relaxTypeFlowConstraints()
boolean	removeSaturatedTypeFlows()
int	typeFlowSaturationCutoff()

Methods inherited from class java.lang.Object

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

Field Detail

options

protected final org.graalvm.compiler.options.OptionValues options

aliasArrayTypeFlows

protected final boolean aliasArrayTypeFlows

relaxTypeFlowConstraints

protected final boolean relaxTypeFlowConstraints

removeSaturatedTypeFlows

protected final boolean removeSaturatedTypeFlows

typeFlowSaturationCutoff

protected final int typeFlowSaturationCutoff

Constructor Detail

AnalysisPolicy

public AnalysisPolicy(org.graalvm.compiler.options.OptionValues options)

Method Detail

aliasArrayTypeFlows

public boolean aliasArrayTypeFlows()

relaxTypeFlowConstraints

public boolean relaxTypeFlowConstraints()

removeSaturatedTypeFlows

public boolean removeSaturatedTypeFlows()

typeFlowSaturationCutoff

public int typeFlowSaturationCutoff()

contextPolicy

protected abstract AnalysisContextPolicy<? extends AnalysisContext> contextPolicy()

Provide an analysis context policy.

getContextPolicy

public AnalysisContextPolicy<AnalysisContext> getContextPolicy()

needsConstantCache

public abstract boolean needsConstantCache()

Specifies if this policy models constants objects context sensitively, i.e., by creating a different abstraction for each JavaConstant of the same type, and thus needs a constants cache.

isSummaryObject

public abstract boolean isSummaryObject(AnalysisObject object)

In some analysis policies some objects can summarize others.

isMergingEnabled

public abstract boolean isMergingEnabled()

Check if merging is enabled. Used for assertions.

noteMerge

public abstract void noteMerge(PointsToAnalysis bb,
                               TypeState t)

Note type state merge.

noteMerge

public abstract void noteMerge(PointsToAnalysis bb,
                               AnalysisObject... a)

Note analysis object state merge.

noteMerge

public abstract void noteMerge(PointsToAnalysis bb,
                               AnalysisObject o)

Note analysis object state merge.

isContextSensitiveAllocation

public abstract boolean isContextSensitiveAllocation(PointsToAnalysis bb,
                                                     AnalysisType type,
                                                     AnalysisContext allocationContext)

Specifies if an allocation site should be modeled context sensitively.

createHeapObject

public abstract AnalysisObject createHeapObject(PointsToAnalysis bb,
                                                AnalysisType objectType,
                                                BytecodeLocation allocationSite,
                                                AnalysisContext allocationContext)

Create a heap allocated object abstraction.

createConstantObject

public abstract AnalysisObject createConstantObject(PointsToAnalysis bb,
                                                    jdk.vm.ci.meta.JavaConstant constant,
                                                    AnalysisType exactType)

Create a constant object abstraction.

createAllocationSite

public abstract BytecodeLocation createAllocationSite(PointsToAnalysis bb,
                                                      int bci,
                                                      AnalysisMethod method)

Create an allocation site given the BCI and method.

createAllocationSite

public BytecodeLocation createAllocationSite(PointsToAnalysis bb,
                                             Object key,
                                             AnalysisMethod method)

Create the allocation site given a unique key and method. The BCI might be duplicated due to Graal method substitutions and inlining. Then we use a unique object key.

createFieldTypeStore

public abstract FieldTypeStore createFieldTypeStore(AnalysisObject object,
                                                    AnalysisField field,
                                                    AnalysisUniverse universe)

createArrayElementsTypeStore

public abstract ArrayElementsTypeStore createArrayElementsTypeStore(AnalysisObject object,
                                                                    AnalysisUniverse universe)

createVirtualInvokeTypeFlow

public abstract AbstractVirtualInvokeTypeFlow createVirtualInvokeTypeFlow(jdk.vm.ci.code.BytecodePosition invokeLocation,
                                                                          AnalysisType receiverType,
                                                                          PointsToAnalysisMethod targetMethod,
                                                                          TypeFlow<?>[] actualParameters,
                                                                          ActualReturnTypeFlow actualReturn,
                                                                          BytecodeLocation location)

Provides implementation for the virtual invoke type flow.

createSpecialInvokeTypeFlow

public abstract AbstractSpecialInvokeTypeFlow createSpecialInvokeTypeFlow(jdk.vm.ci.code.BytecodePosition invokeLocation,
                                                                          AnalysisType receiverType,
                                                                          PointsToAnalysisMethod targetMethod,
                                                                          TypeFlow<?>[] actualParameters,
                                                                          ActualReturnTypeFlow actualReturn,
                                                                          BytecodeLocation location)

Provides implementation for the virtual invoke type flow.

makeProperties

public int makeProperties(BigBang bb,
                          AnalysisObject... objects)

makePropertiesForUnion

public int makePropertiesForUnion(TypeState s1,
                                  TypeState s2)