Skip to content

Commit 4b3acaa

Browse files
committed
miri: use copy_op in unary_op_ss
1 parent ea88de2 commit 4b3acaa

File tree

1 file changed

+5
-4
lines changed

1 file changed

+5
-4
lines changed

src/shims/x86/sse.rs

+5-4
Original file line numberDiff line numberDiff line change
@@ -343,10 +343,11 @@ fn unary_op_ss<'tcx>(
343343
this.write_scalar(res0, &this.project_index(&dest, 0)?)?;
344344

345345
for i in 1..dest_len {
346-
let op = this.read_immediate(&this.project_index(&op, i)?)?;
347-
let dest = this.project_index(&dest, i)?;
348-
349-
this.write_immediate(*op, &dest)?;
346+
this.copy_op(
347+
&this.project_index(&op, i)?,
348+
&this.project_index(&dest, i)?,
349+
/*allow_transmute*/ false,
350+
)?;
350351
}
351352

352353
Ok(())

0 commit comments

Comments
 (0)