org.graalvm.compiler.core.common.spi

Interface MetaAccessExtensionProvider

All Known Implementing Classes:

HotSpotMetaAccessExtensionProvider

public interface MetaAccessExtensionProvider

Provides additional meta data about JVMCI objects that is not provided by the VM itself, and therefore does not need to be in JVMCI itself.

Method Summary

Modifier and Type	Method and Description
boolean	canConstantFoldDynamicAllocation(ResolvedJavaType type) Checks if a dynamic allocation of the provided type can be canonicalized to a regular allocation node.
boolean	canVirtualize(ResolvedJavaType instanceType) Returns true if the partial escape analysis is allowed to virtualize object allocations of a given type.
JavaKind	getStorageKind(JavaType type) The JavaKind used to store the provided type in a field or array element.
boolean	isGuaranteedSafepoint(ResolvedJavaMethod method, boolean isDirect) Checks if the invocation of the provided method is guaranteed to include a safepoint.

Method Detail

getStorageKind

JavaKind getStorageKind(JavaType type)

The JavaKind used to store the provided type in a field or array element. This can be different than the JavaType.getJavaKind() for types that are intercepted and transformed by the compiler.

canConstantFoldDynamicAllocation

boolean canConstantFoldDynamicAllocation(ResolvedJavaType type)

Checks if a dynamic allocation of the provided type can be canonicalized to a regular allocation node. If the method returns false, then the dynamic allocation would throw an exception at run time and therefore canonicalization would miss that exception.

isGuaranteedSafepoint

boolean isGuaranteedSafepoint(ResolvedJavaMethod method,
                              boolean isDirect)

Checks if the invocation of the provided method is guaranteed to include a safepoint.

Parameters:

isDirect - Whether the method is being directly invoked. For indirect calls, a method is guaranteed to have a safepoint only if all possible destinations are guaranteed to contain a safepoint.

canVirtualize

boolean canVirtualize(ResolvedJavaType instanceType)

Returns true if the partial escape analysis is allowed to virtualize object allocations of a given type.