Move part of the logic to write_byte_helper

Author: tiif

src/shims/unix/fd.rs

@@ -641,9 +641,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
                 fd.pwrite(communicate, &bytes, offset, dest, this)
             }
         };
-
-        let result = this.try_unwrap_io_result(result?.map(|c| i64::try_from(c).unwrap()))?;
-        this.write_scalar(Scalar::from_target_isize(result, this), dest)?;
+        self.write_byte_helper(result, dest)?;
         Ok(())
         //Ok(Scalar::from_target_isize(this.try_unwrap_io_result(result)?, this))
     }
@@ -680,4 +678,15 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
             }
         }
     }
+
+    fn write_byte_helper(
+        &mut self,
+        result: InterpResult<'tcx, io::Result<usize>>,
+        dest: &MPlaceTy<'tcx>,
+    ) -> InterpResult<'tcx> {
+        let this = self.eval_context_mut();
+        let result = this.try_unwrap_io_result(result?.map(|c| i64::try_from(c).unwrap()))?;
+        this.write_scalar(Scalar::from_target_isize(result, this), dest)?;
+        Ok(())
+    }
 }