mark_reg_stack_read
mark_reg_stack_read(env, reg_state, off, off + size, dst_regno);
mark_reg_stack_read(env, ptr_state, min_off, max_off + size, dst_regno);