com.oracle.graal.virtual.phases.ea

Class VirtualizerToolImpl

java.lang.Object

com.oracle.graal.virtual.phases.ea.VirtualizerToolImpl

All Implemented Interfaces:

CanonicalizerTool, VirtualizerTool

class VirtualizerToolImpl
extends Object
implements VirtualizerTool, CanonicalizerTool

Field Summary

Fields

Modifier and Type	Field and Description
private PartialEscapeClosure<?>	closure
private ConstantReflectionProvider	constantReflection
private ValueNode	current
private boolean	deleted
private GraphEffectList	effects
private MetaAccessProvider	metaAccess
private FixedNode	position
private PartialEscapeBlockState<?>	state

Constructor Summary

Constructors

Constructor and Description
VirtualizerToolImpl(MetaAccessProvider metaAccess, ConstantReflectionProvider constantReflection, PartialEscapeClosure<?> closure)

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.
boolean	allUsagesAvailable() If this method returns false, not all usages of a node are yet available.
boolean	canonicalizeReads()
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	getConstantReflection()
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	getMetaAccess()
MetaAccessProvider	getMetaAccessProvider()
boolean	isDeleted()
private static boolean	isObjectEntry(ValueNode value)
MonitorIdNode	removeLock(VirtualObjectNode virtualObject)
void	replaceFirstInput(Node oldInput, Node replacement) Replaces an input of the current node.
void	replaceWith(ValueNode node) This method performs either VirtualizerTool.replaceWithValue(ValueNode) or VirtualizerTool.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 virtual) Deletes the current node and replaces it with the given virtualized object.
void	reset(PartialEscapeBlockState<?> newState, ValueNode newCurrent, FixedNode newPosition, GraphEffectList newEffects)
void	setEnsureVirtualized(VirtualObjectNode virtualObject, boolean ensureVirtualized)
void	setVirtualEntry(VirtualObjectNode virtual, int index, ValueNode value, boolean unsafe) Sets the entry (field or array element) with the given index in the virtualized object.

Methods inherited from class java.lang.Object

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

Field Detail

metaAccess

private final MetaAccessProvider metaAccess

constantReflection

private final ConstantReflectionProvider constantReflection

closure

private final PartialEscapeClosure<?> closure

deleted

private boolean deleted

state

private PartialEscapeBlockState<?> state

current

private ValueNode current

position

private FixedNode position

effects

private GraphEffectList effects

Constructor Detail

VirtualizerToolImpl

VirtualizerToolImpl(MetaAccessProvider metaAccess,
                    ConstantReflectionProvider constantReflection,
                    PartialEscapeClosure<?> closure)

Method Detail

getMetaAccessProvider

public MetaAccessProvider getMetaAccessProvider()

Specified by:

getMetaAccessProvider in interface VirtualizerTool

Returns:

the MetaAccessProvider associated with the current compilation.

getConstantReflectionProvider

public ConstantReflectionProvider getConstantReflectionProvider()

Specified by:

getConstantReflectionProvider in interface VirtualizerTool

Returns:

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

reset

public void reset(PartialEscapeBlockState<?> newState,
                  ValueNode newCurrent,
                  FixedNode newPosition,
                  GraphEffectList newEffects)

isDeleted

public boolean isDeleted()

getAlias

public ValueNode getAlias(ValueNode value)

Description copied from interface: VirtualizerTool

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 VirtualizerTool.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).

Specified by:

getAlias in interface VirtualizerTool

getEntry

public ValueNode getEntry(VirtualObjectNode virtualObject,
                          int index)

Specified by:

getEntry in interface VirtualizerTool

setVirtualEntry

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

Description copied from interface: VirtualizerTool

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

Specified by:

setVirtualEntry in interface VirtualizerTool

index - the index to be set.

value - the new value for the given index.

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

setEnsureVirtualized

public void setEnsureVirtualized(VirtualObjectNode virtualObject,
                                 boolean ensureVirtualized)

Specified by:

setEnsureVirtualized in interface VirtualizerTool

getEnsureVirtualized

public boolean getEnsureVirtualized(VirtualObjectNode virtualObject)

Specified by:

getEnsureVirtualized in interface VirtualizerTool

isObjectEntry

private static boolean isObjectEntry(ValueNode value)

replaceWithVirtual

public void replaceWithVirtual(VirtualObjectNode virtual)

Description copied from interface: VirtualizerTool

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

Specified by:

replaceWithVirtual in interface VirtualizerTool

Parameters:

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

replaceWithValue

public void replaceWithValue(ValueNode replacement)

Description copied from interface: VirtualizerTool

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

Specified by:

replaceWithValue in interface VirtualizerTool

Parameters:

replacement - the value that should replace the current node.

delete

public void delete()

Description copied from interface: VirtualizerTool

Deletes the current node.

Specified by:

delete in interface VirtualizerTool

replaceFirstInput

public void replaceFirstInput(Node oldInput,
                              Node replacement)

Description copied from interface: VirtualizerTool

Replaces an input of the current node.

Specified by:

replaceFirstInput in interface VirtualizerTool

Parameters:

oldInput - the old input value.

replacement - the new input value.

addNode

public void addNode(ValueNode node)

Description copied from interface: VirtualizerTool

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

Specified by:

addNode in interface VirtualizerTool

Parameters:

node - the node to add.

createVirtualObject

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

Description copied from interface: VirtualizerTool

Introduces a new virtual object to the current state.

Specified by:

createVirtualObject in interface VirtualizerTool

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

getMaximumEntryCount

public int getMaximumEntryCount()

Description copied from interface: VirtualizerTool

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

Specified by:

getMaximumEntryCount in interface VirtualizerTool

Returns:

the maximum number of entries for virtualized objects.

replaceWith

public void replaceWith(ValueNode node)

Description copied from interface: VirtualizerTool

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

Specified by:

replaceWith in interface VirtualizerTool

Parameters:

node - the replacement value

addLock

public void addLock(VirtualObjectNode virtualObject,
                    MonitorIdNode monitorId)

Specified by:

addLock in interface VirtualizerTool

removeLock

public MonitorIdNode removeLock(VirtualObjectNode virtualObject)

Specified by:

removeLock in interface VirtualizerTool

getMetaAccess

public MetaAccessProvider getMetaAccess()

Specified by:

getMetaAccess in interface CanonicalizerTool

getConstantReflection

public ConstantReflectionProvider getConstantReflection()

Specified by:

getConstantReflection in interface CanonicalizerTool

canonicalizeReads

public boolean canonicalizeReads()

Specified by:

canonicalizeReads in interface CanonicalizerTool

allUsagesAvailable

public boolean allUsagesAvailable()

Description copied from interface: CanonicalizerTool

If this method returns false, not all usages of a node are yet available. So a node must not be canonicalized base on, e.g., information returned from Node.hasNoUsages().

Specified by:

allUsagesAvailable in interface CanonicalizerTool