Crate midenc_hir_transform
source ·Structs§
- This pass places spills of SSA values to temporaries to cap the depth of the operand stack.
- This pass inlines unnecessary blocks, and removes unnecessary block arguments.
- This pass inserts spills and reloads as computed by running a SpillAnalysis on the given function, recording materialized splits, spills, and reloads in the analysis results.
- This pass rewrites a function annotated by the InsertSpills pass, by means of the spill and reload pseudo-instructions, such that the resulting function is semantically equivalent to the original function, but with the additional property that the function will keep the operand stack depth <= 16 at all times.
- This pass breaks any critical edges in the CFG of a function.
- This pass rewrites the CFG of a function so that it forms a tree.