Module sway_ir::analysis::dominator

source ·

Structs

Represents a node in the dominator tree.
Post ordering of blocks in the CFG.

Functions

Compute dominance frontiers set for each block.
Compute the dominator tree for the CFG.
Compute the post-order traversal of the CFG. Beware: Unreachable blocks aren’t part of the result.
Print dominator frontiers information.
Print dominator tree in the graphviz dot format.

Type Definitions