sway_ir::analysis::dominator

Function compute_post_order

Source
pub fn compute_post_order(
    context: &Context<'_>,
    function: &Function,
) -> PostOrder
Expand description

Compute the post-order traversal of the CFG. Beware: Unreachable blocks aren’t part of the result.