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
Lean.Compiler.IR.ElimDeadVars
Eliminate dead let-declarations and join points