mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

miri: reduce code duplication in SSE cvtsi2ss/cvtsi642ss

Browse Source
This commit is contained in:
Eduardo Sánchez Muñoz 2023-09-13 20:30:24 +02:00
parent 21418429fd
commit 98310bed8e
1 changed files with 12 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
src/tools/miri/src/shims/x86/sse.rs
View File

@ -204,12 +204,12 @@ fn emulate_x86_sse_intrinsic(
this.write_scalar(res, dest)?; this.write_scalar(res, dest)?;
} }
// Used to implement the _mm_cvtsi32_ss function. // Used to implement the _mm_cvtsi32_ss and _mm_cvtsi64_ss functions.
// Converts `right` from i32 to f32. Returns a SIMD vector with // Converts `right` from i32/i64 to f32. Returns a SIMD vector with
// the result in the first component and the remaining components // the result in the first component and the remaining components
// are copied from `left`. // are copied from `left`.
// https://www.felixcloutier.com/x86/cvtsi2ss // https://www.felixcloutier.com/x86/cvtsi2ss
"cvtsi2ss" => { "cvtsi2ss" | "cvtsi642ss" => {
let [left, right] = let [left, right] =
this.check_shim(abi, Abi::C { unwind: false }, link_name, args)?; this.check_shim(abi, Abi::C { unwind: false }, link_name, args)?;
@ -218,42 +218,17 @@ fn emulate_x86_sse_intrinsic(
assert_eq!(dest_len, left_len); assert_eq!(dest_len, left_len);
let right = this.read_scalar(right)?.to_i32()?; let right = this.read_immediate(right)?;
let dest0 = this.project_index(&dest, 0)?;
let res0 = Scalar::from_f32(Single::from_i128(right.into()).value); let res0 = this.int_to_int_or_float(&right, dest0.layout.ty)?;
this.write_scalar(res0, &this.project_index(&dest, 0)?)?; this.write_immediate(res0, &dest0)?;
for i in 1..dest_len { for i in 1..dest_len {
let left = this.read_immediate(&this.project_index(&left, i)?)?; this.copy_op(
let dest = this.project_index(&dest, i)?; &this.project_index(&left, i)?,
&this.project_index(&dest, i)?,
this.write_immediate(*left, &dest)?; /*allow_transmute*/ false,
} )?;
}
// Used to implement the _mm_cvtsi64_ss function.
// Converts `right` from i64 to f32. Returns a SIMD vector with
// the result in the first component and the remaining components
// are copied from `left`.
// https://www.felixcloutier.com/x86/cvtsi2ss
"cvtsi642ss" => {
let [left, right] =
this.check_shim(abi, Abi::C { unwind: false }, link_name, args)?;
let (left, left_len) = this.operand_to_simd(left)?;
let (dest, dest_len) = this.place_to_simd(dest)?;
assert_eq!(dest_len, left_len);
let right = this.read_scalar(right)?.to_i64()?;
let res0 = Scalar::from_f32(Single::from_i128(right.into()).value);
this.write_scalar(res0, &this.project_index(&dest, 0)?)?;
for i in 1..dest_len {
let left = this.read_immediate(&this.project_index(&left, i)?)?;
let dest = this.project_index(&dest, i)?;
this.write_immediate(*left, &dest)?;
} }
} }
// Used to implement the _mm_movemask_ps function. // Used to implement the _mm_movemask_ps function.