computeDominators method

void computeDominators()

Compute dominator tree of the call-graph.

Implementation

void computeDominators() {
  final dom = dominators.computeDominators(
      size: nodes.length,
      root: nodes.first.id,
      succ: (i) => nodes[i].succ.map((n) => n.id),
      predOf: (i) => nodes[i].pred.map((n) => n.id),
      handleEdge: (from, to) {});
  for (var i = 1; i < nodes.length; i++) {
    nodes[dom[i]]._addDominatedBlock(nodes[i]);
  }
}