Equations
- Lean.IR.reshapeWithoutDead bs term = Lean.IR.reshapeWithoutDead.reshape bs term term.freeIndices
Instances For
partial def
Lean.IR.reshapeWithoutDead.reshape
(bs : Array Lean.IR.FnBody)
(b : Lean.IR.FnBody)
(used : Lean.IR.IndexSet)
:
Eliminate dead let-declarations and join points
Equations
- d.elimDead = match d with | Lean.IR.Decl.fdecl f xs type b info => d.updateBody! b.elimDead | other => other