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.