org.jikesrvm.compilers.opt.controlflow

Class DominatorInfo

java.lang.Object

org.jikesrvm.compilers.opt.controlflow.DominatorInfo

public class DominatorInfo
extends Object

This structure holds dominator-related information for a basic block.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) BitVector	dominators A BitVector which represents the dominators of the basic block
(package private) BasicBlock	idom The basic block's immediate dominator.

Constructor Summary

Constructors

Constructor and Description
DominatorInfo(BitVector dominators) Make a structure with a given bit set holding the dominators of the basic block.

Method Summary

Modifier and Type	Method and Description
boolean	isDominatedBy(BasicBlock bb) Is the basic block represented by this structure dominated by another basic block?

Methods inherited from class java.lang.Object

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

Field Detail

dominators

final BitVector dominators

A BitVector which represents the dominators of the basic block

idom

BasicBlock idom

The basic block's immediate dominator.

Constructor Detail

DominatorInfo

DominatorInfo(BitVector dominators)

Make a structure with a given bit set holding the dominators of the basic block.

Parameters:

dominators - the bit set

Method Detail

isDominatedBy

public boolean isDominatedBy(BasicBlock bb)

Is the basic block represented by this structure dominated by another basic block?

Parameters:

bb - the basic block in question

Returns:

true or false