Reset and compute a CFG post-order and dominator tree.
(&mut self, func: &Function, cfg: &ControlFlowGraph)
| 219 | |
| 220 | /// Reset and compute a CFG post-order and dominator tree. |
| 221 | pub fn compute(&mut self, func: &Function, cfg: &ControlFlowGraph) { |
| 222 | let _tt = timing::domtree(); |
| 223 | debug_assert!(cfg.is_valid()); |
| 224 | self.compute_postorder(func); |
| 225 | self.compute_domtree(func, cfg); |
| 226 | self.valid = true; |
| 227 | } |
| 228 | |
| 229 | /// Clear the data structures used to represent the dominator tree. This will leave the tree in |
| 230 | /// a state where `is_valid()` returns false. |
no test coverage detected