def Lean.IR.reshapeWithoutDead (bs : Array FnBody) (term : FnBody) : FnBody

Equations

• Lean.IR.reshapeWithoutDead bs term = Lean.IR.reshapeWithoutDead.reshape bs term term.freeIndices

partial def Lean.IR.reshapeWithoutDead.reshape (bs : Array FnBody) (b : FnBody) (used : IndexSet) : FnBody

partial def Lean.IR.FnBody.elimDead (b : FnBody) : FnBody

def Lean.IR.Decl.elimDead (d : Decl) : Decl

Eliminate dead let-declarations and join points

Equations

• (Lean.IR.Decl.fdecl f xs type b info).elimDead = (Lean.IR.Decl.fdecl f xs type b info).updateBody! b.elimDead
• d.elimDead = d