org.graalvm.compiler.truffle.common

Interface OptimizedAssumptionDependency

All Known Implementing Classes:

HotSpotOptimizedCallTarget

public interface OptimizedAssumptionDependency

Represents some machine code whose validity depends on an assumption. Valid machine code can still be executed.

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static interface	OptimizedAssumptionDependency.Access Provides access to a OptimizedAssumptionDependency.

Method Summary

Modifier and Type	Method and Description
default CompilableTruffleAST	getCompilable() Gets the Truffle AST whose machine code is represented by this object.
boolean	isValid() Determines if the machine code referenced by this object is valid.
void	onAssumptionInvalidated(Object source, CharSequence reason) Called when a depended-on assumption is invalidated, with the intention to invalidate the machine code referenced by this object.
default boolean	soleExecutionEntryPoint() Determines if a reference to this object is the only way the machine code can be executed.

Method Detail

onAssumptionInvalidated

void onAssumptionInvalidated(Object source,
                             CharSequence reason)

Called when a depended-on assumption is invalidated, with the intention to invalidate the machine code referenced by this object.

isValid

boolean isValid()

Determines if the machine code referenced by this object is valid.

getCompilable

default CompilableTruffleAST getCompilable()

Gets the Truffle AST whose machine code is represented by this object. May be null.

soleExecutionEntryPoint

default boolean soleExecutionEntryPoint()

Determines if a reference to this object is the only way the machine code can be executed. If true, it means the assumption will use a weak reference to this object. Once the weak reference is cleared, assumption invalidation can ignore this object without posing the risk of invalid code remaining live.

Returns:

true if the referenced machine code is guaranteed never to be executed when this object dies, false the referenced machine code can be still be executed even when this object is dead