com.oracle.graal.pointsto

Class BytecodeSensitiveAnalysisPolicy

java.lang.Object

com.oracle.graal.pointsto.AnalysisPolicy

com.oracle.graal.pointsto.BytecodeSensitiveAnalysisPolicy

public class BytecodeSensitiveAnalysisPolicy
extends AnalysisPolicy

Field Summary

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

aliasArrayTypeFlows, options, relaxTypeFlowConstraints, removeSaturatedTypeFlows, typeFlowSaturationCutoff

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
BytecodeAnalysisContextPolicy	contextPolicy() Provide an analysis context policy.
BytecodeLocation	createAllocationSite(BigBang bb, int bci, AnalysisMethod method) Create an allocation site given the BCI and method.
ArrayElementsTypeStore	createArrayElementsTypeStore(AnalysisObject object, AnalysisUniverse universe)
AnalysisObject	createConstantObject(BigBang bb, jdk.vm.ci.meta.JavaConstant constant, AnalysisType exactType) Create a constant object abstraction.
FieldTypeStore	createFieldTypeStore(AnalysisObject object, AnalysisField field, AnalysisUniverse universe)
AnalysisObject	createHeapObject(BigBang bb, AnalysisType type, BytecodeLocation allocationSite, AnalysisContext allocationContext) Create a heap allocated object abstraction.
AbstractSpecialInvokeTypeFlow	createSpecialInvokeTypeFlow(jdk.vm.ci.code.BytecodePosition invokeLocation, AnalysisType receiverType, AnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, BytecodeLocation location) Provides implementation for the virtual invoke type flow.
AbstractVirtualInvokeTypeFlow	createVirtualInvokeTypeFlow(jdk.vm.ci.code.BytecodePosition invokeLocation, AnalysisType receiverType, AnalysisMethod targetMethod, TypeFlow<?>[] actualParameters, ActualReturnTypeFlow actualReturn, BytecodeLocation location) Provides implementation for the virtual invoke type flow.
boolean	isContextSensitiveAllocation(BigBang bb, AnalysisType type, AnalysisContext allocationContext) Specifies if an allocation site should be modeled context sensitively.
boolean	isMergingEnabled() Check if merging is enabled.
boolean	isSummaryObject(AnalysisObject object) In some analysis policies some objects can summarize others.
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.
void	noteMerge(BigBang bb, AnalysisObject... a) Note analysis object state merge.
void	noteMerge(BigBang bb, AnalysisObject o) Note analysis object state merge.
void	noteMerge(BigBang bb, TypeState t) Note type state merge.

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

aliasArrayTypeFlows, createAllocationSite, getContextPolicy, makePoperties, makePopertiesForUnion, relaxTypeFlowConstraints, removeSaturatedTypeFlows, typeFlowSaturationCutoff

Methods inherited from class java.lang.Object

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

Constructor Detail

BytecodeSensitiveAnalysisPolicy

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

Method Detail

contextPolicy

public BytecodeAnalysisContextPolicy contextPolicy()

Description copied from class: AnalysisPolicy

Provide an analysis context policy.

Specified by:

contextPolicy in class AnalysisPolicy

needsConstantCache

public boolean needsConstantCache()

Description copied from class: AnalysisPolicy

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.

Specified by:

needsConstantCache in class AnalysisPolicy

isSummaryObject

public boolean isSummaryObject(AnalysisObject object)

Description copied from class: AnalysisPolicy

In some analysis policies some objects can summarize others.

Specified by:

isSummaryObject in class AnalysisPolicy

isMergingEnabled

public boolean isMergingEnabled()

Description copied from class: AnalysisPolicy

Check if merging is enabled. Used for assertions.

Specified by:

isMergingEnabled in class AnalysisPolicy

noteMerge

public void noteMerge(BigBang bb,
                      TypeState t)

Description copied from class: AnalysisPolicy

Note type state merge.

Specified by:

noteMerge in class AnalysisPolicy

noteMerge

public void noteMerge(BigBang bb,
                      AnalysisObject... a)

Description copied from class: AnalysisPolicy

Note analysis object state merge.

Specified by:

noteMerge in class AnalysisPolicy

noteMerge

public void noteMerge(BigBang bb,
                      AnalysisObject o)

Description copied from class: AnalysisPolicy

Note analysis object state merge.

Specified by:

noteMerge in class AnalysisPolicy

isContextSensitiveAllocation

public boolean isContextSensitiveAllocation(BigBang bb,
                                            AnalysisType type,
                                            AnalysisContext allocationContext)

Description copied from class: AnalysisPolicy

Specifies if an allocation site should be modeled context sensitively.

Specified by:

isContextSensitiveAllocation in class AnalysisPolicy

createHeapObject

public AnalysisObject createHeapObject(BigBang bb,
                                       AnalysisType type,
                                       BytecodeLocation allocationSite,
                                       AnalysisContext allocationContext)

Description copied from class: AnalysisPolicy

Create a heap allocated object abstraction.

Specified by:

createHeapObject in class AnalysisPolicy

createConstantObject

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

Description copied from class: AnalysisPolicy

Create a constant object abstraction.

Specified by:

createConstantObject in class AnalysisPolicy

createAllocationSite

public BytecodeLocation createAllocationSite(BigBang bb,
                                             int bci,
                                             AnalysisMethod method)

Description copied from class: AnalysisPolicy

Create an allocation site given the BCI and method.

Specified by:

createAllocationSite in class AnalysisPolicy

createFieldTypeStore

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

Specified by:

createFieldTypeStore in class AnalysisPolicy

createArrayElementsTypeStore

public ArrayElementsTypeStore createArrayElementsTypeStore(AnalysisObject object,
                                                           AnalysisUniverse universe)

Specified by:

createArrayElementsTypeStore in class AnalysisPolicy

createVirtualInvokeTypeFlow

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

Description copied from class: AnalysisPolicy

Provides implementation for the virtual invoke type flow.

Specified by:

createVirtualInvokeTypeFlow in class AnalysisPolicy

createSpecialInvokeTypeFlow

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

Description copied from class: AnalysisPolicy

Provides implementation for the virtual invoke type flow.

Specified by:

createSpecialInvokeTypeFlow in class AnalysisPolicy