org.graalvm.compiler.virtual.phases.ea

Class PartialEscapeBlockState<T extends PartialEscapeBlockState<T>>

java.lang.Object

org.graalvm.compiler.virtual.phases.ea.EffectsBlockState<T>

org.graalvm.compiler.virtual.phases.ea.PartialEscapeBlockState<T>

Direct Known Subclasses:

PartialEscapeBlockState.Final, PEReadEliminationBlockState

public abstract class PartialEscapeBlockState<T extends PartialEscapeBlockState<T>>
extends EffectsBlockState<T>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	PartialEscapeBlockState.Final Final subclass of PartialEscapeBlockState, for performance and to make everything behave nicely with generics.

Field Summary

Fields inherited from class org.graalvm.compiler.virtual.phases.ea.EffectsBlockState

exceptionEdgesToKill

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	PartialEscapeBlockState(OptionValues options, DebugContext debug)
protected	PartialEscapeBlockState(PartialEscapeBlockState<T> other)

Method Summary

Modifier and Type	Method and Description
void	addLock(int object, MonitorIdNode monitorId)
void	addObject(int virtual, ObjectState state)
void	adoptAddObjectStates(PartialEscapeBlockState<?> other)
boolean	contains(VirtualObjectNode value)
boolean	equivalentTo(T other)
void	escape(int object, ValueNode materialized)
ObjectState	getObjectState(int object)
ObjectState	getObjectState(VirtualObjectNode object) Asserts that the given virtual object is available/reachable in the current state.
ObjectState	getObjectStateOptional(int object)
ObjectState	getObjectStateOptional(VirtualObjectNode object)
int	getStateCount()
boolean	hasObjectState(int object)
static boolean	identicalObjectStates(PartialEscapeBlockState<?>[] states)
static boolean	identicalObjectStates(PartialEscapeBlockState<?>[] states, int object)
void	materializeBefore(FixedNode fixed, VirtualObjectNode virtual, GraphEffectList materializeEffects) Materializes the given virtual object and produces the necessary effects in the effects list.
protected void	objectMaterialized(VirtualObjectNode virtual, AllocatedObjectNode representation, List<ValueNode> values)
MonitorIdNode	removeLock(int object)
void	resetObjectStates(int size)
void	setEnsureVirtualized(int object, boolean ensureVirtualized)
void	setEntry(int object, int entryIndex, ValueNode value)
String	toString()
void	updateMaterializedValue(int object, ValueNode value)

Methods inherited from class org.graalvm.compiler.virtual.phases.ea.EffectsBlockState

isDead, isSubMapOf, markAsDead, meetMaps

Methods inherited from class java.lang.Object

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

Constructor Detail

PartialEscapeBlockState

protected PartialEscapeBlockState(OptionValues options,
                                  DebugContext debug)

PartialEscapeBlockState

protected PartialEscapeBlockState(PartialEscapeBlockState<T> other)

Method Detail

contains

public boolean contains(VirtualObjectNode value)

getObjectState

public ObjectState getObjectState(int object)

getObjectStateOptional

public ObjectState getObjectStateOptional(int object)

hasObjectState

public boolean hasObjectState(int object)

getObjectState

public ObjectState getObjectState(VirtualObjectNode object)

Asserts that the given virtual object is available/reachable in the current state.

getObjectStateOptional

public ObjectState getObjectStateOptional(VirtualObjectNode object)

setEntry

public void setEntry(int object,
                     int entryIndex,
                     ValueNode value)

escape

public void escape(int object,
                   ValueNode materialized)

addLock

public void addLock(int object,
                    MonitorIdNode monitorId)

removeLock

public MonitorIdNode removeLock(int object)

setEnsureVirtualized

public void setEnsureVirtualized(int object,
                                 boolean ensureVirtualized)

updateMaterializedValue

public void updateMaterializedValue(int object,
                                    ValueNode value)

materializeBefore

public void materializeBefore(FixedNode fixed,
                              VirtualObjectNode virtual,
                              GraphEffectList materializeEffects)

Materializes the given virtual object and produces the necessary effects in the effects list. This transitively also materializes all other virtual objects that are reachable from the entries.

objectMaterialized

protected void objectMaterialized(VirtualObjectNode virtual,
                                  AllocatedObjectNode representation,
                                  List<ValueNode> values)

addObject

public void addObject(int virtual,
                      ObjectState state)

getStateCount

public int getStateCount()

toString

public String toString()

Overrides:

toString in class EffectsBlockState<T extends PartialEscapeBlockState<T>>

equivalentTo

public boolean equivalentTo(T other)

Specified by:

equivalentTo in class EffectsBlockState<T extends PartialEscapeBlockState<T>>

resetObjectStates

public void resetObjectStates(int size)

identicalObjectStates

public static boolean identicalObjectStates(PartialEscapeBlockState<?>[] states)

identicalObjectStates

public static boolean identicalObjectStates(PartialEscapeBlockState<?>[] states,
                                            int object)

adoptAddObjectStates

public void adoptAddObjectStates(PartialEscapeBlockState<?> other)