miri: use copy_op in unary_op_ss

2023-09-13 20:34:03 +02:00 · 2023-09-13 20:34:03 +02:00 · ff685416db
commit ff685416db
parent 98310bed8e
1 changed files with 5 additions and 4 deletions
--- a/src/tools/miri/src/shims/x86/sse.rs
+++ b/src/tools/miri/src/shims/x86/sse.rs
@ -343,10 +343,11 @@ fn unary_op_ss<'tcx>(
    this.write_scalar(res0, &this.project_index(&dest, 0)?)?;

    for i in 1..dest_len {
-        let op = this.read_immediate(&this.project_index(&op, i)?)?;
-        let dest = this.project_index(&dest, i)?;
-
-        this.write_immediate(*op, &dest)?;
+        this.copy_op(
+            &this.project_index(&op, i)?,
+            &this.project_index(&dest, i)?,
+            /*allow_transmute*/ false,
+        )?;
    }

    Ok(())