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 boolean	allocationSiteSensitiveHeap
protected boolean	hybridStaticContext
protected boolean	limitObjectArrayLength
protected int	maxHeapContextDepth
protected int	maxObjectSetSize
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
abstract boolean	addOriginalObserver(PointsToAnalysis bb, TypeFlow<?> flow, TypeFlow<?> observer)
abstract boolean	addOriginalUse(PointsToAnalysis bb, TypeFlow<?> flow, TypeFlow<?> use)
boolean	aliasArrayTypeFlows()
abstract AnalysisContext	allocationContext(PointsToAnalysis bb, MethodFlowsGraph callerGraph)
boolean	allocationSiteSensitiveHeap()
protected static boolean	areTypesCompatibleForSystemArraycopy(AnalysisType srcType, AnalysisType dstType) System.arraycopy() type compatibility is defined as: can elements of the source array be converted to the component type of the destination array by assignment conversion.
abstract TypeState	cloneState(PointsToAnalysis bb, TypeState currentState, TypeState inputState, BytecodePosition cloneSite, AnalysisContext allocationContext) Create type state for clone.
abstract TypeState	constantTypeState(PointsToAnalysis bb, JavaConstant constant, AnalysisType exactType) Wrap a constant into a type state abstraction.
abstract ArrayElementsTypeStore	createArrayElementsTypeStore(AnalysisObject object, AnalysisUniverse universe)
abstract AnalysisObject	createConstantObject(PointsToAnalysis bb, JavaConstant constant, AnalysisType exactType) Create a constant object abstraction.
abstract InvokeTypeFlow	createDeoptInvokeTypeFlow(BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)
abstract FieldTypeStore	createFieldTypeStore(PointsToAnalysis bb, AnalysisObject object, AnalysisField field, AnalysisUniverse universe)
abstract AnalysisObject	createHeapObject(PointsToAnalysis bb, AnalysisType objectType, BytecodePosition allocationSite, AnalysisContext allocationContext) Create a heap allocated object abstraction.
abstract MethodTypeFlow	createMethodTypeFlow(PointsToAnalysisMethod method)
abstract AbstractSpecialInvokeTypeFlow	createSpecialInvokeTypeFlow(BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey) Provides implementation for the special invoke type flow.
abstract AbstractStaticInvokeTypeFlow	createStaticInvokeTypeFlow(BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey) Provides implementation for the static invoke type flow.
abstract AbstractVirtualInvokeTypeFlow	createVirtualInvokeTypeFlow(BytecodePosition invokeLocation, AnalysisType receiverType, PointsToAnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey) Provides implementation for the virtual invoke type flow.
abstract TypeState	doIntersection(PointsToAnalysis bb, MultiTypeState s1, MultiTypeState s2)
abstract TypeState	doIntersection(PointsToAnalysis bb, MultiTypeState s1, SingleTypeState s2)
TypeState	doIntersection(PointsToAnalysis bb, SingleTypeState s1, MultiTypeState s2)
TypeState	doIntersection(PointsToAnalysis bb, SingleTypeState s1, SingleTypeState s2)
abstract TypeState	doSubtraction(PointsToAnalysis bb, MultiTypeState s1, MultiTypeState s2)
abstract TypeState	doSubtraction(PointsToAnalysis bb, MultiTypeState s1, SingleTypeState s2)
TypeState	doSubtraction(PointsToAnalysis bb, SingleTypeState s1, MultiTypeState s2)
TypeState	doSubtraction(PointsToAnalysis bb, SingleTypeState s1, SingleTypeState s2)
abstract TypeState	doUnion(PointsToAnalysis bb, MultiTypeState s1, MultiTypeState s2)
abstract TypeState	doUnion(PointsToAnalysis bb, MultiTypeState s1, SingleTypeState s2)
abstract TypeState	doUnion(PointsToAnalysis bb, SingleTypeState s1, SingleTypeState s2)
abstract TypeState	dynamicNewInstanceState(PointsToAnalysis bb, TypeState currentState, TypeState newState, BytecodePosition allocationSite, AnalysisContext allocationContext) Create type state for dynamic new instance.
abstract TypeState	forContextInsensitiveTypeState(PointsToAnalysis bb, TypeState state) Simplifies a type state by replacing all context sensitive objects with context insensitive objects.
abstract boolean	isContextSensitiveAllocation(PointsToAnalysis bb, AnalysisType type, AnalysisContext allocationContext) Specifies if an allocation site should be modeled context sensitively.
abstract boolean	isContextSensitiveAnalysis()
abstract boolean	isMergingEnabled() Check if merging is enabled.
abstract boolean	isSummaryObject(AnalysisObject object) In some analysis policies some objects can summarize others.
boolean	limitObjectArrayLength()
abstract void	linkActualReturn(PointsToAnalysis bb, boolean isStatic, InvokeTypeFlow invoke)
abstract void	linkClonedObjects(PointsToAnalysis bb, TypeFlow<?> inputFlow, CloneTypeFlow cloneFlow, BytecodePosition source) Link the elements of the cloned objects (array flows or field flows) to the elements of the source objects.
int	maxObjectSetSize()
abstract MultiTypeState	multiTypeState(PointsToAnalysis bb, boolean canBeNull, BitSet typesBitSet, int typesCount, AnalysisObject... objects)
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.
abstract void	processArrayCopyStates(PointsToAnalysis bb, TypeState srcArrayState, TypeState dstArrayState)
abstract TypeFlow<?>	proxy(BytecodePosition source, TypeFlow<?> input)
abstract void	registerAsImplementationInvoked(InvokeTypeFlow invoke, PointsToAnalysisMethod method)
boolean	relaxTypeFlowConstraints()
boolean	removeSaturatedTypeFlows()
abstract SingleTypeState	singleTypeState(PointsToAnalysis bb, boolean canBeNull, AnalysisType type, AnalysisObject... objects)
abstract MethodFlowsGraphInfo	staticRootMethodGraph(PointsToAnalysis bb, PointsToAnalysisMethod method)
int	typeFlowSaturationCutoff()
boolean	useHybridStaticContext()

Methods inherited from class java.lang.Object

clone, equals, 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

allocationSiteSensitiveHeap

protected final boolean allocationSiteSensitiveHeap

maxHeapContextDepth

protected final int maxHeapContextDepth

limitObjectArrayLength

protected final boolean limitObjectArrayLength

maxObjectSetSize

protected final int maxObjectSetSize

hybridStaticContext

protected final boolean hybridStaticContext

Constructor Detail

AnalysisPolicy

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

Method Detail

isContextSensitiveAnalysis

public abstract boolean isContextSensitiveAnalysis()

aliasArrayTypeFlows

public boolean aliasArrayTypeFlows()

relaxTypeFlowConstraints

public boolean relaxTypeFlowConstraints()

removeSaturatedTypeFlows

public boolean removeSaturatedTypeFlows()

typeFlowSaturationCutoff

public int typeFlowSaturationCutoff()

allocationSiteSensitiveHeap

public boolean allocationSiteSensitiveHeap()

limitObjectArrayLength

public boolean limitObjectArrayLength()

maxObjectSetSize

public int maxObjectSetSize()

useHybridStaticContext

public boolean useHybridStaticContext()

createMethodTypeFlow

public abstract MethodTypeFlow createMethodTypeFlow(PointsToAnalysisMethod method)

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,
                                                BytecodePosition allocationSite,
                                                AnalysisContext allocationContext)

Create a heap allocated object abstraction.

createConstantObject

public abstract AnalysisObject createConstantObject(PointsToAnalysis bb,
                                                    JavaConstant constant,
                                                    AnalysisType exactType)

Create a constant object abstraction.

constantTypeState

public abstract TypeState constantTypeState(PointsToAnalysis bb,
                                            JavaConstant constant,
                                            AnalysisType exactType)

Wrap a constant into a type state abstraction.

dynamicNewInstanceState

public abstract TypeState dynamicNewInstanceState(PointsToAnalysis bb,
                                                  TypeState currentState,
                                                  TypeState newState,
                                                  BytecodePosition allocationSite,
                                                  AnalysisContext allocationContext)

Create type state for dynamic new instance.

cloneState

public abstract TypeState cloneState(PointsToAnalysis bb,
                                     TypeState currentState,
                                     TypeState inputState,
                                     BytecodePosition cloneSite,
                                     AnalysisContext allocationContext)

Create type state for clone.

linkClonedObjects

public abstract void linkClonedObjects(PointsToAnalysis bb,
                                       TypeFlow<?> inputFlow,
                                       CloneTypeFlow cloneFlow,
                                       BytecodePosition source)

Link the elements of the cloned objects (array flows or field flows) to the elements of the source objects.

createFieldTypeStore

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

createArrayElementsTypeStore

public abstract ArrayElementsTypeStore createArrayElementsTypeStore(AnalysisObject object,
                                                                    AnalysisUniverse universe)

createVirtualInvokeTypeFlow

public abstract AbstractVirtualInvokeTypeFlow createVirtualInvokeTypeFlow(BytecodePosition invokeLocation,
                                                                          AnalysisType receiverType,
                                                                          PointsToAnalysisMethod targetMethod,
                                                                          TypeFlow<?>[] actualParameters,
                                                                          ActualReturnTypeFlow actualReturn,
                                                                          com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)

Provides implementation for the virtual invoke type flow.

createSpecialInvokeTypeFlow

public abstract AbstractSpecialInvokeTypeFlow createSpecialInvokeTypeFlow(BytecodePosition invokeLocation,
                                                                          AnalysisType receiverType,
                                                                          PointsToAnalysisMethod targetMethod,
                                                                          TypeFlow<?>[] actualParameters,
                                                                          ActualReturnTypeFlow actualReturn,
                                                                          com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)

Provides implementation for the special invoke type flow.

createStaticInvokeTypeFlow

public abstract AbstractStaticInvokeTypeFlow createStaticInvokeTypeFlow(BytecodePosition invokeLocation,
                                                                        AnalysisType receiverType,
                                                                        PointsToAnalysisMethod targetMethod,
                                                                        TypeFlow<?>[] actualParameters,
                                                                        ActualReturnTypeFlow actualReturn,
                                                                        com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)

Provides implementation for the static invoke type flow.

createDeoptInvokeTypeFlow

public abstract InvokeTypeFlow createDeoptInvokeTypeFlow(BytecodePosition invokeLocation,
                                                         AnalysisType receiverType,
                                                         PointsToAnalysisMethod targetMethod,
                                                         TypeFlow<?>[] actualParameters,
                                                         ActualReturnTypeFlow actualReturn,
                                                         com.oracle.svm.common.meta.MultiMethod.MultiMethodKey callerMultiMethodKey)

staticRootMethodGraph

public abstract MethodFlowsGraphInfo staticRootMethodGraph(PointsToAnalysis bb,
                                                           PointsToAnalysisMethod method)

allocationContext

public abstract AnalysisContext allocationContext(PointsToAnalysis bb,
                                                  MethodFlowsGraph callerGraph)

proxy

public abstract TypeFlow<?> proxy(BytecodePosition source,
                                  TypeFlow<?> input)

addOriginalUse

public abstract boolean addOriginalUse(PointsToAnalysis bb,
                                       TypeFlow<?> flow,
                                       TypeFlow<?> use)

addOriginalObserver

public abstract boolean addOriginalObserver(PointsToAnalysis bb,
                                            TypeFlow<?> flow,
                                            TypeFlow<?> observer)

linkActualReturn

public abstract void linkActualReturn(PointsToAnalysis bb,
                                      boolean isStatic,
                                      InvokeTypeFlow invoke)

registerAsImplementationInvoked

public abstract void registerAsImplementationInvoked(InvokeTypeFlow invoke,
                                                     PointsToAnalysisMethod method)

forContextInsensitiveTypeState

public abstract TypeState forContextInsensitiveTypeState(PointsToAnalysis bb,
                                                         TypeState state)

Simplifies a type state by replacing all context sensitive objects with context insensitive objects.

singleTypeState

public abstract SingleTypeState singleTypeState(PointsToAnalysis bb,
                                                boolean canBeNull,
                                                AnalysisType type,
                                                AnalysisObject... objects)

multiTypeState

public abstract MultiTypeState multiTypeState(PointsToAnalysis bb,
                                              boolean canBeNull,
                                              BitSet typesBitSet,
                                              int typesCount,
                                              AnalysisObject... objects)

doUnion

public abstract TypeState doUnion(PointsToAnalysis bb,
                                  SingleTypeState s1,
                                  SingleTypeState s2)

doUnion

public abstract TypeState doUnion(PointsToAnalysis bb,
                                  MultiTypeState s1,
                                  SingleTypeState s2)

doUnion

public abstract TypeState doUnion(PointsToAnalysis bb,
                                  MultiTypeState s1,
                                  MultiTypeState s2)

doIntersection

public final TypeState doIntersection(PointsToAnalysis bb,
                                      SingleTypeState s1,
                                      SingleTypeState s2)

doIntersection

public final TypeState doIntersection(PointsToAnalysis bb,
                                      SingleTypeState s1,
                                      MultiTypeState s2)

doIntersection

public abstract TypeState doIntersection(PointsToAnalysis bb,
                                         MultiTypeState s1,
                                         SingleTypeState s2)

doIntersection

public abstract TypeState doIntersection(PointsToAnalysis bb,
                                         MultiTypeState s1,
                                         MultiTypeState s2)

doSubtraction

public final TypeState doSubtraction(PointsToAnalysis bb,
                                     SingleTypeState s1,
                                     SingleTypeState s2)

doSubtraction

public final TypeState doSubtraction(PointsToAnalysis bb,
                                     SingleTypeState s1,
                                     MultiTypeState s2)

doSubtraction

public abstract TypeState doSubtraction(PointsToAnalysis bb,
                                        MultiTypeState s1,
                                        SingleTypeState s2)

doSubtraction

public abstract TypeState doSubtraction(PointsToAnalysis bb,
                                        MultiTypeState s1,
                                        MultiTypeState s2)

processArrayCopyStates

public abstract void processArrayCopyStates(PointsToAnalysis bb,
                                            TypeState srcArrayState,
                                            TypeState dstArrayState)

areTypesCompatibleForSystemArraycopy

protected static boolean areTypesCompatibleForSystemArraycopy(AnalysisType srcType,
                                                              AnalysisType dstType)

System.arraycopy() type compatibility is defined as: can elements of the source array be converted to the component type of the destination array by assignment conversion.

System.arraycopy() semantics doesn't check the compatibility of the source and destination arrays statically, it instead relies on runtime checks to verify the compatibility between the copied objects and the destination array. For example System.arraycopy() can copy from an Object[] to SomeOtherObject[]. That's why ArrayElementsTypeFlow tests each individual copied object for compatibility with the defined type of the destination array and filters out those not assignable. From System.arraycopy() javadoc: "...if any actual component of the source array [...] cannot be converted to the component type of the destination array by assignment conversion, an ArrayStoreException is thrown."

Here we detect incompatible types eagerly, i.e., array types whose elements would be filtered out by ArrayElementsTypeFlow anyway, by checking dstType.isAssignableFrom(srcType) || srcType.isAssignableFrom(dstType).

By skipping incompatible types when modeling an BasicArrayCopyNode we avoid adding any use links between ArrayElementsTypeFlow that would filter out all elements anyway. (Note that the filter in ArrayElementsTypeFlow is still necessary for partially compatible copying, e.g., when copying from an array to another array of one of its subtypes.)