Returns the immediate dominator of `block`. `block_a` is said to *dominate* `block_b` if all control flow paths from the function entry to `block_b` must go through `block_a`. The *immediate dominator* is the dominator that is closest to `block`. All other dominators also dominate the immediate dominator. This returns `None` if `block` is not reachable from the entry block, or if it is the entr
(&self, block: Block)
| 72 | /// This returns `None` if `block` is not reachable from the entry block, or if it is the entry block |
| 73 | /// which has no dominators. |
| 74 | pub fn idom(&self, block: Block) -> Option<Block> { |
| 75 | self.nodes[block].idom.into() |
| 76 | } |
| 77 | |
| 78 | /// Compare two blocks relative to the reverse post-order. |
| 79 | pub fn rpo_cmp_block(&self, a: Block, b: Block) -> Ordering { |
no outgoing calls
no test coverage detected