org.graalvm.compiler.hotspot.meta

Class HotSpotMetaAccessExtensionProvider

java.lang.Object

org.graalvm.compiler.hotspot.meta.HotSpotMetaAccessExtensionProvider

All Implemented Interfaces:

MetaAccessExtensionProvider

public class HotSpotMetaAccessExtensionProvider
extends Object
implements MetaAccessExtensionProvider

Constructor Summary

Constructors

Constructor and Description
HotSpotMetaAccessExtensionProvider()

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

HotSpotMetaAccessExtensionProvider

public HotSpotMetaAccessExtensionProvider()

Method Detail

getStorageKind

public JavaKind getStorageKind(JavaType type)

Description copied from interface: MetaAccessExtensionProvider

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.

Specified by:

getStorageKind in interface MetaAccessExtensionProvider

canConstantFoldDynamicAllocation

public boolean canConstantFoldDynamicAllocation(ResolvedJavaType type)

Description copied from interface: MetaAccessExtensionProvider

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.

Specified by:

canConstantFoldDynamicAllocation in interface MetaAccessExtensionProvider

isGuaranteedSafepoint

public boolean isGuaranteedSafepoint(ResolvedJavaMethod method,
                                     boolean isDirect)

Description copied from interface: MetaAccessExtensionProvider

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

Specified by:

isGuaranteedSafepoint in interface MetaAccessExtensionProvider

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

public boolean canVirtualize(ResolvedJavaType instanceType)

Description copied from interface: MetaAccessExtensionProvider

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

Specified by:

canVirtualize in interface MetaAccessExtensionProvider