Module control_flow

Passes that manipulate the control flow and reconstruct its structure.

Modules

duplicate_return

The MIR uses a unique return node, which can be an issue when reconstructing the control-flow.

merge_goto_chains

Micro-pass: merge single-origin gotos into their parent to reduce CFG graph size.

prettify_cfg

ullbc_to_llbc

ULLBC to LLBC