1
Fork 0

comment nits

This commit is contained in:
Ralf Jung 2024-06-08 18:31:46 +02:00 committed by GitHub
parent 3fa1d47267
commit ea73f0067f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -1140,15 +1140,15 @@ fn pmulhrsw<'tcx>(
Ok(())
}
/// Perform a carry-less multiplication of two 64-bit integers, selected from left and right according to imm8,
/// and store the results in dst.
/// Perform a carry-less multiplication of two 64-bit integers, selected from `left` and `right` according to `imm8`,
/// and store the results in `dst`.
///
/// Left and right are both vectors of type 2 x i64. Only bits 0 and 4 of imm8 matter;
/// they select the element of left and right, respectively.
/// `left` and `right` are both vectors of type 2 x i64. Only bits 0 and 4 of `imm8` matter;
/// they select the element of `left` and `right`, respectively.
///
/// <https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html#text=_mm_clmulepi64_si128>
fn pclmulqdq<'tcx>(
this: &mut crate::MiriInterpCx<'tcx>,
this: &mut MiriInterpCx<'tcx>,
left: &OpTy<'tcx>,
right: &OpTy<'tcx>,
imm8: &OpTy<'tcx>,