Documentation

Lean.Compiler.IR.EmitUtil

Helper functions for backend code generators #

Return true iff b is of the form let x := g ys; ret x

Equations
Instances For
    Equations
    Instances For

      Return a pair (v, j), where v is a mapping from variable/parameter to type, and j is a mapping from join point to parameters. This function assumes d has normalized indexes (see normids.lean).

      Equations
      Instances For