diff options
| author | Eduardo Sánchez Muñoz <eduardosm-dev@e64.io> | 2023-09-13 20:34:03 +0200 |
|---|---|---|
| committer | Eduardo Sánchez Muñoz <eduardosm-dev@e64.io> | 2023-09-16 18:51:44 +0200 |
| commit | ff685416dbb52367df5e8d32ae95bea49a10f229 (patch) | |
| tree | 287efcb4d97103c926f88bb03437292149d98268 | |
| parent | 98310bed8e09817e518e6b82fcb3f9b2c4b89675 (diff) | |
| download | rust-ff685416dbb52367df5e8d32ae95bea49a10f229.tar.gz rust-ff685416dbb52367df5e8d32ae95bea49a10f229.zip | |
miri: use `copy_op` in `unary_op_ss`
| -rw-r--r-- | src/tools/miri/src/shims/x86/sse.rs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/tools/miri/src/shims/x86/sse.rs b/src/tools/miri/src/shims/x86/sse.rs index ab90e292fcb..05717216636 100644 --- 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(()) |