Jakob Stoklund Olesen cf45afa1e7 Avoid the CFG get_successors() when computing a post-order. ...

The control flow graph does not guarantee any particular ordering for
its successor lists, and the post-order we are computing for building
the dominator tree needs to be "split-invariant".

See #146 for details.

- Discover EBB successors directly from the EBB instruction sequence to
  guarantee that the post-order we compute is canonical/split-invariant.
- Use an alternative graph DFS algorithm which doesn't require indexing
  into a slice of successors.

This changes cfg_postorder in some cases because the edge pruning when
converting the (DAG) CFG to a tree for the DFT is different.

2017-11-21 14:20:57 -08:00

..

cfg_traversal.rs

Avoid the CFG get_successors() when computing a post-order.

2017-11-21 14:20:57 -08:00