org.graalvm.compiler.virtual.phases.ea

Class EffectsBlockState<T extends EffectsBlockState<T>>

java.lang.Object

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

Direct Known Subclasses:

PartialEscapeBlockState, ReadEliminationBlockState

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

Field Summary

Fields

Modifier and Type	Field and Description
protected org.graalvm.collections.EconomicSet<Block>	exceptionEdgesToKill Exception edges marked dead for this state by dominating WithExceptionNode control flow split nodes.

Constructor Summary

Constructors

Constructor and Description
EffectsBlockState()
EffectsBlockState(EffectsBlockState<T> other)

Method Summary

Modifier and Type	Method and Description
protected abstract boolean	equivalentTo(T other)
boolean	isDead()
protected static <K,V> boolean	isSubMapOf(org.graalvm.collections.EconomicMap<K,V> superMap, org.graalvm.collections.EconomicMap<K,V> subMap) Returns true if every value in subMap is also present in the superMap (according to "equals" semantics).
void	markAsDead()
protected static <U,V> void	meetMaps(Map<U,V> target, Map<U,V> source) Modifies target so that only entries that have corresponding entries in source remain.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

exceptionEdgesToKill

protected org.graalvm.collections.EconomicSet<Block> exceptionEdgesToKill

Exception edges marked dead for this state by dominating WithExceptionNode control flow split nodes.

Constructor Detail

EffectsBlockState

public EffectsBlockState()

EffectsBlockState

public EffectsBlockState(EffectsBlockState<T> other)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

equivalentTo

protected abstract boolean equivalentTo(T other)

isDead

public boolean isDead()

markAsDead

public void markAsDead()

isSubMapOf

protected static <K,V> boolean isSubMapOf(org.graalvm.collections.EconomicMap<K,V> superMap,
                                          org.graalvm.collections.EconomicMap<K,V> subMap)

Returns true if every value in subMap is also present in the superMap (according to "equals" semantics).

meetMaps

protected static <U,V> void meetMaps(Map<U,V> target,
                                     Map<U,V> source)

Modifies target so that only entries that have corresponding entries in source remain.