/// <summary>
/// Computes the immediate dominator of each basic block.
/// The default implementation directs the task to the Cooper-Harvey-Kennedy algorithm.
/// </summary>
protected virtual void ComputeDominators()
{
IGraphAdapter <BasicBlock <Ti> > a = BasicBlock <Ti> .DominanceAnalysisAdapter;
a.InvertRelation(a.Succs, a.Preds, BasicBlocks);
a.ComputeImmediateDominators(BasicBlocks, EntryCB);
}
