Module sway_ir::analysis::dominator

source ·

Structs

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

Constants

Functions

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