Module sway_ir::analysis::dominator

Structs

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

Constants

• DOMFRONTS_NAME
• DOMINATORS_NAME
• POSTORDER_NAME

Functions

• compute_post_order
  Compute the post-order traversal of the CFG. Beware: Unreachable blocks aren’t part of the result.
• compute_post_order_pass
• create_dom_fronts_pass
• create_dominators_pass
• create_postorder_pass
• print_dom_fronts
  Print dominator frontiers information.
• print_dot
  Print dominator tree in the graphviz dot format.

Type Aliases

• DomFronts
• DomTree