pub fn save_block_exit_state( function: &mut IrFunction, block: &IrBlock, state: &mut ConstPropState, )