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)
| 211 | /// Note that this post-order is not updated automatically when the CFG is modified. It is |
| 212 | /// computed from scratch and cached by `compute()`. |
| 213 | pub fn cfg_postorder(&self) -> &[Block] { |
| 214 | debug_assert!(self.is_valid()); |
| 215 | &self.postorder |
| 216 | } |
| 217 | |
| 218 | /// Get an iterator over CFG reverse post-order of blocks used to compute the dominator tree. |
| 219 | /// |
no outgoing calls