com.oracle.graal.nodes.spi

Interface VirtualizerTool

All Known Implementing Classes:

VirtualizerToolImpl

public interface VirtualizerTool

This tool can be used to query the current state (normal/virtualized/re-materialized) of values and to describe the actions that would be taken for this state. See also Virtualizable.

Method Summary

Modifier and Type	Method and Description
void	addLock(VirtualObjectNode virtualObject, MonitorIdNode monitorId)
void	addNode(ValueNode node) Adds the given node to the graph.This action will only be performed when, and if, the changes are committed.
void	createVirtualObject(VirtualObjectNode virtualObject, ValueNode[] entryState, List<MonitorIdNode> locks, boolean ensureVirtualized) Introduces a new virtual object to the current state.
void	delete() Deletes the current node.
ValueNode	getAlias(ValueNode value) Returns a VirtualObjectNode if the given value is aliased with a virtual object that is still virtual, the materialized value of the given value is aliased with a virtual object that was materialized, the replacement if the give value was replaced, otherwise the given value.
ConstantReflectionProvider	getConstantReflectionProvider()
boolean	getEnsureVirtualized(VirtualObjectNode virtualObject)
ValueNode	getEntry(VirtualObjectNode virtualObject, int index)
int	getMaximumEntryCount() This method should be used to query the maximum size of virtualized objects before attempting virtualization.
MetaAccessProvider	getMetaAccessProvider()
MonitorIdNode	removeLock(VirtualObjectNode virtualObject)
void	replaceFirstInput(Node oldInput, Node replacement) Replaces an input of the current node.
void	replaceWith(ValueNode value) This method performs either replaceWithValue(ValueNode) or replaceWithVirtual(VirtualObjectNode), depending on the given value.
void	replaceWithValue(ValueNode replacement) Deletes the current node and replaces it with the given value.
void	replaceWithVirtual(VirtualObjectNode virtualObject) Deletes the current node and replaces it with the given virtualized object.
void	setEnsureVirtualized(VirtualObjectNode virtualObject, boolean ensureVirtualized)
void	setVirtualEntry(VirtualObjectNode virtualObject, int index, ValueNode value, boolean unsafe) Sets the entry (field or array element) with the given index in the virtualized object.

Method Detail

getMetaAccessProvider

MetaAccessProvider getMetaAccessProvider()

Returns:

the MetaAccessProvider associated with the current compilation.

getConstantReflectionProvider

ConstantReflectionProvider getConstantReflectionProvider()

Returns:

the ConstantReflectionProvider associated with the current compilation, which can be used to access JavaConstants.

getMaximumEntryCount

int getMaximumEntryCount()

This method should be used to query the maximum size of virtualized objects before attempting virtualization.

Returns:

the maximum number of entries for virtualized objects.

createVirtualObject

void createVirtualObject(VirtualObjectNode virtualObject,
                         ValueNode[] entryState,
                         List<MonitorIdNode> locks,
                         boolean ensureVirtualized)

Introduces a new virtual object to the current state.

Parameters:

virtualObject - the new virtual object.

entryState - the initial state of the virtual object's fields.

locks - the initial locking depths.

ensureVirtualized - true if this object needs to stay virtual

getAlias

ValueNode getAlias(ValueNode value)

Returns a VirtualObjectNode if the given value is aliased with a virtual object that is still virtual, the materialized value of the given value is aliased with a virtual object that was materialized, the replacement if the give value was replaced, otherwise the given value. Replacements via replaceWithValue(ValueNode) are not immediately committed. This method can be used to determine if a value was replaced by another one (e.g., a load field by the loaded value).

setVirtualEntry

void setVirtualEntry(VirtualObjectNode virtualObject,
                     int index,
                     ValueNode value,
                     boolean unsafe)

Sets the entry (field or array element) with the given index in the virtualized object.

Parameters:

index - the index to be set.

value - the new value for the given index.

unsafe - if true, then mismatching value Kinds will be accepted.

getEntry

ValueNode getEntry(VirtualObjectNode virtualObject,
                   int index)

addLock

void addLock(VirtualObjectNode virtualObject,
             MonitorIdNode monitorId)

removeLock

MonitorIdNode removeLock(VirtualObjectNode virtualObject)

setEnsureVirtualized

void setEnsureVirtualized(VirtualObjectNode virtualObject,
                          boolean ensureVirtualized)

getEnsureVirtualized

boolean getEnsureVirtualized(VirtualObjectNode virtualObject)

replaceWithVirtual

void replaceWithVirtual(VirtualObjectNode virtualObject)

Deletes the current node and replaces it with the given virtualized object.

Parameters:

virtualObject - the virtualized object that should replace the current node.

replaceWithValue

void replaceWithValue(ValueNode replacement)

Deletes the current node and replaces it with the given value.

Parameters:

replacement - the value that should replace the current node.

delete

void delete()

Deletes the current node.

replaceFirstInput

void replaceFirstInput(Node oldInput,
                       Node replacement)

Replaces an input of the current node.

Parameters:

oldInput - the old input value.

replacement - the new input value.

addNode

void addNode(ValueNode node)

Adds the given node to the graph.This action will only be performed when, and if, the changes are committed.

Parameters:

node - the node to add.

replaceWith

void replaceWith(ValueNode value)

This method performs either replaceWithValue(ValueNode) or replaceWithVirtual(VirtualObjectNode), depending on the given value.

Parameters:

value - the replacement value