fn next_inst_ret_prev( func: &Function, block: &mut Block, inst: &mut Inst, ) -> Option<(Block, Inst)>