Module transform

Re-exports§

add_missing_info: Passes that compute extra info to be stored in the crate.
check_generics: Check that all supplied generic types match the corresponding generic parameters.
control_flow: Passes that manipulate the control flow and reconstruct its structure.
ctx
finish_translation: Passes that finish translation, i.e. required for the output to be a valid output.
normalize: Passes that effect some kind of normalization on the crate.
resugar: Passes that undo some lowering done by rustc to recover an operation closer to what the user wrote.
simplify_output: Passes that make the output simpler/easier to consume.
utils

FINAL_CLEANUP_PASSES: Final passes to run at the end, after pretty-printing the llbc if applicable. These are only split from the above list to get test outputs even when generics fail to match.
INITIAL_CLEANUP_PASSES: Item and type cleanup passes.
LLBC_PASSES: Body cleanup passes after control flow reconstruction.
SHARED_FINALIZING_PASSES: Cleanup passes useful for both llbc and ullbc.
ULLBC_PASSES: Body cleanup passes on the ullbc.