Get an iterator over CFG reverse post-order of blocks used to compute the dominator tree. Note that the post-order is not updated automatically when the CFG is modified. It is computed from scratch and cached by `compute()`.
(&self)
| 220 | /// Note that the post-order is not updated automatically when the CFG is modified. It is |
| 221 | /// computed from scratch and cached by `compute()`. |
| 222 | pub fn cfg_rpo(&self) -> impl Iterator<Item = &Block> { |
| 223 | debug_assert!(self.is_valid()); |
| 224 | self.postorder.iter().rev() |
| 225 | } |
| 226 | |
| 227 | /// Returns the immediate dominator of `block`. |
| 228 | /// |
no test coverage detected