AbstractControlFlowGraph (Graal OpenJDK Project Documentation)

All Known Implementing Classes:: ControlFlowGraph

public interface AbstractControlFlowGraph<T extends AbstractBlockBase<T>>

Field Summary

Fields
Modifier and Type Field and Description

static int BLOCK_ID_INITIAL

static int BLOCK_ID_VISITED

Fields
Modifier and Type	Field and Description
`static int`	`BLOCK_ID_INITIAL`
`static int`	`BLOCK_ID_VISITED`

Method Summary

All Methods Static Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method and Description
`static <T extends AbstractBlockBase<T>> void`	`calcDominatorRanges(T block)`
`static AbstractBlockBase<?>`	`commonDominator(AbstractBlockBase<?> a, AbstractBlockBase<?> b)` Calculates the common dominator of two blocks.
`static AbstractBlockBase<?>`	`commonDominatorHelper(AbstractBlockBase<?> a, AbstractBlockBase<?> b)`
`static AbstractBlockBase<?>`	`commonDominatorRaw(AbstractBlockBase<?> a, AbstractBlockBase<?> b)`
`static AbstractBlockBase<?>`	`commonDominatorRawSameDepth(AbstractBlockBase<?> a, AbstractBlockBase<?> b)`
`static <T extends AbstractBlockBase<T>> T`	`commonDominatorTyped(T a, T b)`
`static <T extends AbstractBlockBase<T>> void`	`computeDominators(AbstractControlFlowGraph<T> cfg)` Computes the dominators of control flow graph.
`static boolean`	`dominates(AbstractBlockBase<?> a, AbstractBlockBase<?> b)` True if block `a` dominates block `b`.
`List<T>`	`getBlocks()` Returns the list blocks contained in this control flow graph.
`Collection<Loop<T>>`	`getLoops()`
`T`	`getStartBlock()`
`static boolean`	`isDominatedBy(AbstractBlockBase<?> a, AbstractBlockBase<?> b)` True if block `a` is dominated by block `b`.
`static boolean`	`strictlyDominates(AbstractBlockBase<?> a, AbstractBlockBase<?> b)` True if block `a` dominates block `b` and `a` is not identical block to `b`.

Field Detail
- BLOCK_ID_INITIAL
```
static final int BLOCK_ID_INITIAL
```
  See Also:
  
  Constant Field Values
- BLOCK_ID_VISITED
```
static final int BLOCK_ID_VISITED
```
  See Also:
  
  Constant Field Values

Method Detail

getBlocks
```
List<T> getBlocks()
```
Returns the list blocks contained in this control flow graph. It is guaranteed that the blocks are numbered and ordered according to a reverse post order traversal of the control flow graph.

See Also:

CFGVerifier

getLoops
```
Collection<Loop<T>> getLoops()
```

getStartBlock
```
T getStartBlock()
```

computeDominators

static <T extends AbstractBlockBase<T>> void computeDominators(AbstractControlFlowGraph<T> cfg)

Computes the dominators of control flow graph.

calcDominatorRanges

static <T extends AbstractBlockBase<T>> void calcDominatorRanges(T block)

isDominatedBy

static boolean isDominatedBy(AbstractBlockBase<?> a,
                             AbstractBlockBase<?> b)

True if block a is dominated by block b.

strictlyDominates

static boolean strictlyDominates(AbstractBlockBase<?> a,
                                 AbstractBlockBase<?> b)

True if block a dominates block b and a is not identical block to b.

dominates

static boolean dominates(AbstractBlockBase<?> a,
                         AbstractBlockBase<?> b)

True if block a dominates block b.

commonDominator

static AbstractBlockBase<?> commonDominator(AbstractBlockBase<?> a,
                                            AbstractBlockBase<?> b)

Calculates the common dominator of two blocks. Note that this algorithm makes use of special properties regarding the numbering of blocks.

See Also:: getBlocks(), CFGVerifier

commonDominatorHelper

static AbstractBlockBase<?> commonDominatorHelper(AbstractBlockBase<?> a,
                                                  AbstractBlockBase<?> b)

commonDominatorRaw

static AbstractBlockBase<?> commonDominatorRaw(AbstractBlockBase<?> a,
                                               AbstractBlockBase<?> b)

commonDominatorRawSameDepth

static AbstractBlockBase<?> commonDominatorRawSameDepth(AbstractBlockBase<?> a,
                                                        AbstractBlockBase<?> b)

commonDominatorTyped

static <T extends AbstractBlockBase<T>> T commonDominatorTyped(T a,
                                                               T b)

See Also:: commonDominator(AbstractBlockBase, AbstractBlockBase)

Interface AbstractControlFlowGraph<T extends AbstractBlockBase<T>>

Field Summary

Method Summary

Field Detail

BLOCK_ID_INITIAL

BLOCK_ID_VISITED