com.oracle.graal.compiler.common.cfg

Class DominatorOptimizationProblem<E extends Enum<E>,C>

java.lang.Object

com.oracle.graal.compiler.common.cfg.DominatorOptimizationProblem<E,C>

Type Parameters:

E - An enum that describes the flags that can be associated with a block.

C - An arbitrary cost type that is associated with a block. It is intended to carry information needed to calculate the solution. Note that C should not contain boolean flags. Use an enum entry in E instead.

Direct Known Subclasses:

PrintableDominatorOptimizationProblem

public abstract class DominatorOptimizationProblem<E extends Enum<E>,C>
extends Object

This class represents a dominator tree problem, i.e. a problem which can be solved by traversing the dominator (sub-)tree.

Field Summary

Fields

Modifier and Type	Field and Description
private List<? extends AbstractBlockBase<?>>	blocks
private BlockMap<C>	costs
private EnumMap<E,BitSet>	flags

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	DominatorOptimizationProblem(Class<E> flagType, AbstractControlFlowGraph<?> cfg)

Method Summary

Modifier and Type	Method and Description
boolean	get(E flag, AbstractBlockBase<?> block) Checks whether a flag is set for a block.
AbstractBlockBase<?>	getBlockForId(int id)
List<? extends AbstractBlockBase<?>>	getBlocks()
C	getCost(AbstractBlockBase<?> block) Returns the cost object associated with block.
Set<E>	getFlags() Returns the Set of flags that can be set for this problem.
Stream<E>	getFlagsForBlock(AbstractBlockBase<?> block) Returns a Stream of flags associated with block.
String	getName(E flag) Returns the name of a flag.
void	set(E flag, AbstractBlockBase<?> block) Sets a flag for a block.
void	setCost(AbstractBlockBase<?> block, C cost) Sets the cost for a block.
void	setDominatorPath(E flag, AbstractBlockBase<?> block) Sets flag for all blocks along the dominator path from block to the root until a block it finds a block where flag is already set.
Stream<? extends AbstractBlockBase<?>>	stream(E flag) Returns a Stream of blocks for which flag is set.
private static boolean	verify(List<? extends AbstractBlockBase<?>> blocks)

Methods inherited from class java.lang.Object

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

Field Detail

blocks

private List<? extends AbstractBlockBase<?>> blocks

flags

private EnumMap<E extends Enum<E>,BitSet> flags

costs

private BlockMap<C> costs

Constructor Detail

DominatorOptimizationProblem

protected DominatorOptimizationProblem(Class<E> flagType,
                                       AbstractControlFlowGraph<?> cfg)

Method Detail

verify

private static boolean verify(List<? extends AbstractBlockBase<?>> blocks)

getBlocks

public final List<? extends AbstractBlockBase<?>> getBlocks()

getBlockForId

public final AbstractBlockBase<?> getBlockForId(int id)

set

public final void set(E flag,
                      AbstractBlockBase<?> block)

Sets a flag for a block.

get

public final boolean get(E flag,
                         AbstractBlockBase<?> block)

Checks whether a flag is set for a block.

stream

public final Stream<? extends AbstractBlockBase<?>> stream(E flag)

Returns a Stream of blocks for which flag is set.

getCost

public final C getCost(AbstractBlockBase<?> block)

Returns the cost object associated with block. Might return null if not set.

setCost

public final void setCost(AbstractBlockBase<?> block,
                          C cost)

Sets the cost for a block.

setDominatorPath

public final void setDominatorPath(E flag,
                                   AbstractBlockBase<?> block)

Sets flag for all blocks along the dominator path from block to the root until a block it finds a block where flag is already set.

getFlagsForBlock

public final Stream<E> getFlagsForBlock(AbstractBlockBase<?> block)

Returns a Stream of flags associated with block.

getFlags

public final Set<E> getFlags()

Returns the Set of flags that can be set for this problem.

getName

public String getName(E flag)

Returns the name of a flag.