Function clean 

pub fn clean(
    func: &mut Func,
    moves: &Moves,
    machine: &MachineInsts,
    frame: &FrameInsts,
    conv: &CallRegs,
    names: &mut Interner,
) -> Cleaned

Takes out every move of the allocator’s that puts a value where it is already, and reads the rest out of a register wherever one has the word the frame does.

Panics

Panics on a move of a class the target did not say how to move, which is the same frame description crate::finish wrote the move out of and so is the caller handing this a function and a target that were not worked out from each other.