Get the CFG post-order of blocks that was used to compute the dominator tree. Note that this post-order is not updated automatically when the CFG is modified. It is computed from scratch and cached by `compute()`.
(&self)
| 57 | /// Note that this post-order is not updated automatically when the CFG is modified. It is |
| 58 | /// computed from scratch and cached by `compute()`. |
| 59 | pub fn cfg_postorder(&self) -> &[Block] { |
| 60 | debug_assert!(self.is_valid()); |
| 61 | &self.postorder |
| 62 | } |
| 63 | |
| 64 | /// Returns the immediate dominator of `block`. |
| 65 | /// |
no outgoing calls
no test coverage detected