We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
copy_op
unary_op_ss
1 parent 98310be commit ff68541Copy full SHA for ff68541
src/tools/miri/src/shims/x86/sse.rs
@@ -343,10 +343,11 @@ fn unary_op_ss<'tcx>(
343
this.write_scalar(res0, &this.project_index(&dest, 0)?)?;
344
345
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)?;
+ this.copy_op(
+ &this.project_index(&op, i)?,
+ &this.project_index(&dest, i)?,
+ /*allow_transmute*/ false,
350
+ )?;
351
}
352
353
Ok(())
0 commit comments